From: Ximin Luo Date: Fri, 3 Mar 2017 15:09:51 +0000 (+0100) Subject: Fix ocaml-nox.install for non-opt arches X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~80 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=59215e8ba17e06225b1c5bcf458cb40d7db2a672;p=ocaml.git Fix ocaml-nox.install for non-opt arches --- diff --git a/debian/ocaml-nox.install.in b/debian/ocaml-nox.install.in index eac29e22..a3f73378 100644 --- a/debian/ocaml-nox.install.in +++ b/debian/ocaml-nox.install.in @@ -6,25 +6,25 @@ usr/bin/ocamllex usr/bin/ocamlmklib usr/bin/ocamlmktop + usr/bin/ocamlobjinfo usr/bin/ocamlprof usr/bin/ocamlyacc - usr/bin/ocamlobjinfo usr/bin/ocamlc.* usr/bin/ocamlcp.* usr/bin/ocamldep.* usr/bin/ocamldoc.* usr/bin/ocamllex.* - usr/bin/ocamlopt.* - usr/bin/ocamloptp.* usr/bin/ocamlmklib.* usr/bin/ocamlmktop.* - usr/bin/ocamlprof.* usr/bin/ocamlobjinfo.* + usr/bin/ocamlprof.* debian/ocamlfind/ocaml-native-compilers.conf usr/share/ocaml-findlib/ @OCamlStdlibDir@/objinfo_helper debian/native-archs @OCamlStdlibDir@ OPT: usr/bin/ocamlopt OPT: usr/bin/ocamloptp +OPT: usr/bin/ocamlopt.* +OPT: usr/bin/ocamloptp.* @OCamlStdlibDir@/stdlib.cma @OCamlStdlibDir@/dynlink.cma DYN: @OCamlStdlibDir@/dynlink.cmx