From: Stephane Glondu <steph@glondu.net>
Date: Wed, 6 Nov 2019 09:55:55 +0000 (+0100)
Subject: Do no longer install ocaml-native-compilers.conf
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~2^2~11
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=3165197964b954ee854f2349081da5ba45da5e25;p=ocaml.git

Do no longer install ocaml-native-compilers.conf

ocaml{dep,c,...} are now symlinks to the "best" versions.
---

diff --git a/debian/dispatch.ml b/debian/dispatch.ml
index fa2d34be..eb83a53b 100644
--- a/debian/dispatch.ml
+++ b/debian/dispatch.ml
@@ -50,7 +50,6 @@ let ocaml_base_nox = ref [ "debian/ld.conf usr/lib/ocaml" ]
 let ocaml_base = ref []
 let ocaml_nox =
   ref [
-      "debian/ocamlfind/ocaml-native-compilers.conf usr/share/ocaml-findlib/";
       "debian/native-archs usr/lib/ocaml";
     ]
 let ocaml = ref []
diff --git a/debian/ocamlfind/ocaml-native-compilers.conf b/debian/ocamlfind/ocaml-native-compilers.conf
deleted file mode 100644
index e9c24674..00000000
--- a/debian/ocamlfind/ocaml-native-compilers.conf
+++ /dev/null
@@ -1,4 +0,0 @@
-ocamlc="ocamlc.opt"
-ocamlopt="ocamlopt.opt"
-ocamldep="ocamldep.opt"
-ocamldoc="ocamldoc.opt"