diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2017-10-03 16:09:38 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-03 16:09:38 -0700 |
commit | b01ea5105589569428be93d121e02ae0c933aef3 (patch) | |
tree | 6d70c3d9b77ca7da3588f4ffa29bbc608524b6de /config | |
parent | bca2ee1c42332abc8deb57d620b0fc32b5394634 (diff) |
Add Cryptominisat and LFSC to --show-config output. (#1194)
Also removed obsolete CUDD related code.
Diffstat (limited to 'config')
-rw-r--r-- | config/lfsc.m4 | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/config/lfsc.m4 b/config/lfsc.m4 index eabc71564..8f9ff0ee6 100644 --- a/config/lfsc.m4 +++ b/config/lfsc.m4 @@ -8,7 +8,6 @@ have_liblfsc=0 LFSC_LIBS= LFSC_LDFLAGS= -have_liblfsc=0 if test "$with_lfsc" = no; then AC_MSG_RESULT([no, LFSC disabled by user]) elif test -n "$with_lfsc"; then |