comparison: configure
configure
- changeset 987
- 53e22f112b11
- parent 982
- 7a88b8a05ae1
equal
deleted
inserted
replaced
| 986:38fa7e41194c | 987:53e22f112b11 |
|---|---|
| 111 --release add extra compile flags for release builds | 111 --release add extra compile flags for release builds |
| 112 --with-docs=(all|html|api|none) | 112 --with-docs=(all|html|api|none) |
| 113 | 113 |
| 114 Optional Features: | 114 Optional Features: |
| 115 --enable-coverage | 115 --enable-coverage |
| 116 --disable-szmul-builtin use custom implementation, instead | |
| 116 | 117 |
| 117 __EOF__ | 118 __EOF__ |
| 118 } | 119 } |
| 119 | 120 |
| 120 # create temporary directory | 121 # create temporary directory |
| 156 DOXYGEN=`command -v doxygen` | 157 DOXYGEN=`command -v doxygen` |
| 157 PANDOC=`command -v pandoc` | 158 PANDOC=`command -v pandoc` |
| 158 fi | 159 fi |
| 159 | 160 |
| 160 # features | 161 # features |
| 162 FEATURE_SZMUL_BUILTIN=auto | |
| 161 | 163 |
| 162 # | 164 # |
| 163 # parse arguments | 165 # parse arguments |
| 164 # | 166 # |
| 165 BUILD_TYPE="default" | 167 BUILD_TYPE="default" |
| 185 "--debug") BUILD_TYPE="debug" ;; | 187 "--debug") BUILD_TYPE="debug" ;; |
| 186 "--release") BUILD_TYPE="release" ;; | 188 "--release") BUILD_TYPE="release" ;; |
| 187 "--with-docs="*) OPT_WITH_DOCS=${ARG#--with-docs=} ;; | 189 "--with-docs="*) OPT_WITH_DOCS=${ARG#--with-docs=} ;; |
| 188 "--enable-coverage") FEATURE_COVERAGE=on ;; | 190 "--enable-coverage") FEATURE_COVERAGE=on ;; |
| 189 "--disable-coverage") unset FEATURE_COVERAGE ;; | 191 "--disable-coverage") unset FEATURE_COVERAGE ;; |
| 192 "--enable-szmul-builtin") FEATURE_SZMUL_BUILTIN=on ;; | |
| 193 "--disable-szmul-builtin") unset FEATURE_SZMUL_BUILTIN ;; | |
| 190 "-"*) echo "unknown option: $ARG"; abort_configure ;; | 194 "-"*) echo "unknown option: $ARG"; abort_configure ;; |
| 191 esac | 195 esac |
| 192 done | 196 done |
| 193 | 197 |
| 194 | 198 |
| 601 fi | 605 fi |
| 602 if [ -n "$DISABLE_FEATURE_COVERAGE" ]; then | 606 if [ -n "$DISABLE_FEATURE_COVERAGE" ]; then |
| 603 unset FEATURE_COVERAGE | 607 unset FEATURE_COVERAGE |
| 604 fi | 608 fi |
| 605 fi | 609 fi |
| 610 if [ -n "$FEATURE_COVERAGE" ]; then | |
| 611 : | |
| 612 else | |
| 613 : | |
| 614 fi | |
| 615 if [ -n "$FEATURE_SZMUL_BUILTIN" ]; then | |
| 616 if [ -n "$DISABLE_FEATURE_SZMUL_BUILTIN" ]; then | |
| 617 unset FEATURE_SZMUL_BUILTIN | |
| 618 fi | |
| 619 fi | |
| 620 if [ -n "$FEATURE_SZMUL_BUILTIN" ]; then | |
| 621 : | |
| 622 else | |
| 623 : | |
| 624 TEMP_CFLAGS="$TEMP_CFLAGS -DCX_NO_SZMUL_BUILTIN" | |
| 625 TEMP_CXXFLAGS="$TEMP_CXXFLAGS -DCX_NO_SZMUL_BUILTIN" | |
| 626 fi | |
| 606 | 627 |
| 607 # Option: --with-docs | 628 # Option: --with-docs |
| 608 if [ -z "$OPT_WITH_DOCS" ]; then | 629 if [ -z "$OPT_WITH_DOCS" ]; then |
| 609 echo "auto-detecting option 'with-docs'" | 630 echo "auto-detecting option 'with-docs'" |
| 610 SAVED_ERROR="$ERROR" | 631 SAVED_ERROR="$ERROR" |
| 725 if [ -n "$FEATURE_COVERAGE" ]; then | 746 if [ -n "$FEATURE_COVERAGE" ]; then |
| 726 echo " coverage: on" | 747 echo " coverage: on" |
| 727 else | 748 else |
| 728 echo " coverage: off" | 749 echo " coverage: off" |
| 729 fi | 750 fi |
| 751 if [ -n "$FEATURE_SZMUL_BUILTIN" ]; then | |
| 752 echo " szmul-builtin: on" | |
| 753 else | |
| 754 echo " szmul-builtin: off" | |
| 755 fi | |
| 730 echo | 756 echo |
| 731 | 757 |
| 732 # generate the config.mk file | 758 # generate the config.mk file |
| 733 cat > "$TEMP_DIR/config.mk" << __EOF__ | 759 cat > "$TEMP_DIR/config.mk" << __EOF__ |
| 734 # | 760 # |
