[Pkg-ocaml-maint-commits] [frama-c] 07/08: Drop use of --enable-zarith=<path>

[Mehdi Dogguy]

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

mehdi pushed a commit to branch master
in repository frama-c.

commit da139264977971eac054f03738b3367911694968
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Sat Dec 31 01:38:37 2016 +0100

    Drop use of --enable-zarith=<path>
---
 debian/changelog | 2 ++
 debian/rules     | 1 -
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index aaade5c..1608252 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -10,6 +10,8 @@ frama-c (20161101+silicon+dfsg-3) UNRELEASED; urgency=medium
     script. The plugin used to be non open-source, which is not the case
     anymore.
   * Drop configure flag --disable-security as it became useless.
+  * configure script is now able to find zarith correctly. The use of
+    --enable-zarith=<path> is not needed anymore. Thus, dropping it.
 
  -- Mehdi Dogguy <mehdi at debian.org>  Thu, 22 Dec 2016 10:06:03 +0100
 
diff --git a/debian/rules b/debian/rules
index 567c433..10a0980 100755
--- a/debian/rules
+++ b/debian/rules
@@ -20,7 +20,6 @@ override_dh_auto_configure:
 		--infodir=\$${prefix}/share/info \
 		--datarootdir=\$${prefix}/share  \
 		--enable-verbosemake             \
-		--enable-zarith="$(OCAML_STDLIB_DIR)/zarith" \
 		CFLAGS="$(CFLAGS)"               \
 		LDFLAGS="-Wl,-z,defs"
 

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