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

treinen pushed a commit to branch master
in repository why.

commit f01f917f7495cb6a44076025907fb48fc54aedda
Author: Ralf Treinen <trei...@free.fr>
Date:   Sun Dec 18 19:23:40 2016 +0100

    generate frama-c-plugin/META.frama-c-jessie
---
 debian/changelog |  7 +++++--
 debian/rules     | 13 ++++++++++++-
 2 files changed, 17 insertions(+), 3 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 84d2030..dd2e980 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,11 +1,14 @@
-why (2.36-3) UNRELEASED; urgency=medium
+why (2.36-3) unstable; urgency=medium
 
   * drop build-dependency on liblablgtk2-ocaml-dev
   * stop using libapron, as advised by upstream:
     - drop build-dependency libapron-ocaml-dev
     - drop option enable-apron from ./configure invocation
+  * generate frama-c-plugin/META.frama-c-jessie in debian/rules when it
+    has not been generated by frama-c, which for some unknown reason
+    happens on non-native architectures (closes: #844777).
 
- -- Ralf Treinen <trei...@debian.org>  Tue, 25 Oct 2016 17:11:34 +0200
+ -- Ralf Treinen <trei...@debian.org>  Sun, 18 Dec 2016 19:22:16 +0100
 
 why (2.36-2) unstable; urgency=medium
 
diff --git a/debian/rules b/debian/rules
index 36a95e6..62cd231 100755
--- a/debian/rules
+++ b/debian/rules
@@ -31,7 +31,18 @@ override_dh_auto_build:
        mkdir -p bin
        dh_auto_build
 
-override_dh_auto_install:
+frama-c-plugin/META.frama-c-jessie:
+       echo 'description = "Frama-C Jessie plug-in"' > $@
+       echo -n 'version = "' >> $@
+       frama-c -version >> $@
+       echo '"' >> $@
+       echo 'requires = ""' >> $@
+       echo 'archive(byte) = "Jessie.cma"' >> $@
+       echo 'archive(native) = "Jessie.cmxa"' >> $@
+       echo 'archive(plugin) = "Jessie.cmxs"' >> $@
+       echo 'directory = ""' >> $@
+
+override_dh_auto_install: frama-c-plugin/META.frama-c-jessie
        mkdir -p $(FRAMADIR)
        $(MAKE) prefix=$(WHYDIR)/usr install \
                LIBDIR=$(WHYDIR)/usr/share   \

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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to