]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: add1bd4) | patch
Disable zlib and OpenMP support in CryptoMiniSat.
authorFrancis Russell <francis@unchartedbackwaters.co.uk>
Tue, 19 Apr 2011 02:38:52 +0000 (03:38 +0100)
committerFrancis Russell <francis@unchartedbackwaters.co.uk>
Tue, 19 Apr 2011 02:38:52 +0000 (03:38 +0100)
commitf51ec5d42b762ba77ec052664439ca57c4238949
tree908bbe669f5d936090da3c6cde047043a3dd532etree | snapshot
parentadd1bd421f45f3fbb2d2f3189227f5b2ad2c43a1commit | diff
Disable zlib and OpenMP support in CryptoMiniSat.

Until the build system is updated to produce a dynamic library, it's
easier to avoid dependencies on any other libraries.
scripts/Makefile.common diff | blob | history
src/sat/cryptominisat2/Makefile diff | blob | history
src/sat/cryptominisat2/SolverMisc.cpp diff | blob | history
STP Constraint Solver.