diff options
| author |   Sam James <sam@gentoo.org> | 2021-04-21 00:39:03 +0000 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2021-04-21 02:09:44 +0000 |
| commit | 46076d609969e34e68baa0250bd67d37365809e9 (patch) | |
| tree | f54081f9a4d3ae53c057ba945b944bb877aab5dd /dev-ml/opam/files | |
| parent | dev-ml/xml-light: port to EAPI 7 (diff) | |
| download | gentoo-46076d609969e34e68baa0250bd67d37365809e9.tar.gz gentoo-46076d609969e34e68baa0250bd67d37365809e9.tar.bz2 gentoo-46076d609969e34e68baa0250bd67d37365809e9.zip | |
dev-ml/opam: port to EAPI 7
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/opam/files')
| -rw-r--r-- | dev-ml/opam/files/stublibs.patch | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/dev-ml/opam/files/stublibs.patch b/dev-ml/opam/files/stublibs.patch index 3cb61883233a..69fb02913b50 100644 --- a/dev-ml/opam/files/stublibs.patch +++ b/dev-ml/opam/files/stublibs.patch @@ -1,7 +1,5 @@ -Index: opam-1.3.1/src/tools/opam_installer.ml -=================================================================== ---- opam-1.3.1.orig/src/tools/opam_installer.ml -+++ opam-1.3.1/src/tools/opam_installer.ml +--- a/src/tools/opam_installer.ml ++++ b/src/tools/opam_installer.ml @@ -312,7 +312,7 @@ let options = let mandir = mk_dir mandir in let libdir = mk_dir libdir in |