diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-10-20 20:41:03 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-10-20 20:41:03 +0000 |
commit | 93e8bc35db891c6041f9690366be933433a0ad52 (patch) | |
tree | e946c0824d6d91c44ecc97a627411e5d6c334ea9 /src/main/Makefile.am | |
parent | daad722774087de1cf35714868d3762b3ea7cb21 (diff) |
Adding support for interactive mode
Diffstat (limited to 'src/main/Makefile.am')
-rw-r--r-- | src/main/Makefile.am | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/main/Makefile.am b/src/main/Makefile.am index 3cd062158..b6cdbb1f4 100644 --- a/src/main/Makefile.am +++ b/src/main/Makefile.am @@ -6,11 +6,13 @@ AM_CXXFLAGS = -Wall -Wno-unknown-pragmas bin_PROGRAMS = cvc4 cvc4_SOURCES = \ - main.cpp \ getopt.cpp \ - util.cpp \ + interactive_shell.h \ + interactive_shell.cpp \ main.h \ - usage.h + main.cpp \ + usage.h \ + util.cpp cvc4_LDADD = \ ../parser/libcvc4parser.la \ |