diff options
| author | Damien Doligez <damien.doligez@inria.fr> | 2017-08-31 15:25:15 +0200 |
|---|---|---|
| committer | Damien Doligez <damien.doligez@gmail.com> | 2017-09-15 18:24:36 +0200 |
| commit | f086eda9c075eda0d2fcd74183c019c4515a6c28 (patch) | |
| tree | 84985a120cf715ccb40e170d8db2bea1f528218d /configure | |
| parent | cd3dbe79be441c35b063f440316088559400b480 (diff) | |
| download | ocaml-f086eda9c075eda0d2fcd74183c019c4515a6c28.tar.gz | |
add -no-flat-float-array configure option
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 15 |
1 files changed, 15 insertions, 0 deletions
@@ -67,6 +67,7 @@ afl_instrument=false max_testsuite_dir_retries=0 with_cplugins=false with_fpic=false +flat_float_array=true # Try to turn internationalization off, can cause config.guess to malfunction! unset LANG @@ -214,6 +215,10 @@ while : ; do with_fpic=true;; -safe-string|--safe-string) safe_string=true;; + -flat-float-array|--flat-float-array) + flat_float_array=true;; + -no-flat-float-array|--no-flat-float-array) + flat_float_array=false;; -afl-instrument) afl_instrument=true;; *) if echo "$1" | grep -q -e '^--\?[a-zA-Z0-9-]\+='; then @@ -2009,6 +2014,10 @@ if $safe_string; then echo "#define CAML_SAFE_STRING" >> m.h fi +if $flat_float_array; then + echo "#define FLAT_FLOAT_ARRAY" >> m.h +fi + # Finish generated files cclibs="$cclibs $mathlib" @@ -2097,6 +2106,7 @@ config FLAMBDA "$flambda" config SAFE_STRING "$safe_string" config AFL_INSTRUMENT "$afl_instrument" config MAX_TESTSUITE_DIR_RETRIES "$max_testsuite_dir_retries" +config FLAT_FLOAT_ARRAY "$flat_float_array" rm -f tst hasgot.c @@ -2218,6 +2228,11 @@ else else inf " safe strings ............. no" fi + if $flat_float_array; then + inf " flat float arrays ........ yes" + else + inf " flat float arrays ........ no" + fi if test "$afl_instrument" = "true"; then inf " afl-fuzz always enabled .. yes" else |
