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 <me...@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 <me...@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 _______________________________________________ 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