diff options
Diffstat (limited to 'community/opam/fix-default-stubsdir.patch')
-rw-r--r-- | community/opam/fix-default-stubsdir.patch | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/community/opam/fix-default-stubsdir.patch b/community/opam/fix-default-stubsdir.patch deleted file mode 100644 index 1cc48dec4e..0000000000 --- a/community/opam/fix-default-stubsdir.patch +++ /dev/null @@ -1,24 +0,0 @@ -From 718d6198e338069852dcdde067f56df236235370 Mon Sep 17 00:00:00 2001 -From: Louis Gesbert <louis.gesbert@ocamlpro.com> -Date: Mon, 7 Aug 2017 12:45:47 +0200 -Subject: [PATCH] Fix opam-installer (stubsdir = "stubslibs" -> "stublibs") - -Patch-Source: https://github.com/ocaml/opam/commit/718d6198e338069852dcdde067f56df236235370 -See-Also: https://github.com/ocaml/dune/issues/108#issuecomment-329178318 ---- - src/tools/opam_installer.ml | 2 +- - 1 file changed, 1 insertion(+), 1 deletion(-) - -diff --git a/src/tools/opam_installer.ml b/src/tools/opam_installer.ml -index b35af249b..3e5ebfcb9 100644 ---- a/src/tools/opam_installer.ml -+++ b/src/tools/opam_installer.ml -@@ -312,7 +312,7 @@ - let mandir = mk_dir mandir in - let libdir = mk_dir libdir in - let stubsdir = match mk_dir stubsdir, libdir with -- | None, Some d -> Some OpamFilename.OP.(d / "stubslibs") -+ | None, Some d -> Some OpamFilename.OP.(d / "stublibs") - | d, None | (Some _ as d), _ -> d - in - let topdir = match mk_dir topdir, libdir with |