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/Makefile.am | |
| 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/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 \ |