From 718d6198e338069852dcdde067f56df236235370 Mon Sep 17 00:00:00 2001 From: Louis Gesbert 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