diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2009-04-01 16:08:37 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2009-04-01 16:08:37 +0000 |
commit | 2da17c49c6b4982fdcc25cb968164e345de27526 (patch) | |
tree | f7d3711388ca224e23a31831152d9e6491f8535f /configure | |
parent | ace551abfb4f26b678bc36a62b276c2175598df0 (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-x | configure | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -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." |