diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-27 19:47:25 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-27 19:47:25 -0700 |
commit | f939b41b2710ea2020a646b2f1a018fb9c78ff8c (patch) | |
tree | d3e11538a1783daa896b54fb102b2467b6f3f77d /configure.sh | |
parent | 4a9e21371a5012285114126cab1dbce18fdcec6c (diff) |
cmake: Add CxxTest finder module to allow custom paths. (#2542)
Diffstat (limited to 'configure.sh')
-rwxr-xr-x | configure.sh | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/configure.sh b/configure.sh index 0740ce396..1cc104c94 100755 --- a/configure.sh +++ b/configure.sh @@ -65,7 +65,7 @@ Optional Path to Optional Packages: --antlr-dir=PATH path to ANTLR C headers and libraries --cadical-dir=PATH path to top level of CaDiCaL source tree --cryptominisat-dir=PATH path to top level of CryptoMiniSat source tree - --cxxtest-dir=DIR path to CxxTest 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 --lfsc-dir=PATH path to top level of LFSC source tree @@ -139,6 +139,7 @@ abc_dir=default antlr_dir=default cadical_dir=default cryptominisat_dir=default +cxxtest_dir=default glpk_dir=default gmp_dir=default lfsc_dir=default @@ -288,6 +289,9 @@ 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##*=} ;; + --glpk-dir) die "missing argument to $1 (try -h)" ;; --glpk-dir=*) glpk_dir=${1##*=} ;; @@ -395,6 +399,8 @@ 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" [ "$glpk_dir" != default ] \ && cmake_opts="$cmake_opts -DGLPK_DIR=$glpk_dir" [ "$gmp_dir" != default ] \ |