summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez@inria.fr>2017-08-31 15:25:15 +0200
committerDamien Doligez <damien.doligez@gmail.com>2017-09-15 18:24:36 +0200
commitf086eda9c075eda0d2fcd74183c019c4515a6c28 (patch)
tree84985a120cf715ccb40e170d8db2bea1f528218d /configure
parentcd3dbe79be441c35b063f440316088559400b480 (diff)
downloadocaml-f086eda9c075eda0d2fcd74183c019c4515a6c28.tar.gz
add -no-flat-float-array configure option
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure15
1 files changed, 15 insertions, 0 deletions
diff --git a/configure b/configure
index 01b05d3c37..b1c8b383b5 100755
--- a/configure
+++ b/configure
@@ -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