blob: f55d74c486ffb782ffe32e404b0a766ffc68cfb1 (
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(bvminisat_src_files
bvminisat.cpp
bvminisat.h
core/Dimacs.h
core/Solver.cc
core/Solver.h
core/SolverTypes.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(bvminisat SHARED ${bvminisat_src_files})
set_target_properties(bvminisat
PROPERTIES
COMPILE_DEFINITIONS
__BUILDING_CVC4LIB
__STDC_LIMIT_MACROS
__STDC_FORMAT_MACROS
)
add_dependencies(bvminisat expr)
|