From e28c4441f85a48c72d6f862b8aec22fdcccc83fe Mon Sep 17 00:00:00 2001 From: Ximin Luo Date: Fri, 3 Mar 2017 23:38:11 +0100 Subject: [PATCH] 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 --- debian/ocaml-base-nox.install.in | 4 ++-- debian/ocaml-nox.install.in | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) 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 -- 2.30.2