This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository frama-c.
commit 855895e9b73a45ac407425cd18cbd265474e988c Author: Mehdi Dogguy <me...@debian.org> Date: Sat Dec 31 01:35:06 2016 +0100 Re-enable Impact plugin by dropping --disable-impact --- debian/changelog | 3 +++ debian/rules | 1 - 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/debian/changelog b/debian/changelog index 1a15009..67841e7 100644 --- a/debian/changelog +++ b/debian/changelog @@ -6,6 +6,9 @@ frama-c (20161101+silicon+dfsg-3) UNRELEASED; urgency=medium * Avoid double linking of LoopAnalysis.cmo * ocaml-findlib is not needed for frama-c-base. It has a runtime dependency on libfindlib-ocaml which is enough. + * Re-enable Impact plugin by dropping --disable-impact flag for configure + script. The plugin used to be non open-source, which is not the case + anymore. -- Mehdi Dogguy <me...@debian.org> Thu, 22 Dec 2016 10:06:03 +0100 diff --git a/debian/rules b/debian/rules index be0d39f..b3caeaf 100755 --- a/debian/rules +++ b/debian/rules @@ -19,7 +19,6 @@ override_dh_auto_configure: --mandir=\$${prefix}/share/man \ --infodir=\$${prefix}/share/info \ --datarootdir=\$${prefix}/share \ - --disable-impact \ --disable-security \ --enable-verbosemake \ --enable-zarith="$(OCAML_STDLIB_DIR)/zarith" \ -- 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 Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits