[gringo] 02/05: debian/rules: set CONFIGPARMS to CXX='g++-6'

[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 e1095d867c78a0f2f3d27c9d06480f8e595ac3dc
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Thu Aug 17 05:01:23 2017 +0000

    debian/rules: set CONFIGPARMS to CXX='g++-6'
---
 debian/rules | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian/rules b/debian/rules
index 70c31a2..abde58c 100755
--- a/debian/rules
+++ b/debian/rules
@@ -18,8 +18,8 @@ arch = $(shell dpkg-architecture -qDEB_BUILD_ARCH | egrep -v -x "(powerpc|powerp
 # gringo-broken-std-exception_ptr.patch
 broken_exception_ptr = $(shell dpkg-architecture -qDEB_BUILD_ARCH | grep "armel")
 
-# force g++
-CONFIGPARMS = CXX='g++'
+# force g++-6
+CONFIGPARMS = CXX='g++-6'
 
 # use c++11 threads, lua5.3, and python2.7
 ifneq ($(if $(broken_exception_ptr),broken), broken)

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