diff options
Diffstat (limited to 'dev-ml/findlib/files/externalmeta6.patch')
-rw-r--r-- | dev-ml/findlib/files/externalmeta6.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/dev-ml/findlib/files/externalmeta6.patch b/dev-ml/findlib/files/externalmeta6.patch deleted file mode 100644 index 7dbe9aa48e00..000000000000 --- a/dev-ml/findlib/files/externalmeta6.patch +++ /dev/null @@ -1,13 +0,0 @@ -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 str threads unix stdlib bigarray ocamldoc $llabltk $lcamlp4 $lobuild $lcomplibs $lbytes $lspacetime" -+l="$ldbm dynlink graphics $lnum 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. |