[gringo] 07/07: Build reify.

[Thomas Krennwallner]

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

tkren-guest pushed a commit to branch devel
in repository gringo.

commit ede37ff6127e06f60a05c32f90b294f405c188d6
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Sat Jul 11 09:34:26 2015 +0200

    Build reify.
---
 debian/rules | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian/rules b/debian/rules
index 74f13c2..fdb99b7 100755
--- a/debian/rules
+++ b/debian/rules
@@ -44,9 +44,9 @@ SCLINKFLAGS = $(shell echo $(LDFLAGS) | sed -e 's/^/\$${["/;s/ -/","-/g;s/$$/"]}
 override_dh_auto_configure:
 	scons configure --build-dir=release $(CONFIGPARMS) CXXFLAGS='$(SCCXXFLAGS)' LINKFLAGS='$(SCLINKFLAGS)'
 
-# build gringo and clingo
+# build gringo clingo reify
 override_dh_auto_build:
-	scons --build-dir=release gringo clingo
+	scons --build-dir=release gringo clingo reify
 
 override_dh_auto_clean:
 	rm -rf ./build .sconf_temp .sconsign.dblite

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