summaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
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."