gringo →
4.5.4-3 →
armhf → 2016-05-07 21:45:29
sbuild (Debian sbuild) 0.66.0 (04 Oct 2015) on testwandboard
+==============================================================================+
| gringo 4.5.4-3 (armhf) 07 May 2016 20:59 |
+==============================================================================+
Package: gringo
Version: 4.5.4-3
Source Version: 4.5.4-3
Distribution: stretch-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf
I: NOTICE: Log filtering will replace 'build/gringo-koeeVs/gringo-4.5.4' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/gringo-koeeVs' with '<<BUILDDIR>>'
I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/stretch-staging-armhf-sbuild-866c1c58-c1a0-4207-8093-fcb67cf6ea29' with '<<CHROOT>>'
+------------------------------------------------------------------------------+
| Update chroot |
+------------------------------------------------------------------------------+
Get:1 http://172.17.0.1/private stretch-staging InRelease [11.3 kB]
Get:2 http://172.17.0.1/private stretch-staging/main Sources [8949 kB]
Get:3 http://172.17.0.1/private stretch-staging/main armhf Packages [11.0 MB]
Fetched 20.0 MB in 24s (831 kB/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
+------------------------------------------------------------------------------+
| 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:
git://anonscm.debian.org/debian-science/packages/gringo.git
Please use:
git clone git://anonscm.debian.org/debian-science/packages/gringo.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 1690 kB of source archives.
Get:1 http://172.17.0.1/private stretch-staging/main gringo 4.5.4-3 (dsc) [2056 B]
Get:2 http://172.17.0.1/private stretch-staging/main gringo 4.5.4-3 (tar) [1677 kB]
Get:3 http://172.17.0.1/private stretch-staging/main gringo 4.5.4-3 (diff) [10.5 kB]
Fetched 1690 kB in 1s (1458 kB/s)
Download complete and in download only mode
Check architectures
-------------------
Check dependencies
------------------
Merged Build-Depends: build-essential, fakeroot
Filtered Build-Depends: build-essential, fakeroot
dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<<BUILDDIR>>/resolver-nvvg5B/apt_archive/sbuild-build-depends-core-dummy.deb'.
OK
Get:1 file:/<<BUILDDIR>>/resolver-nvvg5B/apt_archive ./ InRelease
Ign:1 file:/<<BUILDDIR>>/resolver-nvvg5B/apt_archive ./ InRelease
Get:2 file:/<<BUILDDIR>>/resolver-nvvg5B/apt_archive ./ Release [2119 B]
Get:2 file:/<<BUILDDIR>>/resolver-nvvg5B/apt_archive ./ Release [2119 B]
Get:3 file:/<<BUILDDIR>>/resolver-nvvg5B/apt_archive ./ Release.gpg [299 B]
Get:3 file:/<<BUILDDIR>>/resolver-nvvg5B/apt_archive ./ Release.gpg [299 B]
Get:4 file:/<<BUILDDIR>>/resolver-nvvg5B/apt_archive ./ Sources [194 B]
Get:5 file:/<<BUILDDIR>>/resolver-nvvg5B/apt_archive ./ Packages [505 B]
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
W: file:///<<BUILDDIR>>/resolver-nvvg5B/apt_archive/./Release.gpg: Signature by key 3493EC2B8E6DC280C121C60435506D9A48F77B2E uses weak digest algorithm (SHA1)
Reading package lists...
+------------------------------------------------------------------------------+
| Install core build dependencies (apt-based resolver) |
+------------------------------------------------------------------------------+
Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following NEW packages will be installed:
sbuild-build-depends-core-dummy
0 upgraded, 1 newly installed, 0 to remove and 44 not upgraded.
Need to get 0 B/768 B of archives.
After this operation, 0 B of additional disk space will be used.
Get:1 file:/<<BUILDDIR>>/resolver-nvvg5B/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [768 B]
debconf: delaying package configuration, since apt-utils is not installed
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 13813 files and directories currently installed.)
Preparing to unpack .../sbuild-build-depends-core-dummy.deb ...
Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ...
Setting up sbuild-build-depends-core-dummy (0.invalid.0) ...
W: No sandbox user '_apt' on the system, can not drop privileges
Merged Build-Depends: debhelper (>= 9), g++ (>= 4:4.8.0), scons, re2c, bison, liblua5.3-dev, libpython2.7-dev
Filtered Build-Depends: debhelper (>= 9), g++ (>= 4:4.8.0), scons, re2c, bison, liblua5.3-dev, libpython2.7-dev
dpkg-deb: building package 'sbuild-build-depends-gringo-dummy' in '/<<BUILDDIR>>/resolver-6yUe6y/apt_archive/sbuild-build-depends-gringo-dummy.deb'.
OK
Get:1 file:/<<BUILDDIR>>/resolver-6yUe6y/apt_archive ./ InRelease
Ign:1 file:/<<BUILDDIR>>/resolver-6yUe6y/apt_archive ./ InRelease
Get:2 file:/<<BUILDDIR>>/resolver-6yUe6y/apt_archive ./ Release [2119 B]
Get:2 file:/<<BUILDDIR>>/resolver-6yUe6y/apt_archive ./ Release [2119 B]
Get:3 file:/<<BUILDDIR>>/resolver-6yUe6y/apt_archive ./ Release.gpg [299 B]
Get:3 file:/<<BUILDDIR>>/resolver-6yUe6y/apt_archive ./ Release.gpg [299 B]
Get:4 file:/<<BUILDDIR>>/resolver-6yUe6y/apt_archive ./ Sources [266 B]
Get:5 file:/<<BUILDDIR>>/resolver-6yUe6y/apt_archive ./ Packages [552 B]
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
W: file:///<<BUILDDIR>>/resolver-6yUe6y/apt_archive/./Release.gpg: Signature by key 3493EC2B8E6DC280C121C60435506D9A48F77B2E uses weak digest algorithm (SHA1)
Reading package lists...
+------------------------------------------------------------------------------+
| Install gringo build dependencies (apt-based resolver) |
+------------------------------------------------------------------------------+
Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following additional packages will be installed:
autoconf automake autopoint autotools-dev bison bsdmainutils debhelper
dh-autoreconf dh-strip-nondeterminism file gettext gettext-base groff-base
intltool-debian libarchive-zip-perl libbison-dev libbsd0 libcroco3 libexpat1
libexpat1-dev libffi6 libfile-stripnondeterminism-perl libglib2.0-0 libicu55
liblua5.3-0 liblua5.3-dev libmagic1 libpipeline1 libpython-stdlib
libpython2.7 libpython2.7-dev libpython2.7-minimal libpython2.7-stdlib
libreadline-dev libreadline6-dev libsigsegv2 libsqlite3-0 libssl1.0.2
libtimedate-perl libtinfo-dev libtool libunistring0 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 dh-make gettext-doc libasprintf-dev libgettextpo-dev groff
readline-doc libtool-doc gfortran | fortran95-compiler gcj-jdk less
www-browser libmail-box-perl python-doc python-tk python2.7-doc
binfmt-support
Recommended packages:
curl | wget | lynx-cur 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 debhelper
dh-autoreconf dh-strip-nondeterminism file gettext gettext-base groff-base
intltool-debian libarchive-zip-perl libbison-dev libbsd0 libcroco3 libexpat1
libexpat1-dev libffi6 libfile-stripnondeterminism-perl libglib2.0-0 libicu55
liblua5.3-0 liblua5.3-dev libmagic1 libpipeline1 libpython-stdlib
libpython2.7 libpython2.7-dev libpython2.7-minimal libpython2.7-stdlib
libreadline-dev libreadline6-dev libsigsegv2 libsqlite3-0 libssl1.0.2
libtimedate-perl libtinfo-dev libtool libunistring0 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, 54 newly installed, 0 to remove and 44 not upgraded.
Need to get 46.1 MB/54.3 MB of archives.
After this operation, 129 MB of additional disk space will be used.
Get:1 file:/<<BUILDDIR>>/resolver-6yUe6y/apt_archive ./ sbuild-build-depends-gringo-dummy 0.invalid.0 [814 B]
Get:2 http://172.17.0.1/private stretch-staging/main armhf groff-base armhf 1.22.3-7 [1083 kB]
Get:3 http://172.17.0.1/private stretch-staging/main armhf libbsd0 armhf 0.8.3-1 [89.0 kB]
Get:4 http://172.17.0.1/private stretch-staging/main armhf bsdmainutils armhf 9.0.10 [177 kB]
Get:5 http://172.17.0.1/private stretch-staging/main armhf libpipeline1 armhf 1.4.1-2 [23.7 kB]
Get:6 http://172.17.0.1/private stretch-staging/main armhf man-db armhf 2.7.5-1 [975 kB]
Get:7 http://172.17.0.1/private stretch-staging/main armhf libpython2.7-minimal armhf 2.7.11-8 [381 kB]
Get:8 http://172.17.0.1/private stretch-staging/main armhf python2.7-minimal armhf 2.7.11-8 [1161 kB]
Get:9 http://172.17.0.1/private stretch-staging/main armhf python-minimal armhf 2.7.11-1 [40.0 kB]
Get:10 http://172.17.0.1/private stretch-staging/main armhf mime-support all 3.60 [36.7 kB]
Get:11 http://172.17.0.1/private stretch-staging/main armhf libexpat1 armhf 2.1.1-1 [60.4 kB]
Get:12 http://172.17.0.1/private stretch-staging/main armhf libsqlite3-0 armhf 3.12.2-1 [464 kB]
Get:13 http://172.17.0.1/private stretch-staging/main armhf libssl1.0.2 armhf 1.0.2g-2 [886 kB]
Get:14 http://172.17.0.1/private stretch-staging/main armhf libpython2.7-stdlib armhf 2.7.11-8 [1818 kB]
Get:15 http://172.17.0.1/private stretch-staging/main armhf python2.7 armhf 2.7.11-8 [269 kB]
Get:16 http://172.17.0.1/private stretch-staging/main armhf libpython-stdlib armhf 2.7.11-1 [19.5 kB]
Get:17 http://172.17.0.1/private stretch-staging/main armhf python armhf 2.7.11-1 [150 kB]
Get:18 http://172.17.0.1/private stretch-staging/main armhf libunistring0 armhf 0.9.3-5.2 [253 kB]
Get:19 http://172.17.0.1/private stretch-staging/main armhf libmagic1 armhf 1:5.25-2 [250 kB]
Get:20 http://172.17.0.1/private stretch-staging/main armhf file armhf 1:5.25-2 [61.2 kB]
Get:21 http://172.17.0.1/private stretch-staging/main armhf gettext-base armhf 0.19.7-2 [111 kB]
Get:22 http://172.17.0.1/private stretch-staging/main armhf libpython2.7 armhf 2.7.11-8 [907 kB]
Get:23 http://172.17.0.1/private stretch-staging/main armhf libsigsegv2 armhf 2.10-5 [28.4 kB]
Get:24 http://172.17.0.1/private stretch-staging/main armhf m4 armhf 1.4.17-5 [239 kB]
Get:25 http://172.17.0.1/private stretch-staging/main armhf autoconf all 2.69-10 [338 kB]
Get:26 http://172.17.0.1/private stretch-staging/main armhf autotools-dev all 20160430.1 [72.6 kB]
Get:27 http://172.17.0.1/private stretch-staging/main armhf automake all 1:1.15-4 [735 kB]
Get:28 http://172.17.0.1/private stretch-staging/main armhf autopoint all 0.19.7-2 [424 kB]
Get:29 http://172.17.0.1/private stretch-staging/main armhf libbison-dev armhf 2:3.0.4.dfsg-1 [433 kB]
Get:30 http://172.17.0.1/private stretch-staging/main armhf bison armhf 2:3.0.4.dfsg-1 [744 kB]
Get:31 http://172.17.0.1/private stretch-staging/main armhf libglib2.0-0 armhf 2.48.0-1 [2540 kB]
Get:32 http://172.17.0.1/private stretch-staging/main armhf libcroco3 armhf 0.6.11-1 [131 kB]
Get:33 http://172.17.0.1/private stretch-staging/main armhf gettext armhf 0.19.7-2 [1400 kB]
Get:34 http://172.17.0.1/private stretch-staging/main armhf intltool-debian all 0.35.0+20060710.4 [26.3 kB]
Get:35 http://172.17.0.1/private stretch-staging/main armhf po-debconf all 1.0.19 [249 kB]
Get:36 http://172.17.0.1/private stretch-staging/main armhf libarchive-zip-perl all 1.57-1 [95.1 kB]
Get:37 http://172.17.0.1/private stretch-staging/main armhf libfile-stripnondeterminism-perl all 0.016-1 [11.9 kB]
Get:38 http://172.17.0.1/private stretch-staging/main armhf libtimedate-perl all 2.3000-2 [42.2 kB]
Get:39 http://172.17.0.1/private stretch-staging/main armhf dh-strip-nondeterminism all 0.016-1 [6998 B]
Get:40 http://172.17.0.1/private stretch-staging/main armhf libtool all 2.4.6-0.1 [200 kB]
Get:41 http://172.17.0.1/private stretch-staging/main armhf dh-autoreconf all 12 [15.8 kB]
Get:42 http://172.17.0.1/private stretch-staging/main armhf debhelper all 9.20160403 [800 kB]
Get:43 http://172.17.0.1/private stretch-staging/main armhf libexpat1-dev armhf 2.1.1-1 [117 kB]
Get:44 http://172.17.0.1/private stretch-staging/main armhf liblua5.3-0 armhf 5.3.1-1 [92.9 kB]
Get:45 http://172.17.0.1/private stretch-staging/main armhf libtinfo-dev armhf 6.0+20160319-1 [65.7 kB]
Get:46 http://172.17.0.1/private stretch-staging/main armhf libreadline6-dev armhf 6.3-8+b3 [105 kB]
Get:47 http://172.17.0.1/private stretch-staging/main armhf libreadline-dev armhf 6.3-8+b3 [958 B]
Get:48 http://172.17.0.1/private stretch-staging/main armhf liblua5.3-dev armhf 5.3.1-1 [128 kB]
Get:49 http://172.17.0.1/private stretch-staging/main armhf libpython2.7-dev armhf 2.7.11-8 [27.1 MB]
Get:50 http://172.17.0.1/private stretch-staging/main armhf re2c armhf 0.16-1 [204 kB]
Get:51 http://172.17.0.1/private stretch-staging/main armhf scons all 2.5.0-1 [525 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 46.1 MB in 14s (3190 kB/s)
Selecting previously unselected package groff-base.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 13813 files and directories currently installed.)
Preparing to unpack .../groff-base_1.22.3-7_armhf.deb ...
Unpacking groff-base (1.22.3-7) ...
Selecting previously unselected package libbsd0:armhf.
Preparing to unpack .../libbsd0_0.8.3-1_armhf.deb ...
Unpacking libbsd0:armhf (0.8.3-1) ...
Selecting previously unselected package bsdmainutils.
Preparing to unpack .../bsdmainutils_9.0.10_armhf.deb ...
Unpacking bsdmainutils (9.0.10) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../libpipeline1_1.4.1-2_armhf.deb ...
Unpacking libpipeline1:armhf (1.4.1-2) ...
Selecting previously unselected package man-db.
Preparing to unpack .../man-db_2.7.5-1_armhf.deb ...
Unpacking man-db (2.7.5-1) ...
Selecting previously unselected package libpython2.7-minimal:armhf.
Preparing to unpack .../libpython2.7-minimal_2.7.11-8_armhf.deb ...
Unpacking libpython2.7-minimal:armhf (2.7.11-8) ...
Selecting previously unselected package python2.7-minimal.
Preparing to unpack .../python2.7-minimal_2.7.11-8_armhf.deb ...
Unpacking python2.7-minimal (2.7.11-8) ...
Selecting previously unselected package python-minimal.
Preparing to unpack .../python-minimal_2.7.11-1_armhf.deb ...
Unpacking python-minimal (2.7.11-1) ...
Selecting previously unselected package mime-support.
Preparing to unpack .../mime-support_3.60_all.deb ...
Unpacking mime-support (3.60) ...
Selecting previously unselected package libexpat1:armhf.
Preparing to unpack .../libexpat1_2.1.1-1_armhf.deb ...
Unpacking libexpat1:armhf (2.1.1-1) ...
Selecting previously unselected package libffi6:armhf.
Preparing to unpack .../libffi6_3.2.1-4_armhf.deb ...
Unpacking libffi6:armhf (3.2.1-4) ...
Selecting previously unselected package libsqlite3-0:armhf.
Preparing to unpack .../libsqlite3-0_3.12.2-1_armhf.deb ...
Unpacking libsqlite3-0:armhf (3.12.2-1) ...
Selecting previously unselected package libssl1.0.2:armhf.
Preparing to unpack .../libssl1.0.2_1.0.2g-2_armhf.deb ...
Unpacking libssl1.0.2:armhf (1.0.2g-2) ...
Selecting previously unselected package libpython2.7-stdlib:armhf.
Preparing to unpack .../libpython2.7-stdlib_2.7.11-8_armhf.deb ...
Unpacking libpython2.7-stdlib:armhf (2.7.11-8) ...
Selecting previously unselected package python2.7.
Preparing to unpack .../python2.7_2.7.11-8_armhf.deb ...
Unpacking python2.7 (2.7.11-8) ...
Selecting previously unselected package libpython-stdlib:armhf.
Preparing to unpack .../libpython-stdlib_2.7.11-1_armhf.deb ...
Unpacking libpython-stdlib:armhf (2.7.11-1) ...
Processing triggers for libc-bin (2.22-5) ...
Setting up libpython2.7-minimal:armhf (2.7.11-8) ...
Setting up python2.7-minimal (2.7.11-8) ...
Setting up python-minimal (2.7.11-1) ...
Selecting previously unselected package python.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 15181 files and directories currently installed.)
Preparing to unpack .../python_2.7.11-1_armhf.deb ...
Unpacking python (2.7.11-1) ...
Selecting previously unselected package libunistring0:armhf.
Preparing to unpack .../libunistring0_0.9.3-5.2_armhf.deb ...
Unpacking libunistring0:armhf (0.9.3-5.2) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../libmagic1_1%3a5.25-2_armhf.deb ...
Unpacking libmagic1:armhf (1:5.25-2) ...
Selecting previously unselected package file.
Preparing to unpack .../file_1%3a5.25-2_armhf.deb ...
Unpacking file (1:5.25-2) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../gettext-base_0.19.7-2_armhf.deb ...
Unpacking gettext-base (0.19.7-2) ...
Selecting previously unselected package libpython2.7:armhf.
Preparing to unpack .../libpython2.7_2.7.11-8_armhf.deb ...
Unpacking libpython2.7:armhf (2.7.11-8) ...
Selecting previously unselected package libicu55:armhf.
Preparing to unpack .../libicu55_55.1-7_armhf.deb ...
Unpacking libicu55:armhf (55.1-7) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../libxml2_2.9.3+dfsg1-1_armhf.deb ...
Unpacking libxml2:armhf (2.9.3+dfsg1-1) ...
Selecting previously unselected package libsigsegv2:armhf.
Preparing to unpack .../libsigsegv2_2.10-5_armhf.deb ...
Unpacking libsigsegv2:armhf (2.10-5) ...
Selecting previously unselected package m4.
Preparing to unpack .../archives/m4_1.4.17-5_armhf.deb ...
Unpacking m4 (1.4.17-5) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../autoconf_2.69-10_all.deb ...
Unpacking autoconf (2.69-10) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../autotools-dev_20160430.1_all.deb ...
Unpacking autotools-dev (20160430.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../automake_1%3a1.15-4_all.deb ...
Unpacking automake (1:1.15-4) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../autopoint_0.19.7-2_all.deb ...
Unpacking autopoint (0.19.7-2) ...
Selecting previously unselected package libbison-dev:armhf.
Preparing to unpack .../libbison-dev_2%3a3.0.4.dfsg-1_armhf.deb ...
Unpacking libbison-dev:armhf (2:3.0.4.dfsg-1) ...
Selecting previously unselected package bison.
Preparing to unpack .../bison_2%3a3.0.4.dfsg-1_armhf.deb ...
Unpacking bison (2:3.0.4.dfsg-1) ...
Selecting previously unselected package libglib2.0-0:armhf.
Preparing to unpack .../libglib2.0-0_2.48.0-1_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.48.0-1) ...
Selecting previously unselected package libcroco3:armhf.
Preparing to unpack .../libcroco3_0.6.11-1_armhf.deb ...
Unpacking libcroco3:armhf (0.6.11-1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../gettext_0.19.7-2_armhf.deb ...
Unpacking gettext (0.19.7-2) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../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 .../po-debconf_1.0.19_all.deb ...
Unpacking po-debconf (1.0.19) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../libarchive-zip-perl_1.57-1_all.deb ...
Unpacking libarchive-zip-perl (1.57-1) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../libfile-stripnondeterminism-perl_0.016-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (0.016-1) ...
Selecting previously unselected package libtimedate-perl.
Preparing to unpack .../libtimedate-perl_2.3000-2_all.deb ...
Unpacking libtimedate-perl (2.3000-2) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../dh-strip-nondeterminism_0.016-1_all.deb ...
Unpacking dh-strip-nondeterminism (0.016-1) ...
Selecting previously unselected package libtool.
Preparing to unpack .../libtool_2.4.6-0.1_all.deb ...
Unpacking libtool (2.4.6-0.1) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../dh-autoreconf_12_all.deb ...
Unpacking dh-autoreconf (12) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../debhelper_9.20160403_all.deb ...
Unpacking debhelper (9.20160403) ...
Selecting previously unselected package libexpat1-dev:armhf.
Preparing to unpack .../libexpat1-dev_2.1.1-1_armhf.deb ...
Unpacking libexpat1-dev:armhf (2.1.1-1) ...
Selecting previously unselected package liblua5.3-0:armhf.
Preparing to unpack .../liblua5.3-0_5.3.1-1_armhf.deb ...
Unpacking liblua5.3-0:armhf (5.3.1-1) ...
Selecting previously unselected package libtinfo-dev:armhf.
Preparing to unpack .../libtinfo-dev_6.0+20160319-1_armhf.deb ...
Unpacking libtinfo-dev:armhf (6.0+20160319-1) ...
Selecting previously unselected package libreadline6-dev:armhf.
Preparing to unpack .../libreadline6-dev_6.3-8+b3_armhf.deb ...
Unpacking libreadline6-dev:armhf (6.3-8+b3) ...
Selecting previously unselected package libreadline-dev:armhf.
Preparing to unpack .../libreadline-dev_6.3-8+b3_armhf.deb ...
Unpacking libreadline-dev:armhf (6.3-8+b3) ...
Selecting previously unselected package liblua5.3-dev:armhf.
Preparing to unpack .../liblua5.3-dev_5.3.1-1_armhf.deb ...
Unpacking liblua5.3-dev:armhf (5.3.1-1) ...
Selecting previously unselected package libpython2.7-dev:armhf.
Preparing to unpack .../libpython2.7-dev_2.7.11-8_armhf.deb ...
Unpacking libpython2.7-dev:armhf (2.7.11-8) ...
Selecting previously unselected package re2c.
Preparing to unpack .../archives/re2c_0.16-1_armhf.deb ...
Unpacking re2c (0.16-1) ...
Selecting previously unselected package scons.
Preparing to unpack .../archives/scons_2.5.0-1_all.deb ...
Unpacking scons (2.5.0-1) ...
Selecting previously unselected package sbuild-build-depends-gringo-dummy.
Preparing to unpack .../sbuild-build-depends-gringo-dummy.deb ...
Unpacking sbuild-build-depends-gringo-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.22-5) ...
Setting up groff-base (1.22.3-7) ...
Setting up libbsd0:armhf (0.8.3-1) ...
Setting up bsdmainutils (9.0.10) ...
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 libpipeline1:armhf (1.4.1-2) ...
Setting up man-db (2.7.5-1) ...
Not building database; man-db/auto-update is not 'true'.
Setting up mime-support (3.60) ...
Setting up libexpat1:armhf (2.1.1-1) ...
Setting up libffi6:armhf (3.2.1-4) ...
Setting up libsqlite3-0:armhf (3.12.2-1) ...
Setting up libssl1.0.2:armhf (1.0.2g-2) ...
Setting up libpython2.7-stdlib:armhf (2.7.11-8) ...
Setting up python2.7 (2.7.11-8) ...
Setting up libpython-stdlib:armhf (2.7.11-1) ...
Setting up python (2.7.11-1) ...
Setting up libunistring0:armhf (0.9.3-5.2) ...
Setting up libmagic1:armhf (1:5.25-2) ...
Setting up file (1:5.25-2) ...
Setting up gettext-base (0.19.7-2) ...
Setting up libpython2.7:armhf (2.7.11-8) ...
Setting up libicu55:armhf (55.1-7) ...
Setting up libxml2:armhf (2.9.3+dfsg1-1) ...
Setting up libsigsegv2:armhf (2.10-5) ...
Setting up m4 (1.4.17-5) ...
Setting up autoconf (2.69-10) ...
Setting up autotools-dev (20160430.1) ...
Setting up automake (1:1.15-4) ...
update-alternatives: using /usr/bin/automake-1.15 to provide /usr/bin/automake (automake) in auto mode
Setting up autopoint (0.19.7-2) ...
Setting up libbison-dev:armhf (2:3.0.4.dfsg-1) ...
Setting up bison (2:3.0.4.dfsg-1) ...
update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode
Setting up libglib2.0-0:armhf (2.48.0-1) ...
No schema files found: doing nothing.
Setting up libcroco3:armhf (0.6.11-1) ...
Setting up gettext (0.19.7-2) ...
Setting up intltool-debian (0.35.0+20060710.4) ...
Setting up po-debconf (1.0.19) ...
Setting up libarchive-zip-perl (1.57-1) ...
Setting up libfile-stripnondeterminism-perl (0.016-1) ...
Setting up libtimedate-perl (2.3000-2) ...
Setting up libtool (2.4.6-0.1) ...
Setting up libexpat1-dev:armhf (2.1.1-1) ...
Setting up liblua5.3-0:armhf (5.3.1-1) ...
Setting up libtinfo-dev:armhf (6.0+20160319-1) ...
Setting up libreadline6-dev:armhf (6.3-8+b3) ...
Setting up libreadline-dev:armhf (6.3-8+b3) ...
Setting up liblua5.3-dev:armhf (5.3.1-1) ...
Setting up libpython2.7-dev:armhf (2.7.11-8) ...
Setting up re2c (0.16-1) ...
Setting up scons (2.5.0-1) ...
Setting up dh-autoreconf (12) ...
Setting up debhelper (9.20160403) ...
Setting up sbuild-build-depends-gringo-dummy (0.invalid.0) ...
Setting up dh-strip-nondeterminism (0.016-1) ...
Processing triggers for libc-bin (2.22-5) ...
W: No sandbox user '_apt' on the system, can not drop privileges
+------------------------------------------------------------------------------+
| Build environment |
+------------------------------------------------------------------------------+
Kernel: Linux 4.5.0-1-armmp armhf (armv7l)
Toolchain package versions: binutils_2.26-8 dpkg-dev_1.18.4 g++-5_5.3.1-14 gcc-5_5.3.1-14 libc6-dev_2.22-5 libstdc++-5-dev_5.3.1-14 libstdc++6_5.3.1-14 linux-libc-dev_3.18.5-1~exp1+rpi19+stretch
Package versions: adduser_3.114 apt_1.2.10 autoconf_2.69-10 automake_1:1.15-4 autopoint_0.19.7-2 autotools-dev_20160430.1 base-files_9.6+rpi1 base-passwd_3.5.39 bash_4.3-14 binutils_2.26-8 bison_2:3.0.4.dfsg-1 bsdmainutils_9.0.10 bsdutils_1:2.27.1-6 build-essential_11.7 bzip2_1.0.6-8 console-setup_1.141 console-setup-linux_1.141 coreutils_8.25-2 cpio_2.11+dfsg-5 cpp_4:5.3.1-1+rpi1 cpp-5_5.3.1-14 dash_0.5.8-2.2 debconf_1.5.59 debfoster_2.7-2 debhelper_9.20160403 debianutils_4.7 dh-autoreconf_12 dh-strip-nondeterminism_0.016-1 diffutils_1:3.3-3 dmsetup_2:1.02.120-1 dpkg_1.18.4 dpkg-dev_1.18.4 e2fslibs_1.43~WIP.2016.03.15-2 e2fsprogs_1.43~WIP.2016.03.15-2 fakeroot_1.20.2-1 file_1:5.25-2 findutils_4.6.0+git+20160126-2 g++_4:5.3.1-1+rpi1 g++-5_5.3.1-14 gcc_4:5.3.1-1+rpi1 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-12 gcc-5_5.3.1-14 gcc-5-base_5.3.1-14 gettext_0.19.7-2 gettext-base_0.19.7-2 gnupg_1.4.20-5 gpgv_1.4.20-5 grep_2.22-1 groff-base_1.22.3-7 gzip_1.6-5 hostname_3.17 ifupdown_0.8.10 init_1.29 init-system-helpers_1.29 initscripts_2.88dsf-59.3 insserv_1.14.0-5.3 intltool-debian_0.35.0+20060710.4 iproute2_4.3.0-1 kbd_2.0.3-2 keyboard-configuration_1.141 klibc-utils_2.0.4-8+rpi1 kmod_22-1.1 libacl1_2.2.52-3 libapparmor1_2.10-4 libapt-pkg5.0_1.2.10 libarchive-zip-perl_1.57-1 libasan2_5.3.1-14 libatm1_1:2.5.1-1.5 libatomic1_5.3.1-14 libattr1_1:2.4.47-2 libaudit-common_1:2.4.5-1 libaudit1_1:2.4.5-1 libbison-dev_2:3.0.4.dfsg-1 libblkid1_2.27.1-6 libbsd0_0.8.3-1 libbz2-1.0_1.0.6-8 libc-bin_2.22-5 libc-dev-bin_2.22-5 libc6_2.22-5 libc6-dev_2.22-5 libcap2_1:2.24-12 libcap2-bin_1:2.24-12 libcc1-0_5.3.1-14 libcomerr2_1.43~WIP.2016.03.15-2 libcroco3_0.6.11-1 libcryptsetup4_2:1.7.0-2 libdb5.3_5.3.28-11 libdbus-1-3_1.10.8-1 libdebconfclient0_0.208 libdevmapper1.02.1_2:1.02.120-1 libdpkg-perl_1.18.4 libdrm2_2.4.67-1 libexpat1_2.1.1-1 libexpat1-dev_2.1.1-1 libfakeroot_1.20.2-1 libfdisk1_2.27.1-6 libffi6_3.2.1-4 libfile-stripnondeterminism-perl_0.016-1 libgc1c2_1:7.4.2-7.4 libgcc-5-dev_5.3.1-14 libgcc1_1:5.3.1-14 libgcrypt20_1.6.5-2 libgdbm3_1.8.3-13.1 libglib2.0-0_2.48.0-1 libgmp10_2:6.1.0+dfsg-2 libgomp1_5.3.1-14 libgpg-error0_1.21-2 libicu55_55.1-7 libisl15_0.16.1-1 libklibc_2.0.4-8+rpi1 libkmod2_22-1.1 liblocale-gettext-perl_1.07-1+b1 liblua5.3-0_5.3.1-1 liblua5.3-dev_5.3.1-1 liblz4-1_0.0~r131-2 liblzma5_5.1.1alpha+20120614-2.1 libmagic1_1:5.25-2 libmount1_2.27.1-6 libmpc3_1.0.3-1 libmpfr4_3.1.4-1 libncurses5_6.0+20160319-1 libncursesw5_6.0+20160319-1 libpam-modules_1.1.8-3.2 libpam-modules-bin_1.1.8-3.2 libpam-runtime_1.1.8-3.2 libpam0g_1.1.8-3.2 libpcre3_2:8.38-3.1 libperl5.22_5.22.1-9 libpipeline1_1.4.1-2 libplymouth4_0.9.2-3 libpng12-0_1.2.54-6 libprocps5_2:3.3.11-3 libpython-stdlib_2.7.11-1 libpython2.7_2.7.11-8 libpython2.7-dev_2.7.11-8 libpython2.7-minimal_2.7.11-8 libpython2.7-stdlib_2.7.11-8 libreadline-dev_6.3-8+b3 libreadline6_6.3-8+b3 libreadline6-dev_6.3-8+b3 libseccomp2_2.3.0-1 libselinux1_2.4-3 libsemanage-common_2.4-3 libsemanage1_2.4-3 libsepol1_2.4-2 libsigsegv2_2.10-5 libsmartcols1_2.27.1-6 libsqlite3-0_3.12.2-1 libss2_1.43~WIP.2016.03.15-2 libssl1.0.2_1.0.2g-2 libstdc++-5-dev_5.3.1-14 libstdc++6_5.3.1-14 libsystemd0_229-4 libtext-charwidth-perl_0.04-7+b6 libtext-iconv-perl_1.7-5+b7 libtext-wrapi18n-perl_0.06-7.1 libtimedate-perl_2.3000-2 libtinfo-dev_6.0+20160319-1 libtinfo5_6.0+20160319-1 libtool_2.4.6-0.1 libubsan0_5.3.1-14 libudev1_229-4 libunistring0_0.9.3-5.2 libusb-0.1-4_2:0.1.12-28 libustr-1.0-1_1.0.4-5 libuuid1_2.27.1-6 libxml2_2.9.3+dfsg1-1 linux-libc-dev_3.18.5-1~exp1+rpi19+stretch login_1:4.2-3.1 lsb-base_9.20160110+rpi1 m4_1.4.17-5 make_4.1-9 makedev_2.3.1-93 man-db_2.7.5-1 manpages_4.05-1 mawk_1.3.3-17 mime-support_3.60 mount_2.27.1-6 multiarch-support_2.22-5 ncurses-base_6.0+20160319-1 ncurses-bin_6.0+20160319-1 netbase_5.3 passwd_1:4.2-3.1 patch_2.7.5-1 perl_5.22.1-9 perl-base_5.22.1-9 perl-modules-5.22_5.22.1-9 po-debconf_1.0.19 procps_2:3.3.11-3 psmisc_22.21-2.1 python_2.7.11-1 python-minimal_2.7.11-1 python2.7_2.7.11-8 python2.7-minimal_2.7.11-8 raspbian-archive-keyring_20120528.2 re2c_0.16-1 readline-common_6.3-8 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-gringo-dummy_0.invalid.0 scons_2.5.0-1 sed_4.2.2-7.1 sensible-utils_0.0.9 startpar_0.59-3 systemd_229-4 systemd-sysv_229-4 sysv-rc_2.88dsf-59.3 sysvinit-utils_2.88dsf-59.3 tar_1.28-2.1 tzdata_2016c-0+deb8u1 udev_229-4 util-linux_2.27.1-6 xkb-data_2.17-1 xz-utils_5.1.1alpha+20120614-2.1 zlib1g_1:1.2.8.dfsg-2+b1
+------------------------------------------------------------------------------+
| Build |
+------------------------------------------------------------------------------+
Unpack source
-------------
gpgv: keyblock resource `/sbuild-nonexistent/.gnupg/trustedkeys.gpg': file open error
gpgv: Signature made Mon May 2 05:49:03 2016 UTC using RSA key ID A6669AA9
gpgv: Can't check signature: public key not found
dpkg-source: warning: failed to verify signature on ./gringo_4.5.4-3.dsc
dpkg-source: info: extracting gringo in gringo-4.5.4
dpkg-source: info: unpacking gringo_4.5.4.orig.tar.gz
dpkg-source: info: unpacking gringo_4.5.4-3.debian.tar.xz
dpkg-source: info: applying gringo-manpages.patch
dpkg-source: info: applying gringo-include-math.patch
dpkg-source: info: applying gringo-solve-multi.patch
dpkg-source: info: applying gringo-translate-minmax.patch
Check disc space
----------------
Sufficient free space for build
User Environment
----------------
DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
LOGNAME=buildd
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
SCHROOT_ALIAS_NAME=stretch-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=stretch-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=109
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=stretch-staging-armhf-sbuild-866c1c58-c1a0-4207-8093-fcb67cf6ea29
SCHROOT_UID=104
SCHROOT_USER=buildd
SHELL=/bin/sh
TERM=linux
USER=buildd
dpkg-buildpackage
-----------------
dpkg-buildpackage: source package gringo
dpkg-buildpackage: source version 4.5.4-3
dpkg-buildpackage: source distribution unstable
dpkg-source --before-build gringo-4.5.4
dpkg-buildpackage: host architecture armhf
fakeroot debian/rules clean
dh clean
dh_testdir
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_testdir -a
dh_update_autotools_config -a
debian/rules override_dh_auto_configure
make[1]: Entering directory '/<<PKGBUILDDIR>>'
scons configure --build-dir=release CXX='g++' WITH_LUA='lua5.3' WITH_PYTHON='python2.7' CPPPATH='${["/usr/include/lua5.3","/usr/include/python2.7"]}' CXXFLAGS='${["-g","-O2","-fPIE","-fstack-protector-strong","-Wformat","-Werror=format-security","-std=c++11","-O3","-Wall","-Wdate-time","-D_FORTIFY_SOURCE=2","-DNDEBUG"]}' LINKFLAGS='${["-fPIE","-pie","-Wl,-z,relro","-Wl,-z,now"]}'
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++ 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
Auto-detecting tbb (pkg-config)... no
Auto-detecting cppunit (pkg-config)... no
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
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++ 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
Auto-detecting tbb (pkg-config)... (cached) no
Auto-detecting cppunit (pkg-config)... (cached) no
scons: done reading SConscript files.
scons: Building targets ...
g++ -o build/release/app/gringo/main.o -c -g -O2 -fPIE -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 -Ilibprogram_opts -Ilibprogram_opts/src app/gringo/main.cc
In file included from libprogram_opts/program_opts/application.h:31:0,
from app/gringo/main.cc:40:
libprogram_opts/program_opts/program_options.h:123:22: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
void addOption(std::auto_ptr<Option> option);
^
In file included from /usr/include/c++/5/memory:81:0,
from libgringo/gringo/utility.hh:24,
from libgringo/gringo/flyweight.hh:33,
from libgringo/gringo/input/programbuilder.hh:24,
from libgringo/gringo/input/nongroundparser.hh:24,
from app/gringo/main.cc:27:
/usr/include/c++/5/bits/unique_ptr.h:49:28: note: declared here
template<typename> class auto_ptr;
^
In file included from app/gringo/main.cc:41:0:
libprogram_opts/program_opts/typed_value.h: In member function 'bool ProgramOptions::NotifiedValue<T>::doParse(const string&, const string&)':
libprogram_opts/program_opts/typed_value.h:118:8: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
std::auto_ptr<T> holder;
^
In file included from /usr/include/c++/5/memory:81:0,
from libgringo/gringo/utility.hh:24,
from libgringo/gringo/flyweight.hh:33,
from libgringo/gringo/input/programbuilder.hh:24,
from libgringo/gringo/input/nongroundparser.hh:24,
from app/gringo/main.cc:27:
/usr/include/c++/5/bits/unique_ptr.h:49:28: note: declared here
template<typename> class auto_ptr;
^
g++ -o build/release/libgringo/src/terms.o -c -g -O2 -fPIE -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 -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/terms.cc
g++ -o build/release/libgringo/src/scripts.o -c -g -O2 -fPIE -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 -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/scripts.cc
g++ -o build/release/libgringo/src/term.o -c -g -O2 -fPIE -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 -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/term.cc
g++ -o build/release/libgringo/src/lua.o -c -g -O2 -fPIE -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 -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/lua.cc
g++ -o build/release/libgringo/src/python.o -c -g -O2 -fPIE -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 -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/python.cc
In file included from /usr/include/python2.7/Python.h:80:0,
from libgringo/src/python.cc:23:
libgringo/src/python.cc: In static member function 'static PyObject* Gringo::{anonymous}::Fun::cmp(Gringo::{anonymous}::Fun*, PyObject*, int)':
/usr/include/python2.7/object.h:769:22: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
((PyObject*)(op))->ob_refcnt++)
^
/usr/include/python2.7/boolobject.h:28:32: note: in expansion of macro 'Py_INCREF'
#define Py_RETURN_FALSE return Py_INCREF(Py_False), Py_False
^
libgringo/src/python.cc:124:13: note: in expansion of macro 'Py_RETURN_FALSE'
Py_RETURN_FALSE; \
^
libgringo/src/python.cc:260:9: note: in expansion of macro 'CHECK_CMP'
CHECK_CMP(OBBASE(self), b, op)
^
/usr/include/python2.7/object.h:769:22: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
((PyObject*)(op))->ob_refcnt++)
^
/usr/include/python2.7/boolobject.h:27:31: note: in expansion of macro 'Py_INCREF'
#define Py_RETURN_TRUE return Py_INCREF(Py_True), Py_True
^
libgringo/src/python.cc:127:13: note: in expansion of macro 'Py_RETURN_TRUE'
Py_RETURN_TRUE; \
^
libgringo/src/python.cc:260:9: note: in expansion of macro 'CHECK_CMP'
CHECK_CMP(OBBASE(self), b, op)
^
libgringo/src/python.cc: In static member function 'static PyObject* Gringo::{anonymous}::SupType::cmp(Gringo::{anonymous}::SupType*, PyObject*, int)':
/usr/include/python2.7/object.h:769:22: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
((PyObject*)(op))->ob_refcnt++)
^
/usr/include/python2.7/boolobject.h:28:32: note: in expansion of macro 'Py_INCREF'
#define Py_RETURN_FALSE return Py_INCREF(Py_False), Py_False
^
libgringo/src/python.cc:124:13: note: in expansion of macro 'Py_RETURN_FALSE'
Py_RETURN_FALSE; \
^
libgringo/src/python.cc:354:9: note: in expansion of macro 'CHECK_CMP'
CHECK_CMP(OBBASE(self), b, op)
^
/usr/include/python2.7/object.h:769:22: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
((PyObject*)(op))->ob_refcnt++)
^
/usr/include/python2.7/boolobject.h:27:31: note: in expansion of macro 'Py_INCREF'
#define Py_RETURN_TRUE return Py_INCREF(Py_True), Py_True
^
libgringo/src/python.cc:127:13: note: in expansion of macro 'Py_RETURN_TRUE'
Py_RETURN_TRUE; \
^
libgringo/src/python.cc:354:9: note: in expansion of macro 'CHECK_CMP'
CHECK_CMP(OBBASE(self), b, op)
^
libgringo/src/python.cc: In static member function 'static PyObject* Gringo::{anonymous}::InfType::cmp(Gringo::{anonymous}::InfType*, PyObject*, int)':
/usr/include/python2.7/object.h:769:22: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
((PyObject*)(op))->ob_refcnt++)
^
/usr/include/python2.7/boolobject.h:28:32: note: in expansion of macro 'Py_INCREF'
#define Py_RETURN_FALSE return Py_INCREF(Py_False), Py_False
^
libgringo/src/python.cc:124:13: note: in expansion of macro 'Py_RETURN_FALSE'
Py_RETURN_FALSE; \
^
libgringo/src/python.cc:446:9: note: in expansion of macro 'CHECK_CMP'
CHECK_CMP(OBBASE(self), b, op)
^
/usr/include/python2.7/object.h:769:22: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
((PyObject*)(op))->ob_refcnt++)
^
/usr/include/python2.7/boolobject.h:27:31: note: in expansion of macro 'Py_INCREF'
#define Py_RETURN_TRUE return Py_INCREF(Py_True), Py_True
^
libgringo/src/python.cc:127:13: note: in expansion of macro 'Py_RETURN_TRUE'
Py_RETURN_TRUE; \
^
libgringo/src/python.cc:446:9: note: in expansion of macro 'CHECK_CMP'
CHECK_CMP(OBBASE(self), b, op)
^
libgringo/src/python.cc: In static member function 'static PyObject* Gringo::{anonymous}::SolveResult::cmp(Gringo::{anonymous}::SolveResult*, PyObject*, int)':
/usr/include/python2.7/object.h:769:22: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
((PyObject*)(op))->ob_refcnt++)
^
/usr/include/python2.7/boolobject.h:28:32: note: in expansion of macro 'Py_INCREF'
#define Py_RETURN_FALSE return Py_INCREF(Py_False), Py_False
^
libgringo/src/python.cc:124:13: note: in expansion of macro 'Py_RETURN_FALSE'
Py_RETURN_FALSE; \
^
libgringo/src/python.cc:576:9: note: in expansion of macro 'CHECK_CMP'
CHECK_CMP(OBBASE(self), b, op)
^
/usr/include/python2.7/object.h:769:22: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
((PyObject*)(op))->ob_refcnt++)
^
/usr/include/python2.7/boolobject.h:27:31: note: in expansion of macro 'Py_INCREF'
#define Py_RETURN_TRUE return Py_INCREF(Py_True), Py_True
^
libgringo/src/python.cc:127:13: note: in expansion of macro 'Py_RETURN_TRUE'
Py_RETURN_TRUE; \
^
libgringo/src/python.cc:576:9: note: in expansion of macro 'CHECK_CMP'
CHECK_CMP(OBBASE(self), b, op)
^
libgringo/src/python.cc: In static member function 'static PyObject* Gringo::{anonymous}::Model::contains(Gringo::{anonymous}::Model*, PyObject*)':
/usr/include/python2.7/object.h:769:22: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
((PyObject*)(op))->ob_refcnt++)
^
/usr/include/python2.7/boolobject.h:27:31: note: in expansion of macro 'Py_INCREF'
#define Py_RETURN_TRUE return Py_INCREF(Py_True), Py_True
^
libgringo/src/python.cc:855:20: note: in expansion of macro 'Py_RETURN_TRUE'
if (ret) { Py_RETURN_TRUE; }
^
/usr/include/python2.7/object.h:769:22: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
((PyObject*)(op))->ob_refcnt++)
^
/usr/include/python2.7/boolobject.h:28:32: note: in expansion of macro 'Py_INCREF'
#define Py_RETURN_FALSE return Py_INCREF(Py_False), Py_False
^
libgringo/src/python.cc:856:20: note: in expansion of macro 'Py_RETURN_FALSE'
else { Py_RETURN_FALSE; }
^
libgringo/src/python.cc: In static member function 'static PyObject* Gringo::{anonymous}::SolveFuture::wait(Gringo::{anonymous}::SolveFuture*, PyObject*)':
/usr/include/python2.7/object.h:769:22: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
((PyObject*)(op))->ob_refcnt++)
^
/usr/include/python2.7/boolobject.h:27:31: note: in expansion of macro 'Py_INCREF'
#define Py_RETURN_TRUE return Py_INCREF(Py_True), Py_True
^
libgringo/src/python.cc:1053:24: note: in expansion of macro 'Py_RETURN_TRUE'
if (ret) { Py_RETURN_TRUE; }
^
/usr/include/python2.7/object.h:769:22: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
((PyObject*)(op))->ob_refcnt++)
^
/usr/include/python2.7/boolobject.h:28:32: note: in expansion of macro 'Py_INCREF'
#define Py_RETURN_FALSE return Py_INCREF(Py_False), Py_False
^
libgringo/src/python.cc:1054:24: note: in expansion of macro 'Py_RETURN_FALSE'
else { Py_RETURN_FALSE; }
^
libgringo/src/python.cc: In static member function 'static PyObject* Gringo::{anonymous}::SolveIter::exit(Gringo::{anonymous}::SolveIter*, PyObject*)':
/usr/include/python2.7/object.h:769:22: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
((PyObject*)(op))->ob_refcnt++)
^
/usr/include/python2.7/boolobject.h:28:32: note: in expansion of macro 'Py_INCREF'
#define Py_RETURN_FALSE return Py_INCREF(Py_False), Py_False
^
libgringo/src/python.cc:1190:9: note: in expansion of macro 'Py_RETURN_FALSE'
Py_RETURN_FALSE;
^
libgringo/src/python.cc: In static member function 'static PyObject* Gringo::{anonymous}::DomainElement::is_fact(Gringo::{anonymous}::DomainElement*, void*)':
/usr/include/python2.7/object.h:769:22: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
((PyObject*)(op))->ob_refcnt++)
^
/usr/include/python2.7/boolobject.h:27:31: note: in expansion of macro 'Py_INCREF'
#define Py_RETURN_TRUE return Py_INCREF(Py_True), Py_True
^
libgringo/src/python.cc:1494:20: note: in expansion of macro 'Py_RETURN_TRUE'
if (ret) { Py_RETURN_TRUE; }
^
/usr/include/python2.7/object.h:769:22: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
((PyObject*)(op))->ob_refcnt++)
^
/usr/include/python2.7/boolobject.h:28:32: note: in expansion of macro 'Py_INCREF'
#define Py_RETURN_FALSE return Py_INCREF(Py_False), Py_False
^
libgringo/src/python.cc:1495:20: note: in expansion of macro 'Py_RETURN_FALSE'
else { Py_RETURN_FALSE; }
^
libgringo/src/python.cc: In static member function 'static PyObject* Gringo::{anonymous}::DomainElement::is_external(Gringo::{anonymous}::DomainElement*, void*)':
/usr/include/python2.7/object.h:769:22: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
((PyObject*)(op))->ob_refcnt++)
^
/usr/include/python2.7/boolobject.h:27:31: note: in expansion of macro 'Py_INCREF'
#define Py_RETURN_TRUE return Py_INCREF(Py_True), Py_True
^
libgringo/src/python.cc:1500:20: note: in expansion of macro 'Py_RETURN_TRUE'
if (ret) { Py_RETURN_TRUE; }
^
/usr/include/python2.7/object.h:769:22: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
((PyObject*)(op))->ob_refcnt++)
^
/usr/include/python2.7/boolobject.h:28:32: note: in expansion of macro 'Py_INCREF'
#define Py_RETURN_FALSE return Py_INCREF(Py_False), Py_False
^
libgringo/src/python.cc:1501:20: note: in expansion of macro 'Py_RETURN_FALSE'
else { Py_RETURN_FALSE; }
^
libgringo/src/python.cc: In function 'PyObject* Gringo::{anonymous}::initgringo_()':
/usr/include/python2.7/object.h:769:22: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
((PyObject*)(op))->ob_refcnt++)
^
libgringo/src/python.cc:2636:5: note: in expansion of macro 'Py_INCREF'
Py_INCREF(&SupType::type);
^
/usr/include/python2.7/object.h:769:22: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
((PyObject*)(op))->ob_refcnt++)
^
libgringo/src/python.cc:2638:5: note: in expansion of macro 'Py_INCREF'
Py_INCREF(&InfType::type);
^
/usr/include/python2.7/object.h:769:22: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
((PyObject*)(op))->ob_refcnt++)
^
libgringo/src/python.cc:2640:5: note: in expansion of macro 'Py_INCREF'
Py_INCREF(&Fun::type);
^
/usr/include/python2.7/object.h:769:22: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
((PyObject*)(op))->ob_refcnt++)
^
libgringo/src/python.cc:2643:5: note: in expansion of macro 'Py_INCREF'
Py_INCREF(&Model::type);
^
/usr/include/python2.7/object.h:769:22: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
((PyObject*)(op))->ob_refcnt++)
^
libgringo/src/python.cc:2645:5: note: in expansion of macro 'Py_INCREF'
Py_INCREF(&SolveIter::type);
^
/usr/include/python2.7/object.h:769:22: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
((PyObject*)(op))->ob_refcnt++)
^
libgringo/src/python.cc:2647:5: note: in expansion of macro 'Py_INCREF'
Py_INCREF(&SolveFuture::type);
^
/usr/include/python2.7/object.h:769:22: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
((PyObject*)(op))->ob_refcnt++)
^
libgringo/src/python.cc:2649:5: note: in expansion of macro 'Py_INCREF'
Py_INCREF(&SolveResult::type);
^
/usr/include/python2.7/object.h:769:22: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
((PyObject*)(op))->ob_refcnt++)
^
libgringo/src/python.cc:2652:5: note: in expansion of macro 'Py_INCREF'
Py_INCREF(&ControlWrap::type);
^
/usr/include/python2.7/object.h:769:22: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
((PyObject*)(op))->ob_refcnt++)
^
libgringo/src/python.cc:2654:5: note: in expansion of macro 'Py_INCREF'
Py_INCREF(&ConfigProxy::type);
^
/usr/include/python2.7/object.h:769:22: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
((PyObject*)(op))->ob_refcnt++)
^
libgringo/src/python.cc:2656:5: note: in expansion of macro 'Py_INCREF'
Py_INCREF(&SolveControl::type);
^
/usr/include/python2.7/object.h:769:22: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
((PyObject*)(op))->ob_refcnt++)
^
libgringo/src/python.cc:2658:5: note: in expansion of macro 'Py_INCREF'
Py_INCREF(&DomainElement::type);
^
/usr/include/python2.7/object.h:769:22: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
((PyObject*)(op))->ob_refcnt++)
^
libgringo/src/python.cc:2660:5: note: in expansion of macro 'Py_INCREF'
Py_INCREF(&DomainIter::type);
^
/usr/include/python2.7/object.h:769:22: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
((PyObject*)(op))->ob_refcnt++)
^
libgringo/src/python.cc:2662:5: note: in expansion of macro 'Py_INCREF'
Py_INCREF(&DomainProxy::type);
^
In file included from /usr/include/python2.7/Python.h:87:0,
from libgringo/src/python.cc:23:
libgringo/src/python.cc: In instantiation of 'PyObject* Gringo::{anonymous}::doCmp(const T&, const T&, int) [with T = Gringo::Value; PyObject = _object]':
libgringo/src/python.cc:262:67: required from here
/usr/include/python2.7/boolobject.h:24:46: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_True ((PyObject *) &_Py_TrueStruct)
^
/usr/include/python2.7/boolobject.h:27:51: note: in expansion of macro 'Py_True'
#define Py_RETURN_TRUE return Py_INCREF(Py_True), Py_True
^
libgringo/src/python.cc:152:37: note: in expansion of macro 'Py_RETURN_TRUE'
case Py_LT: { if (a < b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:23:47: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_False ((PyObject *) &_Py_ZeroStruct)
^
/usr/include/python2.7/boolobject.h:28:53: note: in expansion of macro 'Py_False'
#define Py_RETURN_FALSE return Py_INCREF(Py_False), Py_False
^
libgringo/src/python.cc:152:62: note: in expansion of macro 'Py_RETURN_FALSE'
case Py_LT: { if (a < b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:24:46: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_True ((PyObject *) &_Py_TrueStruct)
^
/usr/include/python2.7/boolobject.h:27:51: note: in expansion of macro 'Py_True'
#define Py_RETURN_TRUE return Py_INCREF(Py_True), Py_True
^
libgringo/src/python.cc:153:37: note: in expansion of macro 'Py_RETURN_TRUE'
case Py_LE: { if (a <= b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:23:47: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_False ((PyObject *) &_Py_ZeroStruct)
^
/usr/include/python2.7/boolobject.h:28:53: note: in expansion of macro 'Py_False'
#define Py_RETURN_FALSE return Py_INCREF(Py_False), Py_False
^
libgringo/src/python.cc:153:62: note: in expansion of macro 'Py_RETURN_FALSE'
case Py_LE: { if (a <= b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:24:46: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_True ((PyObject *) &_Py_TrueStruct)
^
/usr/include/python2.7/boolobject.h:27:51: note: in expansion of macro 'Py_True'
#define Py_RETURN_TRUE return Py_INCREF(Py_True), Py_True
^
libgringo/src/python.cc:154:37: note: in expansion of macro 'Py_RETURN_TRUE'
case Py_EQ: { if (a == b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:23:47: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_False ((PyObject *) &_Py_ZeroStruct)
^
/usr/include/python2.7/boolobject.h:28:53: note: in expansion of macro 'Py_False'
#define Py_RETURN_FALSE return Py_INCREF(Py_False), Py_False
^
libgringo/src/python.cc:154:62: note: in expansion of macro 'Py_RETURN_FALSE'
case Py_EQ: { if (a == b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:24:46: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_True ((PyObject *) &_Py_TrueStruct)
^
/usr/include/python2.7/boolobject.h:27:51: note: in expansion of macro 'Py_True'
#define Py_RETURN_TRUE return Py_INCREF(Py_True), Py_True
^
libgringo/src/python.cc:155:37: note: in expansion of macro 'Py_RETURN_TRUE'
case Py_NE: { if (a != b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:23:47: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_False ((PyObject *) &_Py_ZeroStruct)
^
/usr/include/python2.7/boolobject.h:28:53: note: in expansion of macro 'Py_False'
#define Py_RETURN_FALSE return Py_INCREF(Py_False), Py_False
^
libgringo/src/python.cc:155:62: note: in expansion of macro 'Py_RETURN_FALSE'
case Py_NE: { if (a != b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:24:46: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_True ((PyObject *) &_Py_TrueStruct)
^
/usr/include/python2.7/boolobject.h:27:51: note: in expansion of macro 'Py_True'
#define Py_RETURN_TRUE return Py_INCREF(Py_True), Py_True
^
libgringo/src/python.cc:156:37: note: in expansion of macro 'Py_RETURN_TRUE'
case Py_GT: { if (a > b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:23:47: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_False ((PyObject *) &_Py_ZeroStruct)
^
/usr/include/python2.7/boolobject.h:28:53: note: in expansion of macro 'Py_False'
#define Py_RETURN_FALSE return Py_INCREF(Py_False), Py_False
^
libgringo/src/python.cc:156:62: note: in expansion of macro 'Py_RETURN_FALSE'
case Py_GT: { if (a > b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:24:46: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_True ((PyObject *) &_Py_TrueStruct)
^
/usr/include/python2.7/boolobject.h:27:51: note: in expansion of macro 'Py_True'
#define Py_RETURN_TRUE return Py_INCREF(Py_True), Py_True
^
libgringo/src/python.cc:157:37: note: in expansion of macro 'Py_RETURN_TRUE'
case Py_GE: { if (a >= b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:23:47: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_False ((PyObject *) &_Py_ZeroStruct)
^
/usr/include/python2.7/boolobject.h:28:53: note: in expansion of macro 'Py_False'
#define Py_RETURN_FALSE return Py_INCREF(Py_False), Py_False
^
libgringo/src/python.cc:157:62: note: in expansion of macro 'Py_RETURN_FALSE'
case Py_GE: { if (a >= b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:23:47: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_False ((PyObject *) &_Py_ZeroStruct)
^
/usr/include/python2.7/boolobject.h:28:53: note: in expansion of macro 'Py_False'
#define Py_RETURN_FALSE return Py_INCREF(Py_False), Py_False
^
libgringo/src/python.cc:159:5: note: in expansion of macro 'Py_RETURN_FALSE'
Py_RETURN_FALSE;
^
libgringo/src/python.cc: In instantiation of 'PyObject* Gringo::{anonymous}::doCmp(const T&, const T&, int) [with T = int; PyObject = _object]':
libgringo/src/python.cc:355:30: required from here
/usr/include/python2.7/boolobject.h:24:46: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_True ((PyObject *) &_Py_TrueStruct)
^
/usr/include/python2.7/boolobject.h:27:51: note: in expansion of macro 'Py_True'
#define Py_RETURN_TRUE return Py_INCREF(Py_True), Py_True
^
libgringo/src/python.cc:152:37: note: in expansion of macro 'Py_RETURN_TRUE'
case Py_LT: { if (a < b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:23:47: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_False ((PyObject *) &_Py_ZeroStruct)
^
/usr/include/python2.7/boolobject.h:28:53: note: in expansion of macro 'Py_False'
#define Py_RETURN_FALSE return Py_INCREF(Py_False), Py_False
^
libgringo/src/python.cc:152:62: note: in expansion of macro 'Py_RETURN_FALSE'
case Py_LT: { if (a < b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:24:46: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_True ((PyObject *) &_Py_TrueStruct)
^
/usr/include/python2.7/boolobject.h:27:51: note: in expansion of macro 'Py_True'
#define Py_RETURN_TRUE return Py_INCREF(Py_True), Py_True
^
libgringo/src/python.cc:153:37: note: in expansion of macro 'Py_RETURN_TRUE'
case Py_LE: { if (a <= b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:23:47: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_False ((PyObject *) &_Py_ZeroStruct)
^
/usr/include/python2.7/boolobject.h:28:53: note: in expansion of macro 'Py_False'
#define Py_RETURN_FALSE return Py_INCREF(Py_False), Py_False
^
libgringo/src/python.cc:153:62: note: in expansion of macro 'Py_RETURN_FALSE'
case Py_LE: { if (a <= b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:24:46: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_True ((PyObject *) &_Py_TrueStruct)
^
/usr/include/python2.7/boolobject.h:27:51: note: in expansion of macro 'Py_True'
#define Py_RETURN_TRUE return Py_INCREF(Py_True), Py_True
^
libgringo/src/python.cc:154:37: note: in expansion of macro 'Py_RETURN_TRUE'
case Py_EQ: { if (a == b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:23:47: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_False ((PyObject *) &_Py_ZeroStruct)
^
/usr/include/python2.7/boolobject.h:28:53: note: in expansion of macro 'Py_False'
#define Py_RETURN_FALSE return Py_INCREF(Py_False), Py_False
^
libgringo/src/python.cc:154:62: note: in expansion of macro 'Py_RETURN_FALSE'
case Py_EQ: { if (a == b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:24:46: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_True ((PyObject *) &_Py_TrueStruct)
^
/usr/include/python2.7/boolobject.h:27:51: note: in expansion of macro 'Py_True'
#define Py_RETURN_TRUE return Py_INCREF(Py_True), Py_True
^
libgringo/src/python.cc:155:37: note: in expansion of macro 'Py_RETURN_TRUE'
case Py_NE: { if (a != b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:23:47: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_False ((PyObject *) &_Py_ZeroStruct)
^
/usr/include/python2.7/boolobject.h:28:53: note: in expansion of macro 'Py_False'
#define Py_RETURN_FALSE return Py_INCREF(Py_False), Py_False
^
libgringo/src/python.cc:155:62: note: in expansion of macro 'Py_RETURN_FALSE'
case Py_NE: { if (a != b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:24:46: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_True ((PyObject *) &_Py_TrueStruct)
^
/usr/include/python2.7/boolobject.h:27:51: note: in expansion of macro 'Py_True'
#define Py_RETURN_TRUE return Py_INCREF(Py_True), Py_True
^
libgringo/src/python.cc:156:37: note: in expansion of macro 'Py_RETURN_TRUE'
case Py_GT: { if (a > b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:23:47: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_False ((PyObject *) &_Py_ZeroStruct)
^
/usr/include/python2.7/boolobject.h:28:53: note: in expansion of macro 'Py_False'
#define Py_RETURN_FALSE return Py_INCREF(Py_False), Py_False
^
libgringo/src/python.cc:156:62: note: in expansion of macro 'Py_RETURN_FALSE'
case Py_GT: { if (a > b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:24:46: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_True ((PyObject *) &_Py_TrueStruct)
^
/usr/include/python2.7/boolobject.h:27:51: note: in expansion of macro 'Py_True'
#define Py_RETURN_TRUE return Py_INCREF(Py_True), Py_True
^
libgringo/src/python.cc:157:37: note: in expansion of macro 'Py_RETURN_TRUE'
case Py_GE: { if (a >= b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:23:47: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_False ((PyObject *) &_Py_ZeroStruct)
^
/usr/include/python2.7/boolobject.h:28:53: note: in expansion of macro 'Py_False'
#define Py_RETURN_FALSE return Py_INCREF(Py_False), Py_False
^
libgringo/src/python.cc:157:62: note: in expansion of macro 'Py_RETURN_FALSE'
case Py_GE: { if (a >= b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:23:47: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_False ((PyObject *) &_Py_ZeroStruct)
^
/usr/include/python2.7/boolobject.h:28:53: note: in expansion of macro 'Py_False'
#define Py_RETURN_FALSE return Py_INCREF(Py_False), Py_False
^
libgringo/src/python.cc:159:5: note: in expansion of macro 'Py_RETURN_FALSE'
Py_RETURN_FALSE;
^
libgringo/src/python.cc: In instantiation of 'PyObject* Gringo::{anonymous}::doCmp(const T&, const T&, int) [with T = Gringo::SolveResult; PyObject = _object]':
libgringo/src/python.cc:577:75: required from here
/usr/include/python2.7/boolobject.h:24:46: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_True ((PyObject *) &_Py_TrueStruct)
^
/usr/include/python2.7/boolobject.h:27:51: note: in expansion of macro 'Py_True'
#define Py_RETURN_TRUE return Py_INCREF(Py_True), Py_True
^
libgringo/src/python.cc:152:37: note: in expansion of macro 'Py_RETURN_TRUE'
case Py_LT: { if (a < b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:23:47: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_False ((PyObject *) &_Py_ZeroStruct)
^
/usr/include/python2.7/boolobject.h:28:53: note: in expansion of macro 'Py_False'
#define Py_RETURN_FALSE return Py_INCREF(Py_False), Py_False
^
libgringo/src/python.cc:152:62: note: in expansion of macro 'Py_RETURN_FALSE'
case Py_LT: { if (a < b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:24:46: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_True ((PyObject *) &_Py_TrueStruct)
^
/usr/include/python2.7/boolobject.h:27:51: note: in expansion of macro 'Py_True'
#define Py_RETURN_TRUE return Py_INCREF(Py_True), Py_True
^
libgringo/src/python.cc:153:37: note: in expansion of macro 'Py_RETURN_TRUE'
case Py_LE: { if (a <= b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:23:47: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_False ((PyObject *) &_Py_ZeroStruct)
^
/usr/include/python2.7/boolobject.h:28:53: note: in expansion of macro 'Py_False'
#define Py_RETURN_FALSE return Py_INCREF(Py_False), Py_False
^
libgringo/src/python.cc:153:62: note: in expansion of macro 'Py_RETURN_FALSE'
case Py_LE: { if (a <= b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:24:46: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_True ((PyObject *) &_Py_TrueStruct)
^
/usr/include/python2.7/boolobject.h:27:51: note: in expansion of macro 'Py_True'
#define Py_RETURN_TRUE return Py_INCREF(Py_True), Py_True
^
libgringo/src/python.cc:154:37: note: in expansion of macro 'Py_RETURN_TRUE'
case Py_EQ: { if (a == b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:23:47: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_False ((PyObject *) &_Py_ZeroStruct)
^
/usr/include/python2.7/boolobject.h:28:53: note: in expansion of macro 'Py_False'
#define Py_RETURN_FALSE return Py_INCREF(Py_False), Py_False
^
libgringo/src/python.cc:154:62: note: in expansion of macro 'Py_RETURN_FALSE'
case Py_EQ: { if (a == b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:24:46: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_True ((PyObject *) &_Py_TrueStruct)
^
/usr/include/python2.7/boolobject.h:27:51: note: in expansion of macro 'Py_True'
#define Py_RETURN_TRUE return Py_INCREF(Py_True), Py_True
^
libgringo/src/python.cc:155:37: note: in expansion of macro 'Py_RETURN_TRUE'
case Py_NE: { if (a != b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:23:47: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_False ((PyObject *) &_Py_ZeroStruct)
^
/usr/include/python2.7/boolobject.h:28:53: note: in expansion of macro 'Py_False'
#define Py_RETURN_FALSE return Py_INCREF(Py_False), Py_False
^
libgringo/src/python.cc:155:62: note: in expansion of macro 'Py_RETURN_FALSE'
case Py_NE: { if (a != b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:24:46: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_True ((PyObject *) &_Py_TrueStruct)
^
/usr/include/python2.7/boolobject.h:27:51: note: in expansion of macro 'Py_True'
#define Py_RETURN_TRUE return Py_INCREF(Py_True), Py_True
^
libgringo/src/python.cc:156:37: note: in expansion of macro 'Py_RETURN_TRUE'
case Py_GT: { if (a > b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:23:47: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_False ((PyObject *) &_Py_ZeroStruct)
^
/usr/include/python2.7/boolobject.h:28:53: note: in expansion of macro 'Py_False'
#define Py_RETURN_FALSE return Py_INCREF(Py_False), Py_False
^
libgringo/src/python.cc:156:62: note: in expansion of macro 'Py_RETURN_FALSE'
case Py_GT: { if (a > b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:24:46: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_True ((PyObject *) &_Py_TrueStruct)
^
/usr/include/python2.7/boolobject.h:27:51: note: in expansion of macro 'Py_True'
#define Py_RETURN_TRUE return Py_INCREF(Py_True), Py_True
^
libgringo/src/python.cc:157:37: note: in expansion of macro 'Py_RETURN_TRUE'
case Py_GE: { if (a >= b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:23:47: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_False ((PyObject *) &_Py_ZeroStruct)
^
/usr/include/python2.7/boolobject.h:28:53: note: in expansion of macro 'Py_False'
#define Py_RETURN_FALSE return Py_INCREF(Py_False), Py_False
^
libgringo/src/python.cc:157:62: note: in expansion of macro 'Py_RETURN_FALSE'
case Py_GE: { if (a >= b) { Py_RETURN_TRUE; } else { Py_RETURN_FALSE; } }
^
/usr/include/python2.7/boolobject.h:23:47: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
#define Py_False ((PyObject *) &_Py_ZeroStruct)
^
/usr/include/python2.7/boolobject.h:28:53: note: in expansion of macro 'Py_False'
#define Py_RETURN_FALSE return Py_INCREF(Py_False), Py_False
^
libgringo/src/python.cc:159:5: note: in expansion of macro 'Py_RETURN_FALSE'
Py_RETURN_FALSE;
^
g++ -o build/release/libgringo/src/output/statements.o -c -g -O2 -fPIE -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 -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/output/statements.cc
g++ -o build/release/libgringo/src/output/output.o -c -g -O2 -fPIE -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 -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/output/output.cc
g++ -o build/release/libgringo/src/output/literal.o -c -g -O2 -fPIE -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 -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/output/literal.cc
g++ -o build/release/libgringo/src/output/literals.o -c -g -O2 -fPIE -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 -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/output/literals.cc
g++ -o build/release/libgringo/src/output/aggregates.o -c -g -O2 -fPIE -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 -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/output/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"
^^^^^^^^^
re2c -o build/release/libgringo/src/input/groundtermlexer.hh libgringo/src/input/groundtermlexer.xh
g++ -o build/release/libgringo/src/input/groundtermparser.o -c -g -O2 -fPIE -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 -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/input/groundtermparser.cc
g++ -o build/release/libgringo/src/input/program.o -c -g -O2 -fPIE -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 -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/input/program.cc
g++ -o build/release/libgringo/src/input/aggregate.o -c -g -O2 -fPIE -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 -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/input/aggregate.cc
g++ -o build/release/libgringo/src/input/aggregates.o -c -g -O2 -fPIE -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 -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/input/aggregates.cc
g++ -o build/release/libgringo/src/input/programbuilder.o -c -g -O2 -fPIE -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 -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/input/programbuilder.cc
g++ -o build/release/libgringo/src/input/literal.o -c -g -O2 -fPIE -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 -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/input/literal.cc
g++ -o build/release/libgringo/src/input/literals.o -c -g -O2 -fPIE -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 -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/input/literals.cc
g++ -o build/release/libgringo/src/input/statement.o -c -g -O2 -fPIE -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 -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/input/statement.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:23.9-17: warning: deprecated directive, use '%define api.namespace Gringo::Input::NonGroundGrammar' [-Wdeprecated]
%define namespace "Gringo::Input::NonGroundGrammar"
^^^^^^^^^
libgringo/src/input/nongroundgrammar.yy:29.9-21: warning: deprecated directive, use '%define api.location.type DefaultLocation' [-Wdeprecated]
%define location_type "DefaultLocation"
^^^^^^^^^^^^^
libgringo/src/input/nongroundgrammar.yy:29.9-21: warning: %define variable 'api.location.type' requires '{...}' values [-Wdeprecated]
%define location_type "DefaultLocation"
^^^^^^^^^^^^^
libgringo/src/input/nongroundgrammar.yy:23.9-17: warning: %define variable 'api.namespace' requires '{...}' values [-Wdeprecated]
%define namespace "Gringo::Input::NonGroundGrammar"
^^^^^^^^^
g++ -o build/release/libgringo/src/input/nongroundgrammar/grammar.o -c -g -O2 -fPIE -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 -Ilibprogram_opts -Ilibprogram_opts/src build/release/libgringo/src/input/nongroundgrammar/grammar.cc
g++ -o build/release/libgringo/src/input/groundtermgrammar/grammar.o -c -g -O2 -fPIE -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 -Ilibprogram_opts -Ilibprogram_opts/src build/release/libgringo/src/input/groundtermgrammar/grammar.cc
re2c -o build/release/libgringo/src/input/nongroundlexer.hh libgringo/src/input/nongroundlexer.xh
g++ -o build/release/libgringo/src/input/nongroundparser.o -c -g -O2 -fPIE -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 -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/input/nongroundparser.cc
g++ -o build/release/libgringo/src/ground/instantiation.o -c -g -O2 -fPIE -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 -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/ground/instantiation.cc
g++ -o build/release/libgringo/src/ground/program.o -c -g -O2 -fPIE -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 -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/ground/program.cc
g++ -o build/release/libgringo/src/ground/statements.o -c -g -O2 -fPIE -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 -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/ground/statements.cc
g++ -o build/release/libgringo/src/ground/literals.o -c -g -O2 -fPIE -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 -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/ground/literals.cc
ar rc build/release/libgringo.a build/release/libgringo/src/terms.o build/release/libgringo/src/scripts.o build/release/libgringo/src/term.o build/release/libgringo/src/lua.o build/release/libgringo/src/python.o build/release/libgringo/src/output/statements.o build/release/libgringo/src/output/output.o build/release/libgringo/src/output/literal.o build/release/libgringo/src/output/literals.o build/release/libgringo/src/output/aggregates.o build/release/libgringo/src/input/groundtermparser.o build/release/libgringo/src/input/program.o build/release/libgringo/src/input/aggregate.o build/release/libgringo/src/input/aggregates.o build/release/libgringo/src/input/programbuilder.o build/release/libgringo/src/input/literal.o build/release/libgringo/src/input/literals.o build/release/libgringo/src/input/statement.o build/release/libgringo/src/input/nongroundgrammar/grammar.o build/release/libgringo/src/input/groundtermgrammar/grammar.o build/release/libgringo/src/input/nongroundparser.o build/release/libgringo/src/ground/instantiation.o build/release/libgringo/src/ground/program.o build/release/libgringo/src/ground/statements.o build/release/libgringo/src/ground/literals.o
ranlib build/release/libgringo.a
g++ -o build/release/libprogram_opts/src/program_options.o -c -g -O2 -fPIE -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
In file included from libprogram_opts/src/program_options.cpp:26:0:
libprogram_opts/program_opts/program_options.h:123:22: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
void addOption(std::auto_ptr<Option> option);
^
In file included from /usr/include/c++/5/memory:81:0,
from libprogram_opts/program_opts/program_options.h:30,
from libprogram_opts/src/program_options.cpp:26:
/usr/include/c++/5/bits/unique_ptr.h:49:28: note: declared here
template<typename> class auto_ptr;
^
libprogram_opts/src/program_options.cpp:234:34: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
void OptionGroup::addOption(std::auto_ptr<Option> option) {
^
In file included from /usr/include/c++/5/memory:81:0,
from libprogram_opts/program_opts/program_options.h:30,
from libprogram_opts/src/program_options.cpp:26:
/usr/include/c++/5/bits/unique_ptr.h:49:28: note: declared here
template<typename> class auto_ptr;
^
libprogram_opts/src/program_options.cpp: In member function 'ProgramOptions::OptionInitHelper& ProgramOptions::OptionInitHelper::operator()(const char*, ProgramOptions::Value*, const char*)':
libprogram_opts/src/program_options.cpp:266:7: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
std::auto_ptr<Value> value(val);
^
In file included from /usr/include/c++/5/memory:81:0,
from libprogram_opts/program_opts/program_options.h:30,
from libprogram_opts/src/program_options.cpp:26:
/usr/include/c++/5/bits/unique_ptr.h:49:28: note: declared here
template<typename> class auto_ptr;
^
libprogram_opts/src/program_options.cpp:302:20: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
owner_->addOption(auto_ptr<Option>(new Option(longName, shortName, desc, value.release())));
^
In file included from /usr/include/c++/5/memory:81:0,
from libprogram_opts/program_opts/program_options.h:30,
from libprogram_opts/src/program_options.cpp:26:
/usr/include/c++/5/bits/unique_ptr.h:49:28: note: declared here
template<typename> class auto_ptr;
^
g++ -o build/release/libprogram_opts/src/string_convert.o -c -g -O2 -fPIE -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++ -o build/release/libprogram_opts/src/alarm.o -c -g -O2 -fPIE -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++ -o build/release/libprogram_opts/src/value_store.o -c -g -O2 -fPIE -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
g++ -o build/release/libprogram_opts/src/application.o -c -g -O2 -fPIE -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
In file included from libprogram_opts/program_opts/application.h:31:0,
from libprogram_opts/src/application.cpp:21:
libprogram_opts/program_opts/program_options.h:123:22: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
void addOption(std::auto_ptr<Option> option);
^
In file included from /usr/include/c++/5/memory:81:0,
from libprogram_opts/program_opts/program_options.h:30,
from libprogram_opts/program_opts/application.h:31,
from libprogram_opts/src/application.cpp:21:
/usr/include/c++/5/bits/unique_ptr.h:49:28: note: declared here
template<typename> class auto_ptr;
^
In file included from libprogram_opts/src/application.cpp:22:0:
libprogram_opts/program_opts/typed_value.h: In member function 'bool ProgramOptions::NotifiedValue<T>::doParse(const string&, const string&)':
libprogram_opts/program_opts/typed_value.h:118:8: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
std::auto_ptr<T> holder;
^
In file included from /usr/include/c++/5/memory:81:0,
from libprogram_opts/program_opts/program_options.h:30,
from libprogram_opts/program_opts/application.h:31,
from libprogram_opts/src/application.cpp:21:
/usr/include/c++/5/bits/unique_ptr.h:49:28: note: declared here
template<typename> class auto_ptr;
^
ar rc build/release/libprogram_opts.a build/release/libprogram_opts/src/program_options.o build/release/libprogram_opts/src/string_convert.o build/release/libprogram_opts/src/alarm.o build/release/libprogram_opts/src/value_store.o build/release/libprogram_opts/src/application.o
ranlib build/release/libprogram_opts.a
g++ -o build/release/gringo -fPIE -pie -Wl,-z,relro -Wl,-z,now build/release/app/gringo/main.o -Lbuild/release build/release/libgringo.a build/release/libprogram_opts.a -lpython2.7 -llua5.3
g++ -o build/release/app/clingo/src/clingo_app.o -c -g -O2 -fPIE -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 -DWITH_THREADS=0 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibclingo -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts -Ilibprogram_opts/src app/clingo/src/clingo_app.cc
In file included from app/clingo/src/clasp/clasp_app.h:27:0,
from app/clingo/src/clingo_app.hh:25,
from app/clingo/src/clingo_app.cc:28:
libprogram_opts/program_opts/typed_value.h: In member function 'bool ProgramOptions::NotifiedValue<T>::doParse(const string&, const string&)':
libprogram_opts/program_opts/typed_value.h:118:8: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
std::auto_ptr<T> holder;
^
In file included from /usr/include/c++/5/memory:81:0,
from libprogram_opts/program_opts/typed_value.h:32,
from app/clingo/src/clasp/clasp_app.h:27,
from app/clingo/src/clingo_app.hh:25,
from app/clingo/src/clingo_app.cc:28:
/usr/include/c++/5/bits/unique_ptr.h:49:28: note: declared here
template<typename> class auto_ptr;
^
In file included from libprogram_opts/program_opts/application.h:31:0,
from app/clingo/src/clasp/clasp_app.h:28,
from app/clingo/src/clingo_app.hh:25,
from app/clingo/src/clingo_app.cc:28:
libprogram_opts/program_opts/program_options.h: At global scope:
libprogram_opts/program_opts/program_options.h:123:22: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
void addOption(std::auto_ptr<Option> option);
^
In file included from /usr/include/c++/5/memory:81:0,
from libprogram_opts/program_opts/typed_value.h:32,
from app/clingo/src/clasp/clasp_app.h:27,
from app/clingo/src/clingo_app.hh:25,
from app/clingo/src/clingo_app.cc:28:
/usr/include/c++/5/bits/unique_ptr.h:49:28: note: declared here
template<typename> class auto_ptr;
^
g++ -o build/release/app/clingo/src/main.o -c -g -O2 -fPIE -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 -DWITH_THREADS=0 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibclingo -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts -Ilibprogram_opts/src app/clingo/src/main.cc
In file included from app/clingo/src/clasp/clasp_app.h:27:0,
from app/clingo/src/clingo_app.hh:25,
from app/clingo/src/main.cc:21:
libprogram_opts/program_opts/typed_value.h: In member function 'bool ProgramOptions::NotifiedValue<T>::doParse(const string&, const string&)':
libprogram_opts/program_opts/typed_value.h:118:8: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
std::auto_ptr<T> holder;
^
In file included from /usr/include/c++/5/memory:81:0,
from libprogram_opts/program_opts/typed_value.h:32,
from app/clingo/src/clasp/clasp_app.h:27,
from app/clingo/src/clingo_app.hh:25,
from app/clingo/src/main.cc:21:
/usr/include/c++/5/bits/unique_ptr.h:49:28: note: declared here
template<typename> class auto_ptr;
^
In file included from libprogram_opts/program_opts/application.h:31:0,
from app/clingo/src/clasp/clasp_app.h:28,
from app/clingo/src/clingo_app.hh:25,
from app/clingo/src/main.cc:21:
libprogram_opts/program_opts/program_options.h: At global scope:
libprogram_opts/program_opts/program_options.h:123:22: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
void addOption(std::auto_ptr<Option> option);
^
In file included from /usr/include/c++/5/memory:81:0,
from libprogram_opts/program_opts/typed_value.h:32,
from app/clingo/src/clasp/clasp_app.h:27,
from app/clingo/src/clingo_app.hh:25,
from app/clingo/src/main.cc:21:
/usr/include/c++/5/bits/unique_ptr.h:49:28: note: declared here
template<typename> class auto_ptr;
^
g++ -o build/release/app/clingo/src/clasp/clasp_app.o -c -g -O2 -fPIE -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 -DWITH_THREADS=0 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibclingo -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts -Ilibprogram_opts/src app/clingo/src/clasp/clasp_app.cpp
In file included from app/clingo/src/clasp/clasp_app.h:27:0,
from app/clingo/src/clasp/clasp_app.cpp:20:
libprogram_opts/program_opts/typed_value.h: In member function 'bool ProgramOptions::NotifiedValue<T>::doParse(const string&, const string&)':
libprogram_opts/program_opts/typed_value.h:118:8: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
std::auto_ptr<T> holder;
^
In file included from /usr/include/c++/5/memory:81:0,
from libprogram_opts/program_opts/typed_value.h:32,
from app/clingo/src/clasp/clasp_app.h:27,
from app/clingo/src/clasp/clasp_app.cpp:20:
/usr/include/c++/5/bits/unique_ptr.h:49:28: note: declared here
template<typename> class auto_ptr;
^
In file included from libprogram_opts/program_opts/application.h:31:0,
from app/clingo/src/clasp/clasp_app.h:28,
from app/clingo/src/clasp/clasp_app.cpp:20:
libprogram_opts/program_opts/program_options.h: At global scope:
libprogram_opts/program_opts/program_options.h:123:22: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
void addOption(std::auto_ptr<Option> option);
^
In file included from /usr/include/c++/5/memory:81:0,
from libprogram_opts/program_opts/typed_value.h:32,
from app/clingo/src/clasp/clasp_app.h:27,
from app/clingo/src/clasp/clasp_app.cpp:20:
/usr/include/c++/5/bits/unique_ptr.h:49:28: note: declared here
template<typename> class auto_ptr;
^
g++ -o build/release/libclingo/src/clingocontrol.o -c -g -O2 -fPIE -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 -DWITH_THREADS=0 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibclingo -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src libclingo/src/clingocontrol.cc
In file included from libprogram_opts/program_opts/application.h:31:0,
from libclingo/clingo/clingocontrol.hh:36,
from libclingo/src/clingocontrol.cc:22:
libprogram_opts/program_opts/program_options.h:123:22: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
void addOption(std::auto_ptr<Option> option);
^
In file included from /usr/include/c++/5/memory:81:0,
from libgringo/gringo/value.hh:26,
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/gringo/output/output.hh:24,
from libclingo/clingo/clingocontrol.hh:25,
from libclingo/src/clingocontrol.cc:22:
/usr/include/c++/5/bits/unique_ptr.h:49:28: note: declared here
template<typename> class auto_ptr;
^
In file included from libclingo/src/clingocontrol.cc:24:0:
libprogram_opts/program_opts/typed_value.h: In member function 'bool ProgramOptions::NotifiedValue<T>::doParse(const string&, const string&)':
libprogram_opts/program_opts/typed_value.h:118:8: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
std::auto_ptr<T> holder;
^
In file included from /usr/include/c++/5/memory:81:0,
from libgringo/gringo/value.hh:26,
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/gringo/output/output.hh:24,
from libclingo/clingo/clingocontrol.hh:25,
from libclingo/src/clingocontrol.cc:22:
/usr/include/c++/5/bits/unique_ptr.h:49:28: note: declared here
template<typename> class auto_ptr;
^
ar rc build/release/libclingo.a build/release/libclingo/src/clingocontrol.o
ranlib build/release/libclingo.a
g++ -o build/release/libclasp/src/cb_enumerator.o -c -g -O2 -fPIE -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 -DWITH_THREADS=0 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/cb_enumerator.cpp
g++ -o build/release/libclasp/src/unfounded_check.o -c -g -O2 -fPIE -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 -DWITH_THREADS=0 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/unfounded_check.cpp
g++ -o build/release/libclasp/src/dependency_graph.o -c -g -O2 -fPIE -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 -DWITH_THREADS=0 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/dependency_graph.cpp
g++ -o build/release/libclasp/src/logic_program_types.o -c -g -O2 -fPIE -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 -DWITH_THREADS=0 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/logic_program_types.cpp
g++ -o build/release/libclasp/src/timer.o -c -g -O2 -fPIE -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 -DWITH_THREADS=0 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/timer.cpp
g++ -o build/release/libclasp/src/clasp_facade.o -c -g -O2 -fPIE -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 -DWITH_THREADS=0 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/clasp_facade.cpp
g++ -o build/release/libclasp/src/satelite.o -c -g -O2 -fPIE -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 -DWITH_THREADS=0 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/satelite.cpp
g++ -o build/release/libclasp/src/asp_preprocessor.o -c -g -O2 -fPIE -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 -DWITH_THREADS=0 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/asp_preprocessor.cpp
g++ -o build/release/libclasp/src/solver_types.o -c -g -O2 -fPIE -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 -DWITH_THREADS=0 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/solver_types.cpp
g++ -o build/release/libclasp/src/solver_strategies.o -c -g -O2 -fPIE -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 -DWITH_THREADS=0 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/solver_strategies.cpp
g++ -o build/release/libclasp/src/shared_context.o -c -g -O2 -fPIE -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 -DWITH_THREADS=0 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/shared_context.cpp
g++ -o build/release/libclasp/src/weight_constraint.o -c -g -O2 -fPIE -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 -DWITH_THREADS=0 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/weight_constraint.cpp
g++ -o build/release/libclasp/src/constraint.o -c -g -O2 -fPIE -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 -DWITH_THREADS=0 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/constraint.cpp
g++ -o build/release/libclasp/src/clasp_output.o -c -g -O2 -fPIE -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 -DWITH_THREADS=0 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/clasp_output.cpp
g++ -o build/release/libclasp/src/parser.o -c -g -O2 -fPIE -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 -DWITH_THREADS=0 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/parser.cpp
g++ -o build/release/libclasp/src/minimize_constraint.o -c -g -O2 -fPIE -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 -DWITH_THREADS=0 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/minimize_constraint.cpp
g++ -o build/release/libclasp/src/clause.o -c -g -O2 -fPIE -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 -DWITH_THREADS=0 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/clause.cpp
g++ -o build/release/libclasp/src/model_enumerators.o -c -g -O2 -fPIE -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 -DWITH_THREADS=0 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/model_enumerators.cpp
g++ -o build/release/libclasp/src/logic_program.o -c -g -O2 -fPIE -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 -DWITH_THREADS=0 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/logic_program.cpp
g++ -o build/release/libclasp/src/clasp_options.o -c -g -O2 -fPIE -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 -DWITH_THREADS=0 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/clasp_options.cpp
In file included from libclasp/src/clasp_options.cpp:24:0:
libprogram_opts/program_opts/program_options.h:123:22: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
void addOption(std::auto_ptr<Option> option);
^
In file included from /usr/include/c++/5/memory:81:0,
from libclasp/clasp/util/pod_vector.h:24,
from libclasp/clasp/pod_vector.h:23,
from libclasp/clasp/literal.h:28,
from libclasp/clasp/program_builder.h:28,
from libclasp/clasp/clasp_facade.h:39,
from libclasp/clasp/cli/clasp_options.h:28,
from libclasp/src/clasp_options.cpp:20:
/usr/include/c++/5/bits/unique_ptr.h:49:28: note: declared here
template<typename> class auto_ptr;
^
In file included from libclasp/src/clasp_options.cpp:25:0:
libprogram_opts/program_opts/typed_value.h: In member function 'bool ProgramOptions::NotifiedValue<T>::doParse(const string&, const string&)':
libprogram_opts/program_opts/typed_value.h:118:8: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
std::auto_ptr<T> holder;
^
In file included from /usr/include/c++/5/memory:81:0,
from libclasp/clasp/util/pod_vector.h:24,
from libclasp/clasp/pod_vector.h:23,
from libclasp/clasp/literal.h:28,
from libclasp/clasp/program_builder.h:28,
from libclasp/clasp/clasp_facade.h:39,
from libclasp/clasp/cli/clasp_options.h:28,
from libclasp/src/clasp_options.cpp:20:
/usr/include/c++/5/bits/unique_ptr.h:49:28: note: declared here
template<typename> class auto_ptr;
^
g++ -o build/release/libclasp/src/lookahead.o -c -g -O2 -fPIE -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 -DWITH_THREADS=0 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/lookahead.cpp
g++ -o build/release/libclasp/src/solver.o -c -g -O2 -fPIE -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 -DWITH_THREADS=0 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/solver.cpp
g++ -o build/release/libclasp/src/solve_algorithms.o -c -g -O2 -fPIE -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 -DWITH_THREADS=0 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/solve_algorithms.cpp
g++ -o build/release/libclasp/src/heuristics.o -c -g -O2 -fPIE -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 -DWITH_THREADS=0 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/heuristics.cpp
g++ -o build/release/libclasp/src/program_builder.o -c -g -O2 -fPIE -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 -DWITH_THREADS=0 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/program_builder.cpp
g++ -o build/release/libclasp/src/parallel_solve.o -c -g -O2 -fPIE -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 -DWITH_THREADS=0 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/parallel_solve.cpp
g++ -o build/release/libclasp/src/enumerator.o -c -g -O2 -fPIE -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 -DWITH_THREADS=0 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts libclasp/src/enumerator.cpp
ar rc build/release/libclasp.a build/release/libclasp/src/cb_enumerator.o build/release/libclasp/src/unfounded_check.o build/release/libclasp/src/dependency_graph.o build/release/libclasp/src/logic_program_types.o build/release/libclasp/src/timer.o build/release/libclasp/src/clasp_facade.o build/release/libclasp/src/satelite.o build/release/libclasp/src/asp_preprocessor.o build/release/libclasp/src/solver_types.o build/release/libclasp/src/solver_strategies.o build/release/libclasp/src/shared_context.o build/release/libclasp/src/weight_constraint.o build/release/libclasp/src/constraint.o build/release/libclasp/src/clasp_output.o build/release/libclasp/src/parser.o build/release/libclasp/src/minimize_constraint.o build/release/libclasp/src/clause.o build/release/libclasp/src/model_enumerators.o build/release/libclasp/src/logic_program.o build/release/libclasp/src/clasp_options.o build/release/libclasp/src/lookahead.o build/release/libclasp/src/solver.o build/release/libclasp/src/solve_algorithms.o build/release/libclasp/src/heuristics.o build/release/libclasp/src/program_builder.o build/release/libclasp/src/parallel_solve.o build/release/libclasp/src/enumerator.o
ranlib build/release/libclasp.a
g++ -o build/release/clingo -fPIE -pie -Wl,-z,relro -Wl,-z,now build/release/app/clingo/src/clingo_app.o build/release/app/clingo/src/main.o build/release/app/clingo/src/clasp/clasp_app.o -Lbuild/release build/release/libclingo.a build/release/libgringo.a build/release/libclasp.a build/release/libprogram_opts.a -lpython2.7 -llua5.3
g++ -o build/release/app/reify/main.o -c -g -O2 -fPIE -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 -Ilibprogram_opts -Ilibprogram_opts/src app/reify/main.cc
In file included from libprogram_opts/program_opts/application.h:31:0,
from app/reify/main.cc:21:
libprogram_opts/program_opts/program_options.h:123:22: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
void addOption(std::auto_ptr<Option> option);
^
In file included from /usr/include/c++/5/memory:81:0,
from libprogram_opts/program_opts/program_options.h:30,
from libprogram_opts/program_opts/application.h:31,
from app/reify/main.cc:21:
/usr/include/c++/5/bits/unique_ptr.h:49:28: note: declared here
template<typename> class auto_ptr;
^
In file included from app/reify/main.cc:22:0:
libprogram_opts/program_opts/typed_value.h: In member function 'bool ProgramOptions::NotifiedValue<T>::doParse(const string&, const string&)':
libprogram_opts/program_opts/typed_value.h:118:8: warning: 'template<class> class std::auto_ptr' is deprecated [-Wdeprecated-declarations]
std::auto_ptr<T> holder;
^
In file included from /usr/include/c++/5/memory:81:0,
from libprogram_opts/program_opts/program_options.h:30,
from libprogram_opts/program_opts/application.h:31,
from app/reify/main.cc:21:
/usr/include/c++/5/bits/unique_ptr.h:49:28: note: declared here
template<typename> class auto_ptr;
^
g++ -o build/release/libreify/src/program.o -c -g -O2 -fPIE -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 -Ilibprogram_opts -Ilibprogram_opts/src libreify/src/program.cc
re2c -o build/release/libreify/src/lexer.hh libreify/src/lexer.xh
g++ -o build/release/libreify/src/parser.o -c -g -O2 -fPIE -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 -Ilibprogram_opts -Ilibprogram_opts/src libreify/src/parser.cc
ar rc build/release/libreify.a build/release/libreify/src/program.o build/release/libreify/src/parser.o
ranlib build/release/libreify.a
g++ -o build/release/reify -fPIE -pie -Wl,-z,relro -Wl,-z,now build/release/app/reify/main.o -Lbuild/release build/release/libreify.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_strip -a
dh_makeshlibs -a
dh_shlibdeps -a
dh_installdeb -a
dh_gencontrol -a
dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe
dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe
dh_md5sums -a
dh_builddeb -a
dpkg-deb: building package 'gringo-dbgsym' in '../gringo-dbgsym_4.5.4-3_armhf.deb'.
dpkg-deb: building package 'gringo' in '../gringo_4.5.4-3_armhf.deb'.
dpkg-genchanges -B -mRaspbian wandboard test autobuilder <root@raspbian.org> >../gringo_4.5.4-3_armhf.changes
dpkg-genchanges: warning: package gringo-dbgsym listed in files list but not in control info
dpkg-genchanges: binary-only arch-specific upload (source code and arch-indep packages not included)
dpkg-source --after-build gringo-4.5.4
dpkg-buildpackage: binary-only upload (no source included)
--------------------------------------------------------------------------------
Build finished at 20160507-2145
Finished
--------
I: Built successfully
+------------------------------------------------------------------------------+
| Post Build Chroot |
+------------------------------------------------------------------------------+
+------------------------------------------------------------------------------+
| Changes |
+------------------------------------------------------------------------------+
gringo_4.5.4-3_armhf.changes:
-----------------------------
Format: 1.8
Date: Mon, 02 May 2016 07:18:34 +0200
Source: gringo
Binary: gringo
Architecture: armhf
Version: 4.5.4-3
Distribution: stretch-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
Changes:
gringo (4.5.4-3) unstable; urgency=medium
.
* Fix gringo-multi-solver.patch: this fixes an FTBFS on architectures
that have WITH_THREAD=0, i.e., all architectures except amd64 and
ppc64.
Checksums-Sha1:
b8512f7d6e59a2e6f52e4035c319fe5d1fa5655c 27011482 gringo-dbgsym_4.5.4-3_armhf.deb
d74001e9532849e6d2469c6503a850ca7f54fd10 1586178 gringo_4.5.4-3_armhf.deb
Checksums-Sha256:
56bda6a20ddaedf3cd1085d9dfb85c933f230537c2338c483ef98d638846619e 27011482 gringo-dbgsym_4.5.4-3_armhf.deb
43f29d555fbf0743fe3a18315685dc5e3291492ed12f17e847093aef55867703 1586178 gringo_4.5.4-3_armhf.deb
Files:
d9c02a452e6a5510becee8e6d536d2ab 27011482 debug extra gringo-dbgsym_4.5.4-3_armhf.deb
eb38adec3261c76b2ccf2ec4be0f81f6 1586178 interpreters extra gringo_4.5.4-3_armhf.deb
+------------------------------------------------------------------------------+
| Package contents |
+------------------------------------------------------------------------------+
gringo-dbgsym_4.5.4-3_armhf.deb
-------------------------------
new debian package, version 2.0.
size 27011482 bytes: control archive=605 bytes.
497 bytes, 13 lines control
318 bytes, 3 lines md5sums
Package: gringo-dbgsym
Source: gringo
Version: 4.5.4-3
Architecture: armhf
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Installed-Size: 27974
Depends: gringo (= 4.5.4-3)
Section: debug
Priority: extra
Homepage: http://potassco.sourceforge.net/
Description: Debug symbols for gringo
Auto-Built-Package: debug-symbols
Build-Ids: 38d0d1f2a5f91066e16685eb32faae6e5cce6313 d00a2285b59b8895091046fd5f2fbd74dad834eb d7c864c911d7445faf3bcedae287396a44003d8e
drwxr-xr-x root/root 0 2016-05-07 21:43 ./
drwxr-xr-x root/root 0 2016-05-07 21:43 ./usr/
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/lib/
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/lib/debug/
drwxr-xr-x root/root 0 2016-05-07 21:43 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root 0 2016-05-07 21:43 ./usr/lib/debug/.build-id/38/
-rw-r--r-- root/root 11824008 2016-05-07 21:43 ./usr/lib/debug/.build-id/38/d0d1f2a5f91066e16685eb32faae6e5cce6313.debug
drwxr-xr-x root/root 0 2016-05-07 21:43 ./usr/lib/debug/.build-id/d0/
-rw-r--r-- root/root 771096 2016-05-07 21:43 ./usr/lib/debug/.build-id/d0/0a2285b59b8895091046fd5f2fbd74dad834eb.debug
drwxr-xr-x root/root 0 2016-05-07 21:43 ./usr/lib/debug/.build-id/d7/
-rw-r--r-- root/root 16035932 2016-05-07 21:43 ./usr/lib/debug/.build-id/d7/c864c911d7445faf3bcedae287396a44003d8e.debug
drwxr-xr-x root/root 0 2016-05-07 21:43 ./usr/share/
drwxr-xr-x root/root 0 2016-05-07 21:43 ./usr/share/doc/
lrwxrwxrwx root/root 0 2016-05-07 21:43 ./usr/share/doc/gringo-dbgsym -> gringo
gringo_4.5.4-3_armhf.deb
------------------------
new debian package, version 2.0.
size 1586178 bytes: control archive=7673 bytes.
1156 bytes, 27 lines control
25095 bytes, 250 lines md5sums
Package: gringo
Version: 4.5.4-3
Architecture: armhf
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Installed-Size: 4887
Depends: libc6 (>= 2.4), libgcc1 (>= 1:3.5), liblua5.3-0, libpython2.7 (>= 2.7), libstdc++6 (>= 5.2)
Recommends: clasp
Conflicts: clingo, iclingo
Breaks: aspcud (<= 1.9.0-2)
Replaces: clingo, iclingo
Section: interpreters
Priority: extra
Homepage: http://potassco.sourceforge.net/
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: creates lparse-compatible variable-free programs.
- clingo: stands for clasp on gringo and combines both systems in
a monolithic way. Its input language is that of gringo and its
output corresponds to that of clasp.
- reify: small utility that reifies logic program, given in smodels
format. It produces a set of facts that can be processed further
with gringo.
drwxr-xr-x root/root 0 2016-05-07 21:43 ./
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/
drwxr-xr-x root/root 0 2016-05-07 21:43 ./usr/bin/
-rwxr-xr-x root/root 2233984 2016-05-07 21:43 ./usr/bin/clingo
-rwxr-xr-x root/root 1377380 2016-05-07 21:43 ./usr/bin/gringo
lrwxrwxrwx root/root 0 2016-05-07 21:42 ./usr/bin/iclingo -> clingo
lrwxrwxrwx root/root 0 2016-05-07 21:42 ./usr/bin/oclingo -> clingo
-rwxr-xr-x root/root 124468 2016-05-07 21:43 ./usr/bin/reify
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/
-rw-r--r-- root/root 1106 2015-07-10 11:52 ./usr/share/doc/gringo/README
-rw-r--r-- root/root 3062 2016-05-02 05:25 ./usr/share/doc/gringo/changelog.Debian.gz
-rw-r--r-- root/root 1953 2015-11-17 11:48 ./usr/share/doc/gringo/changelog.gz
-rw-r--r-- root/root 2497 2016-05-02 05:25 ./usr/share/doc/gringo/copyright
drwxr-xr-x root/root 0 2015-12-10 16:22 ./usr/share/doc/gringo/examples/
drwxr-xr-x root/root 0 2015-12-10 16:22 ./usr/share/doc/gringo/examples/clingo/
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/clingo/addclause/
-rw-r--r-- root/root 144 2014-06-07 19:05 ./usr/share/doc/gringo/examples/clingo/addclause/README
-rw-r--r-- root/root 383 2014-07-15 15:48 ./usr/share/doc/gringo/examples/clingo/addclause/addclause-lua.lp
-rw-r--r-- root/root 389 2014-07-15 15:48 ./usr/share/doc/gringo/examples/clingo/addclause/addclause-py.lp
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/clingo/blocksworld/
-rw-r--r-- root/root 530 2014-03-10 16:17 ./usr/share/doc/gringo/examples/clingo/blocksworld/README
-rw-r--r-- root/root 315 2014-03-10 16:11 ./usr/share/doc/gringo/examples/clingo/blocksworld/blocks_01.lp
-rw-r--r-- root/root 142 2014-06-19 14:08 ./usr/share/doc/gringo/examples/clingo/blocksworld/control_01.lua
-rw-r--r-- root/root 1239 2014-03-10 16:19 ./usr/share/doc/gringo/examples/clingo/blocksworld/control_01.out.gz
-rw-r--r-- root/root 2942 2014-06-19 14:08 ./usr/share/doc/gringo/examples/clingo/blocksworld/lua.lp
-rw-r--r-- root/root 298 2014-03-10 16:17 ./usr/share/doc/gringo/examples/clingo/blocksworld/lua_interpret.lp
-rw-r--r-- root/root 1297 2014-03-10 16:11 ./usr/share/doc/gringo/examples/clingo/blocksworld/world.lp.gz
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/clingo/commit/
-rw-r--r-- root/root 225 2014-04-23 14:32 ./usr/share/doc/gringo/examples/clingo/commit/README
-rw-r--r-- root/root 311 2014-06-19 14:14 ./usr/share/doc/gringo/examples/clingo/commit/commit-lua.lp
-rw-r--r-- root/root 294 2014-06-19 14:14 ./usr/share/doc/gringo/examples/clingo/commit/commit-py.lp
-rw-r--r-- root/root 63 2014-04-23 14:32 ./usr/share/doc/gringo/examples/clingo/commit/encoding.lp
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/clingo/consequences/
-rw-r--r-- root/root 184 2014-03-10 16:23 ./usr/share/doc/gringo/examples/clingo/consequences/README
-rw-r--r-- root/root 877 2014-07-15 15:48 ./usr/share/doc/gringo/examples/clingo/consequences/brave-lua.lp
-rw-r--r-- root/root 510 2014-07-15 15:48 ./usr/share/doc/gringo/examples/clingo/consequences/brave-py.lp
-rw-r--r-- root/root 156 2014-03-10 16:20 ./usr/share/doc/gringo/examples/clingo/consequences/example.lp
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/clingo/context/
-rw-r--r-- root/root 220 2014-07-10 13:02 ./usr/share/doc/gringo/examples/clingo/context/README
-rw-r--r-- root/root 459 2014-07-15 15:48 ./usr/share/doc/gringo/examples/clingo/context/context-lua.lp
-rw-r--r-- root/root 375 2014-07-15 15:48 ./usr/share/doc/gringo/examples/clingo/context/context-py.lp
-rw-r--r-- root/root 14 2014-07-10 13:02 ./usr/share/doc/gringo/examples/clingo/context/encoding.lp
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/clingo/controller-async/
-rw-r--r-- root/root 270 2015-02-28 01:16 ./usr/share/doc/gringo/examples/clingo/controller-async/README
-rw-r--r-- root/root 283 2015-02-28 01:16 ./usr/share/doc/gringo/examples/clingo/controller-async/client.lp
-rw-r--r-- root/root 1335 2015-03-30 18:40 ./usr/share/doc/gringo/examples/clingo/controller-async/controller.py.gz
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/clingo/controller-processes/
-rw-r--r-- root/root 342 2014-03-10 16:16 ./usr/share/doc/gringo/examples/clingo/controller-processes/README
-rw-r--r-- root/root 2370 2015-05-20 12:43 ./usr/share/doc/gringo/examples/clingo/controller-processes/client-lua.lp
-rw-r--r-- root/root 2365 2015-03-30 18:40 ./usr/share/doc/gringo/examples/clingo/controller-processes/client-py.lp
-rw-r--r-- root/root 283 2014-06-19 14:45 ./usr/share/doc/gringo/examples/clingo/controller-processes/client.lp
-rw-r--r-- root/root 3264 2014-06-19 14:45 ./usr/share/doc/gringo/examples/clingo/controller-processes/server.py
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/clingo/controller-threads/
-rw-r--r-- root/root 297 2015-02-26 14:31 ./usr/share/doc/gringo/examples/clingo/controller-threads/README
-rw-r--r-- root/root 283 2015-02-26 14:31 ./usr/share/doc/gringo/examples/clingo/controller-threads/client.lp
-rw-r--r-- root/root 1553 2015-04-08 13:03 ./usr/share/doc/gringo/examples/clingo/controller-threads/controller.py.gz
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/clingo/cover/
-rw-r--r-- root/root 197 2015-10-17 15:56 ./usr/share/doc/gringo/examples/clingo/cover/README
-rw-r--r-- root/root 1909 2015-10-17 15:56 ./usr/share/doc/gringo/examples/clingo/cover/control-lua.lp
-rw-r--r-- root/root 1654 2015-10-17 15:56 ./usr/share/doc/gringo/examples/clingo/cover/control-py.lp
-rw-r--r-- root/root 200 2015-10-17 15:56 ./usr/share/doc/gringo/examples/clingo/cover/cover.lp
-rw-r--r-- root/root 146 2015-10-17 15:56 ./usr/share/doc/gringo/examples/clingo/cover/instance.lp
-rw-r--r-- root/root 307 2015-10-17 15:56 ./usr/share/doc/gringo/examples/clingo/cover/preprocess.lp
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/clingo/domains/
-rw-r--r-- root/root 243 2014-11-21 12:20 ./usr/share/doc/gringo/examples/clingo/domains/README
-rw-r--r-- root/root 703 2014-11-21 12:20 ./usr/share/doc/gringo/examples/clingo/domains/domains-lua.lp
-rw-r--r-- root/root 612 2014-11-21 12:20 ./usr/share/doc/gringo/examples/clingo/domains/domains-py.lp
-rw-r--r-- root/root 51 2014-11-21 12:20 ./usr/share/doc/gringo/examples/clingo/domains/instance.lp
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/clingo/enum-assumption/
-rw-r--r-- root/root 316 2014-06-30 11:13 ./usr/share/doc/gringo/examples/clingo/enum-assumption/README
-rw-r--r-- root/root 507 2014-07-15 15:48 ./usr/share/doc/gringo/examples/clingo/enum-assumption/example-lua.lp
-rw-r--r-- root/root 497 2014-07-15 15:48 ./usr/share/doc/gringo/examples/clingo/enum-assumption/example-py.lp
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/clingo/expansion/
drwxr-xr-x root/root 0 2015-12-10 16:22 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/
drwxr-xr-x root/root 0 2015-12-10 16:22 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/encodings/
-rw-r--r-- root/root 595 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/encodings/encoding.lp
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/
-rw-r--r-- root/root 3362 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0004-graph_colouring-125-0.lp.gz
-rw-r--r-- root/root 3305 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0005-graph_colouring-125-0.lp.gz
-rw-r--r-- root/root 3194 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0007-graph_colouring-125-0.lp.gz
-rw-r--r-- root/root 3332 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0008-graph_colouring-125-0.lp.gz
-rw-r--r-- root/root 3415 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0013-graph_colouring-130-0.lp.gz
-rw-r--r-- root/root 3893 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0021-graph_colouring-135-0.lp.gz
-rw-r--r-- root/root 3987 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0022-graph_colouring-135-0.lp.gz
-rw-r--r-- root/root 3697 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0023-graph_colouring-135-0.lp.gz
-rw-r--r-- root/root 3918 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0025-graph_colouring-135-0.lp.gz
-rw-r--r-- root/root 4322 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0032-graph_colouring-140-0.lp.gz
-rw-r--r-- root/root 4172 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0036-graph_colouring-140-0.lp.gz
-rw-r--r-- root/root 4236 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0039-graph_colouring-140-0.lp.gz
-rw-r--r-- root/root 4306 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0040-graph_colouring-140-0.lp.gz
-rw-r--r-- root/root 4565 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0046-graph_colouring-145-0.lp.gz
-rw-r--r-- root/root 4290 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0047-graph_colouring-145-0.lp.gz
-rw-r--r-- root/root 4374 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0048-graph_colouring-145-0.lp.gz
-rw-r--r-- root/root 4352 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0050-graph_colouring-145-0.lp.gz
-rw-r--r-- root/root 4451 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0056-graph_colouring-150-0.lp.gz
-rw-r--r-- root/root 4636 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0059-graph_colouring-150-0.lp.gz
-rw-r--r-- root/root 4792 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0060-graph_colouring-150-0.lp.gz
drwxr-xr-x root/root 0 2015-12-10 16:22 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/
drwxr-xr-x root/root 0 2015-12-10 16:22 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/encodings/
-rw-r--r-- root/root 2288 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/encodings/encoding.lp
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/
-rw-r--r-- root/root 2604 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/100-partner_units-100-0.lp.gz
-rw-r--r-- root/root 2642 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/102-partner_units-100-0.lp.gz
-rw-r--r-- root/root 2644 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/114-partner_units_polynomial-100-0.lp.gz
-rw-r--r-- root/root 2614 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/115-partner_units_polynomial-100-0.lp.gz
-rw-r--r-- root/root 2634 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/119-partner_units_polynomial-100-0.lp.gz
-rw-r--r-- root/root 2604 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/127-partner_units_polynomial-100-0.lp.gz
-rw-r--r-- root/root 2643 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/153-partner_units-100-0.lp.gz
-rw-r--r-- root/root 2644 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/154-partner_units-100-0.lp.gz
-rw-r--r-- root/root 2607 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/156-partner_units-100-0.lp.gz
-rw-r--r-- root/root 2587 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/161-partner_units-100-0.lp.gz
-rw-r--r-- root/root 2464 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/175-partner_units_polynomial-75-0.lp.gz
-rw-r--r-- root/root 1227 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/180-partner_units_polynomial-47-0.lp.gz
-rw-r--r-- root/root 1874 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/188-partner_units_polynomial-57-0.lp.gz
-rw-r--r-- root/root 1456 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/196-partner_units_polynomial-59-0.lp.gz
-rw-r--r-- root/root 1954 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/26-partner_units_polynomial-60-0.lp.gz
-rw-r--r-- root/root 2610 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/52-partner_units_polynomial-100-0.lp.gz
-rw-r--r-- root/root 2593 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/58-partner_units_polynomial-100-0.lp.gz
-rw-r--r-- root/root 2625 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/69-partner_units_polynomial-100-0.lp.gz
-rw-r--r-- root/root 2610 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/91-partner_units-100-0.lp.gz
-rw-r--r-- root/root 2615 2015-05-04 15:14 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/99-partner_units-100-0.lp.gz
-rw-r--r-- root/root 1622 2015-05-05 10:49 ./usr/share/doc/gringo/examples/clingo/expansion/README
-rw-r--r-- root/root 1136 2015-05-05 10:49 ./usr/share/doc/gringo/examples/clingo/expansion/main.py.gz
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/clingo/external/
-rw-r--r-- root/root 123 2014-06-19 15:34 ./usr/share/doc/gringo/examples/clingo/external/README
-rw-r--r-- root/root 325 2014-07-15 15:48 ./usr/share/doc/gringo/examples/clingo/external/external-lua.lp
-rw-r--r-- root/root 326 2014-07-15 15:48 ./usr/share/doc/gringo/examples/clingo/external/external-py.lp
-rw-r--r-- root/root 137 2014-06-19 15:34 ./usr/share/doc/gringo/examples/clingo/external/external.lp
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/clingo/iclingo/
-rw-r--r-- root/root 430 2015-04-01 18:11 ./usr/share/doc/gringo/examples/clingo/iclingo/README
-rw-r--r-- root/root 178 2015-03-31 18:59 ./usr/share/doc/gringo/examples/clingo/iclingo/example.lp
-rw-r--r-- root/root 20 2015-04-01 18:11 ./usr/share/doc/gringo/examples/clingo/iclingo/incmode-int.lp
-rw-r--r-- root/root 1165 2015-06-01 18:16 ./usr/share/doc/gringo/examples/clingo/iclingo/incmode-lua.lp
-rw-r--r-- root/root 1051 2015-06-01 18:16 ./usr/share/doc/gringo/examples/clingo/iclingo/incmode-py.lp
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/clingo/include/
-rw-r--r-- root/root 127 2014-06-19 15:20 ./usr/share/doc/gringo/examples/clingo/include/README
-rw-r--r-- root/root 151 2014-06-19 15:20 ./usr/share/doc/gringo/examples/clingo/include/encoding-lua.lp
-rw-r--r-- root/root 146 2014-06-19 15:20 ./usr/share/doc/gringo/examples/clingo/include/encoding-py.lp
-rw-r--r-- root/root 6 2014-03-10 16:13 ./usr/share/doc/gringo/examples/clingo/include/include.lp
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/clingo/incqueens/
-rw-r--r-- root/root 304 2014-07-15 15:57 ./usr/share/doc/gringo/examples/clingo/incqueens/README
-rw-r--r-- root/root 491 2014-07-15 15:48 ./usr/share/doc/gringo/examples/clingo/incqueens/incqueens-lua.lp
-rw-r--r-- root/root 363 2015-03-30 18:40 ./usr/share/doc/gringo/examples/clingo/incqueens/incqueens-py.lp
-rw-r--r-- root/root 857 2014-03-10 16:22 ./usr/share/doc/gringo/examples/clingo/incqueens/incqueens.lp
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/clingo/ipython/
-rw-r--r-- root/root 555 2015-03-30 18:40 ./usr/share/doc/gringo/examples/clingo/ipython/README
-rw-r--r-- root/root 78 2014-07-01 15:36 ./usr/share/doc/gringo/examples/clingo/ipython/ipython.py
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/clingo/itersolve/
-rw-r--r-- root/root 147 2014-03-19 14:27 ./usr/share/doc/gringo/examples/clingo/itersolve/README
-rw-r--r-- root/root 553 2014-07-15 15:48 ./usr/share/doc/gringo/examples/clingo/itersolve/itersolve-lua.lp
-rw-r--r-- root/root 155 2014-07-15 15:48 ./usr/share/doc/gringo/examples/clingo/itersolve/itersolve-py.lp
-rw-r--r-- root/root 9 2014-03-17 19:29 ./usr/share/doc/gringo/examples/clingo/itersolve/program.lp
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/clingo/load/
-rw-r--r-- root/root 162 2015-03-30 18:40 ./usr/share/doc/gringo/examples/clingo/load/README
-rw-r--r-- root/root 445 2014-07-15 15:48 ./usr/share/doc/gringo/examples/clingo/load/load-lua.lp
-rw-r--r-- root/root 372 2014-07-15 15:48 ./usr/share/doc/gringo/examples/clingo/load/load-py.lp
-rw-r--r-- root/root 33 2014-03-10 16:23 ./usr/share/doc/gringo/examples/clingo/load/program.lp
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/clingo/onmodel/
-rw-r--r-- root/root 401 2014-06-07 14:51 ./usr/share/doc/gringo/examples/clingo/onmodel/README
-rw-r--r-- root/root 1164 2014-07-15 15:48 ./usr/share/doc/gringo/examples/clingo/onmodel/onmodel-lua.lp
-rw-r--r-- root/root 997 2014-07-15 15:48 ./usr/share/doc/gringo/examples/clingo/onmodel/onmodel-py.lp
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/clingo/planning/
-rw-r--r-- root/root 244 2014-07-15 15:48 ./usr/share/doc/gringo/examples/clingo/planning/README
-rw-r--r-- root/root 1148 2014-03-10 16:10 ./usr/share/doc/gringo/examples/clingo/planning/convert.lp
-rwxr-xr-x root/root 90 2014-03-10 16:19 ./usr/share/doc/gringo/examples/clingo/planning/convert.sh
-rw-r--r-- root/root 3241 2014-07-15 15:48 ./usr/share/doc/gringo/examples/clingo/planning/encoding.lp
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/clingo/planning/instances/
-rw-r--r-- root/root 726 2014-03-10 16:10 ./usr/share/doc/gringo/examples/clingo/planning/instances/coins01.lp.gz
-rw-r--r-- root/root 869 2014-03-10 16:10 ./usr/share/doc/gringo/examples/clingo/planning/instances/comm02.lp.gz
-rw-r--r-- root/root 1090 2014-03-10 16:10 ./usr/share/doc/gringo/examples/clingo/planning/instances/comm03.lp.gz
-rw-r--r-- root/root 1553 2014-03-10 16:10 ./usr/share/doc/gringo/examples/clingo/planning/instances/comm05.lp.gz
-rw-r--r-- root/root 1660 2014-03-10 16:10 ./usr/share/doc/gringo/examples/clingo/planning/instances/uts01.lp
-rw-r--r-- root/root 1057 2014-07-15 15:48 ./usr/share/doc/gringo/examples/clingo/planning/planning-lua.lp
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/clingo/pydoc/
-rw-r--r-- root/root 117 2014-07-01 15:36 ./usr/share/doc/gringo/examples/clingo/pydoc/README
-rwxr-xr-x root/root 369 2015-05-17 09:06 ./usr/share/doc/gringo/examples/clingo/pydoc/pydoc-lib.py
-rw-r--r-- root/root 397 2015-05-17 09:06 ./usr/share/doc/gringo/examples/clingo/pydoc/pydoc.lp
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/clingo/robots/
-rw-r--r-- root/root 530 2015-07-28 14:22 ./usr/share/doc/gringo/examples/clingo/robots/README
-rw-r--r-- root/root 1910 2014-10-05 14:55 ./usr/share/doc/gringo/examples/clingo/robots/board.lp
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/clingo/robots/img/
-rw-r--r-- root/root 680 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_blue_east.gif
-rw-r--r-- root/root 643 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_blue_north.gif
-rw-r--r-- root/root 657 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_blue_south.gif
-rw-r--r-- root/root 679 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_blue_west.gif
-rw-r--r-- root/root 697 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_green_east.gif
-rw-r--r-- root/root 704 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_green_north.gif
-rw-r--r-- root/root 714 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_green_south.gif
-rw-r--r-- root/root 690 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_green_west.gif
-rw-r--r-- root/root 680 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_red_east.gif
-rw-r--r-- root/root 643 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_red_north.gif
-rw-r--r-- root/root 657 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_red_south.gif
-rw-r--r-- root/root 679 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_red_west.gif
-rw-r--r-- root/root 680 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_yellow_east.gif
-rw-r--r-- root/root 640 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_yellow_north.gif
-rw-r--r-- root/root 658 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_yellow_south.gif
-rw-r--r-- root/root 679 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_yellow_west.gif
-rw-r--r-- root/root 1121 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/moon_blue.gif
-rw-r--r-- root/root 1137 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/moon_green.gif
-rw-r--r-- root/root 1121 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/moon_red.gif
-rw-r--r-- root/root 1120 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/moon_yellow.gif
-rw-r--r-- root/root 637 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/move_blue_east.gif
-rw-r--r-- root/root 634 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/move_blue_north.gif
-rw-r--r-- root/root 627 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/move_blue_south.gif
-rw-r--r-- root/root 647 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/move_blue_west.gif
-rw-r--r-- root/root 624 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/move_green_east.gif
-rw-r--r-- root/root 639 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/move_green_north.gif
-rw-r--r-- root/root 657 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/move_green_south.gif
-rw-r--r-- root/root 653 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/move_green_west.gif
-rw-r--r-- root/root 616 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/move_red_east.gif
-rw-r--r-- root/root 634 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/move_red_north.gif
-rw-r--r-- root/root 627 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/move_red_south.gif
-rw-r--r-- root/root 647 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/move_red_west.gif
-rw-r--r-- root/root 631 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/move_yellow_east.gif
-rw-r--r-- root/root 631 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/move_yellow_north.gif
-rw-r--r-- root/root 627 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/move_yellow_south.gif
-rw-r--r-- root/root 643 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/move_yellow_west.gif
-rw-r--r-- root/root 1415 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/random_robot.gif
-rw-r--r-- root/root 687 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/robot_blue.gif
-rw-r--r-- root/root 1142 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/robot_green.gif
-rw-r--r-- root/root 687 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/robot_red.gif
-rw-r--r-- root/root 685 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/robot_yellow.gif
-rw-r--r-- root/root 763 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/saturn_blue.gif
-rw-r--r-- root/root 825 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/saturn_green.gif
-rw-r--r-- root/root 763 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/saturn_red.gif
-rw-r--r-- root/root 763 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/saturn_yellow.gif
-rw-r--r-- root/root 721 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/star_blue.gif
-rw-r--r-- root/root 757 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/star_green.gif
-rw-r--r-- root/root 721 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/star_red.gif
-rw-r--r-- root/root 723 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/star_yellow.gif
-rw-r--r-- root/root 1147 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/sun_blue.gif
-rw-r--r-- root/root 1155 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/sun_green.gif
-rw-r--r-- root/root 1147 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/sun_red.gif
-rw-r--r-- root/root 1144 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/sun_yellow.gif
-rw-r--r-- root/root 1724 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/tile_left.gif
-rw-r--r-- root/root 1770 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/tile_right.gif
-rw-r--r-- root/root 1136 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/wall_north.gif
-rw-r--r-- root/root 1171 2014-10-06 16:36 ./usr/share/doc/gringo/examples/clingo/robots/img/wall_west.gif
-rw-r--r-- root/root 946 2015-03-30 18:08 ./usr/share/doc/gringo/examples/clingo/robots/robots.lp
-rw-r--r-- root/root 3956 2015-07-08 16:03 ./usr/share/doc/gringo/examples/clingo/robots/visualize.py.gz
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/clingo/setconf/
-rw-r--r-- root/root 137 2014-06-07 14:55 ./usr/share/doc/gringo/examples/clingo/setconf/README
-rw-r--r-- root/root 1500 2015-04-09 08:38 ./usr/share/doc/gringo/examples/clingo/setconf/setconf-lua.lp
-rw-r--r-- root/root 1483 2015-04-09 08:38 ./usr/share/doc/gringo/examples/clingo/setconf/setconf-py.lp
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/clingo/solitaire/
-rw-r--r-- root/root 1205 2015-03-30 18:40 ./usr/share/doc/gringo/examples/clingo/solitaire/README
-rw-r--r-- root/root 550 2014-03-25 17:57 ./usr/share/doc/gringo/examples/clingo/solitaire/instance.lp
-rw-r--r-- root/root 996 2015-04-01 18:11 ./usr/share/doc/gringo/examples/clingo/solitaire/solitaire.lp
-rw-r--r-- root/root 1545 2015-03-31 18:59 ./usr/share/doc/gringo/examples/clingo/solitaire/visualize.py.gz
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/clingo/solve-async/
-rw-r--r-- root/root 261 2014-06-26 15:03 ./usr/share/doc/gringo/examples/clingo/solve-async/README
-rw-r--r-- root/root 82 2014-06-27 14:05 ./usr/share/doc/gringo/examples/clingo/solve-async/program.lp
-rw-r--r-- root/root 503 2014-07-15 15:48 ./usr/share/doc/gringo/examples/clingo/solve-async/solve-async-lua.lp
-rw-r--r-- root/root 470 2014-07-15 15:48 ./usr/share/doc/gringo/examples/clingo/solve-async/solve-async-py.lp
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/clingo/stats/
-rw-r--r-- root/root 353 2014-03-10 16:17 ./usr/share/doc/gringo/examples/clingo/stats/README
-rw-r--r-- root/root 54 2015-05-29 15:17 ./usr/share/doc/gringo/examples/clingo/stats/example.lp
-rw-r--r-- root/root 365 2015-05-29 15:17 ./usr/share/doc/gringo/examples/clingo/stats/stats-lua.lp
-rw-r--r-- root/root 278 2015-05-29 15:17 ./usr/share/doc/gringo/examples/clingo/stats/stats-py.lp
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/clingo/unblock/
-rw-r--r-- root/root 343 2014-03-24 14:23 ./usr/share/doc/gringo/examples/clingo/unblock/README
-rw-r--r-- root/root 244 2014-03-24 14:23 ./usr/share/doc/gringo/examples/clingo/unblock/inst1.lp
-rw-r--r-- root/root 301 2014-03-24 14:38 ./usr/share/doc/gringo/examples/clingo/unblock/inst2.lp
-rw-r--r-- root/root 178 2014-03-24 14:38 ./usr/share/doc/gringo/examples/clingo/unblock/inst3.lp
-rw-r--r-- root/root 195 2014-03-24 14:23 ./usr/share/doc/gringo/examples/clingo/unblock/inst4.lp
-rw-r--r-- root/root 643 2014-03-24 14:38 ./usr/share/doc/gringo/examples/clingo/unblock/inst5.lp
-rw-r--r-- root/root 1671 2015-04-01 18:11 ./usr/share/doc/gringo/examples/clingo/unblock/unblock.lp
-rw-r--r-- root/root 1690 2015-03-31 18:59 ./usr/share/doc/gringo/examples/clingo/unblock/visualize.py.gz
drwxr-xr-x root/root 0 2015-12-10 16:22 ./usr/share/doc/gringo/examples/gringo/
drwxr-xr-x root/root 0 2015-12-10 16:22 ./usr/share/doc/gringo/examples/gringo/gbie/
-rw-r--r-- root/root 370 2014-03-10 16:19 ./usr/share/doc/gringo/examples/gringo/gbie/README
-rw-r--r-- root/root 1666 2014-03-10 16:10 ./usr/share/doc/gringo/examples/gringo/gbie/gbie1.lp
-rw-r--r-- root/root 933 2014-03-10 16:10 ./usr/share/doc/gringo/examples/gringo/gbie/gbie2.lp
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/gringo/gbie/instances/
-rw-r--r-- root/root 387 2014-03-10 16:10 ./usr/share/doc/gringo/examples/gringo/gbie/instances/sat_01.lp
-rw-r--r-- root/root 280983 2014-03-10 16:10 ./usr/share/doc/gringo/examples/gringo/gbie/instances/sat_02.lp.gz
-rw-r--r-- root/root 242374 2014-03-10 16:10 ./usr/share/doc/gringo/examples/gringo/gbie/instances/sat_03.lp.gz
-rw-r--r-- root/root 495 2014-03-10 16:10 ./usr/share/doc/gringo/examples/gringo/gbie/instances/unsat_01.lp
-rw-r--r-- root/root 248213 2014-03-10 16:10 ./usr/share/doc/gringo/examples/gringo/gbie/instances/unsat_02.lp.gz
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/gringo/queens/
-rw-r--r-- root/root 108 2014-07-15 15:57 ./usr/share/doc/gringo/examples/gringo/queens/README
-rw-r--r-- root/root 418 2015-03-30 18:40 ./usr/share/doc/gringo/examples/gringo/queens/queens1.lp
-rw-r--r-- root/root 492 2014-07-15 15:57 ./usr/share/doc/gringo/examples/gringo/queens/queens2.lp
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/gringo/rec-cond/
-rw-r--r-- root/root 112 2014-03-10 16:17 ./usr/share/doc/gringo/examples/gringo/rec-cond/README
-rw-r--r-- root/root 2446 2014-03-10 16:10 ./usr/share/doc/gringo/examples/gringo/rec-cond/encoding.lp
-rw-r--r-- root/root 2047 2014-03-10 16:10 ./usr/share/doc/gringo/examples/gringo/rec-cond/instance.lp
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/gringo/toh/
-rw-r--r-- root/root 201 2015-04-27 13:58 ./usr/share/doc/gringo/examples/gringo/toh/README
-rw-r--r-- root/root 504 2015-04-01 18:11 ./usr/share/doc/gringo/examples/gringo/toh/tohE.lp
-rw-r--r-- root/root 74 2014-03-10 16:22 ./usr/share/doc/gringo/examples/gringo/toh/tohI.lp
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/doc/gringo/examples/reify/
-rw-r--r-- root/root 857 2015-06-04 17:40 ./usr/share/doc/gringo/examples/reify/README
-rw-r--r-- root/root 138 2015-04-27 13:53 ./usr/share/doc/gringo/examples/reify/example1.lp
-rw-r--r-- root/root 1400 2015-06-15 20:07 ./usr/share/doc/gringo/examples/reify/example2.lp.gz
-rw-r--r-- root/root 2266 2015-06-04 17:40 ./usr/share/doc/gringo/examples/reify/meta.lp
-rw-r--r-- root/root 4010 2015-04-29 17:28 ./usr/share/doc/gringo/examples/reify/metaD.lp
-rw-r--r-- root/root 3941 2015-06-04 17:40 ./usr/share/doc/gringo/examples/reify/metaO.lp
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/man/
drwxr-xr-x root/root 0 2016-05-07 21:42 ./usr/share/man/man1/
-rw-r--r-- root/root 960 2016-05-07 21:42 ./usr/share/man/man1/clingo.1.gz
-rw-r--r-- root/root 995 2016-05-07 21:42 ./usr/share/man/man1/gringo.1.gz
lrwxrwxrwx root/root 0 2016-05-07 21:42 ./usr/share/man/man1/iclingo.1.gz -> clingo.1.gz
lrwxrwxrwx root/root 0 2016-05-07 21:42 ./usr/share/man/man1/oclingo.1.gz -> clingo.1.gz
-rw-r--r-- root/root 982 2016-05-07 21:42 ./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: 369900
Build-Time: 2453
Distribution: stretch-staging
Host Architecture: armhf
Install-Time: 281
Job: gringo_4.5.4-3
Machine Architecture: armhf
Package: gringo
Package-Time: 2779
Source-Version: 4.5.4-3
Space: 369900
Status: successful
Version: 4.5.4-3
--------------------------------------------------------------------------------
Finished at 20160507-2145
Build needed 00:46:19, 369900k disc space