| 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 ;; |