summaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2009-04-01 16:08:37 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2009-04-01 16:08:37 +0000
commit2da17c49c6b4982fdcc25cb968164e345de27526 (patch)
treef7d3711388ca224e23a31831152d9e6491f8535f /configure
parentace551abfb4f26b678bc36a62b276c2175598df0 (diff)
PR#4638: added expm1 and log1p.
Cleaned up some doc comments in stdlib/pervasives.mli git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9216 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure9
1 files changed, 8 insertions, 1 deletions
diff --git a/configure b/configure
index 7d2fe7aee..1c35ee2e5 100755
--- a/configure
+++ b/configure
@@ -808,7 +808,14 @@ else
fi
fi
-# For the sys module
+# For the Pervasives module
+
+if sh ./trycompile expm1.c $mathlib; then
+ echo "expm1() and log1p() found."
+ echo "#define HAS_EXPM1_LOG1P" >> s.h
+fi
+
+# For the Sys module
if sh ./hasgot getrusage; then
echo "getrusage() found."