[Pkg-ocaml-maint-commits] [why] 01/01: generate frama-c-plugin/META.frama-c-jessie
Ralf Treinen
treinen at moszumanska.debian.org
Sun Dec 18 19:17:23 UTC 2016
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 <treinen at 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 <treinen at debian.org> Tue, 25 Oct 2016 17:11:34 +0200
+ -- Ralf Treinen <treinen at 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
More information about the Pkg-ocaml-maint-commits
mailing list