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