diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-12 18:24:54 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-16 22:28:26 -0500 |
commit | 5186ca79710fe935d1f7ed27c4a34e913ab547e8 (patch) | |
tree | 4f5ce4957063085f607492a6474b0d244e4b2da4 /proofs/lfsc_checker/Makefile.am | |
parent | 4d9caf9782c59823fb95519b9b518b7d7f89738a (diff) |
First attempt at incorporating LFSC proof checker into CVC4.
Diffstat (limited to 'proofs/lfsc_checker/Makefile.am')
-rw-r--r-- | proofs/lfsc_checker/Makefile.am | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/proofs/lfsc_checker/Makefile.am b/proofs/lfsc_checker/Makefile.am new file mode 100644 index 000000000..ff483f5fb --- /dev/null +++ b/proofs/lfsc_checker/Makefile.am @@ -0,0 +1,30 @@ +AM_CXXFLAGS = -Wall -Wno-deprecated + +bin_PROGRAMS = lfsc-checker + +lfsc_checker_SOURCES = \ + main.cpp +lfsc_checker_LDADD = \ + @builddir@/liblfsc_checker.la + +noinst_LTLIBRARIES = liblfsc_checker.la + +liblfsc_checker_la_SOURCES = \ + check.cpp \ + check.h \ + chunking_memory_management.h \ + code.cpp \ + code.h \ + expr.cpp \ + expr.h \ + libwriter.cpp \ + libwriter.h \ + position.h \ + print_smt2.cpp \ + print_smt2.h \ + scccode.cpp \ + scccode.h \ + sccwriter.cpp \ + sccwriter.h \ + trie.cpp \ + trie.h |