diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-02-09 15:18:14 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-09 17:18:14 -0600 |
| commit | 1d140d9fb1b79a1776f359c879667180e094de5a (patch) | |
| tree | bc7d8509de90dd71fd63c8d0cf58294f0d6b6cce /configure.sh | |
| parent | fb6acf659fbf69327f8044e35e6919c1243bc848 (diff) | |
cmake: Make Python3 default and improve toml error messages. (#5884)
./configure.sh will now fail if Python3 is not installed on the system. Since Python2 is now deprecated the user has to explicitly enable it via --python2. This commit also removes the --python3 configure flag.
Diffstat (limited to 'configure.sh')
| -rwxr-xr-x | configure.sh | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/configure.sh b/configure.sh index 0455e6360..419d66ea8 100755 --- a/configure.sh +++ b/configure.sh @@ -44,8 +44,7 @@ The following flags enable optional features (disable with --no-<option name>). --coverage support for gcov coverage testing --profiling support for gprof profiling --unit-testing support for unit testing - --python2 prefer using Python 2 (also for Python bindings) - --python3 prefer using Python 3 (also for Python bindings) + --python2 force Python 2 (deprecated) --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 @@ -138,7 +137,6 @@ optimized=default profiling=default proofs=default python2=default -python3=default python_bindings=default java_bindings=default editline=default @@ -285,9 +283,6 @@ do --python2) python2=ON;; --no-python2) python2=OFF;; - --python3) python3=ON;; - --no-python3) python3=OFF;; - --python-bindings) python_bindings=ON;; --no-python-bindings) python_bindings=OFF;; @@ -408,8 +403,6 @@ cmake_opts="" && cmake_opts="$cmake_opts -DENABLE_UNIT_TESTING=$unit_testing" [ $python2 != default ] \ && cmake_opts="$cmake_opts -DUSE_PYTHON2=$python2" -[ $python3 != default ] \ - && cmake_opts="$cmake_opts -DUSE_PYTHON3=$python3" [ $python_bindings != default ] \ && cmake_opts="$cmake_opts -DBUILD_BINDINGS_PYTHON=$python_bindings" [ $java_bindings != default ] \ |