diff options
Diffstat (limited to 'src/prop/minisat/Makefile.am')
-rw-r--r-- | src/prop/minisat/Makefile.am | 44 |
1 files changed, 0 insertions, 44 deletions
diff --git a/src/prop/minisat/Makefile.am b/src/prop/minisat/Makefile.am deleted file mode 100644 index 4c110980d..000000000 --- a/src/prop/minisat/Makefile.am +++ /dev/null @@ -1,44 +0,0 @@ -AM_CPPFLAGS = \ - -D__BUILDING_CVC4LIB \ - -D __STDC_LIMIT_MACROS \ - -D __STDC_FORMAT_MACROS \ - -I@builddir@/../.. -I@srcdir@/../../include -I@srcdir@/ -I@srcdir@/../.. -AM_CXXFLAGS = -Wall -Wno-parentheses -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN) - -noinst_LTLIBRARIES = libminisat.la -libminisat_la_SOURCES = \ - core/Dimacs.h \ - core/Solver.cc \ - core/Solver.h \ - core/SolverTypes.h \ - simp/SimpSolver.cc \ - simp/SimpSolver.h \ - mtl/Alg.h \ - mtl/Alloc.h \ - mtl/Heap.h \ - mtl/IntTypes.h \ - mtl/Map.h \ - mtl/Queue.h \ - mtl/Sort.h \ - mtl/Vec.h \ - mtl/XAlloc.h \ - utils/Options.h \ - minisat.cpp \ - minisat.h - -EXTRA_DIST = \ - core/Main.cc \ - core/Makefile \ - doc/ReleaseNotes-2.2.0.txt \ - simp/Main.cc \ - simp/Makefile \ - README \ - LICENSE \ - mtl/config.mk \ - mtl/template.mk \ - utils/Options.cc \ - utils/ParseUtils.h \ - utils/System.h \ - utils/System.cc \ - Makefile - |