[Pkg-ocaml-maint-commits] [ocaml] 01/01: Some raw_spacetime files are not installed on non-opt architectures
Ximin Luo
infinity0 at debian.org
Fri Mar 3 22:38:52 UTC 2017
This is an automated email from the git hooks/post-receive script.
infinity0 pushed a commit to branch debian/experimental
in repository ocaml.
commit e28c4441f85a48c72d6f862b8aec22fdcccc83fe
Author: Ximin Luo <infinity0 at debian.org>
Date: Fri Mar 3 23:38:11 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..04ab4d3 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
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml.git
More information about the Pkg-ocaml-maint-commits
mailing list