diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-01-26 07:29:41 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-01-26 07:29:41 +0000 |
commit | 21e01d42ed4c0b6d9fa5855c2e0cfc1a3765d14f (patch) | |
tree | ec785ced868a294e72cc751a293c618488743c8b /configure.ac | |
parent | f2d38a8522579f9b3e434f76a9426fa8d2f06d07 (diff) |
fixes to build structure, util classes, lots of fixes to Node and NodeBuilder. outstanding SEGVs fixed
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) |