[Pkg-ocaml-maint-commits] [why] 02/02: stop using libapron

[Ralf Treinen]

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

treinen pushed a commit to branch master
in repository why.

commit 72c7ad8769b183603ed52e1227c031c7ded450cc
Author: Ralf Treinen <treinen at irif.fr>
Date:   Tue Oct 25 17:12:00 2016 +0200

    stop using libapron
---
 debian/changelog | 5 ++++-
 debian/control   | 1 -
 debian/rules     | 1 -
 3 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index bb7b4f1..84d2030 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,11 @@
 why (2.36-3) UNRELEASED; 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
 
- -- Ralf Treinen <treinen at debian.org>  Tue, 25 Oct 2016 17:08:25 +0200
+ -- Ralf Treinen <treinen at debian.org>  Tue, 25 Oct 2016 17:11:34 +0200
 
 why (2.36-2) unstable; urgency=medium
 
diff --git a/debian/control b/debian/control
index d10a988..bfb2427 100644
--- a/debian/control
+++ b/debian/control
@@ -15,7 +15,6 @@ Build-Depends:
   coq (>= 8.3~),
   libocamlgraph-ocaml-dev (>= 1.4~),
   frama-c-base (>= 20151002+magnesium+dfsg),
-  libapron-ocaml-dev (>= 0.9.10-4~),
   camlidl,
   why3, why3-coq
 Standards-Version: 3.9.8
diff --git a/debian/rules b/debian/rules
index d053402..36a95e6 100755
--- a/debian/rules
+++ b/debian/rules
@@ -20,7 +20,6 @@ override_dh_auto_configure:
 	    --libdir=/usr/share \
 	    --mandir=\$${prefix}/share/man \
 	    --infodir=\$${prefix}/share/info \
-	    --enable-apron=yes \
 	    LDFLAGS="-Wl,-z,defs"
 
 override_dh_auto_clean:

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