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 2f5f531a8d47887ae00bea8de6d38e6a1b2b345c..60efa0ed9bb266c37095a23110f36538c43491d2 100644 (file)
--- 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 f39299d8dddba2b3032ff875dafe9ee6bb9c5f63..04ab4d3c35a6f7ed927b5a73c286fd8f746e3326 100644 (file)
--- 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