[gringo] 07/20: debian/rules: build lpconvert

[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 08ca53d7a67dc12e2428ff948350836eaa95ed32
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Fri Dec 9 08:48:35 2016 +0100

    debian/rules: build lpconvert
---
 debian/rules | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/rules b/debian/rules
index 78baaa2..4481429 100755
--- a/debian/rules
+++ b/debian/rules
@@ -46,7 +46,7 @@ override_dh_auto_configure:
 
 # build gringo clingo reify
 override_dh_auto_build:
-	scons --build-dir=release gringo clingo reify
+	scons --build-dir=release gringo clingo reify lpconvert
 
 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