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