| 187 "--debug") BUILD_TYPE="debug" ;; |
189 "--debug") BUILD_TYPE="debug" ;; |
| 188 "--release") BUILD_TYPE="release" ;; |
190 "--release") BUILD_TYPE="release" ;; |
| 189 "--with-docs="*) OPT_WITH_DOCS=${ARG#--with-docs=} ;; |
191 "--with-docs="*) OPT_WITH_DOCS=${ARG#--with-docs=} ;; |
| 190 "--enable-coverage") FEATURE_COVERAGE=on ;; |
192 "--enable-coverage") FEATURE_COVERAGE=on ;; |
| 191 "--disable-coverage") unset FEATURE_COVERAGE ;; |
193 "--disable-coverage") unset FEATURE_COVERAGE ;; |
| |
194 "--enable-cxx-tests") FEATURE_CXX_TESTS=on ;; |
| |
195 "--disable-cxx-tests") unset FEATURE_CXX_TESTS ;; |
| 192 "--enable-szmul-builtin") FEATURE_SZMUL_BUILTIN=on ;; |
196 "--enable-szmul-builtin") FEATURE_SZMUL_BUILTIN=on ;; |
| 193 "--disable-szmul-builtin") unset FEATURE_SZMUL_BUILTIN ;; |
197 "--disable-szmul-builtin") unset FEATURE_SZMUL_BUILTIN ;; |
| 194 "-"*) echo "unknown option: $ARG"; abort_configure ;; |
198 "-"*) echo "unknown option: $ARG"; abort_configure ;; |
| 195 esac |
199 esac |
| 196 done |
200 done |
| 607 unset FEATURE_COVERAGE |
632 unset FEATURE_COVERAGE |
| 608 fi |
633 fi |
| 609 fi |
634 fi |
| 610 if [ -n "$FEATURE_COVERAGE" ]; then |
635 if [ -n "$FEATURE_COVERAGE" ]; then |
| 611 : |
636 : |
| |
637 else |
| |
638 : |
| |
639 fi |
| |
640 if [ -n "$FEATURE_CXX_TESTS" ]; then |
| |
641 # check dependency |
| |
642 if dependency_error_cxx ; then |
| |
643 # "auto" features can fail and are just disabled in this case |
| |
644 if [ "$FEATURE_CXX_TESTS" = "auto" ]; then |
| |
645 DISABLE_FEATURE_CXX_TESTS=1 |
| |
646 else |
| |
647 DEPENDENCIES_FAILED="$DEPENDENCIES_FAILED cxx " |
| |
648 ERROR=1 |
| |
649 fi |
| |
650 fi |
| |
651 if [ -n "$DISABLE_FEATURE_CXX_TESTS" ]; then |
| |
652 unset FEATURE_CXX_TESTS |
| |
653 fi |
| |
654 fi |
| |
655 if [ -n "$FEATURE_CXX_TESTS" ]; then |
| |
656 : |
| |
657 cat >> "$TEMP_DIR/make.mk" << __EOF__ |
| |
658 # Enable the check-cxx target |
| |
659 WITH_CXX_TEST=yes |
| |
660 __EOF__ |
| 612 else |
661 else |
| 613 : |
662 : |
| 614 fi |
663 fi |
| 615 if [ -n "$FEATURE_SZMUL_BUILTIN" ]; then |
664 if [ -n "$FEATURE_SZMUL_BUILTIN" ]; then |
| 616 if [ -n "$DISABLE_FEATURE_SZMUL_BUILTIN" ]; then |
665 if [ -n "$DISABLE_FEATURE_SZMUL_BUILTIN" ]; then |
| 746 if [ -n "$FEATURE_COVERAGE" ]; then |
795 if [ -n "$FEATURE_COVERAGE" ]; then |
| 747 echo " coverage: on" |
796 echo " coverage: on" |
| 748 else |
797 else |
| 749 echo " coverage: off" |
798 echo " coverage: off" |
| 750 fi |
799 fi |
| |
800 if [ -n "$FEATURE_CXX_TESTS" ]; then |
| |
801 echo " cxx-tests: on" |
| |
802 else |
| |
803 echo " cxx-tests: off" |
| |
804 fi |
| 751 if [ -n "$FEATURE_SZMUL_BUILTIN" ]; then |
805 if [ -n "$FEATURE_SZMUL_BUILTIN" ]; then |
| 752 echo " szmul-builtin: on" |
806 echo " szmul-builtin: on" |
| 753 else |
807 else |
| 754 echo " szmul-builtin: off" |
808 echo " szmul-builtin: off" |
| 755 fi |
809 fi |