diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-12 11:10:01 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
| commit | 479aebfc657eb9bc90fad550f51ec3b3d2efec76 (patch) | |
| tree | ea4f7ff7b016d59954f57ec333e553655e64cdac /configure.sh | |
| parent | 2c68c3e9009d7c893f92b7023c2122c763e697ca (diff) | |
cmake: Add make install rule.
Diffstat (limited to 'configure.sh')
| -rwxr-xr-x | configure.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/configure.sh b/configure.sh index 00b958f4c..8e31c5da7 100755 --- a/configure.sh +++ b/configure.sh @@ -36,6 +36,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 (for Python bindings) The following options configure parameterized features. @@ -119,6 +120,7 @@ statistics=default symfpu=default tracing=default unit_testing=default +python2=default valgrind=default profiling=default readline=default @@ -217,6 +219,9 @@ do --unit-testing) unit_testing=ON;; --no-unit-testing) unit_testing=OFF;; + --python2) python2=ON;; + --no-python2) python2=OFF;; + --valgrind) valgrind=ON;; --no-valgrind) valgrind=OFF;; @@ -335,6 +340,9 @@ cmake_opts="" [ $unit_testing != default ] \ && cmake_opts="$cmake_opts -DENABLE_UNIT_TESTING=$unit_testing" \ && [ $unit_testing = ON ] && builddir="$builddir-unit_testing" +[ $python2 != default ] \ + && cmake_opts="$cmake_opts -DUSE_PYTHON2=$python2" \ + && [ $python2 = ON ] && builddir="$builddir-python2" [ $valgrind != default ] \ && cmake_opts="$cmake_opts -DENABLE_VALGRIND=$valgrind" \ && [ $valgrind = ON ] && builddir="$builddir-valgrind" |