blob: 137b15766a8ae89653bb6aa1cc8fff0527f2a990 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
set(minisat_src_files
core/Dimacs.h
core/Solver.cc
core/Solver.h
core/SolverTypes.h
minisat.cpp
minisat.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
simp/SimpSolver.cc
simp/SimpSolver.h
utils/Options.h
)
include_directories(.)
add_library(minisat SHARED ${minisat_src_files})
set_target_properties(minisat
PROPERTIES
COMPILE_DEFINITIONS
__BUILDING_CVC4LIB
__STDC_LIMIT_MACROS
__STDC_FORMAT_MACROS
)
add_dependencies(minisat expr)
|