From d934827bf44b7cfcf6711964418148fa60877668 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Wed, 25 Nov 2020 22:39:15 +0000 Subject: gentoo resync : 25.11.2020 --- dev-ml/findlib/files/externalmeta7.patch | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 dev-ml/findlib/files/externalmeta7.patch (limited to 'dev-ml/findlib/files') diff --git a/dev-ml/findlib/files/externalmeta7.patch b/dev-ml/findlib/files/externalmeta7.patch new file mode 100644 index 000000000000..8aa9fa566e59 --- /dev/null +++ b/dev-ml/findlib/files/externalmeta7.patch @@ -0,0 +1,13 @@ +Index: findlib-1.8.0/configure +=================================================================== +--- findlib-1.8.0.orig/configure ++++ findlib-1.8.0/configure +@@ -581,7 +581,7 @@ fi + + # Generate the META files now. + +-l="$ldbm dynlink $lgraphics $lnum str threads unix stdlib bigarray ocamldoc $llabltk $lcamlp4 $lobuild $lcomplibs $lbytes $lspacetime" ++l="dynlink 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. -- cgit v1.2.3