projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 98b4157) | patch
Look for cryptominisat5_simple, not cryptominisat5 (#2058)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 7 Jun 2018 20:56:06 +0000 (13:56 -0700)
committerGitHub <noreply@github.com>
Thu, 7 Jun 2018 20:56:06 +0000 (13:56 -0700)
commite0bdf8d71dca4af530273ede2bdd252ca6d8e6b1
tree395661187380bd9f8f2866ba31f7b19c93efce3dtree
parent98b41576dcaaa3a6f935613fb7cc9065f4b3b813commit | diff
Look for cryptominisat5_simple, not cryptominisat5 (#2058)

If the boost program_options library is missing, CryptoMiniSat5 only
builds a cryptominisat5_simple binary and omits the cryptominisat5,
which has more command-line options. We do not use the binary anyway, so
this commit changes the cryptominisat.m4 script to look for the
cryptominisat5_simple binary, which is always generated.
config/cryptominisat.m4 diff | blob | history