From: Stéphane Glondu Date: Wed, 23 Aug 2023 13:59:21 +0000 (+0200) Subject: Add (empty) METAS directory in stdlib dir X-Git-Tag: archive/raspbian/4.14.1-1+rpi1~1^2~17 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=1d887a34a1eb5b2585c0986ce0618ce9a0a12fe5;p=ocaml.git Add (empty) METAS directory in stdlib dir Findlib is configured to look into this directory, and without it, utop complains during completion in the `#require` directive. --- diff --git a/debian/libstdlib-ocaml.dirs.in b/debian/libstdlib-ocaml.dirs.in new file mode 100644 index 00000000..b521a6d5 --- /dev/null +++ b/debian/libstdlib-ocaml.dirs.in @@ -0,0 +1 @@ +@OCamlStdlibDir@/METAS diff --git a/debian/libstdlib-ocaml.lintian-overrides.in b/debian/libstdlib-ocaml.lintian-overrides.in new file mode 100644 index 00000000..ded084d1 --- /dev/null +++ b/debian/libstdlib-ocaml.lintian-overrides.in @@ -0,0 +1 @@ +libstdlib-ocaml: package-contains-empty-directory [.@OCamlStdlibDir@/METAS/]