[Pkg-ocaml-maint-commits] [frama-c] 05/08: Re-enable Impact plugin by dropping --disable-impact

Mehdi Dogguy mehdi at moszumanska.debian.org
Sun Jan 1 00:06:07 UTC 2017


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 <mehdi at 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 <mehdi at 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



More information about the Pkg-ocaml-maint-commits mailing list