diff options
Diffstat (limited to 'devel/ocaml-findlib/files')
| -rw-r--r-- | devel/ocaml-findlib/files/patch-configure | 12 | ||||
| -rw-r--r-- | devel/ocaml-findlib/files/patch-src_findlib-toolbox_Makefile | 11 |
2 files changed, 23 insertions, 0 deletions
diff --git a/devel/ocaml-findlib/files/patch-configure b/devel/ocaml-findlib/files/patch-configure new file mode 100644 index 000000000000..b70bddb841fd --- /dev/null +++ b/devel/ocaml-findlib/files/patch-configure @@ -0,0 +1,12 @@ +--- configure.orig 2024-03-01 00:17:41 UTC ++++ configure +@@ -457,9 +457,7 @@ if [ -d "${ocaml_sitelib}" ] && [ ${ocaml_major} -lt 5 + echo "Installation has: $findlib_installed_meta" + else + previous_config='' +- check_before_install=1 + echo "Querying installation: META list not found" +- echo "make install will double-check installed META files" + fi + else + previous_config='' diff --git a/devel/ocaml-findlib/files/patch-src_findlib-toolbox_Makefile b/devel/ocaml-findlib/files/patch-src_findlib-toolbox_Makefile new file mode 100644 index 000000000000..629b264f1aea --- /dev/null +++ b/devel/ocaml-findlib/files/patch-src_findlib-toolbox_Makefile @@ -0,0 +1,11 @@ +--- src/findlib-toolbox/Makefile.orig 2024-03-01 00:20:34 UTC ++++ src/findlib-toolbox/Makefile +@@ -9,7 +9,7 @@ make_wizard$(EXEC_SUFFIX): make_wizard.ml + true + + make_wizard$(EXEC_SUFFIX): make_wizard.ml +- ocamlc -o make_wizard$(EXEC_SUFFIX) -I +unix -I +labltk -I ../findlib \ ++ ocamlc -o make_wizard$(EXEC_SUFFIX) -I +unix -I +site-lib/labltk -I ../findlib \ + unix.cma str.cma labltk.cma findlib.cma make_wizard.ml + + install: |