blob: 72a0d2fab0df83b3281f64fbf857b8488cadeb47 (
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
32
33
|
#noinst_LTLIBRARIES = libcryptominisat.la
lib_LTLIBRARIES = libcryptominisat.la
libcryptominisat_la_LDFLAGS = -release 2.9.2 -no-undefined
AM_CXXFLAGS = -Wall $(all_includes) -I$(srcdir) -I$(srcdir)/../MTRand -I$(srcdir)/../mtl $(OPENMP_CXXFLAGS)
pkgincludesubdir = $(includedir)/cryptominisat/Solver
pkgincludesub_HEADERS = BitArray.h Clause.h CSet.h MatrixFinder.h Solver.h Subsumer.h Watched.h \
BoundedQueue.h ClauseOffset.h DimacsParser.h GaussianConfig.h OnlyNonLearntBins.h SolverTypes.h \
time_mem.h XorFinder.h ClauseAllocator.h CompleteDetachReattacher.h DoublePackedRow.h Gaussian.h PackedMatrix.h \
PropBy.h StateSaver.h UselessBinRemover.h XorSubsumer.h ClauseCleaner.h constants.h FailedLitSearcher.h \
PackedRow.h RestartTypeChooser.h StreamBuffer.h VarReplacer.h XSet.h BothCache.h SolverConf.h \
SCCFinder.h SharedData.h ClauseVivifier.h DataSync.h Main.h \
msvc/stdint.h
libcryptominisat_la_SOURCES = \
ClauseCleaner.cpp FailedLitSearcher.cpp \
VarReplacer.cpp \
MatrixFinder.cpp \
Solver.cpp XorFinder.cpp \
PackedRow.cpp Gaussian.cpp StateSaver.cpp \
RestartTypeChooser.cpp Subsumer.cpp XorSubsumer.cpp \
SolverMisc.cpp SolverDebug.cpp ClauseAllocator.cpp \
UselessBinRemover.cpp SCCFinder.cpp ClauseVivifier.cpp \
CompleteDetachReattacher.cpp DimacsParser.cpp \
OnlyNonLearntBins.cpp SolverConf.cpp DataSync.cpp \
BothCache.cpp
bin_PROGRAMS = cryptominisat
cryptominisat_LDADD = libcryptominisat.la
cryptominisat_LDFLAGS = -static -lz $(OPENMP_CXXFLAGS)
cryptominisat_SOURCES = Main.cpp
|
