diff --git a/.gitignore b/.gitignore index 9e37fe9..4867aed 100644 --- a/.gitignore +++ b/.gitignore @@ -12,13 +12,3 @@ findlib-1.2.5.tar.gz /findlib-1.6.3.tar.gz /findlib-1.7.1.tar.gz /findlib-1.7.3.tar.gz -/findlib-1.8.0.tar.gz -/findlib-1.8.1.tar.gz -/findlib-1.9.tar.gz -/findlib-1.9.1.tar.gz -/findlib-1.9.2.tar.gz -/findlib-1.9.3.tar.gz -/findlib-1.9.4.tar.gz -/findlib-1.9.5.tar.gz -/findlib-1.9.6.tar.gz -/findlib-1.9.8.tar.gz diff --git a/findlib-1.4-add-debug.patch b/findlib-1.4-add-debug.patch new file mode 100644 index 0000000..8734d78 --- /dev/null +++ b/findlib-1.4-add-debug.patch @@ -0,0 +1,11 @@ +--- ./findlib-1.4/src/findlib/Makefile.old 2013-09-13 22:13:25.322978268 +0100 ++++ ./findlib-1.4/src/findlib/Makefile 2013-09-13 22:13:38.289999908 +0100 +@@ -14,7 +14,7 @@ + + # Need compiler-libs since ocaml-4.00 + OCAMLC = ocamlc -I +compiler-libs +-OCAMLOPT = ocamlopt -I +compiler-libs ++OCAMLOPT = ocamlopt -I +compiler-libs -g + OCAMLDEP = ocamldep + OCAMLLEX = ocamllex + #CAMLP4O = camlp4 pa_o.cmo pa_op.cmo pr_o.cmo -- 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.

+