[polyml] 04/05: Recompile the compiler itself

[James Clarke]

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

jrtc27 pushed a commit to branch debian/experimental
in repository polyml.

commit 82d2a249d65fac4cc8e5e4c46ae6dd642619cdf2
Author: James Clarke <jrtc27 at debian.org>
Date:   Tue Feb 21 17:06:34 2017 +0000

    Recompile the compiler itself
---
 debian/rules | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/debian/rules b/debian/rules
index fbf1130..061680f 100755
--- a/debian/rules
+++ b/debian/rules
@@ -9,3 +9,8 @@ export DEB_LDFLAGS_MAINT_APPEND=-Wl,--as-needed
 
 override_dh_auto_configure:
 	dh_auto_configure -- --enable-shared --with-system-libffi --without-gmp
+
+# Do a full build, since the git snapshot has an outdated pre-built compiler.
+# The recommendation is to run it twice.
+override_dh_auto_build:
+	dh_auto_build -- compiler compiler

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/polyml.git