diff options
Diffstat (limited to 'configure.sh')
-rwxr-xr-x | configure.sh | 41 |
1 files changed, 10 insertions, 31 deletions
diff --git a/configure.sh b/configure.sh index 21a444082..988b7a392 100755 --- a/configure.sh +++ b/configure.sh @@ -46,15 +46,12 @@ The following flags enable optional features (disable with --no-<option name>). --python2 prefer using Python 2 (also for Python bindings) --python3 prefer using Python 3 (also for Python bindings) --python-bindings build Python bindings based on new C++ API + --java-bindings build Java bindings based on new C++ API + --all-bindings build bindings for all supported languages --asan build with ASan instrumentation --ubsan build with UBSan instrumentation --tsan build with TSan instrumentation -The following options configure parameterized features. - - --language-bindings[=java,python,all] - specify language bindings to build - Optional Packages: The following flags enable optional packages (disable with --no-<option name>). --cln use CLN instead of GMP @@ -135,6 +132,7 @@ proofs=default python2=default python3=default python_bindings=default +java_bindings=default readline=default shared=default static_binary=default @@ -147,9 +145,6 @@ unit_testing=default valgrind=default win64=default -language_bindings_java=default -language_bindings_python=default - abc_dir=default antlr_dir=default cadical_dir=default @@ -282,6 +277,11 @@ do --python-bindings) python_bindings=ON;; --no-python-bindings) python_bindings=OFF;; + --java-bindings) java_bindings=ON;; + --no-java-bindings) java_bindings=OFF;; + + --all-bindings) python_bindings=ON;; + --valgrind) valgrind=ON;; --no-valgrind) valgrind=OFF;; @@ -291,23 +291,6 @@ do --readline) readline=ON;; --no-readline) readline=OFF;; - --language-bindings) die "missing argument to $1 (try -h)" ;; - --language-bindings=*) - lang="${1##*=}" - IFS=',' - for l in $lang; do - case $l in - java) language_bindings_java=ON ;; - python) language_bindings_python=ON ;; - all) - language_bindings_python=ON - language_bindings_java=ON ;; - *) die "invalid language binding '$l' specified (try -h)" ;; - esac - done - unset IFS - ;; - --abc-dir) die "missing argument to $1 (try -h)" ;; --abc-dir=*) abc_dir=${1##*=} ;; @@ -410,6 +393,8 @@ cmake_opts="" && cmake_opts="$cmake_opts -DUSE_PYTHON3=$python3" [ $python_bindings != default ] \ && cmake_opts="$cmake_opts -DBUILD_BINDINGS_PYTHON=$python_bindings" +[ $java_bindings != default ] \ + && cmake_opts="$cmake_opts -DBUILD_BINDINGS_JAVA=$java_bindings" [ $valgrind != default ] \ && cmake_opts="$cmake_opts -DENABLE_VALGRIND=$valgrind" [ $profiling != default ] \ @@ -434,12 +419,6 @@ cmake_opts="" && cmake_opts="$cmake_opts -DUSE_LFSC=$lfsc" [ $symfpu != default ] \ && cmake_opts="$cmake_opts -DUSE_SYMFPU=$symfpu" - -[ $language_bindings_java != default ] \ - && cmake_opts="$cmake_opts -DBUILD_SWIG_BINDINGS_JAVA=$language_bindings_java" -[ $language_bindings_python != default ] \ - && cmake_opts="$cmake_opts -DBUILD_SWIG_BINDINGS_PYTHON=$language_bindings_python" - [ "$abc_dir" != default ] \ && cmake_opts="$cmake_opts -DABC_DIR=$abc_dir" [ "$antlr_dir" != default ] \ |