48 lines
1.2 KiB
Diff
48 lines
1.2 KiB
Diff
diff --git a/configure b/configure
|
|
index 6a4a558..3f99074 100755
|
|
--- a/configure
|
|
+++ b/configure
|
|
@@ -514,7 +514,10 @@ fi
|
|
|
|
# dbm?
|
|
|
|
-if [ -f "${ocaml_core_stdlib}/dbm.cmi" ]; then
|
|
+if [ -f "${ocaml_sitelib}/dbm/META" ]; then
|
|
+ echo "dbm: package already present"
|
|
+ ldbm=""
|
|
+elif [ -f "${ocaml_core_stdlib}/dbm.cmi" ]; then
|
|
echo "dbm: found"
|
|
ldbm="dbm"
|
|
else
|
|
@@ -524,8 +527,12 @@ fi
|
|
|
|
# num?
|
|
|
|
-if [ -f "${ocaml_core_stdlib}/num.cmi" ]; then
|
|
- echo "num: found"
|
|
+if [ -f "${ocaml_sitelib}/num/META" ]; then
|
|
+ echo "num: package already present"
|
|
+ lnum=""
|
|
+ numtop=""
|
|
+elif [ -f "${ocaml_core_stdlib}/num.cmi" ]; then
|
|
+ echo "num: found but not as package"
|
|
lnum="num num-top"
|
|
numtop="num-top"
|
|
else
|
|
diff --git a/doc/README.xml b/doc/README.xml
|
|
index 248483e..0b2b3b5 100644
|
|
--- a/doc/README.xml
|
|
+++ b/doc/README.xml
|
|
@@ -110,6 +110,11 @@ configuration files, and library routines in detail.</p>
|
|
<ul>
|
|
|
|
<li>
|
|
+ <p><em>git version:</em> Fix reinstallation of "num" for OCaml-4.06.
|
|
+ </p>
|
|
+ </li>
|
|
+
|
|
+ <li>
|
|
<p><em>1.7.3:</em> Fix regarding num-top: this library is now also
|
|
optional, as num.</p>
|
|
</li>
|