diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-02-20 17:59:33 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-02-20 17:59:33 +0000 |
commit | 3d2b33d66998261f9369cccc098140f64bc8b417 (patch) | |
tree | 9176ad2684415f8fb95f75a5655e8b17dcdf9793 /src/main/Makefile.am | |
parent | 92155f5e40ed2cf452dc5e2f618e7be6542293e8 (diff) |
portfolio merge
Diffstat (limited to 'src/main/Makefile.am')
-rw-r--r-- | src/main/Makefile.am | 31 |
1 files changed, 29 insertions, 2 deletions
diff --git a/src/main/Makefile.am b/src/main/Makefile.am index 78d468000..ae7764e32 100644 --- a/src/main/Makefile.am +++ b/src/main/Makefile.am @@ -4,16 +4,42 @@ AM_CPPFLAGS = \ AM_CXXFLAGS = -Wall -Wno-unknown-pragmas bin_PROGRAMS = cvc4 + noinst_LIBRARIES = libmain.a libmain_a_SOURCES = \ interactive_shell.h \ interactive_shell.cpp \ main.h \ - main.cpp \ util.cpp -cvc4_SOURCES = +if CVC4_HAS_THREADS +bin_PROGRAMS += pcvc4 +pcvc4_SOURCES = \ + main.cpp \ + portfolio.cpp \ + portfolio.h \ + driver_portfolio.cpp +pcvc4_LDADD = \ + libmain.a \ + @builddir@/../parser/libcvc4parser.la \ + @builddir@/../libcvc4.la \ + @builddir@/../lib/libreplacements.la \ + $(READLINE_LIBS) +pcvc4_CPPFLAGS = $(AM_CPPFLAGS) $(BOOST_CPPFLAGS) +pcvc4_LDADD += $(BOOST_THREAD_LIBS) -lpthread +pcvc4_LDADD += $(BOOST_THREAD_LDFLAGS) + +if STATIC_BINARY +pcvc4_LINK = $(CXXLINK) -all-static +else +pcvc4_LINK = $(CXXLINK) +endif +endif + +cvc4_SOURCES = \ + main.cpp \ + driver.cpp cvc4_LDADD = \ libmain.a \ @builddir@/../parser/libcvc4parser.la \ @@ -44,3 +70,4 @@ cvc4_LINK = $(CXXLINK) -all-static else cvc4_LINK = $(CXXLINK) endif + |