diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-03-02 14:06:38 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-02 14:06:38 -0800 |
| commit | 32699ab8393f4d3cb02c9a132ea174c7a1e5e958 (patch) | |
| tree | 74947150d762c4d527bc2716d5255437827a5875 /configure.sh | |
| parent | 0d5ab1705324e91d9788185cd16e1d4e6bf54fbe (diff) | |
Remove obsolete dependency on CxxTest. (#6038)
Diffstat (limited to 'configure.sh')
| -rwxr-xr-x | configure.sh | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/configure.sh b/configure.sh index e7a858486..f583b008a 100755 --- a/configure.sh +++ b/configure.sh @@ -74,7 +74,6 @@ Optional Path to Optional Packages: --cadical-dir=PATH path to top level of CaDiCaL source tree --cryptominisat-dir=PATH path to top level of CryptoMiniSat source tree --drat2er-dir=PATH path to the top level of the drat2er installation - --cxxtest-dir=PATH path to CxxTest installation --glpk-dir=PATH path to top level of GLPK installation --gmp-dir=PATH path to top level of GMP installation --kissat-dir=PATH path to top level of Kissat source tree @@ -160,7 +159,6 @@ antlr_dir=default cadical_dir=default cryptominisat_dir=default drat2er_dir=default -cxxtest_dir=default glpk_dir=default gmp_dir=default kissat_dir=default @@ -319,9 +317,6 @@ do --cryptominisat-dir) die "missing argument to $1 (try -h)" ;; --cryptominisat-dir=*) cryptominisat_dir=${1##*=} ;; - --cxxtest-dir) die "missing argument to $1 (try -h)" ;; - --cxxtest-dir=*) cxxtest_dir=${1##*=} ;; - --drat2er-dir) die "missing argument to $1 (try -h)" ;; --drat2er-dir=*) drat2er_dir=${1##*=} ;; @@ -469,8 +464,6 @@ cmake_opts="" && cmake_opts="$cmake_opts -DCADICAL_DIR=$cadical_dir" [ "$cryptominisat_dir" != default ] \ && cmake_opts="$cmake_opts -DCRYPTOMINISAT_DIR=$cryptominisat_dir" -[ "$cxxtest_dir" != default ] \ - && cmake_opts="$cmake_opts -DCXXTEST_DIR=$cxxtest_dir" [ "$drat2er_dir" != default ] \ && cmake_opts="$cmake_opts -DDRAT2ER_DIR=$drat2er_dir" [ "$glpk_dir" != default ] \ |