[Pkg-ocaml-maint-commits] [ocaml] 01/01: Some raw_spacetime files are not installed on non-opt architectures

[Ximin Luo]

This is an automated email from the git hooks/post-receive script.

infinity0 pushed a commit to branch debian/experimental
in repository ocaml.

commit c2605ca542cfb21c09de86f548f1301c52e4097b
Author: Ximin Luo <infinity0 at debian.org>
Date:   Fri Mar 3 22:39:24 2017 +0100

    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 2f5f531..60efa0e 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 f39299d..51e8d80 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: raw_spacetime_lib.mli
 STD: scanf.ml
 STD: scanf.mli
 STD: scanf.cmx

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml.git