Commit 180a4519 authored by Gerd Stolpmann's avatar Gerd Stolpmann

Fix reinstallation of "num" for OCaml-4.06.

parent 8890e698
......@@ -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
......
......@@ -109,6 +109,11 @@ configuration files, and library routines in detail.</p>
<title>List of Changes</title>
<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>
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment