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.