[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.23+dfsg-1-10-g3de1ee2
Mehdi Dogguy
mehdi at debian.org
Sun Jan 24 22:53:36 UTC 2010
The following commit has been merged in the master branch:
commit 5f5a5cd9264da3c12650fb8268e080e2cd195b34
Author: Mehdi Dogguy <mehdi at debian.org>
Date: Sun Jan 24 22:52:49 2010 +0100
Generate Jessie.cma
diff --git a/debian/changelog b/debian/changelog
index 395306b..2263574 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -15,6 +15,7 @@ why (2.23+dfsg-1) unstable; urgency=low
* Fix FTBFS on bytecode architectures
+ Add 0004-Use-tools-make_float_model.ocamlbest-instead-of-opt-.patch
+ Apron also needs oct.cmxa (0002-Enable-Apron-support.patch)
+ + Generate Jessie.cma
* Fix debhelper-but-no-misc-depends
* Fix out-of-date-standards-version
* Set filter-pristine-tar to True in debian/gbp.conf
diff --git a/debian/patches/0005-Generate-Jessie.cma-for-bytecode-only-architectures.patch b/debian/patches/0005-Generate-Jessie.cma-for-bytecode-only-architectures.patch
new file mode 100644
index 0000000..c923670
--- /dev/null
+++ b/debian/patches/0005-Generate-Jessie.cma-for-bytecode-only-architectures.patch
@@ -0,0 +1,22 @@
+From: Mehdi Dogguy <mehdi at debian.org>
+Date: Sun, 24 Jan 2010 22:52:15 +0100
+Subject: [PATCH] Generate Jessie.cma for bytecode only architectures
+
+---
+ Makefile.in | 2 +-
+ 1 files changed, 1 insertions(+), 1 deletions(-)
+
+diff --git a/Makefile.in b/Makefile.in
+index 5b749ac..1270548 100644
+--- a/Makefile.in
++++ b/Makefile.in
+@@ -371,7 +371,7 @@ ifeq ($(FRAMAC),yes)
+ JESSIE_PLUGIN_PATH=frama-c-plugin
+ $(JESSIE_PLUGIN_BYTE): jc/jc.cmo $(JCCMO) $(CMO)
+ $(MAKE) -C $(JESSIE_PLUGIN_PATH) depend
+- $(MAKE) -C $(JESSIE_PLUGIN_PATH) Jessie.cmo
++ $(MAKE) -C $(JESSIE_PLUGIN_PATH) Jessie.cma
+
+ $(JESSIE_PLUGIN_OPT): $(JCLIB) $(JCCMX) $(CMX)
+ $(MAKE) -C $(JESSIE_PLUGIN_PATH) depend
+--
diff --git a/debian/patches/series b/debian/patches/series
index a9eec75..b78293a 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -2,3 +2,4 @@
0002-Enable-Apron-support.patch
0003-Fix-spelling-errors.patch
0004-Use-tools-make_float_model.ocamlbest-instead-of-opt-.patch
+0005-Generate-Jessie.cma-for-bytecode-only-architectures.patch
--
why packaging
More information about the Pkg-ocaml-maint-commits
mailing list