summaryrefslogtreecommitdiff
path: root/dev-ml/findlib/files/externalmeta5.patch
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/findlib/files/externalmeta5.patch')
-rw-r--r--dev-ml/findlib/files/externalmeta5.patch13
1 files changed, 13 insertions, 0 deletions
diff --git a/dev-ml/findlib/files/externalmeta5.patch b/dev-ml/findlib/files/externalmeta5.patch
new file mode 100644
index 000000000000..ac90722de3b3
--- /dev/null
+++ b/dev-ml/findlib/files/externalmeta5.patch
@@ -0,0 +1,13 @@
+Index: findlib-1.7.2/configure
+===================================================================
+--- findlib-1.7.2.orig/configure
++++ findlib-1.7.2/configure
+@@ -557,7 +557,7 @@ fi
+
+ # Generate the META files now.
+
+-l="$ldbm dynlink graphics $lnum num-top str threads unix stdlib bigarray ocamldoc $llabltk $lcamlp4 $lobuild $lcomplibs $lbytes $lspacetime"
++l="$ldbm dynlink graphics $lnum num-top str threads unix stdlib bigarray ocamldoc $lcomplibs $lbytes $lspacetime"
+
+ for dir in site-lib-src/*; do
+ # We do not really know if $dir is a directory.