diff options
Diffstat (limited to 'src/Makefile.am')
-rw-r--r-- | src/Makefile.am | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 204ea63f8..40d3823e9 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -44,8 +44,7 @@ libcvc4_la_LIBADD = \ @builddir@/printer/libprinter.la \ @builddir@/smt/libsmt.la \ @builddir@/theory/libtheory.la \ - @builddir@/decision/libdecision.la \ - @builddir@/lib/libreplacements.la + @builddir@/decision/libdecision.la libcvc4_noinst_la_LIBADD = \ @builddir@/options/liboptions.la \ @builddir@/util/libutil.la \ @@ -58,8 +57,14 @@ libcvc4_noinst_la_LIBADD = \ @builddir@/printer/libprinter.la \ @builddir@/smt/libsmt.la \ @builddir@/theory/libtheory.la \ - @builddir@/decision/libdecision.la \ + @builddir@/decision/libdecision.la + +if CVC4_NEEDS_REPLACEMENT_FUNCTIONS +libcvc4_la_LIBADD += \ @builddir@/lib/libreplacements.la +libcvc4_noinst_la_LIBADD += \ + @builddir@/lib/libreplacements.la +endif CLEANFILES = \ subversion_versioninfo.cpp \ |