diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-10-24 22:24:34 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-10-24 22:24:34 +0000 |
commit | 9c6f99513f27404fdd596217f3a438aee155851e (patch) | |
tree | d0da998e9f7fc72141a0db6ab3af18962afa1c3c /src/main | |
parent | a6ac7fefed613c4d83e577361f98c28a8e18f3a9 (diff) |
Includes many fixes to build system for Solaris (thanks Tim!), and also
just in general, and some documentation adjustments.
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/Makefile.am | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/main/Makefile.am b/src/main/Makefile.am index 6b09fcc27..952951655 100644 --- a/src/main/Makefile.am +++ b/src/main/Makefile.am @@ -31,8 +31,11 @@ pcvc4_LDADD = \ @builddir@/../parser/libcvc4parser.la \ @builddir@/../libcvc4.la \ @builddir@/../util/libstatistics.la \ - @builddir@/../lib/libreplacements.la \ $(READLINE_LIBS) +if CVC4_NEEDS_REPLACEMENT_FUNCTIONS +pcvc4_LDADD += \ + @builddir@/../lib/libreplacements.la +endif pcvc4_CPPFLAGS = $(AM_CPPFLAGS) $(BOOST_CPPFLAGS) -DPORTFOLIO_BUILD pcvc4_LDADD += $(BOOST_THREAD_LIBS) -lpthread pcvc4_LDADD += $(BOOST_THREAD_LDFLAGS) @@ -53,8 +56,11 @@ cvc4_LDADD = \ @builddir@/../parser/libcvc4parser.la \ @builddir@/../libcvc4.la \ @builddir@/../util/libstatistics.la \ - @builddir@/../lib/libreplacements.la \ $(READLINE_LIBS) +if CVC4_NEEDS_REPLACEMENT_FUNCTIONS +cvc4_LDADD += \ + @builddir@/../lib/libreplacements.la +endif BUILT_SOURCES = \ $(TOKENS_FILES) |