diff options
| author | Jakub Jirutka <jakub@jirutka.cz> | 2018-03-09 16:11:48 +0100 |
|---|---|---|
| committer | Jakub Jirutka <jakub@jirutka.cz> | 2018-03-10 02:17:25 +0100 |
| commit | 8bfc67df0a57498484d796fcc235929f175af5dc (patch) | |
| tree | e8d35fc76ad86d6f328785c6e80b6d0279623991 /community/ocaml-findlib/fix-reinstallation-of-num-for-ocaml-4.06.patch | |
| parent | 691c350c2a083816e3de652abe213c89413d276e (diff) | |
| download | aports-8bfc67df0a57498484d796fcc235929f175af5dc.tar.bz2 aports-8bfc67df0a57498484d796fcc235929f175af5dc.tar.xz | |
community/ocaml-findlib: fix for ocaml 4.06
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> |