diff options
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 80fc73fdd..2937f62d7 100644 --- a/configure.ac +++ b/configure.ac @@ -399,6 +399,11 @@ AC_TYPE_SIZE_T # Prepare configure output +if test "$enable_shared" = yes; then BUILDING_SHARED=1; fi +if test "$enable_static" = yes; then BUILDING_STATIC=1; fi +AC_SUBST(BUILDING_SHARED) +AC_SUBST(BUILDING_STATIC) + AC_SUBST(CVC4_LIBRARY_RELEASE_CODE) AC_SUBST(CVC4_LIBRARY_VERSION) AC_SUBST(CVC4_PARSER_LIBRARY_VERSION) |