diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-08-13 17:27:12 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-08-13 17:27:12 +0000 |
| commit | ca7639a67b6928fbb9aa2a38d4739a650189f67f (patch) | |
| tree | d8c0f8cd427d3c29c7ad0f9bffc509b1d8651583 /src/prop/minisat/Makefile.am | |
| parent | f2ab48d27a62791d4db46ab00c27041410965d2d (diff) | |
Adding the changes to the original copy
Diffstat (limited to 'src/prop/minisat/Makefile.am')
| -rw-r--r-- | src/prop/minisat/Makefile.am | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/src/prop/minisat/Makefile.am b/src/prop/minisat/Makefile.am new file mode 100644 index 000000000..56f61adad --- /dev/null +++ b/src/prop/minisat/Makefile.am @@ -0,0 +1,29 @@ +AM_CPPFLAGS = \ + -D__BUILDING_CVC4LIB \ + -I@srcdir@/mtl -I@srcdir@/core -I@srcdir@/../.. -I@builddir@/../.. -I@srcdir@/../../include +AM_CXXFLAGS = -Wall -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN) -DNDEBUG + +noinst_LTLIBRARIES = libminisat.la +libminisat_la_SOURCES = \ + core/Solver.C \ + core/Solver.h \ + core/SolverTypes.h \ + simp/SimpSolver.C \ + simp/SimpSolver.h \ + mtl/Alg.h \ + mtl/BasicHeap.h \ + mtl/BoxedVec.h \ + mtl/Heap.h \ + mtl/Map.h \ + mtl/Queue.h \ + mtl/Sort.h \ + mtl/Vec.h + +EXTRA_DIST = \ + core/Main.C \ + core/Makefile \ + simp/Main.C \ + simp/Makefile \ + README \ + LICENSE \ + mtl/template.mk |