From: Ximin Luo <infinity0@debian.org>
Date: Fri, 3 Mar 2017 22:38:11 +0000 (+0100)
Subject: Some raw_spacetime files are not installed on non-opt architectures
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~76
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=e28c4441f85a48c72d6f862b8aec22fdcccc83fe;p=ocaml.git

Some raw_spacetime files are not installed on non-opt architectures

Not sure that this is the best solution, but do it for now so we can release
---

diff --git a/debian/ocaml-base-nox.install.in b/debian/ocaml-base-nox.install.in
index 2f5f531a..60efa0ed 100644
--- a/debian/ocaml-base-nox.install.in
+++ b/debian/ocaml-base-nox.install.in
@@ -50,8 +50,8 @@ DYN: @OCamlStdlibDir@/nums.cmxs
      @OCamlStdlibDir@/printf.cmi
      @OCamlStdlibDir@/queue.cmi
      @OCamlStdlibDir@/random.cmi
-     @OCamlStdlibDir@/raw_spacetime_lib.cmi
-     @OCamlStdlibDir@/raw_spacetime_lib.cma
+OPT: @OCamlStdlibDir@/raw_spacetime_lib.cmi
+OPT: @OCamlStdlibDir@/raw_spacetime_lib.cma
 DYN: @OCamlStdlibDir@/raw_spacetime_lib.cmxs
      @OCamlStdlibDir@/scanf.cmi
      @OCamlStdlibDir@/set.cmi
diff --git a/debian/ocaml-nox.install.in b/debian/ocaml-nox.install.in
index f39299d8..04ab4d3c 100644
--- a/debian/ocaml-nox.install.in
+++ b/debian/ocaml-nox.install.in
@@ -326,7 +326,7 @@ STD: ratio.cmx
 STD: ratio.mli
 STD: raw_spacetime_lib.cmx
 STD: raw_spacetime_lib.cmxa
-STD: raw_spacetime_lib.mli
+OPT: @OCamlStdlibDir@/raw_spacetime_lib.mli
 STD: scanf.ml
 STD: scanf.mli
 STD: scanf.cmx