gringo →
4.5.3-1 →
armhf → 2015-10-02 14:00:20
sbuild (Debian sbuild) 0.65.2 (24 Mar 2015) on bm-wb-01
╔══════════════════════════════════════════════════════════════════════════════╗
║ gringo 4.5.3-1 (armhf) 02 Oct 2015 13:11 ║
╚══════════════════════════════════════════════════════════════════════════════╝
Package: gringo
Version: 4.5.3-1
Source Version: 4.5.3-1
Distribution: stretch-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf
I: NOTICE: Log filtering will replace 'build/gringo-Dqo5M9/gringo-4.5.3' with '«PKGBUILDDIR»'
I: NOTICE: Log filtering will replace 'build/gringo-Dqo5M9' with '«BUILDDIR»'
I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/stretch-staging-armhf-sbuild-cd6a8967-6342-4861-9cb9-0042137d207e' with '«CHROOT»'
┌──────────────────────────────────────────────────────────────────────────────┐
│ Update chroot │
└──────────────────────────────────────────────────────────────────────────────┘
Get:1 http://172.17.0.1 stretch-staging InRelease [11.3 kB]
Get:2 http://172.17.0.1 stretch-staging/main Sources [8341 kB]
Get:3 http://172.17.0.1 stretch-staging/main armhf Packages [10.2 MB]
Ign http://172.17.0.1 stretch-staging/main Translation-en
Fetched 18.6 MB in 33s (556 kB/s)
Reading package lists...
┌──────────────────────────────────────────────────────────────────────────────┐
│ Fetch source files │
└──────────────────────────────────────────────────────────────────────────────┘
Check APT
─────────
Checking available source versions...
Download source files with APT
──────────────────────────────
Reading package lists...
Building dependency tree...
NOTICE: 'gringo' packaging is maintained in the 'Git' version control system at:
git://anonscm.debian.org/debian-science/packages/gringo.git
Need to get 1683 kB of source archives.
Get:1 http://172.17.0.1/private/ stretch-staging/main gringo 4.5.3-1 (dsc) [2053 B]
Get:2 http://172.17.0.1/private/ stretch-staging/main gringo 4.5.3-1 (tar) [1675 kB]
Get:3 http://172.17.0.1/private/ stretch-staging/main gringo 4.5.3-1 (diff) [6456 B]
Fetched 1683 kB in 0s (3870 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-Ql3aoZ/apt_archive/sbuild-build-depends-core-dummy.deb'.
OK
Ign file: ./ InRelease
Get:1 file: ./ Release.gpg [299 B]
Get:2 file: ./ Release [2119 B]
Ign file: ./ Translation-en
Reading package lists...
Reading package lists...
┌──────────────────────────────────────────────────────────────────────────────┐
│ Install core build dependencies (apt-based resolver) │
└──────────────────────────────────────────────────────────────────────────────┘
Installing build dependencies
Reading package lists...
Building dependency tree...
The following NEW packages will be installed:
sbuild-build-depends-core-dummy
debconf: delaying package configuration, since apt-utils is not installed
0 upgraded, 1 newly installed, 0 to remove and 27 not upgraded.
Need to get 0 B/768 B of archives.
After this operation, 0 B of additional disk space will be used.
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 ... 11982 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) ...
Merged Build-Depends: libc6-dev | libc-dev, gcc (>= 4:4.9.1), g++ (>= 4:4.9.1), make, dpkg-dev (>= 1.17.11), debhelper (>= 9), g++ (>= 4:4.8.0), scons, re2c, bison, liblua5.2-dev, libpython2.7-dev
Filtered Build-Depends: libc6-dev, gcc (>= 4:4.9.1), g++ (>= 4:4.9.1), make, dpkg-dev (>= 1.17.11), debhelper (>= 9), g++ (>= 4:4.8.0), scons, re2c, bison, liblua5.2-dev, libpython2.7-dev
dpkg-deb: building package 'sbuild-build-depends-gringo-dummy' in '/«BUILDDIR»/resolver-AhIPWL/apt_archive/sbuild-build-depends-gringo-dummy.deb'.
OK
Ign file: ./ InRelease
Get:1 file: ./ Release.gpg [299 B]
Get:2 file: ./ Release [2119 B]
Ign file: ./ Translation-en
Reading package lists...
Reading package lists...
┌──────────────────────────────────────────────────────────────────────────────┐
│ Install gringo build dependencies (apt-based resolver) │
└──────────────────────────────────────────────────────────────────────────────┘
Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following extra packages will be installed:
bison bsdmainutils debhelper file gettext gettext-base groff-base
intltool-debian libbison-dev libcroco3 libexpat1 libexpat1-dev libffi6
libglib2.0-0 libicu55 liblua5.2-0 liblua5.2-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.0 libtinfo-dev libunistring0 libxml2 m4 man-db
mime-support po-debconf python python-minimal python2.7 python2.7-minimal
re2c scons
Suggested packages:
bison-doc wamerican wordlist whois vacation dh-make gettext-doc autopoint
libasprintf-dev libgettextpo-dev groff readline-doc 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 xml-core libmail-sendmail-perl
The following NEW packages will be installed:
bison bsdmainutils debhelper file gettext gettext-base groff-base
intltool-debian libbison-dev libcroco3 libexpat1 libexpat1-dev libffi6
libglib2.0-0 libicu55 liblua5.2-0 liblua5.2-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.0 libtinfo-dev 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, 43 newly installed, 0 to remove and 27 not upgraded.
Need to get 51.8 MB/51.8 MB of archives.
After this operation, 122 MB of additional disk space will be used.
Get:1 http://172.17.0.1/private/ stretch-staging/main groff-base armhf 1.22.3-1 [1085 kB]
Get:2 http://172.17.0.1/private/ stretch-staging/main bsdmainutils armhf 9.0.6 [177 kB]
Get:3 http://172.17.0.1/private/ stretch-staging/main libpipeline1 armhf 1.4.1-1 [23.9 kB]
Get:4 http://172.17.0.1/private/ stretch-staging/main man-db armhf 2.7.3-1 [975 kB]
Get:5 http://172.17.0.1/private/ stretch-staging/main libpython2.7-minimal armhf 2.7.10-4 [379 kB]
Get:6 http://172.17.0.1/private/ stretch-staging/main python2.7-minimal armhf 2.7.10-4 [1092 kB]
Get:7 http://172.17.0.1/private/ stretch-staging/main python-minimal armhf 2.7.9-1 [40.1 kB]
Get:8 http://172.17.0.1/private/ stretch-staging/main mime-support all 3.59 [36.4 kB]
Get:9 http://172.17.0.1/private/ stretch-staging/main libexpat1 armhf 2.1.0-7 [59.8 kB]
Get:10 http://172.17.0.1/private/ stretch-staging/main libffi6 armhf 3.2.1-3 [18.5 kB]
Get:11 http://172.17.0.1/private/ stretch-staging/main libsqlite3-0 armhf 3.8.11.1-1 [391 kB]
Get:12 http://172.17.0.1/private/ stretch-staging/main libssl1.0.0 armhf 1.0.2d-1 [882 kB]
Get:13 http://172.17.0.1/private/ stretch-staging/main libpython2.7-stdlib armhf 2.7.10-4 [1736 kB]
Get:14 http://172.17.0.1/private/ stretch-staging/main python2.7 armhf 2.7.10-4 [258 kB]
Get:15 http://172.17.0.1/private/ stretch-staging/main libpython-stdlib armhf 2.7.9-1 [19.6 kB]
Get:16 http://172.17.0.1/private/ stretch-staging/main python armhf 2.7.9-1 [151 kB]
Get:17 http://172.17.0.1/private/ stretch-staging/main libglib2.0-0 armhf 2.44.1-1.1 [2312 kB]
Get:18 http://172.17.0.1/private/ stretch-staging/main libicu55 armhf 55.1-5 [7378 kB]
Get:19 http://172.17.0.1/private/ stretch-staging/main libxml2 armhf 2.9.2+zdfsg1-4 [797 kB]
Get:20 http://172.17.0.1/private/ stretch-staging/main libcroco3 armhf 0.6.8-3 [121 kB]
Get:21 http://172.17.0.1/private/ stretch-staging/main libsigsegv2 armhf 2.10-4 [28.2 kB]
Get:22 http://172.17.0.1/private/ stretch-staging/main libunistring0 armhf 0.9.3-5.2 [253 kB]
Get:23 http://172.17.0.1/private/ stretch-staging/main libmagic1 armhf 1:5.25-2 [250 kB]
Get:24 http://172.17.0.1/private/ stretch-staging/main file armhf 1:5.25-2 [61.2 kB]
Get:25 http://172.17.0.1/private/ stretch-staging/main gettext-base armhf 0.19.6-1 [119 kB]
Get:26 http://172.17.0.1/private/ stretch-staging/main libpython2.7 armhf 2.7.10-4 [907 kB]
Get:27 http://172.17.0.1/private/ stretch-staging/main m4 armhf 1.4.17-4 [238 kB]
Get:28 http://172.17.0.1/private/ stretch-staging/main libbison-dev armhf 2:3.0.4.dfsg-1 [433 kB]
Get:29 http://172.17.0.1/private/ stretch-staging/main bison armhf 2:3.0.4.dfsg-1 [744 kB]
Get:30 http://172.17.0.1/private/ stretch-staging/main gettext armhf 0.19.6-1 [1393 kB]
Get:31 http://172.17.0.1/private/ stretch-staging/main intltool-debian all 0.35.0+20060710.4 [26.3 kB]
Get:32 http://172.17.0.1/private/ stretch-staging/main po-debconf all 1.0.18 [248 kB]
Get:33 http://172.17.0.1/private/ stretch-staging/main debhelper all 9.20150811 [817 kB]
Get:34 http://172.17.0.1/private/ stretch-staging/main libexpat1-dev armhf 2.1.0-7 [114 kB]
Get:35 http://172.17.0.1/private/ stretch-staging/main liblua5.2-0 armhf 5.2.4-1 [82.9 kB]
Get:36 http://172.17.0.1/private/ stretch-staging/main libtinfo-dev armhf 6.0+20150810-1 [65.8 kB]
Get:37 http://172.17.0.1/private/ stretch-staging/main libreadline6-dev armhf 6.3-8+b3 [105 kB]
Get:38 http://172.17.0.1/private/ stretch-staging/main libreadline-dev armhf 6.3-8+b3 [958 B]
Get:39 http://172.17.0.1/private/ stretch-staging/main liblua5.2-dev armhf 5.2.4-1 [115 kB]
Get:40 http://172.17.0.1/private/ stretch-staging/main libpython2.7-dev armhf 2.7.10-4 [27.2 MB]
Get:41 http://172.17.0.1/private/ stretch-staging/main re2c armhf 0.13.5-1 [202 kB]
Get:42 http://172.17.0.1/private/ stretch-staging/main scons all 2.3.6-1 [532 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 51.8 MB in 12s (4085 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 ... 11982 files and directories currently installed.)
Preparing to unpack .../groff-base_1.22.3-1_armhf.deb ...
Unpacking groff-base (1.22.3-1) ...
Selecting previously unselected package bsdmainutils.
Preparing to unpack .../bsdmainutils_9.0.6_armhf.deb ...
Unpacking bsdmainutils (9.0.6) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../libpipeline1_1.4.1-1_armhf.deb ...
Unpacking libpipeline1:armhf (1.4.1-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../man-db_2.7.3-1_armhf.deb ...
Unpacking man-db (2.7.3-1) ...
Selecting previously unselected package libpython2.7-minimal:armhf.
Preparing to unpack .../libpython2.7-minimal_2.7.10-4_armhf.deb ...
Unpacking libpython2.7-minimal:armhf (2.7.10-4) ...
Selecting previously unselected package python2.7-minimal.
Preparing to unpack .../python2.7-minimal_2.7.10-4_armhf.deb ...
Unpacking python2.7-minimal (2.7.10-4) ...
Selecting previously unselected package python-minimal.
Preparing to unpack .../python-minimal_2.7.9-1_armhf.deb ...
Unpacking python-minimal (2.7.9-1) ...
Selecting previously unselected package mime-support.
Preparing to unpack .../mime-support_3.59_all.deb ...
Unpacking mime-support (3.59) ...
Selecting previously unselected package libexpat1:armhf.
Preparing to unpack .../libexpat1_2.1.0-7_armhf.deb ...
Unpacking libexpat1:armhf (2.1.0-7) ...
Selecting previously unselected package libffi6:armhf.
Preparing to unpack .../libffi6_3.2.1-3_armhf.deb ...
Unpacking libffi6:armhf (3.2.1-3) ...
Selecting previously unselected package libsqlite3-0:armhf.
Preparing to unpack .../libsqlite3-0_3.8.11.1-1_armhf.deb ...
Unpacking libsqlite3-0:armhf (3.8.11.1-1) ...
Selecting previously unselected package libssl1.0.0:armhf.
Preparing to unpack .../libssl1.0.0_1.0.2d-1_armhf.deb ...
Unpacking libssl1.0.0:armhf (1.0.2d-1) ...
Selecting previously unselected package libpython2.7-stdlib:armhf.
Preparing to unpack .../libpython2.7-stdlib_2.7.10-4_armhf.deb ...
Unpacking libpython2.7-stdlib:armhf (2.7.10-4) ...
Selecting previously unselected package python2.7.
Preparing to unpack .../python2.7_2.7.10-4_armhf.deb ...
Unpacking python2.7 (2.7.10-4) ...
Selecting previously unselected package libpython-stdlib:armhf.
Preparing to unpack .../libpython-stdlib_2.7.9-1_armhf.deb ...
Unpacking libpython-stdlib:armhf (2.7.9-1) ...
Setting up libpython2.7-minimal:armhf (2.7.10-4) ...
Setting up python2.7-minimal (2.7.10-4) ...
Setting up python-minimal (2.7.9-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 ... 13347 files and directories currently installed.)
Preparing to unpack .../python_2.7.9-1_armhf.deb ...
Unpacking python (2.7.9-1) ...
Selecting previously unselected package libglib2.0-0:armhf.
Preparing to unpack .../libglib2.0-0_2.44.1-1.1_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.44.1-1.1) ...
Selecting previously unselected package libicu55:armhf.
Preparing to unpack .../libicu55_55.1-5_armhf.deb ...
Unpacking libicu55:armhf (55.1-5) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../libxml2_2.9.2+zdfsg1-4_armhf.deb ...
Unpacking libxml2:armhf (2.9.2+zdfsg1-4) ...
Selecting previously unselected package libcroco3:armhf.
Preparing to unpack .../libcroco3_0.6.8-3_armhf.deb ...
Unpacking libcroco3:armhf (0.6.8-3) ...
Selecting previously unselected package libsigsegv2:armhf.
Preparing to unpack .../libsigsegv2_2.10-4_armhf.deb ...
Unpacking libsigsegv2:armhf (2.10-4) ...
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.6-1_armhf.deb ...
Unpacking gettext-base (0.19.6-1) ...
Selecting previously unselected package libpython2.7:armhf.
Preparing to unpack .../libpython2.7_2.7.10-4_armhf.deb ...
Unpacking libpython2.7:armhf (2.7.10-4) ...
Selecting previously unselected package m4.
Preparing to unpack .../archives/m4_1.4.17-4_armhf.deb ...
Unpacking m4 (1.4.17-4) ...
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 gettext.
Preparing to unpack .../gettext_0.19.6-1_armhf.deb ...
Unpacking gettext (0.19.6-1) ...
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.18_all.deb ...
Unpacking po-debconf (1.0.18) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../debhelper_9.20150811_all.deb ...
Unpacking debhelper (9.20150811) ...
Selecting previously unselected package libexpat1-dev:armhf.
Preparing to unpack .../libexpat1-dev_2.1.0-7_armhf.deb ...
Unpacking libexpat1-dev:armhf (2.1.0-7) ...
Selecting previously unselected package liblua5.2-0:armhf.
Preparing to unpack .../liblua5.2-0_5.2.4-1_armhf.deb ...
Unpacking liblua5.2-0:armhf (5.2.4-1) ...
Selecting previously unselected package libtinfo-dev:armhf.
Preparing to unpack .../libtinfo-dev_6.0+20150810-1_armhf.deb ...
Unpacking libtinfo-dev:armhf (6.0+20150810-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.2-dev:armhf.
Preparing to unpack .../liblua5.2-dev_5.2.4-1_armhf.deb ...
Unpacking liblua5.2-dev:armhf (5.2.4-1) ...
Selecting previously unselected package libpython2.7-dev:armhf.
Preparing to unpack .../libpython2.7-dev_2.7.10-4_armhf.deb ...
Unpacking libpython2.7-dev:armhf (2.7.10-4) ...
Selecting previously unselected package re2c.
Preparing to unpack .../re2c_0.13.5-1_armhf.deb ...
Unpacking re2c (0.13.5-1) ...
Selecting previously unselected package scons.
Preparing to unpack .../archives/scons_2.3.6-1_all.deb ...
Unpacking scons (2.3.6-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) ...
Setting up groff-base (1.22.3-1) ...
Setting up bsdmainutils (9.0.6) ...
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-1) ...
Setting up man-db (2.7.3-1) ...
Not building database; man-db/auto-update is not 'true'.
Setting up mime-support (3.59) ...
Setting up libexpat1:armhf (2.1.0-7) ...
Setting up libffi6:armhf (3.2.1-3) ...
Setting up libsqlite3-0:armhf (3.8.11.1-1) ...
Setting up libssl1.0.0:armhf (1.0.2d-1) ...
Setting up libpython2.7-stdlib:armhf (2.7.10-4) ...
Setting up python2.7 (2.7.10-4) ...
Setting up libpython-stdlib:armhf (2.7.9-1) ...
Setting up python (2.7.9-1) ...
Setting up libglib2.0-0:armhf (2.44.1-1.1) ...
No schema files found: doing nothing.
Setting up libicu55:armhf (55.1-5) ...
Setting up libxml2:armhf (2.9.2+zdfsg1-4) ...
Setting up libcroco3:armhf (0.6.8-3) ...
Setting up libsigsegv2:armhf (2.10-4) ...
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.6-1) ...
Setting up libpython2.7:armhf (2.7.10-4) ...
Setting up m4 (1.4.17-4) ...
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 gettext (0.19.6-1) ...
Setting up intltool-debian (0.35.0+20060710.4) ...
Setting up po-debconf (1.0.18) ...
Setting up debhelper (9.20150811) ...
Setting up libexpat1-dev:armhf (2.1.0-7) ...
Setting up liblua5.2-0:armhf (5.2.4-1) ...
Setting up libtinfo-dev:armhf (6.0+20150810-1) ...
Setting up libreadline6-dev:armhf (6.3-8+b3) ...
Setting up libreadline-dev:armhf (6.3-8+b3) ...
Setting up liblua5.2-dev:armhf (5.2.4-1) ...
Setting up libpython2.7-dev:armhf (2.7.10-4) ...
Setting up re2c (0.13.5-1) ...
Setting up scons (2.3.6-1) ...
Setting up sbuild-build-depends-gringo-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.19-19) ...
┌──────────────────────────────────────────────────────────────────────────────┐
│ Build environment │
└──────────────────────────────────────────────────────────────────────────────┘
Kernel: Linux 3.19.0-trunk-armmp armhf (armv7l)
Toolchain package versions: binutils_2.25.1-1 dpkg-dev_1.18.2 g++-5_5.2.1-17+rpi1 gcc-5_5.2.1-17+rpi1 libc6-dev_2.19-19 libstdc++-5-dev_5.2.1-17+rpi1 libstdc++6_5.2.1-17+rpi1 linux-libc-dev_3.16.7-ckt4-1+rpi1+b2
Package versions: adduser_3.113+nmu3 apt_1.0.10.2 base-files_9.4+rpi1 base-passwd_3.5.38 bash_4.3-14 binutils_2.25.1-1 bison_2:3.0.4.dfsg-1 bsdmainutils_9.0.6 bsdutils_1:2.26.2-9 build-essential_11.7 bzip2_1.0.6-8 coreutils_8.23-4 cpio_2.11+dfsg-4.1 cpp_4:5.2.1-4+rpi2 cpp-5_5.2.1-17+rpi1 dash_0.5.7-4 debconf_1.5.57 debconf-i18n_1.5.57 debfoster_2.7-2 debhelper_9.20150811 debianutils_4.5.1 diffutils_1:3.3-1 dmsetup_2:1.02.104-1 dpkg_1.18.2 dpkg-dev_1.18.2 e2fslibs_1.42.13-1 e2fsprogs_1.42.13-1 fakeroot_1.20.2-1 file_1:5.25-2 findutils_4.4.2-9 g++_4:5.2.1-4+rpi2 g++-5_5.2.1-17+rpi1 gcc_4:5.2.1-4+rpi2 gcc-4.6-base_4.6.4-5+rpi1 gcc-4.7-base_4.7.3-11+rpi1 gcc-4.8-base_4.8.4-4 gcc-4.9-base_4.9.3-4 gcc-5_5.2.1-17+rpi1 gcc-5-base_5.2.1-17+rpi1 gettext_0.19.6-1 gettext-base_0.19.6-1 gnupg_1.4.19-5 gpgv_1.4.19-5 grep_2.21-2 groff-base_1.22.3-1 gzip_1.6-4 hostname_3.16 init_1.23 init-system-helpers_1.23 initramfs-tools_0.120 initscripts_2.88dsf-59.2 insserv_1.14.0-5 intltool-debian_0.35.0+20060710.4 klibc-utils_2.0.4-2+rpi1 kmod_21-1 libacl1_2.2.52-2 libapparmor1_2.9.2-3 libapt-pkg4.16_1.0.10.2 libasan2_5.2.1-17+rpi1 libatomic1_5.2.1-17+rpi1 libattr1_1:2.4.47-2 libaudit-common_1:2.4.4-1 libaudit1_1:2.4.4-1 libbison-dev_2:3.0.4.dfsg-1 libblkid1_2.26.2-9 libbz2-1.0_1.0.6-8 libc-bin_2.19-19 libc-dev-bin_2.19-19 libc6_2.19-19 libc6-dev_2.19-19 libcap2_1:2.24-11 libcap2-bin_1:2.24-11 libcc1-0_5.2.1-17+rpi1 libcomerr2_1.42.13-1 libcroco3_0.6.8-3 libcryptsetup4_2:1.6.6-5 libdb5.3_5.3.28-11 libdbus-1-3_1.10.0-2 libdebconfclient0_0.195 libdevmapper1.02.1_2:1.02.104-1 libdpkg-perl_1.18.2 libdrm2_2.4.64-1 libexpat1_2.1.0-7 libexpat1-dev_2.1.0-7 libfakeroot_1.20.2-1 libfdisk1_2.26.2-9 libffi6_3.2.1-3 libgc1c2_1:7.2d-6.4 libgcc-5-dev_5.2.1-17+rpi1 libgcc1_1:5.2.1-17+rpi1 libgcrypt20_1.6.3-2 libgdbm3_1.8.3-13.1 libglib2.0-0_2.44.1-1.1 libgmp10_2:6.0.0+dfsg-7+rpi1 libgomp1_5.2.1-17+rpi1 libgpg-error0_1.20-1 libicu55_55.1-5 libisl13_0.14-2 libklibc_2.0.4-2+rpi1 libkmod2_21-1 liblocale-gettext-perl_1.05-9 liblua5.2-0_5.2.4-1 liblua5.2-dev_5.2.4-1 liblzma5_5.1.1alpha+20120614-2.1 libmagic1_1:5.25-2 libmount1_2.26.2-9 libmpc3_1.0.3-1 libmpfr4_3.1.3-1 libncurses5_6.0+20150810-1 libncursesw5_6.0+20150810-1 libnih-dbus1_1.0.3-4.3 libnih1_1.0.3-4.3 libpam-modules_1.1.8-3.1 libpam-modules-bin_1.1.8-3.1 libpam-runtime_1.1.8-3.1 libpam0g_1.1.8-3.1 libpcre3_2:8.35-7.1 libpipeline1_1.4.1-1 libpng12-0_1.2.50-2+b2 libprocps4_2:3.3.10-2 libpython-stdlib_2.7.9-1 libpython2.7_2.7.10-4 libpython2.7-dev_2.7.10-4 libpython2.7-minimal_2.7.10-4 libpython2.7-stdlib_2.7.10-4 libreadline-dev_6.3-8+b3 libreadline6_6.3-8+b3 libreadline6-dev_6.3-8+b3 libseccomp2_2.2.3-2 libselinux1_2.3-2 libsemanage-common_2.3-1 libsemanage1_2.3-1 libsepol1_2.3-2 libsigsegv2_2.10-4 libsmartcols1_2.26.2-9 libsqlite3-0_3.8.11.1-1 libss2_1.42.13-1 libssl1.0.0_1.0.2d-1 libstdc++-5-dev_5.2.1-17+rpi1 libstdc++6_5.2.1-17+rpi1 libsystemd0_225-1 libtext-charwidth-perl_0.04-7+b4 libtext-iconv-perl_1.7-5+b5 libtext-wrapi18n-perl_0.06-7.1 libtinfo-dev_6.0+20150810-1 libtinfo5_6.0+20150810-1 libubsan0_5.2.1-17+rpi1 libudev1_225-1 libunistring0_0.9.3-5.2 libusb-0.1-4_2:0.1.12-27 libustr-1.0-1_1.0.4-5 libuuid1_2.26.2-9 libxml2_2.9.2+zdfsg1-4 linux-libc-dev_3.16.7-ckt4-1+rpi1+b2 login_1:4.2-3 lsb-base_4.1+Debian13+rpi1+nmu1 m4_1.4.17-4 make_4.0-8.2 makedev_2.3.1-93 man-db_2.7.3-1 mawk_1.3.3-17 mime-support_3.59 mount_2.26.2-9 mountall_2.54 multiarch-support_2.19-19 ncurses-base_6.0+20150810-1 ncurses-bin_6.0+20150810-1 passwd_1:4.2-3 patch_2.7.5-1 perl_5.20.2-6 perl-base_5.20.2-6 perl-modules_5.20.2-6 plymouth_0.9.0-9 po-debconf_1.0.18 procps_2:3.3.10-2 python_2.7.9-1 python-minimal_2.7.9-1 python2.7_2.7.10-4 python2.7-minimal_2.7.10-4 raspbian-archive-keyring_20120528.2 re2c_0.13.5-1 readline-common_6.3-8 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-gringo-dummy_0.invalid.0 scons_2.3.6-1 sed_4.2.2-6.1 sensible-utils_0.0.9 startpar_0.59-3 systemd_225-1 systemd-sysv_225-1 sysv-rc_2.88dsf-59.2 sysvinit-utils_2.88dsf-59.2 tar_1.28-1 tzdata_2015f-1 udev_225-1 util-linux_2.26.2-9 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 Sat Sep 26 07:49:51 2015 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.3-1.dsc
dpkg-source: info: extracting gringo in gringo-4.5.3
dpkg-source: info: unpacking gringo_4.5.3.orig.tar.gz
dpkg-source: info: unpacking gringo_4.5.3-1.debian.tar.xz
dpkg-source: info: applying gringo-manpages.patch
Check disc space
────────────────
Sufficient free space for build
User Environment
────────────────
DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
LOGNAME=root
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-cd6a8967-6342-4861-9cb9-0042137d207e
SCHROOT_UID=104
SCHROOT_USER=buildd
SHELL=/bin/sh
TERM=vt102
USER=buildd
dpkg-buildpackage
─────────────────
dpkg-buildpackage: source package gringo
dpkg-buildpackage: source version 4.5.3-1
dpkg-buildpackage: source distribution unstable
dpkg-source --before-build gringo-4.5.3
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
debian/rules override_dh_auto_configure
make[1]: Entering directory '/«PKGBUILDDIR»'
scons configure --build-dir=release CXX='g++' WITH_LUA='lua5.2' WITH_PYTHON='python2.7' CPPPATH='${["/usr/include/lua5.2","/usr/include/python2.7"]}' CXXFLAGS='${["-g","-O2","-fPIE","-fstack-protector-strong","-Wformat","-Werror=format-security","-std=c++11","-O3","-Wall","-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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -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/python.o -c -g -O2 -fPIE -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -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:1498: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:1499: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:1504: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:1505: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:2635: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:2637: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:2639: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:2642: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:2644: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:2646: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:2648: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:2651: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:2653: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:2655: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:2657: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:2659: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:2661: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/lua.o -c -g -O2 -fPIE -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -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/terms.o -c -g -O2 -fPIE -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -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/term.o -c -g -O2 -fPIE -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -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/scripts.o -c -g -O2 -fPIE -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -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/output/aggregates.o -c -g -O2 -fPIE -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/output/aggregates.cc
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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ilibprogram_opts -Ilibprogram_opts/src libgringo/src/output/literals.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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -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/python.o build/release/libgringo/src/lua.o build/release/libgringo/src/terms.o build/release/libgringo/src/term.o build/release/libgringo/src/scripts.o build/release/libgringo/src/output/aggregates.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/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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -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.2
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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=0 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=0 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=0 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=0 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=0 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=0 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=0 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=0 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=0 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=0 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=0 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=0 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=0 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=0 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=0 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=0 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=0 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=0 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=0 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=0 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=0 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=0 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=0 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=0 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=0 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=0 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=0 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=0 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=0 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=0 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=0 -I/usr/include/lua5.2 -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.2
g++ -o build/release/app/reify/main.o -c -g -O2 -fPIE -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -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 -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.2 -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.2
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_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
dh_md5sums -a
dh_builddeb -a
dpkg-deb: building package 'gringo' in '../gringo_4.5.3-1_armhf.deb'.
dpkg-genchanges -B -mRaspbian wandboard test autobuilder <root@raspbian.org> >../gringo_4.5.3-1_armhf.changes
dpkg-genchanges: binary-only arch-specific upload (source code and arch-indep packages not included)
dpkg-source --after-build gringo-4.5.3
dpkg-buildpackage: binary-only upload (no source included)
────────────────────────────────────────────────────────────────────────────────
Build finished at 20151002-1359
Finished
────────
I: Built successfully
┌──────────────────────────────────────────────────────────────────────────────┐
│ Post Build Chroot │
└──────────────────────────────────────────────────────────────────────────────┘
┌──────────────────────────────────────────────────────────────────────────────┐
│ Changes │
└──────────────────────────────────────────────────────────────────────────────┘
gringo_4.5.3-1_armhf.changes:
─────────────────────────────
Format: 1.8
Date: Sat, 26 Sep 2015 09:31:03 +0200
Source: gringo
Binary: gringo
Architecture: armhf
Version: 4.5.3-1
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.3-1) unstable; urgency=medium
.
* Imported Upstream version 4.5.3
Checksums-Sha1:
5e1118e137a82644a467208c42e2af197a79060b 1583958 gringo_4.5.3-1_armhf.deb
Checksums-Sha256:
64bbf891e0bf52be0a0b8a2f14a1e1eb22ebd131eb2bff5bc936d4e438eecc03 1583958 gringo_4.5.3-1_armhf.deb
Files:
26c28df431d6ec3628469547e05f1481 1583958 interpreters extra gringo_4.5.3-1_armhf.deb
┌──────────────────────────────────────────────────────────────────────────────┐
│ Package contents │
└──────────────────────────────────────────────────────────────────────────────┘
gringo_4.5.3-1_armhf.deb
────────────────────────
new debian package, version 2.0.
size 1583958 bytes: control archive=7526 bytes.
1158 bytes, 27 lines control
24562 bytes, 244 lines md5sums
Package: gringo
Version: 4.5.3-1
Architecture: armhf
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Installed-Size: 4873
Depends: libc6 (>= 2.4), libgcc1 (>= 1:4.4.0), liblua5.2-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 2015-10-02 13:59 ./
drwxr-xr-x root/root 0 2015-10-02 13:58 ./usr/
drwxr-xr-x root/root 0 2015-10-02 13:59 ./usr/bin/
-rwxr-xr-x root/root 2233880 2015-10-02 13:59 ./usr/bin/clingo
-rwxr-xr-x root/root 1373180 2015-10-02 13:59 ./usr/bin/gringo
lrwxrwxrwx root/root 0 2015-10-02 13:58 ./usr/bin/iclingo -> clingo
lrwxrwxrwx root/root 0 2015-10-02 13:58 ./usr/bin/oclingo -> clingo
-rwxr-xr-x root/root 124364 2015-10-02 13:59 ./usr/bin/reify
drwxr-xr-x root/root 0 2015-10-02 13:58 ./usr/share/
drwxr-xr-x root/root 0 2015-10-02 13:58 ./usr/share/doc/
drwxr-xr-x root/root 0 2015-10-02 13:59 ./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 2805 2015-09-26 07:31 ./usr/share/doc/gringo/changelog.Debian.gz
-rw-r--r-- root/root 1856 2015-09-12 12:58 ./usr/share/doc/gringo/changelog.gz
-rw-r--r-- root/root 2497 2015-09-26 07:31 ./usr/share/doc/gringo/copyright
drwxr-xr-x root/root 0 2015-09-21 10:51 ./usr/share/doc/gringo/examples/
drwxr-xr-x root/root 0 2015-09-21 10:51 ./usr/share/doc/gringo/examples/clingo/
drwxr-xr-x root/root 0 2015-10-02 13:58 ./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 2015-10-02 13:58 ./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 2015-10-02 13:58 ./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 2015-10-02 13:58 ./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 2015-10-02 13:58 ./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 2015-10-02 13:58 ./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 2015-10-02 13:58 ./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 2015-10-02 13:58 ./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 2015-10-02 13:58 ./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 2015-10-02 13:58 ./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 2015-10-02 13:58 ./usr/share/doc/gringo/examples/clingo/expansion/
drwxr-xr-x root/root 0 2015-09-21 10:51 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/
drwxr-xr-x root/root 0 2015-09-21 10:51 ./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 2015-10-02 13:58 ./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-09-21 10:51 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/
drwxr-xr-x root/root 0 2015-09-21 10:51 ./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 2015-10-02 13:58 ./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 2015-10-02 13:58 ./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 2015-10-02 13:58 ./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 2015-10-02 13:58 ./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 2015-10-02 13:58 ./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 2015-10-02 13:58 ./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 2015-10-02 13:58 ./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 2015-10-02 13:58 ./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 2015-10-02 13:58 ./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 2015-10-02 13:58 ./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 2015-10-02 13:58 ./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 2015-10-02 13:58 ./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 2015-10-02 13:58 ./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 2015-10-02 13:58 ./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 2015-10-02 13:58 ./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 2015-10-02 13:58 ./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 2015-10-02 13:58 ./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 2015-10-02 13:58 ./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 2015-10-02 13:58 ./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-09-21 10:51 ./usr/share/doc/gringo/examples/gringo/
drwxr-xr-x root/root 0 2015-10-02 13:58 ./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 2015-10-02 13:59 ./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 2015-10-02 13:58 ./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 2015-10-02 13:58 ./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 2015-10-02 13:58 ./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 2015-10-02 13:59 ./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 2015-10-02 13:58 ./usr/share/man/
drwxr-xr-x root/root 0 2015-10-02 13:59 ./usr/share/man/man1/
-rw-r--r-- root/root 960 2015-10-02 13:58 ./usr/share/man/man1/clingo.1.gz
-rw-r--r-- root/root 995 2015-10-02 13:58 ./usr/share/man/man1/gringo.1.gz
lrwxrwxrwx root/root 0 2015-10-02 13:59 ./usr/share/man/man1/iclingo.1.gz -> clingo.1.gz
lrwxrwxrwx root/root 0 2015-10-02 13:59 ./usr/share/man/man1/oclingo.1.gz -> clingo.1.gz
-rw-r--r-- root/root 982 2015-10-02 13:58 ./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: 331820
Build-Time: 2580
Distribution: stretch-staging
Host Architecture: armhf
Install-Time: 263
Job: gringo_4.5.3-1
Machine Architecture: armhf
Package: gringo
Package-Time: 2899
Source-Version: 4.5.3-1
Space: 331820
Status: successful
Version: 4.5.3-1
────────────────────────────────────────────────────────────────────────────────
Finished at 20151002-1359
Build needed 00:48:19, 331820k disc space