diff options
Diffstat (limited to 'community/ocaml-findlib/fix-reinstallation-of-num-for-ocaml-4.06.patch')
| -rw-r--r-- | community/ocaml-findlib/fix-reinstallation-of-num-for-ocaml-4.06.patch | 49 |
1 files changed, 49 insertions, 0 deletions
diff --git a/community/ocaml-findlib/fix-reinstallation-of-num-for-ocaml-4.06.patch b/community/ocaml-findlib/fix-reinstallation-of-num-for-ocaml-4.06.patch new file mode 100644 index 0000000000..41127b6c2d --- /dev/null +++ b/community/ocaml-findlib/fix-reinstallation-of-num-for-ocaml-4.06.patch @@ -0,0 +1,49 @@ +Patch-Source: https://src.fedoraproject.org/rpms/ocaml-findlib/blob/f28/f/findlib-fix-reinstallation-of-num-for-ocaml-4.06.patch + +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> |