diff --git a/findlib-fix-reinstallation-of-num-for-ocaml-4.06.patch b/findlib-fix-reinstallation-of-num-for-ocaml-4.06.patch new file mode 100644 index 0000000..5bbe66e --- /dev/null +++ b/findlib-fix-reinstallation-of-num-for-ocaml-4.06.patch @@ -0,0 +1,47 @@ +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.

+