This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository frama-c.
commit 774b17db7ee727dfbd2e4dcb9f1866479b346b00 Author: Mehdi Dogguy <me...@dogguy.org> Date: Tue Apr 29 11:17:23 2014 +0200 Add a call to autoconf prior to configure. --- debian/changelog | 6 ++++++ debian/rules | 1 + 2 files changed, 7 insertions(+) diff --git a/debian/changelog b/debian/changelog index c930274..0667ac9 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +frama-c (20140301+neon+dfsg-3) UNRELEASED; urgency=medium + + * Add a call to autoconf prior to configure. + + -- Mehdi Dogguy <me...@debian.org> Tue, 29 Apr 2014 11:17:02 +0200 + frama-c (20140301+neon+dfsg-2) unstable; urgency=medium * The new configure script tries to compile a test program linking diff --git a/debian/rules b/debian/rules index 65eb358..c01e835 100755 --- a/debian/rules +++ b/debian/rules @@ -12,6 +12,7 @@ override_dh_auto_configure: mkdir -p lib/gui touch .depend .make-clean .make-clean-stamp [ ! -f src/kernel/config.ml ] || cp src/kernel/config.ml src/kernel/config.ml.debian + autoconf ./configure $(CROSS) --prefix=/usr \ --mandir=\$${prefix}/share/man \ --infodir=\$${prefix}/share/info \ -- 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