configure

changeset 1017
b0098854071f
parent 990
f708863e7ec6
equal deleted inserted replaced
1016:fe177d6dabb8 1017:b0098854071f
104 --datadir=DIR read-only architecture-independent data [DATAROOTDIR] 104 --datadir=DIR read-only architecture-independent data [DATAROOTDIR]
105 --infodir=DIR info documentation [DATAROOTDIR/info] 105 --infodir=DIR info documentation [DATAROOTDIR/info]
106 --mandir=DIR man documentation [DATAROOTDIR/man] 106 --mandir=DIR man documentation [DATAROOTDIR/man]
107 --localedir=DIR locale-dependent data [DATAROOTDIR/locale] 107 --localedir=DIR locale-dependent data [DATAROOTDIR/locale]
108 108
109 Build Types:
110 --debug add extra compile flags for debug builds
111 --release add extra compile flags for release builds
112
109 Options: 113 Options:
110 --debug add extra compile flags for debug builds
111 --release add extra compile flags for release builds
112 --with-docs=(all|html|api|none) 114 --with-docs=(all|html|api|none)
113 115
114 Optional Features: 116 Optional Features:
115 --enable-coverage 117 --enable-coverage
116 --disable-cxx-tests the check-cxx makefile target 118 --disable-cxx-tests the check-cxx makefile target
183 "--localstatedir="*) localstatedir=${ARG#--localstatedir=} ;; 185 "--localstatedir="*) localstatedir=${ARG#--localstatedir=} ;;
184 "--includedir="*) includedir=${ARG#--includedir=} ;; 186 "--includedir="*) includedir=${ARG#--includedir=} ;;
185 "--infodir="*) infodir=${ARG#--infodir=} ;; 187 "--infodir="*) infodir=${ARG#--infodir=} ;;
186 "--mandir"*) mandir=${ARG#--mandir} ;; 188 "--mandir"*) mandir=${ARG#--mandir} ;;
187 "--localedir"*) localedir=${ARG#--localedir} ;; 189 "--localedir"*) localedir=${ARG#--localedir} ;;
188 "--help"*) printhelp; abort_configure ;; 190 "--help"*) printhelp; abort_configure ;;
189 "--debug") BUILD_TYPE="debug" ;; 191 "--debug") BUILD_TYPE="debug" ;;
190 "--release") BUILD_TYPE="release" ;; 192 "--release") BUILD_TYPE="release" ;;
191 "--with-docs="*) OPT_WITH_DOCS=${ARG#--with-docs=} ;; 193 "--with-docs="*) OPT_WITH_DOCS=${ARG#--with-docs=} ;;
194 "--with-docs") echo "option '$ARG' needs a value:"; echo " $ARG=(all|html|api|none)"; abort_configure ;;
192 "--enable-coverage") FEATURE_COVERAGE=on ;; 195 "--enable-coverage") FEATURE_COVERAGE=on ;;
193 "--disable-coverage") unset FEATURE_COVERAGE ;; 196 "--disable-coverage") unset FEATURE_COVERAGE ;;
194 "--enable-cxx-tests") FEATURE_CXX_TESTS=on ;; 197 "--enable-cxx-tests") FEATURE_CXX_TESTS=on ;;
195 "--disable-cxx-tests") unset FEATURE_CXX_TESTS ;; 198 "--disable-cxx-tests") unset FEATURE_CXX_TESTS ;;
196 "--enable-szmul-builtin") FEATURE_SZMUL_BUILTIN=on ;; 199 "--enable-szmul-builtin") FEATURE_SZMUL_BUILTIN=on ;;
503 echo > "$TEMP_DIR/flags.mk" 506 echo > "$TEMP_DIR/flags.mk"
504 507
505 DEPENDENCIES_FAILED= 508 DEPENDENCIES_FAILED=
506 ERROR=0 509 ERROR=0
507 # unnamed dependencies 510 # unnamed dependencies
508 TEMP_CFLAGS= 511 TEMP_CFLAGS="$CFLAGS"
509 TEMP_CXXFLAGS= 512 TEMP_CXXFLAGS="$CXXFLAGS"
510 TEMP_LDFLAGS= 513 TEMP_LDFLAGS="$LDFLAGS"
511 while true 514 while true
512 do 515 do
513 while true 516 while true
514 do 517 do
515 518
774 : 777 :
775 else 778 else
776 ERROR=1 779 ERROR=1
777 DEPENDENCIES_FAILED="option 'with-docs' $DEPENDENCIES_FAILED" 780 DEPENDENCIES_FAILED="option 'with-docs' $DEPENDENCIES_FAILED"
778 fi 781 fi
782 else
783 echo
784 echo "Invalid option value - usage:"
785 echo " --with-docs=(all|html|api|none)"
786 abort_configure
779 fi 787 fi
780 fi 788 fi
781 789
782 if [ -n "${TEMP_CFLAGS}" ] && [ -n "$lang_c" ]; then 790 if [ -n "${TEMP_CFLAGS}" ] && [ -n "$lang_c" ]; then
783 echo "CFLAGS += $TEMP_CFLAGS" >> "$TEMP_DIR/flags.mk" 791 echo "CFLAGS += $TEMP_CFLAGS" >> "$TEMP_DIR/flags.mk"

mercurial