diff options
Diffstat (limited to 'src/main/Makefile.am')
-rw-r--r-- | src/main/Makefile.am | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/main/Makefile.am b/src/main/Makefile.am index c1291e7ec..9b0200231 100644 --- a/src/main/Makefile.am +++ b/src/main/Makefile.am @@ -19,14 +19,17 @@ pcvc4_SOURCES = \ main.cpp \ portfolio.cpp \ portfolio.h \ - driver_portfolio.cpp + portfolio_util.cpp \ + command_executer.cpp \ + command_executer_portfolio.cpp \ + driver_unified.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_CPPFLAGS = $(AM_CPPFLAGS) $(BOOST_CPPFLAGS) -DPORTFOLIO_BUILD pcvc4_LDADD += $(BOOST_THREAD_LIBS) -lpthread pcvc4_LDADD += $(BOOST_THREAD_LDFLAGS) @@ -39,7 +42,8 @@ endif cvc4_SOURCES = \ main.cpp \ - driver.cpp + command_executer.cpp \ + driver_unified.cpp cvc4_LDADD = \ libmain.a \ @builddir@/../parser/libcvc4parser.la \ |