gringo →
5.1.0-5 →
armhf → 2017-08-22 07:11:26
sbuild (Debian sbuild) 0.71.0 (24 Aug 2016) on bm-wb-01
+==============================================================================+
| gringo 5.1.0-5 (armhf) Tue, 22 Aug 2017 06:00:24 +0000 |
+==============================================================================+
Package: gringo
Version: 5.1.0-5
Source Version: 5.1.0-5
Distribution: buster-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf
I: NOTICE: Log filtering will replace 'var/run/schroot/mount/buster-staging-armhf-sbuild-874c8b6c-a925-4ee3-9146-fc3a7bc0b313' with '<<CHROOT>>'
+------------------------------------------------------------------------------+
| Update chroot |
+------------------------------------------------------------------------------+
Get:1 http://172.17.0.1/private buster-staging InRelease [11.3 kB]
Get:2 http://172.17.0.1/private buster-staging/main Sources [10.1 MB]
Get:3 http://172.17.0.1/private buster-staging/main armhf Packages [12.0 MB]
Fetched 22.1 MB in 24s (889 kB/s)
Reading package lists...
+------------------------------------------------------------------------------+
| Fetch source files |
+------------------------------------------------------------------------------+
Check APT
---------
Checking available source versions...
Download source files with APT
------------------------------
Reading package lists...
NOTICE: 'gringo' packaging is maintained in the 'Git' version control system at:
https://anonscm.debian.org/git/debian-science/packages/gringo.git
Please use:
git clone https://anonscm.debian.org/git/debian-science/packages/gringo.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 2248 kB of source archives.
Get:1 http://172.17.0.1/private buster-staging/main gringo 5.1.0-5 (dsc) [2023 B]
Get:2 http://172.17.0.1/private buster-staging/main gringo 5.1.0-5 (tar) [2233 kB]
Get:3 http://172.17.0.1/private buster-staging/main gringo 5.1.0-5 (diff) [13.7 kB]
Fetched 2248 kB in 0s (2633 kB/s)
Download complete and in download only mode
I: NOTICE: Log filtering will replace 'build/gringo-WnXsLZ/gringo-5.1.0' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/gringo-WnXsLZ' with '<<BUILDDIR>>'
+------------------------------------------------------------------------------+
| Install build-essential |
+------------------------------------------------------------------------------+
Setup apt archive
-----------------
Merged Build-Depends: build-essential, fakeroot
Filtered Build-Depends: build-essential, fakeroot
dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<<BUILDDIR>>/resolver-m0tZcd/apt_archive/sbuild-build-depends-core-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning: sbuild-build-depends-core-dummy
dpkg-scanpackages: info: Wrote 1 entries to output Packages file.
gpg: keybox '/<<BUILDDIR>>/resolver-m0tZcd/gpg/pubring.kbx' created
gpg: /<<BUILDDIR>>/resolver-m0tZcd/gpg/trustdb.gpg: trustdb created
gpg: key 35506D9A48F77B2E: public key "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" imported
gpg: Total number processed: 1
gpg: imported: 1
gpg: key 35506D9A48F77B2E: "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" not changed
gpg: key 35506D9A48F77B2E: secret key imported
gpg: Total number processed: 1
gpg: unchanged: 1
gpg: secret keys read: 1
gpg: secret keys imported: 1
gpg: using "Sbuild Signer" as default secret key for signing
Ign:1 copy:/<<BUILDDIR>>/resolver-m0tZcd/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-m0tZcd/apt_archive ./ Release [957 B]
Get:3 copy:/<<BUILDDIR>>/resolver-m0tZcd/apt_archive ./ Release.gpg [370 B]
Ign:3 copy:/<<BUILDDIR>>/resolver-m0tZcd/apt_archive ./ Release.gpg
Get:4 copy:/<<BUILDDIR>>/resolver-m0tZcd/apt_archive ./ Sources [349 B]
Get:5 copy:/<<BUILDDIR>>/resolver-m0tZcd/apt_archive ./ Packages [432 B]
Fetched 2108 B in 0s (3065 B/s)
Reading package lists...
W: copy:///<<BUILDDIR>>/resolver-m0tZcd/apt_archive/./Release.gpg: The key(s) in the keyring /etc/apt/trusted.gpg.d/sbuild-build-depends-archive.gpg are ignored as the file is not readable by user '_apt' executing apt-key.
W: GPG error: copy:/<<BUILDDIR>>/resolver-m0tZcd/apt_archive ./ Release: The following signatures couldn't be verified because the public key is not available: NO_PUBKEY 35506D9A48F77B2E
Reading package lists...
Install core build dependencies (apt-based resolver)
----------------------------------------------------
Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following packages were automatically installed and are no longer required:
ca-certificates libssl1.1 openssl
Use 'apt autoremove' to remove them.
The following NEW packages will be installed:
sbuild-build-depends-core-dummy
0 upgraded, 1 newly installed, 0 to remove and 6 not upgraded.
Need to get 776 B of archives.
After this operation, 0 B of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-m0tZcd/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [776 B]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 776 B in 0s (0 B/s)
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ... 14868 files and directories currently installed.)
Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ...
Setting up sbuild-build-depends-core-dummy (0.invalid.0) ...
+------------------------------------------------------------------------------+
| Check architectures |
+------------------------------------------------------------------------------+
Arch check ok (armhf included in any)
+------------------------------------------------------------------------------+
| Install package build dependencies |
+------------------------------------------------------------------------------+
Setup apt archive
-----------------
Merged Build-Depends: debhelper (>= 9), g++-6 (>= 6.1.1), scons, re2c, bison, liblua5.3-dev, libpython2.7-dev
Filtered Build-Depends: debhelper (>= 9), g++-6 (>= 6.1.1), scons, re2c, bison, liblua5.3-dev, libpython2.7-dev
dpkg-deb: building package 'sbuild-build-depends-gringo-dummy' in '/<<BUILDDIR>>/resolver-m0tZcd/apt_archive/sbuild-build-depends-gringo-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning: sbuild-build-depends-core-dummy sbuild-build-depends-gringo-dummy
dpkg-scanpackages: info: Wrote 2 entries to output Packages file.
gpg: using "Sbuild Signer" as default secret key for signing
Ign:1 copy:/<<BUILDDIR>>/resolver-m0tZcd/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-m0tZcd/apt_archive ./ Release [963 B]
Get:3 copy:/<<BUILDDIR>>/resolver-m0tZcd/apt_archive ./ Release.gpg [370 B]
Ign:3 copy:/<<BUILDDIR>>/resolver-m0tZcd/apt_archive ./ Release.gpg
Get:4 copy:/<<BUILDDIR>>/resolver-m0tZcd/apt_archive ./ Sources [531 B]
Get:5 copy:/<<BUILDDIR>>/resolver-m0tZcd/apt_archive ./ Packages [615 B]
Fetched 2479 B in 0s (3407 B/s)
Reading package lists...
W: copy:///<<BUILDDIR>>/resolver-m0tZcd/apt_archive/./Release.gpg: The key(s) in the keyring /etc/apt/trusted.gpg.d/sbuild-build-depends-archive.gpg are ignored as the file is not readable by user '_apt' executing apt-key.
W: GPG error: copy:/<<BUILDDIR>>/resolver-m0tZcd/apt_archive ./ Release: The following signatures couldn't be verified because the public key is not available: NO_PUBKEY 35506D9A48F77B2E
Reading package lists...
Install gringo build dependencies (apt-based resolver)
------------------------------------------------------
Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following packages were automatically installed and are no longer required:
ca-certificates openssl
Use 'apt autoremove' to remove them.
The following additional packages will be installed:
autoconf automake autopoint autotools-dev bison bsdmainutils cpp-6 debhelper
dh-autoreconf dh-strip-nondeterminism file g++-6 gcc-6 gcc-6-base gettext
gettext-base groff-base intltool-debian libarchive-zip-perl libasan3
libbison-dev libbsd0 libcroco3 libexpat1 libexpat1-dev
libfile-stripnondeterminism-perl libgcc-6-dev libglib2.0-0 libicu57
liblua5.3-0 liblua5.3-dev libmagic-mgc libmagic1 libpipeline1
libpython-stdlib libpython2.7 libpython2.7-dev libpython2.7-minimal
libpython2.7-stdlib libreadline-dev libsigsegv2 libstdc++-6-dev
libtimedate-perl libtinfo-dev libtool libxml2 m4 man-db mime-support
po-debconf python python-minimal python2.7 python2.7-minimal re2c scons
Suggested packages:
autoconf-archive gnu-standards autoconf-doc bison-doc wamerican | wordlist
whois vacation gcc-6-locales dh-make gcc-6-doc libstdc++6-6-dbg libgcc1-dbg
libgomp1-dbg libitm1-dbg libatomic1-dbg libasan3-dbg liblsan0-dbg
libtsan0-dbg libubsan0-dbg libcilkrts5-dbg libmpx2-dbg libquadmath0-dbg
gettext-doc libasprintf-dev libgettextpo-dev groff readline-doc
libstdc++-6-doc libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc
less www-browser libmail-box-perl python-doc python-tk python2.7-doc
binfmt-support
Recommended packages:
curl | wget | lynx-cur libarchive-cpio-perl libglib2.0-data shared-mime-info
xdg-user-dirs pkg-config libtool-bin libltdl-dev xml-core
libmail-sendmail-perl
The following NEW packages will be installed:
autoconf automake autopoint autotools-dev bison bsdmainutils cpp-6 debhelper
dh-autoreconf dh-strip-nondeterminism file g++-6 gcc-6 gcc-6-base gettext
gettext-base groff-base intltool-debian libarchive-zip-perl libasan3
libbison-dev libbsd0 libcroco3 libexpat1 libexpat1-dev
libfile-stripnondeterminism-perl libgcc-6-dev libglib2.0-0 libicu57
liblua5.3-0 liblua5.3-dev libmagic-mgc libmagic1 libpipeline1
libpython-stdlib libpython2.7 libpython2.7-dev libpython2.7-minimal
libpython2.7-stdlib libreadline-dev libsigsegv2 libstdc++-6-dev
libtimedate-perl libtinfo-dev libtool libxml2 m4 man-db mime-support
po-debconf python python-minimal python2.7 python2.7-minimal re2c
sbuild-build-depends-gringo-dummy scons
0 upgraded, 57 newly installed, 0 to remove and 6 not upgraded.
Need to get 53.5 MB/72.0 MB of archives.
After this operation, 201 MB of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-m0tZcd/apt_archive ./ sbuild-build-depends-gringo-dummy 0.invalid.0 [822 B]
Get:2 http://172.17.0.1/private buster-staging/main armhf groff-base armhf 1.22.3-9 [1005 kB]
Get:3 http://172.17.0.1/private buster-staging/main armhf libbsd0 armhf 0.8.6-1 [95.7 kB]
Get:4 http://172.17.0.1/private buster-staging/main armhf bsdmainutils armhf 9.0.12+nmu1 [178 kB]
Get:5 http://172.17.0.1/private buster-staging/main armhf libpipeline1 armhf 1.4.2-1 [24.2 kB]
Get:6 http://172.17.0.1/private buster-staging/main armhf man-db armhf 2.7.6.1-2 [1014 kB]
Get:7 http://172.17.0.1/private buster-staging/main armhf libpython2.7-minimal armhf 2.7.13-2 [389 kB]
Get:8 http://172.17.0.1/private buster-staging/main armhf python2.7-minimal armhf 2.7.13-2 [1178 kB]
Get:9 http://172.17.0.1/private buster-staging/main armhf python-minimal armhf 2.7.13-2 [40.5 kB]
Get:10 http://172.17.0.1/private buster-staging/main armhf mime-support all 3.60 [36.7 kB]
Get:11 http://172.17.0.1/private buster-staging/main armhf libexpat1 armhf 2.2.3-1 [67.1 kB]
Get:12 http://172.17.0.1/private buster-staging/main armhf libpython2.7-stdlib armhf 2.7.13-2 [1827 kB]
Get:13 http://172.17.0.1/private buster-staging/main armhf python2.7 armhf 2.7.13-2 [285 kB]
Get:14 http://172.17.0.1/private buster-staging/main armhf libpython-stdlib armhf 2.7.13-2 [20.0 kB]
Get:15 http://172.17.0.1/private buster-staging/main armhf python armhf 2.7.13-2 [154 kB]
Get:16 http://172.17.0.1/private buster-staging/main armhf libmagic-mgc armhf 1:5.31-1 [223 kB]
Get:17 http://172.17.0.1/private buster-staging/main armhf libmagic1 armhf 1:5.31-1 [105 kB]
Get:18 http://172.17.0.1/private buster-staging/main armhf file armhf 1:5.31-1 [63.5 kB]
Get:19 http://172.17.0.1/private buster-staging/main armhf gettext-base armhf 0.19.8.1-2+b1 [117 kB]
Get:20 http://172.17.0.1/private buster-staging/main armhf libicu57 armhf 57.1-6 [7427 kB]
Get:21 http://172.17.0.1/private buster-staging/main armhf libxml2 armhf 2.9.4+dfsg1-3 [601 kB]
Get:22 http://172.17.0.1/private buster-staging/main armhf libsigsegv2 armhf 2.11-1 [29.3 kB]
Get:23 http://172.17.0.1/private buster-staging/main armhf m4 armhf 1.4.18-1 [185 kB]
Get:24 http://172.17.0.1/private buster-staging/main armhf autoconf all 2.69-10 [338 kB]
Get:25 http://172.17.0.1/private buster-staging/main armhf autotools-dev all 20161112.1 [73.4 kB]
Get:26 http://172.17.0.1/private buster-staging/main armhf automake all 1:1.15.1-2 [736 kB]
Get:27 http://172.17.0.1/private buster-staging/main armhf autopoint all 0.19.8.1-2 [433 kB]
Get:28 http://172.17.0.1/private buster-staging/main armhf libbison-dev armhf 2:3.0.4.dfsg-1+b1 [433 kB]
Get:29 http://172.17.0.1/private buster-staging/main armhf bison armhf 2:3.0.4.dfsg-1+b1 [743 kB]
Get:30 http://172.17.0.1/private buster-staging/main armhf libtool all 2.4.6-2 [545 kB]
Get:31 http://172.17.0.1/private buster-staging/main armhf dh-autoreconf all 14 [15.9 kB]
Get:32 http://172.17.0.1/private buster-staging/main armhf libarchive-zip-perl all 1.59-1 [95.5 kB]
Get:33 http://172.17.0.1/private buster-staging/main armhf libfile-stripnondeterminism-perl all 0.038-1 [17.6 kB]
Get:34 http://172.17.0.1/private buster-staging/main armhf libtimedate-perl all 2.3000-2 [42.2 kB]
Get:35 http://172.17.0.1/private buster-staging/main armhf dh-strip-nondeterminism all 0.038-1 [11.1 kB]
Get:36 http://172.17.0.1/private buster-staging/main armhf libglib2.0-0 armhf 2.53.4-3 [2628 kB]
Get:37 http://172.17.0.1/private buster-staging/main armhf libcroco3 armhf 0.6.12-1 [132 kB]
Get:38 http://172.17.0.1/private buster-staging/main armhf gettext armhf 0.19.8.1-2+b1 [1220 kB]
Get:39 http://172.17.0.1/private buster-staging/main armhf intltool-debian all 0.35.0+20060710.4 [26.3 kB]
Get:40 http://172.17.0.1/private buster-staging/main armhf po-debconf all 1.0.20 [247 kB]
Get:41 http://172.17.0.1/private buster-staging/main armhf debhelper all 10.7.2 [975 kB]
Get:42 http://172.17.0.1/private buster-staging/main armhf libexpat1-dev armhf 2.2.3-1 [120 kB]
Get:43 http://172.17.0.1/private buster-staging/main armhf liblua5.3-0 armhf 5.3.3-1 [96.8 kB]
Get:44 http://172.17.0.1/private buster-staging/main armhf libtinfo-dev armhf 6.0+20170715-2 [66.6 kB]
Get:45 http://172.17.0.1/private buster-staging/main armhf libreadline-dev armhf 7.0-3 [109 kB]
Get:46 http://172.17.0.1/private buster-staging/main armhf liblua5.3-dev armhf 5.3.3-1 [132 kB]
Get:47 http://172.17.0.1/private buster-staging/main armhf libpython2.7 armhf 2.7.13-2 [916 kB]
Get:48 http://172.17.0.1/private buster-staging/main armhf libpython2.7-dev armhf 2.7.13-2 [27.6 MB]
Get:49 http://172.17.0.1/private buster-staging/main armhf re2c armhf 0.16-2 [201 kB]
Get:50 http://172.17.0.1/private buster-staging/main armhf scons all 2.5.1-1 [527 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 53.5 MB in 7s (6901 kB/s)
Selecting previously unselected package groff-base.
(Reading database ... 14868 files and directories currently installed.)
Preparing to unpack .../00-groff-base_1.22.3-9_armhf.deb ...
Unpacking groff-base (1.22.3-9) ...
Selecting previously unselected package libbsd0:armhf.
Preparing to unpack .../01-libbsd0_0.8.6-1_armhf.deb ...
Unpacking libbsd0:armhf (0.8.6-1) ...
Selecting previously unselected package bsdmainutils.
Preparing to unpack .../02-bsdmainutils_9.0.12+nmu1_armhf.deb ...
Unpacking bsdmainutils (9.0.12+nmu1) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../03-libpipeline1_1.4.2-1_armhf.deb ...
Unpacking libpipeline1:armhf (1.4.2-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../04-man-db_2.7.6.1-2_armhf.deb ...
Unpacking man-db (2.7.6.1-2) ...
Selecting previously unselected package libpython2.7-minimal:armhf.
Preparing to unpack .../05-libpython2.7-minimal_2.7.13-2_armhf.deb ...
Unpacking libpython2.7-minimal:armhf (2.7.13-2) ...
Selecting previously unselected package python2.7-minimal.
Preparing to unpack .../06-python2.7-minimal_2.7.13-2_armhf.deb ...
Unpacking python2.7-minimal (2.7.13-2) ...
Selecting previously unselected package python-minimal.
Preparing to unpack .../07-python-minimal_2.7.13-2_armhf.deb ...
Unpacking python-minimal (2.7.13-2) ...
Selecting previously unselected package mime-support.
Preparing to unpack .../08-mime-support_3.60_all.deb ...
Unpacking mime-support (3.60) ...
Selecting previously unselected package libexpat1:armhf.
Preparing to unpack .../09-libexpat1_2.2.3-1_armhf.deb ...
Unpacking libexpat1:armhf (2.2.3-1) ...
Selecting previously unselected package libpython2.7-stdlib:armhf.
Preparing to unpack .../10-libpython2.7-stdlib_2.7.13-2_armhf.deb ...
Unpacking libpython2.7-stdlib:armhf (2.7.13-2) ...
Selecting previously unselected package python2.7.
Preparing to unpack .../11-python2.7_2.7.13-2_armhf.deb ...
Unpacking python2.7 (2.7.13-2) ...
Selecting previously unselected package libpython-stdlib:armhf.
Preparing to unpack .../12-libpython-stdlib_2.7.13-2_armhf.deb ...
Unpacking libpython-stdlib:armhf (2.7.13-2) ...
Setting up libpython2.7-minimal:armhf (2.7.13-2) ...
Setting up python2.7-minimal (2.7.13-2) ...
Setting up python-minimal (2.7.13-2) ...
Selecting previously unselected package python.
(Reading database ... 16215 files and directories currently installed.)
Preparing to unpack .../00-python_2.7.13-2_armhf.deb ...
Unpacking python (2.7.13-2) ...
Selecting previously unselected package gcc-6-base:armhf.
Preparing to unpack .../01-gcc-6-base_6.4.0-1+rpi1_armhf.deb ...
Unpacking gcc-6-base:armhf (6.4.0-1+rpi1) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../02-libmagic-mgc_1%3a5.31-1_armhf.deb ...
Unpacking libmagic-mgc (1:5.31-1) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../03-libmagic1_1%3a5.31-1_armhf.deb ...
Unpacking libmagic1:armhf (1:5.31-1) ...
Selecting previously unselected package file.
Preparing to unpack .../04-file_1%3a5.31-1_armhf.deb ...
Unpacking file (1:5.31-1) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../05-gettext-base_0.19.8.1-2+b1_armhf.deb ...
Unpacking gettext-base (0.19.8.1-2+b1) ...
Selecting previously unselected package libicu57:armhf.
Preparing to unpack .../06-libicu57_57.1-6_armhf.deb ...
Unpacking libicu57:armhf (57.1-6) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../07-libxml2_2.9.4+dfsg1-3_armhf.deb ...
Unpacking libxml2:armhf (2.9.4+dfsg1-3) ...
Selecting previously unselected package libsigsegv2:armhf.
Preparing to unpack .../08-libsigsegv2_2.11-1_armhf.deb ...
Unpacking libsigsegv2:armhf (2.11-1) ...
Selecting previously unselected package m4.
Preparing to unpack .../09-m4_1.4.18-1_armhf.deb ...
Unpacking m4 (1.4.18-1) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../10-autoconf_2.69-10_all.deb ...
Unpacking autoconf (2.69-10) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../11-autotools-dev_20161112.1_all.deb ...
Unpacking autotools-dev (20161112.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../12-automake_1%3a1.15.1-2_all.deb ...
Unpacking automake (1:1.15.1-2) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../13-autopoint_0.19.8.1-2_all.deb ...
Unpacking autopoint (0.19.8.1-2) ...
Selecting previously unselected package libbison-dev:armhf.
Preparing to unpack .../14-libbison-dev_2%3a3.0.4.dfsg-1+b1_armhf.deb ...
Unpacking libbison-dev:armhf (2:3.0.4.dfsg-1+b1) ...
Selecting previously unselected package bison.
Preparing to unpack .../15-bison_2%3a3.0.4.dfsg-1+b1_armhf.deb ...
Unpacking bison (2:3.0.4.dfsg-1+b1) ...
Selecting previously unselected package cpp-6.
Preparing to unpack .../16-cpp-6_6.4.0-1+rpi1_armhf.deb ...
Unpacking cpp-6 (6.4.0-1+rpi1) ...
Selecting previously unselected package libasan3:armhf.
Preparing to unpack .../17-libasan3_6.4.0-1+rpi1_armhf.deb ...
Unpacking libasan3:armhf (6.4.0-1+rpi1) ...
Selecting previously unselected package libgcc-6-dev:armhf.
Preparing to unpack .../18-libgcc-6-dev_6.4.0-1+rpi1_armhf.deb ...
Unpacking libgcc-6-dev:armhf (6.4.0-1+rpi1) ...
Selecting previously unselected package gcc-6.
Preparing to unpack .../19-gcc-6_6.4.0-1+rpi1_armhf.deb ...
Unpacking gcc-6 (6.4.0-1+rpi1) ...
Selecting previously unselected package libtool.
Preparing to unpack .../20-libtool_2.4.6-2_all.deb ...
Unpacking libtool (2.4.6-2) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../21-dh-autoreconf_14_all.deb ...
Unpacking dh-autoreconf (14) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../22-libarchive-zip-perl_1.59-1_all.deb ...
Unpacking libarchive-zip-perl (1.59-1) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../23-libfile-stripnondeterminism-perl_0.038-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (0.038-1) ...
Selecting previously unselected package libtimedate-perl.
Preparing to unpack .../24-libtimedate-perl_2.3000-2_all.deb ...
Unpacking libtimedate-perl (2.3000-2) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../25-dh-strip-nondeterminism_0.038-1_all.deb ...
Unpacking dh-strip-nondeterminism (0.038-1) ...
Selecting previously unselected package libglib2.0-0:armhf.
Preparing to unpack .../26-libglib2.0-0_2.53.4-3_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.53.4-3) ...
Selecting previously unselected package libcroco3:armhf.
Preparing to unpack .../27-libcroco3_0.6.12-1_armhf.deb ...
Unpacking libcroco3:armhf (0.6.12-1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../28-gettext_0.19.8.1-2+b1_armhf.deb ...
Unpacking gettext (0.19.8.1-2+b1) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../29-intltool-debian_0.35.0+20060710.4_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.4) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../30-po-debconf_1.0.20_all.deb ...
Unpacking po-debconf (1.0.20) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../31-debhelper_10.7.2_all.deb ...
Unpacking debhelper (10.7.2) ...
Selecting previously unselected package libstdc++-6-dev:armhf.
Preparing to unpack .../32-libstdc++-6-dev_6.4.0-1+rpi1_armhf.deb ...
Unpacking libstdc++-6-dev:armhf (6.4.0-1+rpi1) ...
Selecting previously unselected package g++-6.
Preparing to unpack .../33-g++-6_6.4.0-1+rpi1_armhf.deb ...
Unpacking g++-6 (6.4.0-1+rpi1) ...
Selecting previously unselected package libexpat1-dev:armhf.
Preparing to unpack .../34-libexpat1-dev_2.2.3-1_armhf.deb ...
Unpacking libexpat1-dev:armhf (2.2.3-1) ...
Selecting previously unselected package liblua5.3-0:armhf.
Preparing to unpack .../35-liblua5.3-0_5.3.3-1_armhf.deb ...
Unpacking liblua5.3-0:armhf (5.3.3-1) ...
Selecting previously unselected package libtinfo-dev:armhf.
Preparing to unpack .../36-libtinfo-dev_6.0+20170715-2_armhf.deb ...
Unpacking libtinfo-dev:armhf (6.0+20170715-2) ...
Selecting previously unselected package libreadline-dev:armhf.
Preparing to unpack .../37-libreadline-dev_7.0-3_armhf.deb ...
Unpacking libreadline-dev:armhf (7.0-3) ...
Selecting previously unselected package liblua5.3-dev:armhf.
Preparing to unpack .../38-liblua5.3-dev_5.3.3-1_armhf.deb ...
Unpacking liblua5.3-dev:armhf (5.3.3-1) ...
Selecting previously unselected package libpython2.7:armhf.
Preparing to unpack .../39-libpython2.7_2.7.13-2_armhf.deb ...
Unpacking libpython2.7:armhf (2.7.13-2) ...
Selecting previously unselected package libpython2.7-dev:armhf.
Preparing to unpack .../40-libpython2.7-dev_2.7.13-2_armhf.deb ...
Unpacking libpython2.7-dev:armhf (2.7.13-2) ...
Selecting previously unselected package re2c.
Preparing to unpack .../41-re2c_0.16-2_armhf.deb ...
Unpacking re2c (0.16-2) ...
Selecting previously unselected package scons.
Preparing to unpack .../42-scons_2.5.1-1_all.deb ...
Unpacking scons (2.5.1-1) ...
Selecting previously unselected package sbuild-build-depends-gringo-dummy.
Preparing to unpack .../43-sbuild-build-depends-gringo-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-gringo-dummy (0.invalid.0) ...
Setting up libexpat1:armhf (2.2.3-1) ...
Setting up libarchive-zip-perl (1.59-1) ...
Setting up mime-support (3.60) ...
Setting up libtimedate-perl (2.3000-2) ...
Setting up libsigsegv2:armhf (2.11-1) ...
Setting up re2c (0.16-2) ...
Setting up groff-base (1.22.3-9) ...
Setting up libglib2.0-0:armhf (2.53.4-3) ...
No schema files found: doing nothing.
Setting up gcc-6-base:armhf (6.4.0-1+rpi1) ...
Setting up libtinfo-dev:armhf (6.0+20170715-2) ...
Setting up gettext-base (0.19.8.1-2+b1) ...
Setting up libpipeline1:armhf (1.4.2-1) ...
Setting up m4 (1.4.18-1) ...
Setting up libicu57:armhf (57.1-6) ...
Setting up libbsd0:armhf (0.8.6-1) ...
Setting up libxml2:armhf (2.9.4+dfsg1-3) ...
Setting up libmagic-mgc (1:5.31-1) ...
Setting up libmagic1:armhf (1:5.31-1) ...
Setting up libcroco3:armhf (0.6.12-1) ...
Processing triggers for libc-bin (2.24-12) ...
Setting up autotools-dev (20161112.1) ...
Setting up libreadline-dev:armhf (7.0-3) ...
Setting up libbison-dev:armhf (2:3.0.4.dfsg-1+b1) ...
Setting up libexpat1-dev:armhf (2.2.3-1) ...
Setting up cpp-6 (6.4.0-1+rpi1) ...
Setting up bison (2:3.0.4.dfsg-1+b1) ...
update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode
Setting up bsdmainutils (9.0.12+nmu1) ...
update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode
update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode
Setting up liblua5.3-0:armhf (5.3.3-1) ...
Setting up libpython2.7-stdlib:armhf (2.7.13-2) ...
Setting up liblua5.3-dev:armhf (5.3.3-1) ...
Setting up autopoint (0.19.8.1-2) ...
Setting up libfile-stripnondeterminism-perl (0.038-1) ...
Setting up libasan3:armhf (6.4.0-1+rpi1) ...
Setting up libgcc-6-dev:armhf (6.4.0-1+rpi1) ...
Setting up libstdc++-6-dev:armhf (6.4.0-1+rpi1) ...
Setting up gettext (0.19.8.1-2+b1) ...
Setting up python2.7 (2.7.13-2) ...
Setting up autoconf (2.69-10) ...
Setting up file (1:5.31-1) ...
Setting up gcc-6 (6.4.0-1+rpi1) ...
Setting up g++-6 (6.4.0-1+rpi1) ...
Setting up libpython-stdlib:armhf (2.7.13-2) ...
Setting up intltool-debian (0.35.0+20060710.4) ...
Setting up libpython2.7:armhf (2.7.13-2) ...
Setting up automake (1:1.15.1-2) ...
update-alternatives: using /usr/bin/automake-1.15 to provide /usr/bin/automake (automake) in auto mode
Setting up man-db (2.7.6.1-2) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libpython2.7-dev:armhf (2.7.13-2) ...
Setting up python (2.7.13-2) ...
Setting up libtool (2.4.6-2) ...
Setting up po-debconf (1.0.20) ...
Setting up scons (2.5.1-1) ...
Setting up dh-strip-nondeterminism (0.038-1) ...
Setting up debhelper (10.7.2) ...
Setting up dh-autoreconf (14) ...
Setting up sbuild-build-depends-gringo-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.24-12) ...
+------------------------------------------------------------------------------+
| Build environment |
+------------------------------------------------------------------------------+
Kernel: Linux 4.9.0-0.bpo.1-armmp armhf (armv7l)
Toolchain package versions: binutils_2.29-4+rpi1 dpkg-dev_1.18.24 g++-6_6.4.0-1+rpi1 g++-7_7.1.0-13+rpi1 gcc-6_6.4.0-1+rpi1 gcc-7_7.1.0-13+rpi1 libc6-dev_2.24-12 libstdc++-6-dev_6.4.0-1+rpi1 libstdc++-7-dev_7.1.0-13+rpi1 libstdc++6_7.1.0-13+rpi1 linux-libc-dev_3.18.5-1~exp1+rpi19+stretch
Package versions: adduser_3.116 apt_1.5~beta1+b3 autoconf_2.69-10 automake_1:1.15.1-2 autopoint_0.19.8.1-2 autotools-dev_20161112.1 base-files_10+rpi1 base-passwd_3.5.43 bash_4.4-5 binutils_2.29-4+rpi1 bison_2:3.0.4.dfsg-1+b1 bsdmainutils_9.0.12+nmu1 bsdutils_1:2.29.2-2+rpi1 build-essential_12.3 bzip2_1.0.6-8.1 ca-certificates_20161130+nmu1 coreutils_8.26-3 cpio_2.11+dfsg-6 cpp_4:7.1.0-2 cpp-6_6.4.0-1+rpi1 cpp-7_7.1.0-13+rpi1 dash_0.5.8-2.5 debconf_1.5.63 debhelper_10.7.2 debianutils_4.8.2 dh-autoreconf_14 dh-strip-nondeterminism_0.038-1 diffutils_1:3.6-1 dmsetup_2:1.02.137-2 dpkg_1.18.24 dpkg-dev_1.18.24 e2fslibs_1.43.5-1 e2fsprogs_1.43.5-1 fakeroot_1.21-3.1 file_1:5.31-1 findutils_4.6.0+git+20170729-2 g++_4:7.1.0-2 g++-6_6.4.0-1+rpi1 g++-7_7.1.0-13+rpi1 gcc_4:7.1.0-2 gcc-4.6-base_4.6.4-5+rpi1 gcc-4.7-base_4.7.3-11+rpi1 gcc-4.8-base_4.8.5-4 gcc-4.9-base_4.9.3-14 gcc-5-base_5.4.1-4 gcc-6_6.4.0-1+rpi1 gcc-6-base_6.4.0-1+rpi1 gcc-7_7.1.0-13+rpi1 gcc-7-base_7.1.0-13+rpi1 gettext_0.19.8.1-2+b1 gettext-base_0.19.8.1-2+b1 gnupg_2.1.18-8 gnupg-agent_2.1.18-8 gpgv_2.1.18-8 grep_3.1-2 groff-base_1.22.3-9 gzip_1.6-5 hostname_3.18 init-system-helpers_1.49 initramfs-tools_0.130 initramfs-tools-core_0.130 intltool-debian_0.35.0+20060710.4 klibc-utils_2.0.4-9+rpi1 kmod_24-1 libacl1_2.2.52-3 libapparmor1_2.11.0-10 libapt-pkg5.0_1.5~beta1+b3 libarchive-zip-perl_1.59-1 libasan3_6.4.0-1+rpi1 libasan4_7.1.0-13+rpi1 libassuan0_2.4.3-3 libatomic1_7.1.0-13+rpi1 libattr1_1:2.4.47-2 libaudit-common_1:2.7.7-1 libaudit1_1:2.7.7-1+b1 libbison-dev_2:3.0.4.dfsg-1+b1 libblkid1_2.29.2-2+rpi1 libbsd0_0.8.6-1 libbz2-1.0_1.0.6-8.1 libc-bin_2.24-12 libc-dev-bin_2.24-12 libc6_2.24-12 libc6-dev_2.24-12 libcap-ng0_0.7.7-3 libcap2_1:2.25-1 libcc1-0_7.1.0-13+rpi1 libcilkrts5_7.1.0-13+rpi1 libcomerr2_1.43.5-1 libcroco3_0.6.12-1 libcryptsetup4_2:1.7.3-4 libdb5.3_5.3.28-13+rpi1 libdbus-1-3_1.11.16+really1.10.22-1 libdebconfclient0_0.229 libdevmapper1.02.1_2:1.02.137-2 libdpkg-perl_1.18.24 libdrm-common_2.4.82-1+rpi1 libdrm2_2.4.82-1+rpi1 libexpat1_2.2.3-1 libexpat1-dev_2.2.3-1 libfakeroot_1.21-3.1 libfdisk1_2.29.2-2+rpi1 libffi6_3.2.1-6 libfile-stripnondeterminism-perl_0.038-1 libgcc-6-dev_6.4.0-1+rpi1 libgcc-7-dev_7.1.0-13+rpi1 libgcc1_1:7.1.0-13+rpi1 libgcrypt20_1.7.8-2 libgdbm3_1.8.3-14 libglib2.0-0_2.53.4-3 libgmp10_2:6.1.2+dfsg-1 libgnutls30_3.5.14-2 libgomp1_7.1.0-13+rpi1 libgpg-error0_1.27-3 libhogweed4_3.3-1 libicu57_57.1-6 libidn11_1.33-1 libidn2-0_2.0.2-1 libip4tc0_1.6.1-2 libisl15_0.18-1 libklibc_2.0.4-9+rpi1 libkmod2_24-1 libksba8_1.3.5-2 liblua5.3-0_5.3.3-1 liblua5.3-dev_5.3.3-1 liblz4-1_0.0~r131-2 liblzma5_5.2.2-1.3 libmagic-mgc_1:5.31-1 libmagic1_1:5.31-1 libmount1_2.29.2-2+rpi1 libmpc3_1.0.3-1 libmpfr4_3.1.5-1 libncurses5_6.0+20170715-2 libncursesw5_6.0+20170715-2 libnettle6_3.3-1 libnih-dbus1_1.0.3-8 libnih1_1.0.3-8 libnpth0_1.5-2 libp11-kit0_0.23.7-3 libpam-modules_1.1.8-3.6 libpam-modules-bin_1.1.8-3.6 libpam-runtime_1.1.8-3.6 libpam0g_1.1.8-3.6 libpcre3_2:8.39-4 libperl5.24_5.24.1-7 libperl5.26_5.26.0-5 libpipeline1_1.4.2-1 libplymouth4_0.9.2-4 libpng16-16_1.6.31-1 libprocps6_2:3.3.12-3 libpython-stdlib_2.7.13-2 libpython2.7_2.7.13-2 libpython2.7-dev_2.7.13-2 libpython2.7-minimal_2.7.13-2 libpython2.7-stdlib_2.7.13-2 libreadline-dev_7.0-3 libreadline5_5.2+dfsg-3 libreadline7_7.0-3 libseccomp2_2.3.1-2.1 libselinux1_2.6-3 libsemanage-common_2.6-2 libsemanage1_2.6-2 libsepol1_2.6-2 libsigsegv2_2.11-1 libsmartcols1_2.29.2-2+rpi1 libsqlite3-0_3.19.3-3 libss2_1.43.5-1 libssl1.1_1.1.0f-4 libstdc++-6-dev_6.4.0-1+rpi1 libstdc++-7-dev_7.1.0-13+rpi1 libstdc++6_7.1.0-13+rpi1 libsystemd0_234-2 libtasn1-6_4.12-2.1 libtimedate-perl_2.3000-2 libtinfo-dev_6.0+20170715-2 libtinfo5_6.0+20170715-2 libtool_2.4.6-2 libubsan0_7.1.0-13+rpi1 libudev1_234-2 libunistring2_0.9.7-2 libustr-1.0-1_1.0.4-6 libuuid1_2.29.2-2+rpi1 libxml2_2.9.4+dfsg1-3 linux-base_4.5 linux-libc-dev_3.18.5-1~exp1+rpi19+stretch login_1:4.4-4.1 lsb-base_9.20161125+rpi1 m4_1.4.18-1 make_4.1-9.1 makedev_2.3.1-93 man-db_2.7.6.1-2 mawk_1.3.3-17 mime-support_3.60 mount_2.29.2-2+rpi1 mountall_2.54 multiarch-support_2.24-12 ncurses-base_6.0+20170715-2 ncurses-bin_6.0+20170715-2 openssl_1.1.0f-4 passwd_1:4.4-4.1 patch_2.7.5-1 perl_5.26.0-5 perl-base_5.26.0-5 perl-modules-5.24_5.24.1-7 perl-modules-5.26_5.26.0-5 pinentry-curses_1.0.0-2 plymouth_0.9.2-4 po-debconf_1.0.20 procps_2:3.3.12-3 python_2.7.13-2 python-minimal_2.7.13-2 python2.7_2.7.13-2 python2.7-minimal_2.7.13-2 raspbian-archive-keyring_20120528.2 re2c_0.16-2 readline-common_7.0-3 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-gringo-dummy_0.invalid.0 scons_2.5.1-1 sed_4.4-1 sensible-utils_0.0.10 systemd_234-2 sysvinit-utils_2.88dsf-59.9 tar_1.29b-2 tzdata_2017b-2 udev_234-2 util-linux_2.29.2-2+rpi1 xz-utils_5.2.2-1.3 zlib1g_1:1.2.8.dfsg-5
+------------------------------------------------------------------------------+
| Build |
+------------------------------------------------------------------------------+
Unpack source
-------------
gpgv: unknown type of key resource 'trustedkeys.kbx'
gpgv: keyblock resource '/sbuild-nonexistent/.gnupg/trustedkeys.kbx': General error
gpgv: Signature made Thu Aug 17 06:07:39 2017 UTC
gpgv: using RSA key CC7EEF2C408664551D7B44CA2797DF74A6669AA9
gpgv: Can't check signature: No public key
dpkg-source: warning: failed to verify signature on ./gringo_5.1.0-5.dsc
dpkg-source: info: extracting gringo in /<<PKGBUILDDIR>>
dpkg-source: info: unpacking gringo_5.1.0.orig.tar.gz
dpkg-source: info: unpacking gringo_5.1.0-5.debian.tar.xz
dpkg-source: info: applying gringo-manpages.patch
dpkg-source: info: applying reproducible-build.patch
dpkg-source: info: applying gringo-fix-body-literals-as-auxiliary.patch
dpkg-source: info: applying gringo-broken-std-exception_ptr.patch
dpkg-source: info: applying gringo-alpha-fpu-getcw.patch
Check disc space
----------------
Sufficient free space for build
User Environment
----------------
APT_CONFIG=/var/lib/sbuild/apt.conf
DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
LC_ALL=POSIX
LOGNAME=buildd
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
SCHROOT_ALIAS_NAME=buster-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=buster-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=109
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=buster-staging-armhf-sbuild-874c8b6c-a925-4ee3-9146-fc3a7bc0b313
SCHROOT_UID=104
SCHROOT_USER=buildd
SHELL=/bin/sh
TERM=xterm
USER=buildd
dpkg-buildpackage
-----------------
dpkg-buildpackage: info: source package gringo
dpkg-buildpackage: info: source version 5.1.0-5
dpkg-buildpackage: info: source distribution unstable
dpkg-source --before-build gringo-5.1.0
dpkg-buildpackage: info: host architecture armhf
fakeroot debian/rules clean
dh clean
debian/rules override_dh_auto_clean
make[1]: Entering directory '/<<PKGBUILDDIR>>'
rm -rf ./build .sconf_temp .sconsign.dblite
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_clean
debian/rules build-arch
dh build-arch
dh_update_autotools_config -a
debian/rules override_dh_auto_configure
make[1]: Entering directory '/<<PKGBUILDDIR>>'
scons configure --build-dir=release CXX='g++-6' WITH_THREADS='posix' WITH_LUA='lua5.3' WITH_PYTHON='python2.7' CPPPATH='${["/usr/include/lua5.3","/usr/include/python2.7"]}' CXXFLAGS='${["-g","-O2","-fdebug-prefix-map=/<<PKGBUILDDIR>>=.","-fstack-protector-strong","-Wformat","-Werror=format-security","-std=c++11","-O3","-Wall","-Wdate-time","-D_FORTIFY_SOURCE=2","-DNDEBUG"]}' LINKFLAGS='${["-Wl,-z,relro","-Wl,-z,now"]}' || cat build/release.log build/release.py
scons: Reading SConscript files ...
Checking for bison 2.5... yes
Checking for re2c... yes
Checking whether the C++ compiler works... yes
Checking whether the (shared) C++ compiler works... yes
Checking for C++ thread_local keyword... yes
Checking for C++ library python... yes
Checking for C++ library lua... yes
Checking for C++ function snprintf()... yes
Checking for C++ function vsnprintf()... yes
Checking for C++ function std::to_string()... yes
scons: done reading SConscript files.
scons: Building targets ...
scons: Nothing to be done for `configure'.
scons: done building targets.
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
debian/rules override_dh_auto_build
make[1]: Entering directory '/<<PKGBUILDDIR>>'
scons --build-dir=release gringo clingo reify lpconvert
scons: Reading SConscript files ...
Checking for bison 2.5... (cached) yes
Checking for re2c... (cached) yes
Checking whether the C++ compiler works... (cached) yes
Checking whether the (shared) C++ compiler works... (cached) yes
Checking for C++ thread_local keyword... (cached) yes
Checking for C++ library python... (cached) yes
Checking for C++ library lua... (cached) yes
Checking for C++ function snprintf()... (cached) yes
Checking for C++ function vsnprintf()... (cached) yes
Checking for C++ function std::to_string()... (cached) yes
scons: done reading SConscript files.
scons: Building targets ...
g++-6 -o build/release/app/gringo/main.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src -Ilibprogram_opts -Ilibprogram_opts/src app/gringo/main.cc
g++-6 -o build/release/libgringo/src/backend.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/backend.cc
g++-6 -o build/release/libgringo/src/control.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/control.cc
In file included from /usr/include/c++/6/vector:69:0,
from libgringo/gringo/symbol.hh:29,
from libgringo/gringo/control.hh:24,
from libgringo/src/control.cc:26:
/usr/include/c++/6/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_fill_insert(std::vector<_Tp, _Alloc>::iterator, std::vector<_Tp, _Alloc>::size_type, const value_type&) [with _Tp = Clingo::Signature; _Alloc = std::allocator<Clingo::Signature>]':
/usr/include/c++/6/bits/vector.tcc:449:5: note: parameter passing for argument of type 'std::vector<Clingo::Signature>::iterator {aka __gnu_cxx::__normal_iterator<Clingo::Signature*, std::vector<Clingo::Signature> >}' will change in GCC 7.1
vector<_Tp, _Alloc>::
^~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/6/vector:64:0,
from libgringo/gringo/symbol.hh:29,
from libgringo/gringo/control.hh:24,
from libgringo/src/control.cc:26:
/usr/include/c++/6/bits/stl_vector.h: In member function 'std::vector<Clingo::Signature> Clingo::SymbolicAtoms::signatures() const':
/usr/include/c++/6/bits/stl_vector.h:1055:2: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Clingo::Signature*, std::vector<Clingo::Signature> >' will change in GCC 7.1
_M_fill_insert(begin() + __offset, __n, __x);
^~~~~~~~~~~~~~
g++-6 -o build/release/libgringo/src/ground/instantiation.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/ground/instantiation.cc
g++-6 -o build/release/libgringo/src/ground/literals.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/ground/literals.cc
g++-6 -o build/release/libgringo/src/ground/program.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/ground/program.cc
g++-6 -o build/release/libgringo/src/ground/statements.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/ground/statements.cc
libgringo/src/ground/statements.cc: In member function 'void Gringo::Ground::DisjointComplete::enqueue(Gringo::AbstractDomain<Gringo::Output::DisjointAtom>::Iterator)':
libgringo/src/ground/statements.cc:1558:6: note: parameter passing for argument of type 'Gringo::AbstractDomain<Gringo::Output::DisjointAtom>::Iterator {aka __gnu_cxx::__normal_iterator<Gringo::Output::DisjointAtom*, std::vector<Gringo::Output::DisjointAtom, std::allocator<Gringo::Output::DisjointAtom> > >}' will change in GCC 7.1
void DisjointComplete::enqueue(DisjointDomain::Iterator atom) {
^~~~~~~~~~~~~~~~
libgringo/src/ground/statements.cc: In member function 'void Gringo::Ground::TheoryComplete::enqueue(Gringo::AbstractDomain<Gringo::Output::TheoryAtom>::Iterator)':
libgringo/src/ground/statements.cc:1787:6: note: parameter passing for argument of type 'Gringo::AbstractDomain<Gringo::Output::TheoryAtom>::Iterator {aka __gnu_cxx::__normal_iterator<Gringo::Output::TheoryAtom*, std::vector<Gringo::Output::TheoryAtom, std::allocator<Gringo::Output::TheoryAtom> > >}' will change in GCC 7.1
void TheoryComplete::enqueue(TheoryDomain::Iterator atom) {
^~~~~~~~~~~~~~
libgringo/src/ground/statements.cc: In member function 'void Gringo::Ground::HeadAggregateComplete::enqueue(Gringo::AbstractDomain<Gringo::Output::HeadAggregateAtom>::Iterator)':
libgringo/src/ground/statements.cc:2151:6: note: parameter passing for argument of type 'Gringo::AbstractDomain<Gringo::Output::HeadAggregateAtom>::Iterator {aka __gnu_cxx::__normal_iterator<Gringo::Output::HeadAggregateAtom*, std::vector<Gringo::Output::HeadAggregateAtom, std::allocator<Gringo::Output::HeadAggregateAtom> > >}' will change in GCC 7.1
void HeadAggregateComplete::enqueue(HeadAggregateDomain::Iterator atm) {
^~~~~~~~~~~~~~~~~~~~~
libgringo/src/ground/statements.cc: In member function 'void Gringo::Ground::DisjunctionComplete::enqueue(Gringo::AbstractDomain<Gringo::Output::DisjunctionAtom>::Iterator)':
libgringo/src/ground/statements.cc:2479:6: note: parameter passing for argument of type 'Gringo::AbstractDomain<Gringo::Output::DisjunctionAtom>::Iterator {aka __gnu_cxx::__normal_iterator<Gringo::Output::DisjunctionAtom*, std::vector<Gringo::Output::DisjunctionAtom, std::allocator<Gringo::Output::DisjunctionAtom> > >}' will change in GCC 7.1
void DisjunctionComplete::enqueue(DisjunctionDomain::Iterator atom) {
^~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/6/vector:69:0,
from libgringo/gringo/symbol.hh:29,
from libgringo/gringo/term.hh:25,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/domain.hh:25,
from libgringo/gringo/output/types.hh:24,
from libgringo/gringo/ground/types.hh:24,
from libgringo/gringo/ground/literal.hh:24,
from libgringo/gringo/ground/statement.hh:24,
from libgringo/gringo/ground/statements.hh:23,
from libgringo/src/ground/statements.cc:21:
/usr/include/c++/6/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_insert_aux(std::vector<_Tp, _Alloc>::iterator, _Args&& ...) [with _Args = {Gringo::IntervalSet<Gringo::Symbol>::Interval&}; _Tp = Gringo::IntervalSet<Gringo::Symbol>::Interval; _Alloc = std::allocator<Gringo::IntervalSet<Gringo::Symbol>::Interval>]':
/usr/include/c++/6/bits/vector.tcc:321:7: note: parameter passing for argument of type 'std::vector<Gringo::IntervalSet<Gringo::Symbol>::Interval, std::allocator<Gringo::IntervalSet<Gringo::Symbol>::Interval> >::iterator {aka __gnu_cxx::__normal_iterator<Gringo::IntervalSet<Gringo::Symbol>::Interval*, std::vector<Gringo::IntervalSet<Gringo::Symbol>::Interval, std::allocator<Gringo::IntervalSet<Gringo::Symbol>::Interval> > >}' will change in GCC 7.1
vector<_Tp, _Alloc>::
^~~~~~~~~~~~~~~~~~~
/usr/include/c++/6/bits/vector.tcc: In member function 'void Gringo::IntervalSet<T>::remove(const Gringo::IntervalSet<T>::Interval&) [with T = Gringo::Symbol]':
/usr/include/c++/6/bits/vector.tcc:313:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::IntervalSet<Gringo::Symbol>::Interval*, std::vector<Gringo::IntervalSet<Gringo::Symbol>::Interval, std::allocator<Gringo::IntervalSet<Gringo::Symbol>::Interval> > >' will change in GCC 7.1
_M_insert_aux(begin() + (__position - cbegin()),
^~~~~~~~~~~~~
/usr/include/c++/6/bits/vector.tcc: In function 'Gringo::Output::DisjunctiveBounds Gringo::Ground::{anonymous}::_initBounds(const BoundVec&, Gringo::Logger&)':
/usr/include/c++/6/bits/vector.tcc:313:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::IntervalSet<Gringo::Symbol>::Interval*, std::vector<Gringo::IntervalSet<Gringo::Symbol>::Interval, std::allocator<Gringo::IntervalSet<Gringo::Symbol>::Interval> > >' will change in GCC 7.1
_M_insert_aux(begin() + (__position - cbegin()),
^~~~~~~~~~~~~
libgringo/src/ground/statements.cc: In member function 'void Gringo::Ground::DisjunctionAccumulate::reportHead(Gringo::Output::OutputBase&, Gringo::Logger&)':
libgringo/src/ground/statements.cc:2633:27: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::DisjunctionAtom*, std::vector<Gringo::Output::DisjunctionAtom, std::allocator<Gringo::Output::DisjunctionAtom> > >' will change in GCC 7.1
complete_.enqueue(atm);
^
libgringo/src/ground/statements.cc: In member function 'virtual void Gringo::Ground::TheoryAccumulate::report(Gringo::Output::OutputBase&, Gringo::Logger&)':
libgringo/src/ground/statements.cc:1905:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::TheoryAtom*, std::vector<Gringo::Output::TheoryAtom, std::allocator<Gringo::Output::TheoryAtom> > >' will change in GCC 7.1
complete_.enqueue(atom);
^
In file included from /usr/include/c++/6/unordered_map:47:0,
from libgringo/gringo/symbol.hh:28,
from libgringo/gringo/term.hh:25,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/domain.hh:25,
from libgringo/gringo/output/types.hh:24,
from libgringo/gringo/ground/types.hh:24,
from libgringo/gringo/ground/literal.hh:24,
from libgringo/gringo/ground/statement.hh:24,
from libgringo/gringo/ground/statements.hh:23,
from libgringo/src/ground/statements.cc:21:
/usr/include/c++/6/bits/hashtable.h: In function 'std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _H1, _H2, _Hash, _RehashPolicy, _Traits>::iterator std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _H1, _H2, _Hash, _RehashPolicy, _Traits>::_M_emplace(std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _H1, _H2, _Hash, _RehashPolicy, _Traits>::const_iterator, std::false_type, _Args&& ...) [with _Args = {Gringo::Sig, Gringo::GTerm*}; _Key = Gringo::Sig; _Value = std::pair<const Gringo::Sig, Gringo::GTerm*>; _Alloc = std::allocator<std::pair<const Gringo::Sig, Gringo::GTerm*> >; _ExtractKey = std::__detail::_Select1st; _Equal = std::equal_to<Gringo::Sig>; _H1 = std::hash<Gringo::Sig>; _H2 = std::__detail::_Mod_range_hashing; _Hash = std::__detail::_Default_ranged_hash; _RehashPolicy = std::__detail::_Prime_rehash_policy; _Traits = std::__detail::_Hashtable_traits<true, false, false>]':
/usr/include/c++/6/bits/hashtable.h:1545:7: note: parameter passing for argument of type 'std::_Hashtable<Gringo::Sig, std::pair<const Gringo::Sig, Gringo::GTerm*>, std::allocator<std::pair<const Gringo::Sig, Gringo::GTerm*> >, std::__detail::_Select1st, std::equal_to<Gringo::Sig>, std::hash<Gringo::Sig>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits<true, false, false> >::const_iterator {aka std::__detail::_Node_const_iterator<std::pair<const Gringo::Sig, Gringo::GTerm*>, false, true>}' will change in GCC 7.1
_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal,
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
_H1, _H2, _Hash, _RehashPolicy, _Traits>::
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/6/bits/hashtable.h: In member function 'bool Gringo::Ground::Lookup<Occ>::add(Gringo::GTerm&, Occ&&) [with Occ = std::pair<Gringo::Ground::Dependency<std::unique_ptr<Gringo::Ground::Statement>, Gringo::Ground::HeadOccurrence>::Node*, unsigned int>]':
/usr/include/c++/6/bits/hashtable.h:673:66: note: parameter passing for argument of type 'std::__detail::_Node_const_iterator<std::pair<const Gringo::Sig, Gringo::GTerm*>, false, true>' will change in GCC 7.1
{ return _M_emplace(cend(), __uk, std::forward<_Args>(__args)...); }
^
/usr/include/c++/6/bits/hashtable.h:673:66: note: parameter passing for argument of type 'std::__detail::_Node_const_iterator<std::pair<const Gringo::Sig, Gringo::GTerm*>, false, true>' will change in GCC 7.1
{ return _M_emplace(cend(), __uk, std::forward<_Args>(__args)...); }
^
g++-6 -o build/release/libgringo/src/input/aggregate.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/input/aggregate.cc
g++-6 -o build/release/libgringo/src/input/aggregates.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/input/aggregates.cc
bison -r all --report-file=build/release/libgringo/src/input/groundtermgrammar/grammar.out -o build/release/libgringo/src/input/groundtermgrammar/grammar.cc libgringo/src/input/groundtermgrammar.yy
libgringo/src/input/groundtermgrammar.yy:22.9-17: warning: deprecated directive, use '%define api.namespace Gringo::Input::GroundTermGrammar' [-Wdeprecated]
%define namespace "Gringo::Input::GroundTermGrammar"
^^^^^^^^^
libgringo/src/input/groundtermgrammar.yy:22.9-17: warning: %define variable 'api.namespace' requires '{...}' values [-Wdeprecated]
%define namespace "Gringo::Input::GroundTermGrammar"
^^^^^^^^^
g++-6 -o build/release/libgringo/src/input/groundtermgrammar/grammar.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src build/release/libgringo/src/input/groundtermgrammar/grammar.cc
re2c -o build/release/libgringo/src/input/groundtermlexer.hh libgringo/src/input/groundtermlexer.xh
g++-6 -o build/release/libgringo/src/input/groundtermparser.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/input/groundtermparser.cc
g++-6 -o build/release/libgringo/src/input/literal.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/input/literal.cc
g++-6 -o build/release/libgringo/src/input/literals.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/input/literals.cc
bison -r all --report-file=build/release/libgringo/src/input/nongroundgrammar/grammar.out -o build/release/libgringo/src/input/nongroundgrammar/grammar.cc libgringo/src/input/nongroundgrammar.yy
libgringo/src/input/nongroundgrammar.yy:24.9-17: warning: deprecated directive, use '%define api.namespace Gringo::Input::NonGroundGrammar' [-Wdeprecated]
%define namespace "Gringo::Input::NonGroundGrammar"
^^^^^^^^^
libgringo/src/input/nongroundgrammar.yy:30.9-21: warning: deprecated directive, use '%define api.location.type DefaultLocation' [-Wdeprecated]
%define location_type "DefaultLocation"
^^^^^^^^^^^^^
libgringo/src/input/nongroundgrammar.yy:30.9-21: warning: %define variable 'api.location.type' requires '{...}' values [-Wdeprecated]
%define location_type "DefaultLocation"
^^^^^^^^^^^^^
libgringo/src/input/nongroundgrammar.yy:24.9-17: warning: %define variable 'api.namespace' requires '{...}' values [-Wdeprecated]
%define namespace "Gringo::Input::NonGroundGrammar"
^^^^^^^^^
g++-6 -o build/release/libgringo/src/input/nongroundgrammar/grammar.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src build/release/libgringo/src/input/nongroundgrammar/grammar.cc
re2c -c -o build/release/libgringo/src/input/nongroundlexer.hh libgringo/src/input/nongroundlexer.xch
g++-6 -o build/release/libgringo/src/input/nongroundparser.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/input/nongroundparser.cc
g++-6 -o build/release/libgringo/src/input/program.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/input/program.cc
g++-6 -o build/release/libgringo/src/input/programbuilder.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/input/programbuilder.cc
In file included from /usr/include/c++/6/vector:69:0,
from libgringo/gringo/symbol.hh:29,
from libgringo/gringo/locatable.hh:24,
from libgringo/gringo/input/programbuilder.hh:24,
from libgringo/src/input/programbuilder.cc:21:
/usr/include/c++/6/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_insert_aux(std::vector<_Tp, _Alloc>::iterator, _Args&& ...) [with _Args = {clingo_ast_theory_term}; _Tp = clingo_ast_theory_term; _Alloc = std::allocator<clingo_ast_theory_term>]':
/usr/include/c++/6/bits/vector.tcc:321:7: note: parameter passing for argument of type 'std::vector<clingo_ast_theory_term>::iterator {aka __gnu_cxx::__normal_iterator<clingo_ast_theory_term*, std::vector<clingo_ast_theory_term> >}' will change in GCC 7.1
vector<_Tp, _Alloc>::
^~~~~~~~~~~~~~~~~~~
/usr/include/c++/6/bits/vector.tcc: In member function 'virtual Gringo::Input::TheoryOptermVecUid Gringo::Input::ASTBuilder::theoryopterms(const Gringo::Location&, Gringo::Input::TheoryOptermUid, Gringo::Input::TheoryOptermVecUid)':
/usr/include/c++/6/bits/vector.tcc:313:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<clingo_ast_theory_term*, std::vector<clingo_ast_theory_term> >' will change in GCC 7.1
_M_insert_aux(begin() + (__position - cbegin()),
^~~~~~~~~~~~~
g++-6 -o build/release/libgringo/src/input/statement.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/input/statement.cc
g++-6 -o build/release/libgringo/src/input/theory.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/input/theory.cc
g++-6 -o build/release/libgringo/src/lua.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/lua.cc
g++-6 -o build/release/libgringo/src/output/aggregates.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/output/aggregates.cc
In file included from /usr/include/c++/6/vector:69:0,
from libgringo/gringo/symbol.hh:29,
from libgringo/gringo/term.hh:25,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/terms.hh:24,
from libgringo/gringo/output/aggregates.hh:24,
from libgringo/src/output/aggregates.cc:21:
/usr/include/c++/6/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_insert_aux(std::vector<_Tp, _Alloc>::iterator, _Args&& ...) [with _Args = {const Gringo::IntervalSet<Gringo::Symbol>::Interval&}; _Tp = Gringo::IntervalSet<Gringo::Symbol>::Interval; _Alloc = std::allocator<Gringo::IntervalSet<Gringo::Symbol>::Interval>]':
/usr/include/c++/6/bits/vector.tcc:321:7: note: parameter passing for argument of type 'std::vector<Gringo::IntervalSet<Gringo::Symbol>::Interval, std::allocator<Gringo::IntervalSet<Gringo::Symbol>::Interval> >::iterator {aka __gnu_cxx::__normal_iterator<Gringo::IntervalSet<Gringo::Symbol>::Interval*, std::vector<Gringo::IntervalSet<Gringo::Symbol>::Interval, std::allocator<Gringo::IntervalSet<Gringo::Symbol>::Interval> > >}' will change in GCC 7.1
vector<_Tp, _Alloc>::
^~~~~~~~~~~~~~~~~~~
/usr/include/c++/6/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_range_insert(std::vector<_Tp, _Alloc>::iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = __gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >; _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator<Gringo::Output::LiteralId>]':
/usr/include/c++/6/bits/vector.tcc:616:7: note: parameter passing for argument of type 'std::vector<Gringo::Output::LiteralId>::iterator {aka __gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >}' will change in GCC 7.1
vector<_Tp, _Alloc>::
^~~~~~~~~~~~~~~~~~~
/usr/include/c++/6/bits/vector.tcc:616:7: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/vector.tcc:616:7: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
In file included from /usr/include/c++/6/algorithm:62:0,
from libgringo/gringo/symbol.hh:34,
from libgringo/gringo/term.hh:25,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/terms.hh:24,
from libgringo/gringo/output/aggregates.hh:24,
from libgringo/src/output/aggregates.cc:21:
/usr/include/c++/6/bits/stl_algo.h: In function 'void std::__insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<std::less<Gringo::Output::LiteralId> >]':
/usr/include/c++/6/bits/stl_algo.h:1837:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
__insertion_sort(_RandomAccessIterator __first,
^~~~~~~~~~~~~~~~
/usr/include/c++/6/bits/stl_algo.h:1837:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_algo.h: In function 'void std::__move_median_to_first(_Iterator, _Iterator, _Iterator, _Iterator, _Compare) [with _Iterator = __gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<std::less<Gringo::Output::LiteralId> >]':
/usr/include/c++/6/bits/stl_algo.h:78:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
__move_median_to_first(_Iterator __result,_Iterator __a, _Iterator __b,
^~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/6/bits/stl_algo.h:78:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_algo.h:78:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_algo.h:78:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
In file included from /usr/include/c++/6/vector:69:0,
from libgringo/gringo/symbol.hh:29,
from libgringo/gringo/term.hh:25,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/terms.hh:24,
from libgringo/gringo/output/aggregates.hh:24,
from libgringo/src/output/aggregates.cc:21:
/usr/include/c++/6/bits/vector.tcc: In constructor 'Gringo::Output::AggregateAnalyzer::AggregateAnalyzer(Gringo::Output::DomainData&, Gringo::NAF, const DisjunctiveBounds&, Gringo::AggregateFunction, Gringo::Output::Interval, const BodyAggregateElements&)':
/usr/include/c++/6/bits/vector.tcc:313:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::IntervalSet<Gringo::Symbol>::Interval*, std::vector<Gringo::IntervalSet<Gringo::Symbol>::Interval, std::allocator<Gringo::IntervalSet<Gringo::Symbol>::Interval> > >' will change in GCC 7.1
_M_insert_aux(begin() + (__position - cbegin()),
^~~~~~~~~~~~~
/usr/include/c++/6/bits/vector.tcc:313:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::IntervalSet<Gringo::Symbol>::Interval*, std::vector<Gringo::IntervalSet<Gringo::Symbol>::Interval, std::allocator<Gringo::IntervalSet<Gringo::Symbol>::Interval> > >' will change in GCC 7.1
_M_insert_aux(begin() + (__position - cbegin()),
^~~~~~~~~~~~~
In file included from /usr/include/c++/6/bits/stl_algo.h:61:0,
from /usr/include/c++/6/algorithm:62,
from libgringo/gringo/symbol.hh:34,
from libgringo/gringo/term.hh:25,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/terms.hh:24,
from libgringo/gringo/output/aggregates.hh:24,
from libgringo/src/output/aggregates.cc:21:
/usr/include/c++/6/bits/stl_heap.h: In function 'void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >; _Distance = int; _Tp = Gringo::Output::LiteralId; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<std::less<Gringo::Output::LiteralId> >]':
/usr/include/c++/6/bits/stl_heap.h:209:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
__adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex,
^~~~~~~~~~~~~
In file included from /usr/include/c++/6/algorithm:62:0,
from libgringo/gringo/symbol.hh:34,
from libgringo/gringo/term.hh:25,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/terms.hh:24,
from libgringo/gringo/output/aggregates.hh:24,
from libgringo/src/output/aggregates.cc:21:
/usr/include/c++/6/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<std::less<Gringo::Output::LiteralId> >]':
/usr/include/c++/6/bits/stl_algo.h:1937:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
__introsort_loop(_RandomAccessIterator __first,
^~~~~~~~~~~~~~~~
/usr/include/c++/6/bits/stl_algo.h:1937:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_algo.h:1918:7: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
std::__move_median_to_first(__first, __first + 1, __mid, __last - 1,
^~~
/usr/include/c++/6/bits/stl_algo.h:1918:7: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_algo.h:1918:7: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_algo.h:1918:7: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_algo.h:1951:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
std::__introsort_loop(__cut, __last, __depth_limit, __comp);
^~~
/usr/include/c++/6/bits/stl_algo.h: In member function 'std::pair<unsigned int, unsigned int> Gringo::Output::DomainData::clause(Gringo::Output::LitVec&)':
/usr/include/c++/6/bits/stl_algo.h:1965:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
std::__introsort_loop(__first, __last,
^~~
/usr/include/c++/6/bits/stl_algo.h:1882:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
std::__insertion_sort(__first, __first + int(_S_threshold), __comp);
^~~
/usr/include/c++/6/bits/stl_algo.h:1887:2: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
std::__insertion_sort(__first, __last, __comp);
^~~
In file included from /usr/include/c++/6/vector:64:0,
from libgringo/gringo/symbol.hh:29,
from libgringo/gringo/term.hh:25,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/terms.hh:24,
from libgringo/gringo/output/aggregates.hh:24,
from libgringo/src/output/aggregates.cc:21:
/usr/include/c++/6/bits/stl_vector.h:1375:4: note: parameter passing for argument of type 'std::vector<Gringo::Output::LiteralId>::iterator {aka __gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >}' will change in GCC 7.1
_M_range_insert(__pos, __first, __last, _IterCategory());
^~~~~~~~~~~~~~~
/usr/include/c++/6/bits/stl_vector.h:1375:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_vector.h:1375:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_vector.h:1375:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
libgringo/src/output/aggregates.cc: In function 'Gringo::Output::LiteralId Gringo::Output::{anonymous}::getEqualClause(Gringo::Output::DomainData&, Gringo::Output::Translator&, Gringo::IteratorRange<__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> > >, bool, bool)':
libgringo/src/output/aggregates.cc:330:11: note: parameter passing for argument of type 'Gringo::IteratorRange<__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> > >' will change in GCC 7.1
LiteralId getEqualClause(DomainData &data, Translator &x, IteratorRange<LitVec::const_iterator> clause, bool conjunctive, bool equivalence) {
^~~~~~~~~~~~~~
libgringo/src/output/aggregates.cc:330:11: note: parameter passing for argument of type 'Gringo::IteratorRange<__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> > >' will change in GCC 7.1
libgringo/src/output/aggregates.cc: In function 'Gringo::Output::LiteralId Gringo::Output::getEqualClause(Gringo::Output::DomainData&, Gringo::Output::Translator&, std::pair<unsigned int, unsigned int>, bool, bool)':
libgringo/src/output/aggregates.cc:368:85: note: parameter passing for argument of type 'Gringo::IteratorRange<__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> > >' will change in GCC 7.1
ret = getEqualClause(data, x, data.clause(id), conjunctive, equivalence);
^
libgringo/src/output/aggregates.cc:368:85: note: parameter passing for argument of type 'Gringo::IteratorRange<__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> > >' will change in GCC 7.1
libgringo/src/output/aggregates.cc:374:81: note: parameter passing for argument of type 'Gringo::IteratorRange<__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> > >' will change in GCC 7.1
return getEqualClause(data, x, data.clause(id), conjunctive, equivalence);
^
libgringo/src/output/aggregates.cc:374:81: note: parameter passing for argument of type 'Gringo::IteratorRange<__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> > >' will change in GCC 7.1
libgringo/src/output/aggregates.cc: In function 'Gringo::Output::LiteralId Gringo::Output::{anonymous}::getEqualClause(Gringo::Output::DomainData&, Gringo::Output::Translator&, Gringo::IteratorRange<__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> > >, bool, bool)':
libgringo/src/output/aggregates.cc:330:11: note: parameter passing for argument of type 'Gringo::IteratorRange<__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> > >' will change in GCC 7.1
LiteralId getEqualClause(DomainData &data, Translator &x, IteratorRange<LitVec::const_iterator> clause, bool conjunctive, bool equivalence) {
^~~~~~~~~~~~~~
libgringo/src/output/aggregates.cc:330:11: note: parameter passing for argument of type 'Gringo::IteratorRange<__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> > >' will change in GCC 7.1
libgringo/src/output/aggregates.cc: In function 'Gringo::Output::LiteralId Gringo::Output::getEqualClause(Gringo::Output::DomainData&, Gringo::Output::Translator&, std::pair<unsigned int, unsigned int>, bool, bool)':
libgringo/src/output/aggregates.cc:368:85: note: parameter passing for argument of type 'Gringo::IteratorRange<__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> > >' will change in GCC 7.1
ret = getEqualClause(data, x, data.clause(id), conjunctive, equivalence);
^
libgringo/src/output/aggregates.cc:368:85: note: parameter passing for argument of type 'Gringo::IteratorRange<__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> > >' will change in GCC 7.1
libgringo/src/output/aggregates.cc:374:81: note: parameter passing for argument of type 'Gringo::IteratorRange<__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> > >' will change in GCC 7.1
return getEqualClause(data, x, data.clause(id), conjunctive, equivalence);
^
libgringo/src/output/aggregates.cc:374:81: note: parameter passing for argument of type 'Gringo::IteratorRange<__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> > >' will change in GCC 7.1
libgringo/src/output/aggregates.cc: In function 'Gringo::Output::LiteralId Gringo::Output::getEqualFormula(Gringo::Output::DomainData&, Gringo::Output::Translator&, const Formula&, bool, bool)':
libgringo/src/output/aggregates.cc:381:48: note: parameter passing for argument of type 'Gringo::IteratorRange<__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> > >' will change in GCC 7.1
disjunction.emplace_back(getEqualClause(data, x, data.clause(conjunction), !conjunctive, equivalence));
~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
libgringo/src/output/aggregates.cc:381:48: note: parameter passing for argument of type 'Gringo::IteratorRange<__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> > >' will change in GCC 7.1
libgringo/src/output/aggregates.cc: In function 'Gringo::Output::LiteralId Gringo::Output::{anonymous}::getEqualClause(Gringo::Output::DomainData&, Gringo::Output::Translator&, Gringo::IteratorRange<__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> > >, bool, bool)':
libgringo/src/output/aggregates.cc:330:11: note: parameter passing for argument of type 'Gringo::IteratorRange<__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> > >' will change in GCC 7.1
LiteralId getEqualClause(DomainData &data, Translator &x, IteratorRange<LitVec::const_iterator> clause, bool conjunctive, bool equivalence) {
^~~~~~~~~~~~~~
libgringo/src/output/aggregates.cc:330:11: note: parameter passing for argument of type 'Gringo::IteratorRange<__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> > >' will change in GCC 7.1
libgringo/src/output/aggregates.cc: In function 'Gringo::Output::LiteralId Gringo::Output::getEqualClause(Gringo::Output::DomainData&, Gringo::Output::Translator&, std::pair<unsigned int, unsigned int>, bool, bool)':
libgringo/src/output/aggregates.cc:368:85: note: parameter passing for argument of type 'Gringo::IteratorRange<__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> > >' will change in GCC 7.1
ret = getEqualClause(data, x, data.clause(id), conjunctive, equivalence);
^
libgringo/src/output/aggregates.cc:368:85: note: parameter passing for argument of type 'Gringo::IteratorRange<__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> > >' will change in GCC 7.1
libgringo/src/output/aggregates.cc:374:81: note: parameter passing for argument of type 'Gringo::IteratorRange<__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> > >' will change in GCC 7.1
return getEqualClause(data, x, data.clause(id), conjunctive, equivalence);
^
libgringo/src/output/aggregates.cc:374:81: note: parameter passing for argument of type 'Gringo::IteratorRange<__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> > >' will change in GCC 7.1
libgringo/src/output/aggregates.cc: In member function 'Gringo::Output::LitValVec Gringo::Output::AggregateAnalyzer::translateElems(Gringo::Output::DomainData&, Gringo::Output::Translator&, Gringo::AggregateFunction, const BodyAggregateElements&, bool)':
libgringo/src/output/aggregates.cc:381:48: note: parameter passing for argument of type 'Gringo::IteratorRange<__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> > >' will change in GCC 7.1
disjunction.emplace_back(getEqualClause(data, x, data.clause(conjunction), !conjunctive, equivalence));
~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
libgringo/src/output/aggregates.cc:381:48: note: parameter passing for argument of type 'Gringo::IteratorRange<__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> > >' will change in GCC 7.1
libgringo/src/output/aggregates.cc: In member function 'Gringo::Output::LiteralId Gringo::Output::SumTranslator::translate(Gringo::Output::DomainData&, Gringo::Output::Translator&, Gringo::Output::ConjunctiveBounds&, bool, bool)':
libgringo/src/output/aggregates.cc:368:85: note: parameter passing for argument of type 'Gringo::IteratorRange<__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> > >' will change in GCC 7.1
ret = getEqualClause(data, x, data.clause(id), conjunctive, equivalence);
^
libgringo/src/output/aggregates.cc:368:85: note: parameter passing for argument of type 'Gringo::IteratorRange<__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> > >' will change in GCC 7.1
libgringo/src/output/aggregates.cc:374:81: note: parameter passing for argument of type 'Gringo::IteratorRange<__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> > >' will change in GCC 7.1
return getEqualClause(data, x, data.clause(id), conjunctive, equivalence);
^
libgringo/src/output/aggregates.cc:374:81: note: parameter passing for argument of type 'Gringo::IteratorRange<__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> > >' will change in GCC 7.1
g++-6 -o build/release/libgringo/src/output/literal.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/output/literal.cc
g++-6 -o build/release/libgringo/src/output/literals.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/output/literals.cc
In file included from /usr/include/c++/6/algorithm:62:0,
from libgringo/gringo/symbol.hh:34,
from libgringo/gringo/term.hh:25,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/domain.hh:25,
from libgringo/gringo/output/literal.hh:24,
from libgringo/src/output/literals.cc:21:
/usr/include/c++/6/bits/stl_algo.h: In function 'void std::__unguarded_linear_insert(_RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> >*, std::vector<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> > > >; _Compare = __gnu_cxx::__ops::_Val_comp_iter<std::less<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> > > >]':
/usr/include/c++/6/bits/stl_algo.h:1818:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> >*, std::vector<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> > > >' will change in GCC 7.1
__unguarded_linear_insert(_RandomAccessIterator __last,
^~~~~~~~~~~~~~~~~~~~~~~~~
libgringo/src/output/literals.cc: In function 'Gringo::Symbol Gringo::Output::getWeight(Gringo::AggregateFunction, Gringo::IteratorRange<__gnu_cxx::__normal_iterator<const Gringo::Symbol*, std::vector<Gringo::Symbol> > >)':
libgringo/src/output/literals.cc:175:8: note: parameter passing for argument of type 'Gringo::IteratorRange<__gnu_cxx::__normal_iterator<const Gringo::Symbol*, std::vector<Gringo::Symbol> > >' will change in GCC 7.1
Symbol getWeight(AggregateFunction fun, IteratorRange<SymVec::const_iterator> rng) {
^~~~~~~~~
In file included from /usr/include/c++/6/algorithm:62:0,
from libgringo/gringo/symbol.hh:34,
from libgringo/gringo/term.hh:25,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/domain.hh:25,
from libgringo/gringo/output/literal.hh:24,
from libgringo/src/output/literals.cc:21:
/usr/include/c++/6/bits/stl_algo.h: In function '_RandomAccessIterator std::__find_if(_RandomAccessIterator, _RandomAccessIterator, _Predicate, std::random_access_iterator_tag) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<Gringo::Symbol*, std::vector<Gringo::Symbol> >; _Predicate = __gnu_cxx::__ops::_Iter_equals_val<const Gringo::Symbol>]':
/usr/include/c++/6/bits/stl_algo.h:112:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Symbol*, std::vector<Gringo::Symbol> >' will change in GCC 7.1
__find_if(_RandomAccessIterator __first, _RandomAccessIterator __last,
^~~~~~~~~
/usr/include/c++/6/bits/stl_algo.h:112:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Symbol*, std::vector<Gringo::Symbol> >' will change in GCC 7.1
In file included from /usr/include/c++/6/vector:69:0,
from libgringo/gringo/symbol.hh:29,
from libgringo/gringo/term.hh:25,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/domain.hh:25,
from libgringo/gringo/output/literal.hh:24,
from libgringo/src/output/literals.cc:21:
/usr/include/c++/6/bits/vector.tcc: In member function 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::_M_erase(std::vector<_Tp, _Alloc>::iterator, std::vector<_Tp, _Alloc>::iterator) [with _Tp = Gringo::Output::DisjunctionElement; _Alloc = std::allocator<Gringo::Output::DisjunctionElement>]':
/usr/include/c++/6/bits/vector.tcc:153:5: note: parameter passing for argument of type 'std::vector<Gringo::Output::DisjunctionElement, std::allocator<Gringo::Output::DisjunctionElement> >::iterator {aka __gnu_cxx::__normal_iterator<Gringo::Output::DisjunctionElement*, std::vector<Gringo::Output::DisjunctionElement, std::allocator<Gringo::Output::DisjunctionElement> > >}' will change in GCC 7.1
vector<_Tp, _Alloc>::
^~~~~~~~~~~~~~~~~~~
/usr/include/c++/6/bits/vector.tcc:153:5: note: parameter passing for argument of type 'std::vector<Gringo::Output::DisjunctionElement, std::allocator<Gringo::Output::DisjunctionElement> >::iterator {aka __gnu_cxx::__normal_iterator<Gringo::Output::DisjunctionElement*, std::vector<Gringo::Output::DisjunctionElement, std::allocator<Gringo::Output::DisjunctionElement> > >}' will change in GCC 7.1
/usr/include/c++/6/bits/vector.tcc:153:5: note: parameter passing for argument of type 'std::vector<Gringo::Output::DisjunctionElement, std::allocator<Gringo::Output::DisjunctionElement> >::iterator {aka __gnu_cxx::__normal_iterator<Gringo::Output::DisjunctionElement*, std::vector<Gringo::Output::DisjunctionElement, std::allocator<Gringo::Output::DisjunctionElement> > >}' will change in GCC 7.1
/usr/include/c++/6/bits/vector.tcc:153:5: note: parameter passing for argument of type 'std::vector<Gringo::Output::DisjunctionElement, std::allocator<Gringo::Output::DisjunctionElement> >::iterator {aka __gnu_cxx::__normal_iterator<Gringo::Output::DisjunctionElement*, std::vector<Gringo::Output::DisjunctionElement, std::allocator<Gringo::Output::DisjunctionElement> > >}' will change in GCC 7.1
In file included from /usr/include/c++/6/vector:64:0,
from libgringo/gringo/symbol.hh:29,
from libgringo/gringo/term.hh:25,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/domain.hh:25,
from libgringo/gringo/output/literal.hh:24,
from libgringo/src/output/literals.cc:21:
/usr/include/c++/6/bits/stl_vector.h: In member function 'void Gringo::UniqueVec<Value, Hash, EqualTo>::erase(F) [with F = Gringo::Output::DisjunctionAtom::simplify(bool&)::<lambda(Gringo::Output::DisjunctionElement&)>; Value = Gringo::Output::DisjunctionElement; Hash = std::hash<Gringo::Symbol>; EqualTo = std::equal_to<Gringo::Symbol>]':
/usr/include/c++/6/bits/stl_vector.h:1178:71: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::DisjunctionElement*, std::vector<Gringo::Output::DisjunctionElement, std::allocator<Gringo::Output::DisjunctionElement> > >' will change in GCC 7.1
return _M_erase(__beg + (__first - __cbeg), __beg + (__last - __cbeg));
^
/usr/include/c++/6/bits/stl_vector.h:1178:71: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::DisjunctionElement*, std::vector<Gringo::Output::DisjunctionElement, std::allocator<Gringo::Output::DisjunctionElement> > >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_vector.h:1178:71: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::DisjunctionElement*, std::vector<Gringo::Output::DisjunctionElement, std::allocator<Gringo::Output::DisjunctionElement> > >' will change in GCC 7.1
In file included from /usr/include/c++/6/algorithm:62:0,
from libgringo/gringo/symbol.hh:34,
from libgringo/gringo/term.hh:25,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/domain.hh:25,
from libgringo/gringo/output/literal.hh:24,
from libgringo/src/output/literals.cc:21:
/usr/include/c++/6/bits/stl_algo.h: In function '_ForwardIterator std::__unique(_ForwardIterator, _ForwardIterator, _BinaryPredicate) [with _ForwardIterator = __gnu_cxx::__normal_iterator<Gringo::Symbol*, std::vector<Gringo::Symbol> >; _BinaryPredicate = __gnu_cxx::__ops::_Iter_comp_iter<Gringo::sort_unique(T&, Less) [with T = std::vector<Gringo::Symbol>; Less = std::less<Gringo::Symbol>]::<lambda(Gringo::Symbol&, Gringo::Symbol&)> >]':
/usr/include/c++/6/bits/stl_algo.h:959:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Symbol*, std::vector<Gringo::Symbol> >' will change in GCC 7.1
__unique(_ForwardIterator __first, _ForwardIterator __last,
^~~~~~~~
/usr/include/c++/6/bits/stl_algo.h:959:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Symbol*, std::vector<Gringo::Symbol> >' will change in GCC 7.1
In file included from /usr/include/c++/6/set:60:0,
from libgringo/gringo/utility.hh:26,
from libgringo/gringo/hashable.hh:27,
from libgringo/gringo/term.hh:27,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/domain.hh:25,
from libgringo/gringo/output/literal.hh:24,
from libgringo/src/output/literals.cc:21:
/usr/include/c++/6/bits/stl_tree.h: In function 'std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::iterator std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::_M_emplace_hint_unique(std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::const_iterator, _Args&& ...) [with _Args = {const std::piecewise_construct_t&, std::tuple<int&&>, std::tuple<>}; _Key = int; _Val = std::pair<const int, Gringo::Output::LiteralId>; _KeyOfValue = std::_Select1st<std::pair<const int, Gringo::Output::LiteralId> >; _Compare = std::less<int>; _Alloc = std::allocator<std::pair<const int, Gringo::Output::LiteralId> >]':
/usr/include/c++/6/bits/stl_tree.h:2193:7: note: parameter passing for argument of type 'std::_Rb_tree<int, std::pair<const int, Gringo::Output::LiteralId>, std::_Select1st<std::pair<const int, Gringo::Output::LiteralId> >, std::less<int>, std::allocator<std::pair<const int, Gringo::Output::LiteralId> > >::const_iterator {aka std::_Rb_tree_const_iterator<std::pair<const int, Gringo::Output::LiteralId> >}' will change in GCC 7.1
_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/6/vector:69:0,
from libgringo/gringo/symbol.hh:29,
from libgringo/gringo/term.hh:25,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/domain.hh:25,
from libgringo/gringo/output/literal.hh:24,
from libgringo/src/output/literals.cc:21:
/usr/include/c++/6/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_insert_aux(std::vector<_Tp, _Alloc>::iterator, _Args&& ...) [with _Args = {const Gringo::IntervalSet<Gringo::Symbol>::Interval&}; _Tp = Gringo::IntervalSet<Gringo::Symbol>::Interval; _Alloc = std::allocator<Gringo::IntervalSet<Gringo::Symbol>::Interval>]':
/usr/include/c++/6/bits/vector.tcc:321:7: note: parameter passing for argument of type 'std::vector<Gringo::IntervalSet<Gringo::Symbol>::Interval, std::allocator<Gringo::IntervalSet<Gringo::Symbol>::Interval> >::iterator {aka __gnu_cxx::__normal_iterator<Gringo::IntervalSet<Gringo::Symbol>::Interval*, std::vector<Gringo::IntervalSet<Gringo::Symbol>::Interval, std::allocator<Gringo::IntervalSet<Gringo::Symbol>::Interval> > >}' will change in GCC 7.1
vector<_Tp, _Alloc>::
^~~~~~~~~~~~~~~~~~~
/usr/include/c++/6/bits/vector.tcc: In member function 'void Gringo::IntervalSet<T>::add(const Gringo::IntervalSet<T>::Interval&) [with T = Gringo::Symbol]':
/usr/include/c++/6/bits/vector.tcc:313:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::IntervalSet<Gringo::Symbol>::Interval*, std::vector<Gringo::IntervalSet<Gringo::Symbol>::Interval, std::allocator<Gringo::IntervalSet<Gringo::Symbol>::Interval> > >' will change in GCC 7.1
_M_insert_aux(begin() + (__position - cbegin()),
^~~~~~~~~~~~~
In file included from /usr/include/c++/6/algorithm:62:0,
from libgringo/gringo/symbol.hh:34,
from libgringo/gringo/term.hh:25,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/domain.hh:25,
from libgringo/gringo/output/literal.hh:24,
from libgringo/src/output/literals.cc:21:
/usr/include/c++/6/bits/stl_algo.h: In function '_ForwardIterator std::__unique(_ForwardIterator, _ForwardIterator, _BinaryPredicate) [with _ForwardIterator = __gnu_cxx::__normal_iterator<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> >*, std::vector<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> > > >; _BinaryPredicate = __gnu_cxx::__ops::_Iter_comp_iter<Gringo::sort_unique(T&, Less) [with T = std::vector<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> > >; Less = std::less<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> > >]::<lambda(std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> >&, std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> >&)> >]':
/usr/include/c++/6/bits/stl_algo.h:959:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> >*, std::vector<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> > > >' will change in GCC 7.1
__unique(_ForwardIterator __first, _ForwardIterator __last,
^~~~~~~~
/usr/include/c++/6/bits/stl_algo.h:959:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> >*, std::vector<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> > > >' will change in GCC 7.1
In file included from /usr/include/c++/6/vector:69:0,
from libgringo/gringo/symbol.hh:29,
from libgringo/gringo/term.hh:25,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/domain.hh:25,
from libgringo/gringo/output/literal.hh:24,
from libgringo/src/output/literals.cc:21:
/usr/include/c++/6/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_range_insert(std::vector<_Tp, _Alloc>::iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = __gnu_cxx::__normal_iterator<const Gringo::Symbol*, std::vector<Gringo::Symbol> >; _Tp = Gringo::Symbol; _Alloc = std::allocator<Gringo::Symbol>]':
/usr/include/c++/6/bits/vector.tcc:616:7: note: parameter passing for argument of type 'std::vector<Gringo::Symbol>::iterator {aka __gnu_cxx::__normal_iterator<Gringo::Symbol*, std::vector<Gringo::Symbol> >}' will change in GCC 7.1
vector<_Tp, _Alloc>::
^~~~~~~~~~~~~~~~~~~
/usr/include/c++/6/bits/vector.tcc:616:7: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<const Gringo::Symbol*, std::vector<Gringo::Symbol> >' will change in GCC 7.1
/usr/include/c++/6/bits/vector.tcc:616:7: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<const Gringo::Symbol*, std::vector<Gringo::Symbol> >' will change in GCC 7.1
/usr/include/c++/6/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_range_insert(std::vector<_Tp, _Alloc>::iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = __gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >; _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator<Gringo::Output::LiteralId>]':
/usr/include/c++/6/bits/vector.tcc:616:7: note: parameter passing for argument of type 'std::vector<Gringo::Output::LiteralId>::iterator {aka __gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >}' will change in GCC 7.1
/usr/include/c++/6/bits/vector.tcc:616:7: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/vector.tcc:616:7: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
In file included from /usr/include/c++/6/algorithm:62:0,
from libgringo/gringo/symbol.hh:34,
from libgringo/gringo/term.hh:25,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/domain.hh:25,
from libgringo/gringo/output/literal.hh:24,
from libgringo/src/output/literals.cc:21:
/usr/include/c++/6/bits/stl_algo.h: In function 'void std::__insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<std::less<Gringo::Output::LiteralId> >]':
/usr/include/c++/6/bits/stl_algo.h:1837:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
__insertion_sort(_RandomAccessIterator __first,
^~~~~~~~~~~~~~~~
/usr/include/c++/6/bits/stl_algo.h:1837:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_algo.h: In function 'void std::__insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<Gringo::Symbol*, std::vector<Gringo::Symbol> >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<std::less<Gringo::Symbol> >]':
/usr/include/c++/6/bits/stl_algo.h:1837:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Symbol*, std::vector<Gringo::Symbol> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_algo.h:1837:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Symbol*, std::vector<Gringo::Symbol> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_algo.h:1837:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Symbol*, std::vector<Gringo::Symbol> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_algo.h: In function 'void std::__insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> >*, std::vector<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> > > >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<std::less<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> > > >]':
/usr/include/c++/6/bits/stl_algo.h:1837:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> >*, std::vector<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> > > >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_algo.h:1837:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> >*, std::vector<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> > > >' will change in GCC 7.1
In file included from /usr/include/c++/6/vector:64:0,
from libgringo/gringo/symbol.hh:29,
from libgringo/gringo/term.hh:25,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/domain.hh:25,
from libgringo/gringo/output/literal.hh:24,
from libgringo/src/output/literals.cc:21:
/usr/include/c++/6/bits/stl_vector.h: In member function 'Gringo::Output::TupleId Gringo::Output::DomainData::tuple(const SymVec&)':
/usr/include/c++/6/bits/stl_vector.h:1375:4: note: parameter passing for argument of type 'std::vector<Gringo::Symbol>::iterator {aka __gnu_cxx::__normal_iterator<Gringo::Symbol*, std::vector<Gringo::Symbol> >}' will change in GCC 7.1
_M_range_insert(__pos, __first, __last, _IterCategory());
^~~~~~~~~~~~~~~
/usr/include/c++/6/bits/stl_vector.h:1375:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<const Gringo::Symbol*, std::vector<Gringo::Symbol> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_vector.h:1375:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<const Gringo::Symbol*, std::vector<Gringo::Symbol> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_vector.h:1375:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<const Gringo::Symbol*, std::vector<Gringo::Symbol> >' will change in GCC 7.1
In file included from /usr/include/c++/6/algorithm:62:0,
from libgringo/gringo/symbol.hh:34,
from libgringo/gringo/term.hh:25,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/domain.hh:25,
from libgringo/gringo/output/literal.hh:24,
from libgringo/src/output/literals.cc:21:
/usr/include/c++/6/bits/stl_algo.h: In function 'void std::__move_median_to_first(_Iterator, _Iterator, _Iterator, _Iterator, _Compare) [with _Iterator = __gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<std::less<Gringo::Output::LiteralId> >]':
/usr/include/c++/6/bits/stl_algo.h:78:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
__move_median_to_first(_Iterator __result,_Iterator __a, _Iterator __b,
^~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/6/bits/stl_algo.h:78:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_algo.h:78:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_algo.h:78:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
In file included from /usr/include/c++/6/bits/stl_algo.h:61:0,
from /usr/include/c++/6/algorithm:62,
from libgringo/gringo/symbol.hh:34,
from libgringo/gringo/term.hh:25,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/domain.hh:25,
from libgringo/gringo/output/literal.hh:24,
from libgringo/src/output/literals.cc:21:
/usr/include/c++/6/bits/stl_heap.h: In function 'void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >; _Distance = int; _Tp = Gringo::Output::LiteralId; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<std::less<Gringo::Output::LiteralId> >]':
/usr/include/c++/6/bits/stl_heap.h:209:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
__adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex,
^~~~~~~~~~~~~
In file included from /usr/include/c++/6/algorithm:62:0,
from libgringo/gringo/symbol.hh:34,
from libgringo/gringo/term.hh:25,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/domain.hh:25,
from libgringo/gringo/output/literal.hh:24,
from libgringo/src/output/literals.cc:21:
/usr/include/c++/6/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<std::less<Gringo::Output::LiteralId> >]':
/usr/include/c++/6/bits/stl_algo.h:1937:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
__introsort_loop(_RandomAccessIterator __first,
^~~~~~~~~~~~~~~~
/usr/include/c++/6/bits/stl_algo.h:1937:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_algo.h:1918:7: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
std::__move_median_to_first(__first, __first + 1, __mid, __last - 1,
^~~
/usr/include/c++/6/bits/stl_algo.h:1918:7: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_algo.h:1918:7: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_algo.h:1918:7: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_algo.h:1951:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
std::__introsort_loop(__cut, __last, __depth_limit, __comp);
^~~
/usr/include/c++/6/bits/stl_algo.h: In member function 'std::pair<unsigned int, unsigned int> Gringo::Output::DomainData::clause(Gringo::Output::LitVec&)':
/usr/include/c++/6/bits/stl_algo.h:1965:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
std::__introsort_loop(__first, __last,
^~~
/usr/include/c++/6/bits/stl_algo.h:1882:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
std::__insertion_sort(__first, __first + int(_S_threshold), __comp);
^~~
/usr/include/c++/6/bits/stl_algo.h:1887:2: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
std::__insertion_sort(__first, __last, __comp);
^~~
In file included from /usr/include/c++/6/vector:64:0,
from libgringo/gringo/symbol.hh:29,
from libgringo/gringo/term.hh:25,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/domain.hh:25,
from libgringo/gringo/output/literal.hh:24,
from libgringo/src/output/literals.cc:21:
/usr/include/c++/6/bits/stl_vector.h:1375:4: note: parameter passing for argument of type 'std::vector<Gringo::Output::LiteralId>::iterator {aka __gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >}' will change in GCC 7.1
_M_range_insert(__pos, __first, __last, _IterCategory());
^~~~~~~~~~~~~~~
/usr/include/c++/6/bits/stl_vector.h:1375:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_vector.h:1375:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_vector.h:1375:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
In file included from /usr/include/c++/6/bits/stl_algo.h:61:0,
from /usr/include/c++/6/algorithm:62,
from libgringo/gringo/symbol.hh:34,
from libgringo/gringo/term.hh:25,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/domain.hh:25,
from libgringo/gringo/output/literal.hh:24,
from libgringo/src/output/literals.cc:21:
/usr/include/c++/6/bits/stl_heap.h: In function 'void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<Gringo::Symbol*, std::vector<Gringo::Symbol> >; _Distance = int; _Tp = Gringo::Symbol; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<std::less<Gringo::Symbol> >]':
/usr/include/c++/6/bits/stl_heap.h:209:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Symbol*, std::vector<Gringo::Symbol> >' will change in GCC 7.1
__adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex,
^~~~~~~~~~~~~
In file included from /usr/include/c++/6/algorithm:62:0,
from libgringo/gringo/symbol.hh:34,
from libgringo/gringo/term.hh:25,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/domain.hh:25,
from libgringo/gringo/output/literal.hh:24,
from libgringo/src/output/literals.cc:21:
/usr/include/c++/6/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<Gringo::Symbol*, std::vector<Gringo::Symbol> >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<std::less<Gringo::Symbol> >]':
/usr/include/c++/6/bits/stl_algo.h:1937:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Symbol*, std::vector<Gringo::Symbol> >' will change in GCC 7.1
__introsort_loop(_RandomAccessIterator __first,
^~~~~~~~~~~~~~~~
/usr/include/c++/6/bits/stl_algo.h:1937:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Symbol*, std::vector<Gringo::Symbol> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_algo.h:1951:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Symbol*, std::vector<Gringo::Symbol> >' will change in GCC 7.1
std::__introsort_loop(__cut, __last, __depth_limit, __comp);
^~~
/usr/include/c++/6/bits/stl_algo.h: In function 'void Gringo::sort_unique(T&, Less) [with T = std::vector<Gringo::Symbol>; Less = std::less<Gringo::Symbol>]':
/usr/include/c++/6/bits/stl_algo.h:1965:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Symbol*, std::vector<Gringo::Symbol> >' will change in GCC 7.1
std::__introsort_loop(__first, __last,
^~~
/usr/include/c++/6/bits/stl_algo.h:1882:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Symbol*, std::vector<Gringo::Symbol> >' will change in GCC 7.1
std::__insertion_sort(__first, __first + int(_S_threshold), __comp);
^~~
/usr/include/c++/6/bits/stl_algo.h:1887:2: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Symbol*, std::vector<Gringo::Symbol> >' will change in GCC 7.1
std::__insertion_sort(__first, __last, __comp);
^~~
/usr/include/c++/6/bits/stl_algo.h:1034:56: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Symbol*, std::vector<Gringo::Symbol> >' will change in GCC 7.1
__gnu_cxx::__ops::__iter_comp_iter(__binary_pred));
^
In file included from /usr/include/c++/6/bits/stl_algo.h:61:0,
from /usr/include/c++/6/algorithm:62,
from libgringo/gringo/symbol.hh:34,
from libgringo/gringo/term.hh:25,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/domain.hh:25,
from libgringo/gringo/output/literal.hh:24,
from libgringo/src/output/literals.cc:21:
/usr/include/c++/6/bits/stl_heap.h: In function 'void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> >*, std::vector<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> > > >; _Distance = int; _Tp = std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<std::less<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> > > >]':
/usr/include/c++/6/bits/stl_heap.h:209:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> >*, std::vector<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> > > >' will change in GCC 7.1
__adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex,
^~~~~~~~~~~~~
In file included from /usr/include/c++/6/algorithm:62:0,
from libgringo/gringo/symbol.hh:34,
from libgringo/gringo/term.hh:25,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/domain.hh:25,
from libgringo/gringo/output/literal.hh:24,
from libgringo/src/output/literals.cc:21:
/usr/include/c++/6/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> >*, std::vector<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> > > >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<std::less<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> > > >]':
/usr/include/c++/6/bits/stl_algo.h:1937:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> >*, std::vector<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> > > >' will change in GCC 7.1
__introsort_loop(_RandomAccessIterator __first,
^~~~~~~~~~~~~~~~
/usr/include/c++/6/bits/stl_algo.h:1937:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> >*, std::vector<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> > > >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_algo.h:1951:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> >*, std::vector<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> > > >' will change in GCC 7.1
std::__introsort_loop(__cut, __last, __depth_limit, __comp);
^~~
/usr/include/c++/6/bits/stl_algo.h: In member function 'void Gringo::Output::AssignmentAggregateData::accumulate(Gringo::Output::DomainData&, const Gringo::Location&, const SymVec&, Gringo::Output::LitVec&, Gringo::Logger&)':
/usr/include/c++/6/bits/stl_algo.h:162:43: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Symbol*, std::vector<Gringo::Symbol> >' will change in GCC 7.1
std::__iterator_category(__first));
^
In file included from /usr/include/c++/6/map:61:0,
from libgringo/gringo/utility.hh:29,
from libgringo/gringo/hashable.hh:27,
from libgringo/gringo/term.hh:27,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/domain.hh:25,
from libgringo/gringo/output/literal.hh:24,
from libgringo/src/output/literals.cc:21:
/usr/include/c++/6/bits/stl_map.h: In lambda function:
/usr/include/c++/6/bits/stl_map.h:502:4: note: parameter passing for argument of type 'std::_Rb_tree<int, std::pair<const int, Gringo::Output::LiteralId>, std::_Select1st<std::pair<const int, Gringo::Output::LiteralId> >, std::less<int>, std::allocator<std::pair<const int, Gringo::Output::LiteralId> > >::const_iterator {aka std::_Rb_tree_const_iterator<std::pair<const int, Gringo::Output::LiteralId> >}' will change in GCC 7.1
__i = _M_t._M_emplace_hint_unique(__i, std::piecewise_construct,
^~~
In file included from /usr/include/c++/6/algorithm:62:0,
from libgringo/gringo/symbol.hh:34,
from libgringo/gringo/term.hh:25,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/domain.hh:25,
from libgringo/gringo/output/literal.hh:24,
from libgringo/src/output/literals.cc:21:
/usr/include/c++/6/bits/stl_algo.h: In member function 'virtual Gringo::Output::LiteralId Gringo::Output::HeadAggregateLiteral::translate(Gringo::Output::Translator&)':
/usr/include/c++/6/bits/stl_algo.h:1965:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> >*, std::vector<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> > > >' will change in GCC 7.1
std::__introsort_loop(__first, __last,
^~~
/usr/include/c++/6/bits/stl_algo.h:1882:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> >*, std::vector<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> > > >' will change in GCC 7.1
std::__insertion_sort(__first, __first + int(_S_threshold), __comp);
^~~
/usr/include/c++/6/bits/stl_algo.h:1887:2: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> >*, std::vector<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> > > >' will change in GCC 7.1
std::__insertion_sort(__first, __last, __comp);
^~~
/usr/include/c++/6/bits/stl_algo.h:1034:56: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> >*, std::vector<std::pair<std::pair<unsigned int, unsigned int>, std::pair<Gringo::Output::TupleId, Gringo::Output::LiteralId> > > >' will change in GCC 7.1
__gnu_cxx::__ops::__iter_comp_iter(__binary_pred));
^
In file included from /usr/include/c++/6/map:61:0,
from libgringo/gringo/utility.hh:29,
from libgringo/gringo/hashable.hh:27,
from libgringo/gringo/term.hh:27,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/domain.hh:25,
from libgringo/gringo/output/literal.hh:24,
from libgringo/src/output/literals.cc:21:
/usr/include/c++/6/bits/stl_map.h: In member function 'bool Gringo::Output::DisjointAtom::translate(Gringo::Output::DomainData&, Gringo::Output::Translator&, Gringo::Logger&)':
/usr/include/c++/6/bits/stl_map.h:502:4: note: parameter passing for argument of type 'std::_Rb_tree<int, std::pair<const int, Gringo::Output::LiteralId>, std::_Select1st<std::pair<const int, Gringo::Output::LiteralId> >, std::less<int>, std::allocator<std::pair<const int, Gringo::Output::LiteralId> > >::const_iterator {aka std::_Rb_tree_const_iterator<std::pair<const int, Gringo::Output::LiteralId> >}' will change in GCC 7.1
__i = _M_t._M_emplace_hint_unique(__i, std::piecewise_construct,
^~~
g++-6 -o build/release/libgringo/src/output/output.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/output/output.cc
In file included from /usr/include/c++/6/algorithm:62:0,
from libgringo/gringo/symbol.hh:34,
from libgringo/gringo/control.hh:24,
from libgringo/gringo/output/output.hh:24,
from libgringo/src/output/output.cc:21:
/usr/include/c++/6/bits/stl_algo.h: In function 'void std::__unguarded_linear_insert(_RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<std::tuple<Gringo::Location, Gringo::Sig, bool>*, std::vector<std::tuple<Gringo::Location, Gringo::Sig, bool> > >; _Compare = __gnu_cxx::__ops::_Val_comp_iter<Gringo::Output::OutputBase::checkOutPreds(Gringo::Logger&)::<lambda(const value_type&, const value_type&)> >]':
/usr/include/c++/6/bits/stl_algo.h:1818:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::tuple<Gringo::Location, Gringo::Sig, bool>*, std::vector<std::tuple<Gringo::Location, Gringo::Sig, bool> > >' will change in GCC 7.1
__unguarded_linear_insert(_RandomAccessIterator __last,
^~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/6/bits/stl_algo.h: In function 'void std::__insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<std::tuple<Gringo::Location, Gringo::Sig, bool>*, std::vector<std::tuple<Gringo::Location, Gringo::Sig, bool> > >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<Gringo::Output::OutputBase::checkOutPreds(Gringo::Logger&)::<lambda(const value_type&, const value_type&)> >]':
/usr/include/c++/6/bits/stl_algo.h:1837:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::tuple<Gringo::Location, Gringo::Sig, bool>*, std::vector<std::tuple<Gringo::Location, Gringo::Sig, bool> > >' will change in GCC 7.1
__insertion_sort(_RandomAccessIterator __first,
^~~~~~~~~~~~~~~~
/usr/include/c++/6/bits/stl_algo.h:1837:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::tuple<Gringo::Location, Gringo::Sig, bool>*, std::vector<std::tuple<Gringo::Location, Gringo::Sig, bool> > >' will change in GCC 7.1
In file included from /usr/include/c++/6/bits/stl_algo.h:61:0,
from /usr/include/c++/6/algorithm:62,
from libgringo/gringo/symbol.hh:34,
from libgringo/gringo/control.hh:24,
from libgringo/gringo/output/output.hh:24,
from libgringo/src/output/output.cc:21:
/usr/include/c++/6/bits/stl_heap.h: In function 'void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<std::tuple<Gringo::Location, Gringo::Sig, bool>*, std::vector<std::tuple<Gringo::Location, Gringo::Sig, bool> > >; _Distance = int; _Tp = std::tuple<Gringo::Location, Gringo::Sig, bool>; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<Gringo::Output::OutputBase::checkOutPreds(Gringo::Logger&)::<lambda(const value_type&, const value_type&)> >]':
/usr/include/c++/6/bits/stl_heap.h:209:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::tuple<Gringo::Location, Gringo::Sig, bool>*, std::vector<std::tuple<Gringo::Location, Gringo::Sig, bool> > >' will change in GCC 7.1
__adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex,
^~~~~~~~~~~~~
In file included from /usr/include/c++/6/algorithm:62:0,
from libgringo/gringo/symbol.hh:34,
from libgringo/gringo/control.hh:24,
from libgringo/gringo/output/output.hh:24,
from libgringo/src/output/output.cc:21:
/usr/include/c++/6/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<std::tuple<Gringo::Location, Gringo::Sig, bool>*, std::vector<std::tuple<Gringo::Location, Gringo::Sig, bool> > >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<Gringo::Output::OutputBase::checkOutPreds(Gringo::Logger&)::<lambda(const value_type&, const value_type&)> >]':
/usr/include/c++/6/bits/stl_algo.h:1937:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::tuple<Gringo::Location, Gringo::Sig, bool>*, std::vector<std::tuple<Gringo::Location, Gringo::Sig, bool> > >' will change in GCC 7.1
__introsort_loop(_RandomAccessIterator __first,
^~~~~~~~~~~~~~~~
/usr/include/c++/6/bits/stl_algo.h:1937:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::tuple<Gringo::Location, Gringo::Sig, bool>*, std::vector<std::tuple<Gringo::Location, Gringo::Sig, bool> > >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_algo.h:1951:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::tuple<Gringo::Location, Gringo::Sig, bool>*, std::vector<std::tuple<Gringo::Location, Gringo::Sig, bool> > >' will change in GCC 7.1
std::__introsort_loop(__cut, __last, __depth_limit, __comp);
^~~
/usr/include/c++/6/bits/stl_algo.h: In member function 'void Gringo::Output::OutputBase::checkOutPreds(Gringo::Logger&)':
/usr/include/c++/6/bits/stl_algo.h:1965:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::tuple<Gringo::Location, Gringo::Sig, bool>*, std::vector<std::tuple<Gringo::Location, Gringo::Sig, bool> > >' will change in GCC 7.1
std::__introsort_loop(__first, __last,
^~~
/usr/include/c++/6/bits/stl_algo.h:1882:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::tuple<Gringo::Location, Gringo::Sig, bool>*, std::vector<std::tuple<Gringo::Location, Gringo::Sig, bool> > >' will change in GCC 7.1
std::__insertion_sort(__first, __first + int(_S_threshold), __comp);
^~~
/usr/include/c++/6/bits/stl_algo.h:1887:2: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::tuple<Gringo::Location, Gringo::Sig, bool>*, std::vector<std::tuple<Gringo::Location, Gringo::Sig, bool> > >' will change in GCC 7.1
std::__insertion_sort(__first, __last, __comp);
^~~
/usr/include/c++/6/bits/stl_algo.h: In function '_RandomAccessIterator std::__find_if(_RandomAccessIterator, _RandomAccessIterator, _Predicate, std::random_access_iterator_tag) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<Gringo::Output::PredicateAtom*, std::vector<Gringo::Output::PredicateAtom, std::allocator<Gringo::Output::PredicateAtom> > >; _Predicate = __gnu_cxx::__ops::_Iter_pred<Gringo::Output::PredicateDomain::cleanup(Gringo::Output::AssignmentLookup, Gringo::Output::Mapping&)::<lambda(Gringo::Output::PredicateAtom&)> >]':
/usr/include/c++/6/bits/stl_algo.h:112:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::PredicateAtom*, std::vector<Gringo::Output::PredicateAtom, std::allocator<Gringo::Output::PredicateAtom> > >' will change in GCC 7.1
__find_if(_RandomAccessIterator __first, _RandomAccessIterator __last,
^~~~~~~~~
/usr/include/c++/6/bits/stl_algo.h:112:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::PredicateAtom*, std::vector<Gringo::Output::PredicateAtom, std::allocator<Gringo::Output::PredicateAtom> > >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_algo.h: In member function 'std::pair<unsigned int, unsigned int> Gringo::Output::OutputBase::simplify(Gringo::Output::AssignmentLookup)':
/usr/include/c++/6/bits/stl_algo.h:162:43: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::PredicateAtom*, std::vector<Gringo::Output::PredicateAtom, std::allocator<Gringo::Output::PredicateAtom> > >' will change in GCC 7.1
std::__iterator_category(__first));
^
g++-6 -o build/release/libgringo/src/output/statement.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/output/statement.cc
g++-6 -o build/release/libgringo/src/output/statements.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/output/statements.cc
In file included from /usr/include/c++/6/set:60:0,
from libgringo/gringo/utility.hh:26,
from libgringo/gringo/hashable.hh:27,
from libgringo/gringo/term.hh:27,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/domain.hh:25,
from libgringo/gringo/output/literal.hh:24,
from libgringo/gringo/output/statement.hh:24,
from libgringo/gringo/output/statements.hh:24,
from libgringo/src/output/statements.cc:21:
/usr/include/c++/6/bits/stl_tree.h: In member function 'std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::iterator std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::_M_emplace_hint_unique(std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::const_iterator, _Args&& ...) [with _Args = {const std::piecewise_construct_t&, std::tuple<const Gringo::Symbol&>, std::tuple<>}; _Key = Gringo::Symbol; _Val = std::pair<const Gringo::Symbol, Gringo::enum_interval_set<int> >; _KeyOfValue = std::_Select1st<std::pair<const Gringo::Symbol, Gringo::enum_interval_set<int> > >; _Compare = std::less<Gringo::Symbol>; _Alloc = std::allocator<std::pair<const Gringo::Symbol, Gringo::enum_interval_set<int> > >]':
/usr/include/c++/6/bits/stl_tree.h:2193:7: note: parameter passing for argument of type 'std::_Rb_tree<Gringo::Symbol, std::pair<const Gringo::Symbol, Gringo::enum_interval_set<int> >, std::_Select1st<std::pair<const Gringo::Symbol, Gringo::enum_interval_set<int> > >, std::less<Gringo::Symbol>, std::allocator<std::pair<const Gringo::Symbol, Gringo::enum_interval_set<int> > > >::const_iterator {aka std::_Rb_tree_const_iterator<std::pair<const Gringo::Symbol, Gringo::enum_interval_set<int> > >}' will change in GCC 7.1
_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/6/vector:69:0,
from libgringo/gringo/symbol.hh:29,
from libgringo/gringo/term.hh:25,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/domain.hh:25,
from libgringo/gringo/output/literal.hh:24,
from libgringo/gringo/output/statement.hh:24,
from libgringo/gringo/output/statements.hh:24,
from libgringo/src/output/statements.cc:21:
/usr/include/c++/6/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_range_insert(std::vector<_Tp, _Alloc>::iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = __gnu_cxx::__normal_iterator<const Gringo::Symbol*, std::vector<Gringo::Symbol> >; _Tp = Gringo::Symbol; _Alloc = std::allocator<Gringo::Symbol>]':
/usr/include/c++/6/bits/vector.tcc:616:7: note: parameter passing for argument of type 'std::vector<Gringo::Symbol>::iterator {aka __gnu_cxx::__normal_iterator<Gringo::Symbol*, std::vector<Gringo::Symbol> >}' will change in GCC 7.1
vector<_Tp, _Alloc>::
^~~~~~~~~~~~~~~~~~~
/usr/include/c++/6/bits/vector.tcc:616:7: note: parameter passing for argument of type 'std::vector<Gringo::Symbol>::iterator {aka __gnu_cxx::__normal_iterator<Gringo::Symbol*, std::vector<Gringo::Symbol> >}' will change in GCC 7.1
/usr/include/c++/6/bits/vector.tcc:616:7: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<const Gringo::Symbol*, std::vector<Gringo::Symbol> >' will change in GCC 7.1
/usr/include/c++/6/bits/vector.tcc:616:7: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<const Gringo::Symbol*, std::vector<Gringo::Symbol> >' will change in GCC 7.1
/usr/include/c++/6/bits/vector.tcc:616:7: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<const Gringo::Symbol*, std::vector<Gringo::Symbol> >' will change in GCC 7.1
/usr/include/c++/6/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_range_insert(std::vector<_Tp, _Alloc>::iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = __gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >; _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator<Gringo::Output::LiteralId>]':
/usr/include/c++/6/bits/vector.tcc:616:7: note: parameter passing for argument of type 'std::vector<Gringo::Output::LiteralId>::iterator {aka __gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >}' will change in GCC 7.1
/usr/include/c++/6/bits/vector.tcc:616:7: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/vector.tcc:616:7: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
In file included from /usr/include/c++/6/map:61:0,
from libgringo/gringo/utility.hh:29,
from libgringo/gringo/hashable.hh:27,
from libgringo/gringo/term.hh:27,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/domain.hh:25,
from libgringo/gringo/output/literal.hh:24,
from libgringo/gringo/output/statement.hh:24,
from libgringo/gringo/output/statements.hh:24,
from libgringo/src/output/statements.cc:21:
/usr/include/c++/6/bits/stl_map.h: In member function 'void Gringo::Output::Translator::addBounds(Gringo::Symbol, std::vector<std::pair<int, int> >)':
/usr/include/c++/6/bits/stl_map.h:483:4: note: parameter passing for argument of type 'std::_Rb_tree<Gringo::Symbol, std::pair<const Gringo::Symbol, Gringo::enum_interval_set<int> >, std::_Select1st<std::pair<const Gringo::Symbol, Gringo::enum_interval_set<int> > >, std::less<Gringo::Symbol>, std::allocator<std::pair<const Gringo::Symbol, Gringo::enum_interval_set<int> > > >::const_iterator {aka std::_Rb_tree_const_iterator<std::pair<const Gringo::Symbol, Gringo::enum_interval_set<int> > >}' will change in GCC 7.1
__i = _M_t._M_emplace_hint_unique(__i, std::piecewise_construct,
^~~
In file included from /usr/include/c++/6/algorithm:62:0,
from libgringo/gringo/symbol.hh:34,
from libgringo/gringo/term.hh:25,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/domain.hh:25,
from libgringo/gringo/output/literal.hh:24,
from libgringo/gringo/output/statement.hh:24,
from libgringo/gringo/output/statements.hh:24,
from libgringo/src/output/statements.cc:21:
/usr/include/c++/6/bits/stl_algo.h: In function 'void std::__insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<std::less<Gringo::Output::LiteralId> >]':
/usr/include/c++/6/bits/stl_algo.h:1837:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
__insertion_sort(_RandomAccessIterator __first,
^~~~~~~~~~~~~~~~
/usr/include/c++/6/bits/stl_algo.h:1837:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_algo.h:1837:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_algo.h: In function 'void std::__move_median_to_first(_Iterator, _Iterator, _Iterator, _Iterator, _Compare) [with _Iterator = __gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<std::less<Gringo::Output::LiteralId> >]':
/usr/include/c++/6/bits/stl_algo.h:78:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
__move_median_to_first(_Iterator __result,_Iterator __a, _Iterator __b,
^~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/6/bits/stl_algo.h:78:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_algo.h:78:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_algo.h:78:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_algo.h:78:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_algo.h:78:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
In file included from /usr/include/c++/6/bits/stl_algo.h:61:0,
from /usr/include/c++/6/algorithm:62,
from libgringo/gringo/symbol.hh:34,
from libgringo/gringo/term.hh:25,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/domain.hh:25,
from libgringo/gringo/output/literal.hh:24,
from libgringo/gringo/output/statement.hh:24,
from libgringo/gringo/output/statements.hh:24,
from libgringo/src/output/statements.cc:21:
/usr/include/c++/6/bits/stl_heap.h: In function 'void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >; _Distance = int; _Tp = Gringo::Output::LiteralId; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<std::less<Gringo::Output::LiteralId> >]':
/usr/include/c++/6/bits/stl_heap.h:209:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
__adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex,
^~~~~~~~~~~~~
In file included from /usr/include/c++/6/algorithm:62:0,
from libgringo/gringo/symbol.hh:34,
from libgringo/gringo/term.hh:25,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/domain.hh:25,
from libgringo/gringo/output/literal.hh:24,
from libgringo/gringo/output/statement.hh:24,
from libgringo/gringo/output/statements.hh:24,
from libgringo/src/output/statements.cc:21:
/usr/include/c++/6/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<std::less<Gringo::Output::LiteralId> >]':
/usr/include/c++/6/bits/stl_algo.h:1937:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
__introsort_loop(_RandomAccessIterator __first,
^~~~~~~~~~~~~~~~
/usr/include/c++/6/bits/stl_algo.h:1937:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_algo.h:1918:7: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
std::__move_median_to_first(__first, __first + 1, __mid, __last - 1,
^~~
/usr/include/c++/6/bits/stl_algo.h:1918:7: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_algo.h:1918:7: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_algo.h:1918:7: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_algo.h:1951:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
std::__introsort_loop(__cut, __last, __depth_limit, __comp);
^~~
/usr/include/c++/6/bits/stl_algo.h: In member function 'std::pair<unsigned int, unsigned int> Gringo::Output::DomainData::clause(Gringo::Output::LitVec&)':
/usr/include/c++/6/bits/stl_algo.h:1965:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
std::__introsort_loop(__first, __last,
^~~
/usr/include/c++/6/bits/stl_algo.h:1882:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
std::__insertion_sort(__first, __first + int(_S_threshold), __comp);
^~~
/usr/include/c++/6/bits/stl_algo.h:1887:2: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
std::__insertion_sort(__first, __last, __comp);
^~~
In file included from /usr/include/c++/6/vector:64:0,
from libgringo/gringo/symbol.hh:29,
from libgringo/gringo/term.hh:25,
from libgringo/gringo/base.hh:25,
from libgringo/gringo/domain.hh:25,
from libgringo/gringo/output/literal.hh:24,
from libgringo/gringo/output/statement.hh:24,
from libgringo/gringo/output/statements.hh:24,
from libgringo/src/output/statements.cc:21:
/usr/include/c++/6/bits/stl_vector.h:1375:4: note: parameter passing for argument of type 'std::vector<Gringo::Output::LiteralId>::iterator {aka __gnu_cxx::__normal_iterator<Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >}' will change in GCC 7.1
_M_range_insert(__pos, __first, __last, _IterCategory());
^~~~~~~~~~~~~~~
/usr/include/c++/6/bits/stl_vector.h:1375:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_vector.h:1375:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_vector.h:1375:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<const Gringo::Output::LiteralId*, std::vector<Gringo::Output::LiteralId> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_vector.h: In member function 'virtual void Gringo::Output::WeakConstraint::translate(Gringo::Output::DomainData&, Gringo::Output::Translator&)':
/usr/include/c++/6/bits/stl_vector.h:1375:4: note: parameter passing for argument of type 'std::vector<Gringo::Symbol>::iterator {aka __gnu_cxx::__normal_iterator<Gringo::Symbol*, std::vector<Gringo::Symbol> >}' will change in GCC 7.1
_M_range_insert(__pos, __first, __last, _IterCategory());
^~~~~~~~~~~~~~~
/usr/include/c++/6/bits/stl_vector.h:1375:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<const Gringo::Symbol*, std::vector<Gringo::Symbol> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_vector.h:1375:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<const Gringo::Symbol*, std::vector<Gringo::Symbol> >' will change in GCC 7.1
/usr/include/c++/6/bits/stl_vector.h:1375:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<const Gringo::Symbol*, std::vector<Gringo::Symbol> >' will change in GCC 7.1
g++-6 -o build/release/libgringo/src/output/theory.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/output/theory.cc
g++-6 -o build/release/libgringo/src/primes.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/primes.cc
g++-6 -o build/release/libgringo/src/python.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/python.cc
g++-6 -o build/release/libgringo/src/scripts.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/scripts.cc
g++-6 -o build/release/libgringo/src/symbol.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/symbol.cc
g++-6 -o build/release/libgringo/src/term.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/term.cc
g++-6 -o build/release/libgringo/src/terms.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/terms.cc
ar rc build/release/libgringo.a build/release/libgringo/src/backend.o build/release/libgringo/src/control.o build/release/libgringo/src/ground/instantiation.o build/release/libgringo/src/ground/literals.o build/release/libgringo/src/ground/program.o build/release/libgringo/src/ground/statements.o build/release/libgringo/src/input/aggregate.o build/release/libgringo/src/input/aggregates.o build/release/libgringo/src/input/groundtermgrammar/grammar.o build/release/libgringo/src/input/groundtermparser.o build/release/libgringo/src/input/literal.o build/release/libgringo/src/input/literals.o build/release/libgringo/src/input/nongroundgrammar/grammar.o build/release/libgringo/src/input/nongroundparser.o build/release/libgringo/src/input/program.o build/release/libgringo/src/input/programbuilder.o build/release/libgringo/src/input/statement.o build/release/libgringo/src/input/theory.o build/release/libgringo/src/lua.o build/release/libgringo/src/output/aggregates.o build/release/libgringo/src/output/literal.o build/release/libgringo/src/output/literals.o build/release/libgringo/src/output/output.o build/release/libgringo/src/output/statement.o build/release/libgringo/src/output/statements.o build/release/libgringo/src/output/theory.o build/release/libgringo/src/primes.o build/release/libgringo/src/python.o build/release/libgringo/src/scripts.o build/release/libgringo/src/symbol.o build/release/libgringo/src/term.o build/release/libgringo/src/terms.o
ranlib build/release/libgringo.a
g++-6 -o build/release/libprogram_opts/src/alarm.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibprogram_opts -Ilibprogram_opts/src libprogram_opts/src/alarm.cpp
g++-6 -o build/release/libprogram_opts/src/application.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibprogram_opts -Ilibprogram_opts/src libprogram_opts/src/application.cpp
g++-6 -o build/release/libprogram_opts/src/program_options.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibprogram_opts -Ilibprogram_opts/src libprogram_opts/src/program_options.cpp
g++-6 -o build/release/libprogram_opts/src/string_convert.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibprogram_opts -Ilibprogram_opts/src libprogram_opts/src/string_convert.cpp
g++-6 -o build/release/libprogram_opts/src/value_store.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibprogram_opts -Ilibprogram_opts/src libprogram_opts/src/value_store.cpp
ar rc build/release/libprogram_opts.a build/release/libprogram_opts/src/alarm.o build/release/libprogram_opts/src/application.o build/release/libprogram_opts/src/program_options.o build/release/libprogram_opts/src/string_convert.o build/release/libprogram_opts/src/value_store.o
ranlib build/release/libprogram_opts.a
g++-6 -o build/release/libreify/src/program.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibreify -Ibuild/release/libreify/src -Ilibreify/src -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libreify/src/program.cc
ar rc build/release/libreify.a build/release/libreify/src/program.o
ranlib build/release/libreify.a
g++-6 -o build/release/liblp/src/aspif.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Iliblp -Iliblp/src liblp/src/aspif.cpp
g++-6 -o build/release/liblp/src/aspif_text.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Iliblp -Iliblp/src liblp/src/aspif_text.cpp
g++-6 -o build/release/liblp/src/clingo.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Iliblp -Iliblp/src liblp/src/clingo.cpp
g++-6 -o build/release/liblp/src/convert.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Iliblp -Iliblp/src liblp/src/convert.cpp
g++-6 -o build/release/liblp/src/match_basic_types.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Iliblp -Iliblp/src liblp/src/match_basic_types.cpp
g++-6 -o build/release/liblp/src/rule_utils.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Iliblp -Iliblp/src liblp/src/rule_utils.cpp
g++-6 -o build/release/liblp/src/smodels.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Iliblp -Iliblp/src liblp/src/smodels.cpp
g++-6 -o build/release/liblp/src/theory_data.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Iliblp -Iliblp/src liblp/src/theory_data.cpp
ar rc build/release/liblp.a build/release/liblp/src/aspif.o build/release/liblp/src/aspif_text.o build/release/liblp/src/clingo.o build/release/liblp/src/convert.o build/release/liblp/src/match_basic_types.o build/release/liblp/src/rule_utils.o build/release/liblp/src/smodels.o build/release/liblp/src/theory_data.o
ranlib build/release/liblp.a
g++-6 -o build/release/gringo -Wl,-z,relro -Wl,-z,now build/release/app/gringo/main.o -Lbuild/release build/release/libgringo.a build/release/libprogram_opts.a build/release/libreify.a build/release/liblp.a -lpython2.7 -llua5.3
g++-6 -o build/release/app/clingo/src/clasp/clasp_app.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src -Ilibclingo -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src app/clingo/src/clasp/clasp_app.cpp
g++-6 -o build/release/app/clingo/src/clingo_app.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src -Ilibclingo -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src app/clingo/src/clingo_app.cc
g++-6 -o build/release/app/clingo/src/main.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src -Ilibclingo -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src app/clingo/src/main.cc
g++-6 -o build/release/libclingo/src/clingocontrol.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src -Ilibclingo -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclingo/src/clingocontrol.cc
ar rc build/release/libclingo.a build/release/libclingo/src/clingocontrol.o
ranlib build/release/libclingo.a
g++-6 -o build/release/libclasp/src/asp_preprocessor.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/asp_preprocessor.cpp
g++-6 -o build/release/libclasp/src/cb_enumerator.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/cb_enumerator.cpp
g++-6 -o build/release/libclasp/src/clasp_facade.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/clasp_facade.cpp
g++-6 -o build/release/libclasp/src/clasp_options.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/clasp_options.cpp
g++-6 -o build/release/libclasp/src/clasp_output.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/clasp_output.cpp
g++-6 -o build/release/libclasp/src/clause.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/clause.cpp
g++-6 -o build/release/libclasp/src/clingo.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/clingo.cpp
g++-6 -o build/release/libclasp/src/constraint.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/constraint.cpp
g++-6 -o build/release/libclasp/src/dependency_graph.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/dependency_graph.cpp
g++-6 -o build/release/libclasp/src/enumerator.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/enumerator.cpp
g++-6 -o build/release/libclasp/src/heuristics.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/heuristics.cpp
g++-6 -o build/release/libclasp/src/logic_program.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/logic_program.cpp
g++-6 -o build/release/libclasp/src/logic_program_types.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/logic_program_types.cpp
g++-6 -o build/release/libclasp/src/lookahead.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/lookahead.cpp
g++-6 -o build/release/libclasp/src/minimize_constraint.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/minimize_constraint.cpp
g++-6 -o build/release/libclasp/src/model_enumerators.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/model_enumerators.cpp
g++-6 -o build/release/libclasp/src/parallel_solve.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/parallel_solve.cpp
g++-6 -o build/release/libclasp/src/parser.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/parser.cpp
g++-6 -o build/release/libclasp/src/program_builder.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/program_builder.cpp
g++-6 -o build/release/libclasp/src/satelite.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/satelite.cpp
g++-6 -o build/release/libclasp/src/shared_context.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/shared_context.cpp
g++-6 -o build/release/libclasp/src/solve_algorithms.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/solve_algorithms.cpp
g++-6 -o build/release/libclasp/src/solver.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/solver.cpp
g++-6 -o build/release/libclasp/src/solver_strategies.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/solver_strategies.cpp
g++-6 -o build/release/libclasp/src/solver_types.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/solver_types.cpp
g++-6 -o build/release/libclasp/src/statistics.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/statistics.cpp
g++-6 -o build/release/libclasp/src/timer.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/timer.cpp
g++-6 -o build/release/libclasp/src/unfounded_check.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/unfounded_check.cpp
g++-6 -o build/release/libclasp/src/weight_constraint.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/weight_constraint.cpp
ar rc build/release/libclasp.a build/release/libclasp/src/asp_preprocessor.o build/release/libclasp/src/cb_enumerator.o build/release/libclasp/src/clasp_facade.o build/release/libclasp/src/clasp_options.o build/release/libclasp/src/clasp_output.o build/release/libclasp/src/clause.o build/release/libclasp/src/clingo.o build/release/libclasp/src/constraint.o build/release/libclasp/src/dependency_graph.o build/release/libclasp/src/enumerator.o build/release/libclasp/src/heuristics.o build/release/libclasp/src/logic_program.o build/release/libclasp/src/logic_program_types.o build/release/libclasp/src/lookahead.o build/release/libclasp/src/minimize_constraint.o build/release/libclasp/src/model_enumerators.o build/release/libclasp/src/parallel_solve.o build/release/libclasp/src/parser.o build/release/libclasp/src/program_builder.o build/release/libclasp/src/satelite.o build/release/libclasp/src/shared_context.o build/release/libclasp/src/solve_algorithms.o build/release/libclasp/src/solver.o build/release/libclasp/src/solver_strategies.o build/release/libclasp/src/solver_types.o build/release/libclasp/src/statistics.o build/release/libclasp/src/timer.o build/release/libclasp/src/unfounded_check.o build/release/libclasp/src/weight_constraint.o
ranlib build/release/libclasp.a
g++-6 -o build/release/clingo -Wl,-z,relro -Wl,-z,now build/release/app/clingo/src/clasp/clasp_app.o build/release/app/clingo/src/clingo_app.o build/release/app/clingo/src/main.o -Lbuild/release build/release/libclingo.a build/release/libgringo.a build/release/libreify.a build/release/libclasp.a build/release/libprogram_opts.a build/release/liblp.a -lpython2.7 -llua5.3 -lpthread
g++-6 -o build/release/app/reify/main.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibreify -Ibuild/release/libreify/src -Ilibreify/src -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src -Ilibprogram_opts -Ilibprogram_opts/src app/reify/main.cc
g++-6 -o build/release/reify -Wl,-z,relro -Wl,-z,now build/release/app/reify/main.o -Lbuild/release build/release/libreify.a build/release/libprogram_opts.a build/release/liblp.a -lpython2.7 -llua5.3
g++-6 -o build/release/app/lpconvert/lpconvert.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Iliblp -Iliblp/src -Ilibprogram_opts app/lpconvert/lpconvert.cpp
g++-6 -o build/release/lpconvert -Wl,-z,relro -Wl,-z,now build/release/app/lpconvert/lpconvert.o -Lbuild/release build/release/liblp.a build/release/libprogram_opts.a -lpython2.7 -llua5.3
scons: done building targets.
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_auto_test -a
fakeroot debian/rules binary-arch
dh binary-arch
dh_testroot -a
dh_prep -a
dh_auto_install -a
dh_install -a
dh_installdocs -a
debian/rules override_dh_installchangelogs
make[1]: Entering directory '/<<PKGBUILDDIR>>'
dh_installchangelogs CHANGES
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_installman -a
dh_perl -a
dh_link -a
dh_strip_nondeterminism -a
dh_compress -a
dh_fixperms -a
dh_missing -a
dh_strip -a
dh_makeshlibs -a
dh_shlibdeps -a
dpkg-shlibdeps: warning: debian/gringo/usr/bin/lpconvert contains an unresolvable reference to symbol __aeabi_atexit@CXXABI_ARM_1.3.3: it's probably a plugin
dpkg-shlibdeps: warning: debian/gringo/usr/bin/clingo contains an unresolvable reference to symbol __aeabi_atexit@CXXABI_ARM_1.3.3: it's probably a plugin
dpkg-shlibdeps: warning: debian/gringo/usr/bin/reify contains an unresolvable reference to symbol __aeabi_atexit@CXXABI_ARM_1.3.3: it's probably a plugin
dpkg-shlibdeps: warning: debian/gringo/usr/bin/gringo contains an unresolvable reference to symbol __aeabi_atexit@CXXABI_ARM_1.3.3: it's probably a plugin
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/gringo/usr/bin/lpconvert debian/gringo/usr/bin/clingo debian/gringo/usr/bin/reify debian/gringo/usr/bin/gringo were not linked against ld-linux-armhf.so.3 (they use none of the library's symbols)
dh_installdeb -a
dh_gencontrol -a
dh_md5sums -a
dh_builddeb -a
dpkg-deb: building package 'gringo-dbgsym' in '../gringo-dbgsym_5.1.0-5_armhf.deb'.
dpkg-deb: building package 'gringo' in '../gringo_5.1.0-5_armhf.deb'.
dpkg-genbuildinfo --build=any
dpkg-genchanges --build=any -mRaspbian wandboard test autobuilder <root@raspbian.org> >../gringo_5.1.0-5_armhf.changes
dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included)
dpkg-source --after-build gringo-5.1.0
dpkg-buildpackage: info: binary-only upload (no source included)
--------------------------------------------------------------------------------
Build finished at 2017-08-22T07:06:48Z
Finished
--------
I: Built successfully
+------------------------------------------------------------------------------+
| Post Build Chroot |
+------------------------------------------------------------------------------+
+------------------------------------------------------------------------------+
| Changes |
+------------------------------------------------------------------------------+
gringo_5.1.0-5_armhf.changes:
-----------------------------
Format: 1.8
Date: Thu, 17 Aug 2017 07:18:37 +0200
Source: gringo
Binary: gringo
Architecture: armhf
Version: 5.1.0-5
Distribution: buster-staging
Urgency: medium
Maintainer: Raspbian wandboard test autobuilder <root@raspbian.org>
Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Description:
gringo - grounding tools for (disjunctive) logic programs
Closes: 871100
Changes:
gringo (5.1.0-5) unstable; urgency=medium
.
* Bug fix: "FTBFS: libgringo/src/python.cc:348:46: error:
'*(Gringo::{anonymous}::Object (*)(Gringo::{anonymous}::Reference,
Gringo::{anonymous}::Reference))Gringo::{anonymous}::createId' is
not a valid template argument for type
'Gringo::{anonymous}::Object
(&)(Gringo::{anonymous}::Reference,
Gringo::{anonymous}::Reference)'", thanks to Lucas Nussbaum
(Closes: #871100).
- debian/control: Build-Depends on g++-6
- debian/rules: set CONFIGPARMS to CXX='g++-6'
* debian/copyright: use https instead of http
* debian/control: Bump Standards-Version to 4.0.1
Checksums-Sha1:
f0415a4837812f75ce8944e703482a86ee9a3120 35519606 gringo-dbgsym_5.1.0-5_armhf.deb
7b8347971e284f41012533ccc91d06585e719ae3 5217 gringo_5.1.0-5_armhf.buildinfo
e912a5d74e8c9ad9d6af663fdf1512ff9487be4d 1956048 gringo_5.1.0-5_armhf.deb
Checksums-Sha256:
55b4811a285239e6ec17f81220b0e017b712d8a79f8770dfa0acb64a75eaa556 35519606 gringo-dbgsym_5.1.0-5_armhf.deb
21e9b23adc1938530572066aa2d2f1ebe81442ed26159eb8dd035a46463e1b2c 5217 gringo_5.1.0-5_armhf.buildinfo
a3a5d4afe6ebe62c4dd5d2949af682e9ece4faf32d4e25d056570a4bc8b2d412 1956048 gringo_5.1.0-5_armhf.deb
Files:
efcc475a55246639e99cdc34680a775f 35519606 debug extra gringo-dbgsym_5.1.0-5_armhf.deb
9c37f0853cea1781f9a56c7a5f6a59c7 5217 interpreters extra gringo_5.1.0-5_armhf.buildinfo
750b29cb1314152b6cf8108c1c7d66a0 1956048 interpreters extra gringo_5.1.0-5_armhf.deb
+------------------------------------------------------------------------------+
| Package contents |
+------------------------------------------------------------------------------+
gringo-dbgsym_5.1.0-5_armhf.deb
-------------------------------
new debian package, version 2.0.
size 35519606 bytes: control archive=621 bytes.
495 bytes, 12 lines control
424 bytes, 4 lines md5sums
Package: gringo-dbgsym
Source: gringo
Version: 5.1.0-5
Auto-Built-Package: debug-symbols
Architecture: armhf
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Installed-Size: 36956
Depends: gringo (= 5.1.0-5)
Section: debug
Priority: extra
Description: Debug symbols for gringo
Build-Ids: 2e72a557dd3ee1d4410f9cf4c59d4d10b12df46f 98f705479f4f57386c1a10788f70812a86a01879 cf47337cf279cf40b7a06fa7b028574c2e7aacbd ddf880a373edd73870eede00c6ddb8575e893b00
drwxr-xr-x root/root 0 2017-08-17 05:18 ./
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/lib/
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/lib/debug/
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/lib/debug/.build-id/2e/
-rw-r--r-- root/root 723904 2017-08-17 05:18 ./usr/lib/debug/.build-id/2e/72a557dd3ee1d4410f9cf4c59d4d10b12df46f.debug
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/lib/debug/.build-id/98/
-rw-r--r-- root/root 20850564 2017-08-17 05:18 ./usr/lib/debug/.build-id/98/f705479f4f57386c1a10788f70812a86a01879.debug
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/lib/debug/.build-id/cf/
-rw-r--r-- root/root 722304 2017-08-17 05:18 ./usr/lib/debug/.build-id/cf/47337cf279cf40b7a06fa7b028574c2e7aacbd.debug
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/lib/debug/.build-id/dd/
-rw-r--r-- root/root 15531440 2017-08-17 05:18 ./usr/lib/debug/.build-id/dd/f880a373edd73870eede00c6ddb8575e893b00.debug
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/
lrwxrwxrwx root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo-dbgsym -> gringo
gringo_5.1.0-5_armhf.deb
------------------------
new debian package, version 2.0.
size 1956048 bytes: control archive=8615 bytes.
1659 bytes, 35 lines control
27083 bytes, 275 lines md5sums
Package: gringo
Version: 5.1.0-5
Architecture: armhf
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Installed-Size: 6902
Depends: libc6 (>= 2.4), libgcc1 (>= 1:3.5), liblua5.3-0, libpython2.7 (>= 2.7), libstdc++6 (>= 6)
Recommends: clasp
Conflicts: clingo, iclingo
Breaks: aspcud (<= 1.9.0-2), clasp (<< 3.2.1-1)
Replaces: clingo, iclingo
Section: interpreters
Priority: extra
Homepage: https://www.potassco.org/clasp/
Description: grounding tools for (disjunctive) logic programs
Current answer set solvers work on variable-free programs. Hence, a
grounder is needed that, given an input program with first-order
variables, computes an equivalent ground (variable-free) program.
.
This package contains the following tools:
.
- gringo: a grounder that, given an input program with first-order
variables, computes an equivalent ground (variable-free) program in
aspif format. Its output can be processed further with answer set
solver clasp. Starting with gringo series 5, its output is no longer
directly compatible with solvers like smodels or cmodels reading
smodels format. Use lpconvert for translating aspif format to
smodels format.
- clingo: combines both gringo and clasp into a monolithic system.
This way it offers more control over the grounding and solving
process than gringo and clasp can offer individually: multi-shot
solving.
- lpconvert: converter between gringo's aspif and smodels format.
- reify: small utility that reifies logic programs given in aspif
format. It produces a set of facts, which can be processed further
with gringo.
drwxr-xr-x root/root 0 2017-08-17 05:18 ./
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/bin/
-rwxr-xr-x root/root 3236780 2017-08-17 05:18 ./usr/bin/clingo
-rwxr-xr-x root/root 2216264 2017-08-17 05:18 ./usr/bin/gringo
lrwxrwxrwx root/root 0 2017-08-17 05:18 ./usr/bin/iclingo -> clingo
-rwxr-xr-x root/root 144948 2017-08-17 05:18 ./usr/bin/lpconvert
lrwxrwxrwx root/root 0 2017-08-17 05:18 ./usr/bin/oclingo -> clingo
-rwxr-xr-x root/root 136756 2017-08-17 05:18 ./usr/bin/reify
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/
-rw-r--r-- root/root 1235 2016-10-14 11:49 ./usr/share/doc/gringo/README.md
-rw-r--r-- root/root 3852 2017-08-17 05:18 ./usr/share/doc/gringo/changelog.Debian.gz
-rw-r--r-- root/root 2283 2016-10-14 11:49 ./usr/share/doc/gringo/changelog.gz
-rw-r--r-- root/root 6463 2017-08-17 05:18 ./usr/share/doc/gringo/copyright
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/c/
-rw-r--r-- root/root 1765 2016-10-14 11:49 ./usr/share/doc/gringo/examples/c/ast.c.gz
-rw-r--r-- root/root 1375 2016-10-14 11:49 ./usr/share/doc/gringo/examples/c/backend.c.gz
-rw-r--r-- root/root 3645 2016-10-14 11:49 ./usr/share/doc/gringo/examples/c/configuration.c
-rw-r--r-- root/root 2594 2016-10-14 11:49 ./usr/share/doc/gringo/examples/c/control.c
-rw-r--r-- root/root 1384 2016-10-14 11:49 ./usr/share/doc/gringo/examples/c/model.c.gz
-rw-r--r-- root/root 3316 2016-10-14 11:49 ./usr/share/doc/gringo/examples/c/propagator.c.gz
-rw-r--r-- root/root 3580 2016-10-14 11:49 ./usr/share/doc/gringo/examples/c/solve-async.c
-rw-r--r-- root/root 2883 2016-10-14 11:49 ./usr/share/doc/gringo/examples/c/solve-iteratively.c
-rw-r--r-- root/root 1634 2016-10-14 11:49 ./usr/share/doc/gringo/examples/c/statistics.c.gz
-rw-r--r-- root/root 2792 2016-10-14 11:49 ./usr/share/doc/gringo/examples/c/symbol.c
-rw-r--r-- root/root 3214 2016-10-14 11:49 ./usr/share/doc/gringo/examples/c/symbolic-atoms.c
-rw-r--r-- root/root 1451 2016-10-14 11:49 ./usr/share/doc/gringo/examples/c/theory-atoms.c.gz
-rw-r--r-- root/root 245 2016-10-14 11:49 ./usr/share/doc/gringo/examples/c/version.c
drwxr-xr-x root/root 0 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/clingo/addclause/
-rw-r--r-- root/root 144 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/addclause/README
-rw-r--r-- root/root 417 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/addclause/addclause-lua.lp
-rw-r--r-- root/root 423 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/addclause/addclause-py.lp
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/clingo/blocksworld/
-rw-r--r-- root/root 526 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/blocksworld/README
-rw-r--r-- root/root 315 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/blocksworld/blocks_01.lp
-rw-r--r-- root/root 142 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/blocksworld/control_01.lua
-rw-r--r-- root/root 1237 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/blocksworld/control_01.out.gz
-rw-r--r-- root/root 2880 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/blocksworld/lua.lp
-rw-r--r-- root/root 298 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/blocksworld/lua_interpret.lp
-rw-r--r-- root/root 1297 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/blocksworld/world.lp.gz
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/clingo/commit/
-rw-r--r-- root/root 225 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/commit/README
-rw-r--r-- root/root 311 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/commit/commit-lua.lp
-rw-r--r-- root/root 294 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/commit/commit-py.lp
-rw-r--r-- root/root 63 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/commit/encoding.lp
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/clingo/consequences/
-rw-r--r-- root/root 184 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/consequences/README
-rw-r--r-- root/root 812 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/consequences/brave-lua.lp
-rw-r--r-- root/root 475 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/consequences/brave-py.lp
-rw-r--r-- root/root 156 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/consequences/example.lp
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/clingo/context/
-rw-r--r-- root/root 220 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/context/README
-rw-r--r-- root/root 461 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/context/context-lua.lp
-rw-r--r-- root/root 376 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/context/context-py.lp
-rw-r--r-- root/root 14 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/context/encoding.lp
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/clingo/controller-async/
-rw-r--r-- root/root 270 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/controller-async/README
-rw-r--r-- root/root 283 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/controller-async/client.lp
-rw-r--r-- root/root 1326 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/controller-async/controller.py.gz
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/clingo/controller-processes/
-rw-r--r-- root/root 328 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/controller-processes/README
-rw-r--r-- root/root 283 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/controller-processes/client.lp
-rw-r--r-- root/root 2411 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/controller-processes/client.py
-rw-r--r-- root/root 3264 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/controller-processes/server.py
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/clingo/controller-threads/
-rw-r--r-- root/root 297 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/controller-threads/README
-rw-r--r-- root/root 283 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/controller-threads/client.lp
-rw-r--r-- root/root 1539 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/controller-threads/controller.py.gz
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/clingo/cover/
-rw-r--r-- root/root 197 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/cover/README
-rw-r--r-- root/root 1888 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/cover/control-lua.lp
-rw-r--r-- root/root 1643 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/cover/control-py.lp
-rw-r--r-- root/root 200 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/cover/cover.lp
-rw-r--r-- root/root 146 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/cover/instance.lp
-rw-r--r-- root/root 307 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/cover/preprocess.lp
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/clingo/domains/
-rw-r--r-- root/root 243 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/domains/README
-rw-r--r-- root/root 807 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/domains/domains-lua.lp
-rw-r--r-- root/root 694 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/domains/domains-py.lp
-rw-r--r-- root/root 51 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/domains/instance.lp
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/clingo/dot-propagator/
-rw-r--r-- root/root 257 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/dot-propagator/README
-rw-r--r-- root/root 711 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/dot-propagator/dot.lp
-rw-r--r-- root/root 88 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/dot-propagator/test.lp
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/clingo/enum-assumption/
-rw-r--r-- root/root 316 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/enum-assumption/README
-rw-r--r-- root/root 544 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/enum-assumption/example-lua.lp
-rw-r--r-- root/root 534 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/enum-assumption/example-py.lp
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/clingo/expansion/
drwxr-xr-x root/root 0 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/
drwxr-xr-x root/root 0 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/encodings/
-rw-r--r-- root/root 613 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/encodings/encoding.lp
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/
-rw-r--r-- root/root 3362 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0004-graph_colouring-125-0.lp.gz
-rw-r--r-- root/root 3305 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0005-graph_colouring-125-0.lp.gz
-rw-r--r-- root/root 3194 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0007-graph_colouring-125-0.lp.gz
-rw-r--r-- root/root 3332 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0008-graph_colouring-125-0.lp.gz
-rw-r--r-- root/root 3415 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0013-graph_colouring-130-0.lp.gz
-rw-r--r-- root/root 3893 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0021-graph_colouring-135-0.lp.gz
-rw-r--r-- root/root 3987 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0022-graph_colouring-135-0.lp.gz
-rw-r--r-- root/root 3697 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0023-graph_colouring-135-0.lp.gz
-rw-r--r-- root/root 3918 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0025-graph_colouring-135-0.lp.gz
-rw-r--r-- root/root 4322 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0032-graph_colouring-140-0.lp.gz
-rw-r--r-- root/root 4172 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0036-graph_colouring-140-0.lp.gz
-rw-r--r-- root/root 4236 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0039-graph_colouring-140-0.lp.gz
-rw-r--r-- root/root 4306 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0040-graph_colouring-140-0.lp.gz
-rw-r--r-- root/root 4565 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0046-graph_colouring-145-0.lp.gz
-rw-r--r-- root/root 4290 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0047-graph_colouring-145-0.lp.gz
-rw-r--r-- root/root 4374 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0048-graph_colouring-145-0.lp.gz
-rw-r--r-- root/root 4352 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0050-graph_colouring-145-0.lp.gz
-rw-r--r-- root/root 4451 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0056-graph_colouring-150-0.lp.gz
-rw-r--r-- root/root 4636 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0059-graph_colouring-150-0.lp.gz
-rw-r--r-- root/root 4792 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0060-graph_colouring-150-0.lp.gz
drwxr-xr-x root/root 0 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/
drwxr-xr-x root/root 0 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/encodings/
-rw-r--r-- root/root 2288 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/encodings/encoding.lp
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/
-rw-r--r-- root/root 2604 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/100-partner_units-100-0.lp.gz
-rw-r--r-- root/root 2642 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/102-partner_units-100-0.lp.gz
-rw-r--r-- root/root 2644 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/114-partner_units_polynomial-100-0.lp.gz
-rw-r--r-- root/root 2614 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/115-partner_units_polynomial-100-0.lp.gz
-rw-r--r-- root/root 2634 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/119-partner_units_polynomial-100-0.lp.gz
-rw-r--r-- root/root 2604 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/127-partner_units_polynomial-100-0.lp.gz
-rw-r--r-- root/root 2643 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/153-partner_units-100-0.lp.gz
-rw-r--r-- root/root 2644 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/154-partner_units-100-0.lp.gz
-rw-r--r-- root/root 2607 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/156-partner_units-100-0.lp.gz
-rw-r--r-- root/root 2587 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/161-partner_units-100-0.lp.gz
-rw-r--r-- root/root 2464 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/175-partner_units_polynomial-75-0.lp.gz
-rw-r--r-- root/root 1227 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/180-partner_units_polynomial-47-0.lp.gz
-rw-r--r-- root/root 1874 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/188-partner_units_polynomial-57-0.lp.gz
-rw-r--r-- root/root 1456 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/196-partner_units_polynomial-59-0.lp.gz
-rw-r--r-- root/root 1954 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/26-partner_units_polynomial-60-0.lp.gz
-rw-r--r-- root/root 2610 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/52-partner_units_polynomial-100-0.lp.gz
-rw-r--r-- root/root 2593 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/58-partner_units_polynomial-100-0.lp.gz
-rw-r--r-- root/root 2625 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/69-partner_units_polynomial-100-0.lp.gz
-rw-r--r-- root/root 2610 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/91-partner_units-100-0.lp.gz
-rw-r--r-- root/root 2615 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/99-partner_units-100-0.lp.gz
-rw-r--r-- root/root 1614 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/README
-rwxr-xr-x root/root 3573 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/main.py
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/clingo/external/
-rw-r--r-- root/root 123 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/external/README
-rw-r--r-- root/root 332 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/external/external-lua.lp
-rw-r--r-- root/root 341 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/external/external-py.lp
-rw-r--r-- root/root 137 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/external/external.lp
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/clingo/iclingo/
-rw-r--r-- root/root 428 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/iclingo/README
-rw-r--r-- root/root 178 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/iclingo/example.lp
-rw-r--r-- root/root 20 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/iclingo/incmode-int.lp
-rw-r--r-- root/root 1169 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/iclingo/incmode-lua.lp
-rw-r--r-- root/root 1056 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/iclingo/incmode-py.lp
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/clingo/include/
-rw-r--r-- root/root 127 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/include/README
-rw-r--r-- root/root 151 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/include/encoding-lua.lp
-rw-r--r-- root/root 146 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/include/encoding-py.lp
-rw-r--r-- root/root 6 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/include/include.lp
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/clingo/incqueens/
-rw-r--r-- root/root 304 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/incqueens/README
-rw-r--r-- root/root 514 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/incqueens/incqueens-lua.lp
-rw-r--r-- root/root 437 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/incqueens/incqueens-py.lp
-rw-r--r-- root/root 857 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/incqueens/incqueens.lp
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/clingo/itersolve/
-rw-r--r-- root/root 147 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/itersolve/README
-rw-r--r-- root/root 328 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/itersolve/itersolve-lua.lp
-rw-r--r-- root/root 155 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/itersolve/itersolve-py.lp
-rw-r--r-- root/root 9 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/itersolve/program.lp
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/clingo/load/
-rw-r--r-- root/root 162 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/load/README
-rw-r--r-- root/root 445 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/load/load-lua.lp
-rw-r--r-- root/root 372 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/load/load-py.lp
-rw-r--r-- root/root 33 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/load/program.lp
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/clingo/onmodel/
-rw-r--r-- root/root 401 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/onmodel/README
-rw-r--r-- root/root 1161 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/onmodel/onmodel-lua.lp
-rw-r--r-- root/root 937 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/onmodel/onmodel-py.lp
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/clingo/planning/
-rw-r--r-- root/root 240 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/planning/README
-rw-r--r-- root/root 1148 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/planning/convert.lp
-rwxr-xr-x root/root 88 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/planning/convert.sh
-rw-r--r-- root/root 3241 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/planning/encoding.lp
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/clingo/planning/instances/
-rw-r--r-- root/root 726 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/planning/instances/coins01.lp.gz
-rw-r--r-- root/root 869 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/planning/instances/comm02.lp.gz
-rw-r--r-- root/root 1090 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/planning/instances/comm03.lp.gz
-rw-r--r-- root/root 1553 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/planning/instances/comm05.lp.gz
-rw-r--r-- root/root 1660 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/planning/instances/uts01.lp
-rw-r--r-- root/root 1039 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/planning/planning-lua.lp
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/clingo/pydoc/
-rw-r--r-- root/root 117 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/pydoc/README
-rwxr-xr-x root/root 473 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/pydoc/pydoc-lib.py
-rw-r--r-- root/root 499 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/pydoc/pydoc.lp
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/clingo/robots/
-rw-r--r-- root/root 530 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/README
-rw-r--r-- root/root 1910 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/board.lp
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/clingo/robots/img/
-rw-r--r-- root/root 680 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_blue_east.gif
-rw-r--r-- root/root 643 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_blue_north.gif
-rw-r--r-- root/root 657 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_blue_south.gif
-rw-r--r-- root/root 679 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_blue_west.gif
-rw-r--r-- root/root 697 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_green_east.gif
-rw-r--r-- root/root 704 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_green_north.gif
-rw-r--r-- root/root 714 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_green_south.gif
-rw-r--r-- root/root 690 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_green_west.gif
-rw-r--r-- root/root 680 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_red_east.gif
-rw-r--r-- root/root 643 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_red_north.gif
-rw-r--r-- root/root 657 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_red_south.gif
-rw-r--r-- root/root 679 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_red_west.gif
-rw-r--r-- root/root 680 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_yellow_east.gif
-rw-r--r-- root/root 640 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_yellow_north.gif
-rw-r--r-- root/root 658 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_yellow_south.gif
-rw-r--r-- root/root 679 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_yellow_west.gif
-rw-r--r-- root/root 1121 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/moon_blue.gif
-rw-r--r-- root/root 1137 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/moon_green.gif
-rw-r--r-- root/root 1121 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/moon_red.gif
-rw-r--r-- root/root 1120 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/moon_yellow.gif
-rw-r--r-- root/root 637 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/move_blue_east.gif
-rw-r--r-- root/root 634 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/move_blue_north.gif
-rw-r--r-- root/root 627 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/move_blue_south.gif
-rw-r--r-- root/root 647 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/move_blue_west.gif
-rw-r--r-- root/root 624 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/move_green_east.gif
-rw-r--r-- root/root 639 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/move_green_north.gif
-rw-r--r-- root/root 657 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/move_green_south.gif
-rw-r--r-- root/root 653 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/move_green_west.gif
-rw-r--r-- root/root 616 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/move_red_east.gif
-rw-r--r-- root/root 634 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/move_red_north.gif
-rw-r--r-- root/root 627 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/move_red_south.gif
-rw-r--r-- root/root 647 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/move_red_west.gif
-rw-r--r-- root/root 631 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/move_yellow_east.gif
-rw-r--r-- root/root 631 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/move_yellow_north.gif
-rw-r--r-- root/root 627 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/move_yellow_south.gif
-rw-r--r-- root/root 643 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/move_yellow_west.gif
-rw-r--r-- root/root 1415 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/random_robot.gif
-rw-r--r-- root/root 687 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/robot_blue.gif
-rw-r--r-- root/root 1142 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/robot_green.gif
-rw-r--r-- root/root 687 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/robot_red.gif
-rw-r--r-- root/root 685 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/robot_yellow.gif
-rw-r--r-- root/root 763 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/saturn_blue.gif
-rw-r--r-- root/root 825 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/saturn_green.gif
-rw-r--r-- root/root 763 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/saturn_red.gif
-rw-r--r-- root/root 763 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/saturn_yellow.gif
-rw-r--r-- root/root 721 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/star_blue.gif
-rw-r--r-- root/root 757 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/star_green.gif
-rw-r--r-- root/root 721 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/star_red.gif
-rw-r--r-- root/root 723 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/star_yellow.gif
-rw-r--r-- root/root 1147 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/sun_blue.gif
-rw-r--r-- root/root 1155 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/sun_green.gif
-rw-r--r-- root/root 1147 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/sun_red.gif
-rw-r--r-- root/root 1144 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/sun_yellow.gif
-rw-r--r-- root/root 1724 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/tile_left.gif
-rw-r--r-- root/root 1770 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/tile_right.gif
-rw-r--r-- root/root 1136 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/wall_north.gif
-rw-r--r-- root/root 1171 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/wall_west.gif
-rw-r--r-- root/root 946 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/robots.lp
-rw-r--r-- root/root 4003 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/visualize.py.gz
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/clingo/setconf/
-rw-r--r-- root/root 137 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/setconf/README
-rw-r--r-- root/root 1567 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/setconf/setconf-lua.lp
-rw-r--r-- root/root 1548 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/setconf/setconf-py.lp
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/clingo/solitaire/
-rw-r--r-- root/root 1205 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/solitaire/README
-rw-r--r-- root/root 550 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/solitaire/instance.lp
-rw-r--r-- root/root 996 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/solitaire/solitaire.lp
-rw-r--r-- root/root 1579 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/solitaire/visualize.py.gz
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/clingo/solve-async/
-rw-r--r-- root/root 222 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/solve-async/README
-rw-r--r-- root/root 82 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/solve-async/program.lp
-rw-r--r-- root/root 455 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/solve-async/solve-async-py.lp
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/clingo/stats/
-rw-r--r-- root/root 353 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/stats/README
-rw-r--r-- root/root 54 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/stats/example.lp
-rw-r--r-- root/root 412 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/stats/stats-lua.lp
-rw-r--r-- root/root 315 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/stats/stats-py.lp
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/clingo/unblock/
-rw-r--r-- root/root 342 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/unblock/README
-rw-r--r-- root/root 244 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/unblock/inst1.lp
-rw-r--r-- root/root 301 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/unblock/inst2.lp
-rw-r--r-- root/root 178 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/unblock/inst3.lp
-rw-r--r-- root/root 195 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/unblock/inst4.lp
-rw-r--r-- root/root 643 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/unblock/inst5.lp
-rw-r--r-- root/root 1671 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/unblock/unblock.lp
-rw-r--r-- root/root 1724 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/unblock/visualize.py.gz
drwxr-xr-x root/root 0 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/gringo/acyc/
-rw-r--r-- root/root 92 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/acyc/README
-rw-r--r-- root/root 177 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/acyc/encoding.lp
-rw-r--r-- root/root 53 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/acyc/instance.lp
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/gringo/ast/
-rw-r--r-- root/root 186 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/ast/README
-rw-r--r-- root/root 81 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/ast/example.lp
-rw-r--r-- root/root 2240 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/ast/visitor.lp
drwxr-xr-x root/root 0 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/gbie/
-rw-r--r-- root/root 370 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/gbie/README
-rw-r--r-- root/root 1666 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/gbie/gbie1.lp
-rw-r--r-- root/root 933 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/gbie/gbie2.lp
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/gringo/gbie/instances/
-rw-r--r-- root/root 387 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/gbie/instances/sat_01.lp
-rw-r--r-- root/root 280983 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/gbie/instances/sat_02.lp.gz
-rw-r--r-- root/root 242374 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/gbie/instances/sat_03.lp.gz
-rw-r--r-- root/root 495 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/gbie/instances/unsat_01.lp
-rw-r--r-- root/root 248213 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/gbie/instances/unsat_02.lp.gz
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/gringo/project/
-rw-r--r-- root/root 94 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/project/README
-rw-r--r-- root/root 51 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/project/example.lp
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/gringo/queens/
-rw-r--r-- root/root 108 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/queens/README
-rw-r--r-- root/root 418 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/queens/queens1.lp
-rw-r--r-- root/root 492 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/queens/queens2.lp
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/gringo/rec-cond/
-rw-r--r-- root/root 112 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/rec-cond/README
-rw-r--r-- root/root 2446 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/rec-cond/encoding.lp
-rw-r--r-- root/root 2047 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/rec-cond/instance.lp
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/gringo/subset/
-rw-r--r-- root/root 178 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/subset/README
-rw-r--r-- root/root 104 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/subset/example.lp
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/gringo/toh/
-rw-r--r-- root/root 201 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/toh/README
-rw-r--r-- root/root 504 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/toh/tohE.lp
-rw-r--r-- root/root 74 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/toh/tohI.lp
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/doc/gringo/examples/reify/
-rw-r--r-- root/root 857 2016-10-14 11:49 ./usr/share/doc/gringo/examples/reify/README
-rw-r--r-- root/root 138 2016-10-14 11:49 ./usr/share/doc/gringo/examples/reify/example1.lp
-rw-r--r-- root/root 1400 2016-10-14 11:49 ./usr/share/doc/gringo/examples/reify/example2.lp.gz
-rw-r--r-- root/root 2186 2016-10-14 11:49 ./usr/share/doc/gringo/examples/reify/meta.lp
-rw-r--r-- root/root 4095 2016-10-14 11:49 ./usr/share/doc/gringo/examples/reify/metaD.lp
-rw-r--r-- root/root 3959 2016-10-14 11:49 ./usr/share/doc/gringo/examples/reify/metaO.lp
-rw-r--r-- root/root 1228 2016-10-14 11:49 ./usr/share/doc/gringo/examples/test.sh.gz
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/man/
drwxr-xr-x root/root 0 2017-08-17 05:18 ./usr/share/man/man1/
-rw-r--r-- root/root 1069 2017-08-17 05:18 ./usr/share/man/man1/clingo.1.gz
-rw-r--r-- root/root 1124 2017-08-17 05:18 ./usr/share/man/man1/gringo.1.gz
lrwxrwxrwx root/root 0 2017-08-17 05:18 ./usr/share/man/man1/iclingo.1.gz -> clingo.1.gz
-rw-r--r-- root/root 953 2017-08-17 05:18 ./usr/share/man/man1/lpconvert.1.gz
lrwxrwxrwx root/root 0 2017-08-17 05:18 ./usr/share/man/man1/oclingo.1.gz -> clingo.1.gz
-rw-r--r-- root/root 997 2017-08-17 05:18 ./usr/share/man/man1/reify.1.gz
+------------------------------------------------------------------------------+
| Post Build |
+------------------------------------------------------------------------------+
+------------------------------------------------------------------------------+
| Cleanup |
+------------------------------------------------------------------------------+
Purging /<<BUILDDIR>>
Not cleaning session: cloned chroot in use
+------------------------------------------------------------------------------+
| Summary |
+------------------------------------------------------------------------------+
Build Architecture: armhf
Build-Space: 451420
Build-Time: 3454
Distribution: buster-staging
Host Architecture: armhf
Install-Time: 480
Job: gringo_5.1.0-5
Machine Architecture: armhf
Package: gringo
Package-Time: 3984
Source-Version: 5.1.0-5
Space: 451420
Status: successful
Version: 5.1.0-5
--------------------------------------------------------------------------------
Finished at 2017-08-22T07:06:48Z
Build needed 01:06:24, 451420k disc space