This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository frama-c.
commit e69a2e3d3a1edfbe349ebed7c4afe3557ce01a6c Author: Mehdi Dogguy <[email protected]> Date: Tue Sep 1 19:32:38 2015 +0000 Plugins are only present on native architectures --- debian/changelog | 5 ++++- debian/frama-c-base.install.in | 2 +- debian/frama-c.install | 2 -- debian/frama-c.install.in | 2 ++ 4 files changed, 7 insertions(+), 4 deletions(-) diff --git a/debian/changelog b/debian/changelog index eece2f6..df34274 100644 --- a/debian/changelog +++ b/debian/changelog @@ -3,8 +3,11 @@ frama-c (20150201+sodium+dfsg-2) UNRELEASED; urgency=medium * frama-c package must Breaks/Replaces older frama-c-base package (<< 20150201+sodium+dfsg-1~) since files were moved from the latter to the former (Closes: #797695). + * Do not try to install plugins on bytecode architectures since they + are provided only on native architectures. This is needed to fix + FTBFS on bytecode architectures. - -- Mehdi Dogguy <[email protected]> Tue, 01 Sep 2015 19:20:57 +0000 + -- Mehdi Dogguy <[email protected]> Tue, 01 Sep 2015 19:30:33 +0000 frama-c (20150201+sodium+dfsg-1) unstable; urgency=medium diff --git a/debian/frama-c-base.install.in b/debian/frama-c-base.install.in index 90b5dcb..7725b84 100644 --- a/debian/frama-c-base.install.in +++ b/debian/frama-c-base.install.in @@ -1,5 +1,5 @@ usr/lib/frama-c/*.* - usr/lib/frama-c/plugins/*.* +OPT: usr/lib/frama-c/plugins/*.* usr/share usr/bin/frama-c OPT: usr/bin/frama-c.byte diff --git a/debian/frama-c.install b/debian/frama-c.install deleted file mode 100644 index 89a4f7a..0000000 --- a/debian/frama-c.install +++ /dev/null @@ -1,2 +0,0 @@ -usr/bin/frama-c-gui -usr/lib/frama-c/plugins/gui diff --git a/debian/frama-c.install.in b/debian/frama-c.install.in new file mode 100644 index 0000000..e2741f3 --- /dev/null +++ b/debian/frama-c.install.in @@ -0,0 +1,2 @@ + usr/bin/frama-c-gui +OPT: usr/lib/frama-c/plugins/gui -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/frama-c.git _______________________________________________ Pkg-ocaml-maint-commits mailing list [email protected] http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
