From 3165197964b954ee854f2349081da5ba45da5e25 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Wed, 6 Nov 2019 10:55:55 +0100 Subject: [PATCH] Do no longer install ocaml-native-compilers.conf ocaml{dep,c,...} are now symlinks to the "best" versions. --- debian/dispatch.ml | 1 - debian/ocamlfind/ocaml-native-compilers.conf | 4 ---- 2 files changed, 5 deletions(-) delete mode 100644 debian/ocamlfind/ocaml-native-compilers.conf 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" -- 2.30.2