projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b261b0a) | patch
Remove (apparently obsolete) checks in cms config (#7294)
authorGereon Kremer <nafur42@gmail.com>
Fri, 1 Oct 2021 20:59:07 +0000 (13:59 -0700)
committerGitHub <noreply@github.com>
Fri, 1 Oct 2021 20:59:07 +0000 (20:59 +0000)
commit45d127cc4ebaa9c092605266c118288560c1138b
treec9463e5afdba989683af942d7d64e3702587aa1ctree
parentb261b0a6031dee3210e569f75f8abdac35b7091ccommit | diff
Remove (apparently obsolete) checks in cms config (#7294)

This removes checks from the CryptoMiniSat config for the existence of a couple of static libraries. Apparently, these are not necessary any more.
cmake/FindCryptoMiniSat.cmake diff | blob | history