Do no longer install ocaml-native-compilers.conf
authorStephane Glondu <steph@glondu.net>
Wed, 6 Nov 2019 09:55:55 +0000 (10:55 +0100)
committerStéphane Glondu <glondu@debian.org>
Wed, 6 Nov 2019 09:55:58 +0000 (10:55 +0100)
ocaml{dep,c,...} are now symlinks to the "best" versions.

debian/dispatch.ml
debian/ocamlfind/ocaml-native-compilers.conf [deleted file]

index fa2d34bec957d52a161d5ed697e5ed864855e97d..eb83a53b85eb3f53e7a9714d41de5e60413cc2d5 100644 (file)
@@ -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 (file)
index e9c2467..0000000
+++ /dev/null
@@ -1,4 +0,0 @@
-ocamlc="ocamlc.opt"
-ocamlopt="ocamlopt.opt"
-ocamldep="ocamldep.opt"
-ocamldoc="ocamldoc.opt"