gringo →
5.1.0-4 →
armhf → 2016-12-31 15:43:46
sbuild (Debian sbuild) 0.71.0 (24 Aug 2016) on testwandboard
+==============================================================================+
| gringo 5.1.0-4 (armhf) Sat, 31 Dec 2016 14:40:59 +0000 |
+==============================================================================+
Package: gringo
Version: 5.1.0-4
Source Version: 5.1.0-4
Distribution: stretch-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf
I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/stretch-staging-armhf-sbuild-66144a3e-6364-4d62-a01e-6c3798b5c3a6' with '<<CHROOT>>'
+------------------------------------------------------------------------------+
| Update chroot |
+------------------------------------------------------------------------------+
Get:1 http://172.17.0.1/private stretch-staging InRelease [11.3 kB]
Get:2 http://172.17.0.1/private stretch-staging/main Sources [9685 kB]
Get:3 http://172.17.0.1/private stretch-staging/main armhf Packages [11.6 MB]
Fetched 21.3 MB in 26s (803 kB/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
+------------------------------------------------------------------------------+
| Fetch source files |
+------------------------------------------------------------------------------+
Check APT
---------
Checking available source versions...
Download source files with APT
------------------------------
Reading package lists...
NOTICE: 'gringo' packaging is maintained in the 'Git' version control system at:
https://anonscm.debian.org/git/debian-science/packages/gringo.git
Please use:
git clone https://anonscm.debian.org/git/debian-science/packages/gringo.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 2248 kB of source archives.
Get:1 http://172.17.0.1/private stretch-staging/main gringo 5.1.0-4 (dsc) [2023 B]
Get:2 http://172.17.0.1/private stretch-staging/main gringo 5.1.0-4 (tar) [2233 kB]
Get:3 http://172.17.0.1/private stretch-staging/main gringo 5.1.0-4 (diff) [13.5 kB]
Fetched 2248 kB in 1s (2031 kB/s)
Download complete and in download only mode
I: NOTICE: Log filtering will replace 'build/gringo-QsaGBu/gringo-5.1.0' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/gringo-QsaGBu' with '<<BUILDDIR>>'
+------------------------------------------------------------------------------+
| Install build-essential |
+------------------------------------------------------------------------------+
Setup apt archive
-----------------
Merged Build-Depends: build-essential, fakeroot
Filtered Build-Depends: build-essential, fakeroot
dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<<BUILDDIR>>/resolver-6u94Db/apt_archive/sbuild-build-depends-core-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning: sbuild-build-depends-core-dummy
dpkg-scanpackages: info: Wrote 1 entries to output Packages file.
gpg: keybox '/<<BUILDDIR>>/resolver-6u94Db/gpg/pubring.kbx' created
gpg: /<<BUILDDIR>>/resolver-6u94Db/gpg/trustdb.gpg: trustdb created
gpg: key 35506D9A48F77B2E: public key "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" imported
gpg: Total number processed: 1
gpg: imported: 1
gpg: key 35506D9A48F77B2E: "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" not changed
gpg: key 35506D9A48F77B2E: secret key imported
gpg: Total number processed: 1
gpg: unchanged: 1
gpg: secret keys read: 1
gpg: secret keys imported: 1
gpg: using "Sbuild Signer" as default secret key for signing
Ign:1 copy:/<<BUILDDIR>>/resolver-6u94Db/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-6u94Db/apt_archive ./ Release [957 B]
Get:3 copy:/<<BUILDDIR>>/resolver-6u94Db/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-6u94Db/apt_archive ./ Sources [349 B]
Get:5 copy:/<<BUILDDIR>>/resolver-6u94Db/apt_archive ./ Packages [429 B]
Fetched 2105 B in 0s (3159 B/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...
Install core build dependencies (apt-based resolver)
----------------------------------------------------
Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following packages were automatically installed and are no longer required:
fuse2fs gnupg-l10n kbd libfuse2 manpages netbase psmisc
Use 'apt autoremove' to remove them.
The following NEW packages will be installed:
sbuild-build-depends-core-dummy
0 upgraded, 1 newly installed, 0 to remove and 51 not upgraded.
Need to get 776 B of archives.
After this operation, 0 B of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-6u94Db/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [776 B]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 776 B in 0s (0 B/s)
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ... 13244 files and directories currently installed.)
Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ...
Setting up sbuild-build-depends-core-dummy (0.invalid.0) ...
W: No sandbox user '_apt' on the system, can not drop privileges
+------------------------------------------------------------------------------+
| Check architectures |
+------------------------------------------------------------------------------+
Arch check ok (armhf included in any)
+------------------------------------------------------------------------------+
| Install package build dependencies |
+------------------------------------------------------------------------------+
Setup apt archive
-----------------
Merged Build-Depends: debhelper (>= 9), g++ (>= 4:6.1.1), scons, re2c, bison, liblua5.3-dev, libpython2.7-dev
Filtered Build-Depends: debhelper (>= 9), g++ (>= 4:6.1.1), scons, re2c, bison, liblua5.3-dev, libpython2.7-dev
dpkg-deb: building package 'sbuild-build-depends-gringo-dummy' in '/<<BUILDDIR>>/resolver-6u94Db/apt_archive/sbuild-build-depends-gringo-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning: sbuild-build-depends-core-dummy sbuild-build-depends-gringo-dummy
dpkg-scanpackages: info: Wrote 2 entries to output Packages file.
gpg: using "Sbuild Signer" as default secret key for signing
Ign:1 copy:/<<BUILDDIR>>/resolver-6u94Db/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-6u94Db/apt_archive ./ Release [963 B]
Get:3 copy:/<<BUILDDIR>>/resolver-6u94Db/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-6u94Db/apt_archive ./ Sources [530 B]
Get:5 copy:/<<BUILDDIR>>/resolver-6u94Db/apt_archive ./ Packages [614 B]
Fetched 2477 B in 0s (3908 B/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...
Install gringo build dependencies (apt-based resolver)
------------------------------------------------------
Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following packages were automatically installed and are no longer required:
fuse2fs gnupg-l10n kbd libfuse2 manpages netbase psmisc
Use 'apt autoremove' to remove them.
The following additional packages will be installed:
autoconf automake autopoint autotools-dev bison bsdmainutils debhelper
dh-autoreconf dh-strip-nondeterminism file gettext gettext-base groff-base
intltool-debian libarchive-zip-perl libbison-dev libbsd0 libcroco3 libexpat1
libexpat1-dev libffi6 libfile-stripnondeterminism-perl libglib2.0-0 libicu57
liblua5.3-0 liblua5.3-dev libmagic-mgc libmagic1 libncurses5 libncursesw5
libpipeline1 libpython-stdlib libpython2.7 libpython2.7-dev
libpython2.7-minimal libpython2.7-stdlib libreadline-dev libsigsegv2
libssl1.1 libtimedate-perl libtinfo-dev libtinfo5 libtool libunistring0
libxml2 m4 man-db mime-support po-debconf python python-minimal python2.7
python2.7-minimal re2c scons
Suggested packages:
autoconf-archive gnu-standards autoconf-doc bison-doc wamerican | wordlist
whois vacation dh-make gettext-doc libasprintf-dev libgettextpo-dev groff
readline-doc libtool-doc gfortran | fortran95-compiler gcj-jdk less
www-browser libmail-box-perl python-doc python-tk python2.7-doc
binfmt-support
Recommended packages:
curl | wget | lynx-cur libglib2.0-data shared-mime-info xdg-user-dirs
pkg-config libtool-bin libgpm2 libltdl-dev xml-core libmail-sendmail-perl
The following NEW packages will be installed:
autoconf automake autopoint autotools-dev bison bsdmainutils debhelper
dh-autoreconf dh-strip-nondeterminism file gettext gettext-base groff-base
intltool-debian libarchive-zip-perl libbison-dev libbsd0 libcroco3 libexpat1
libexpat1-dev libffi6 libfile-stripnondeterminism-perl libglib2.0-0 libicu57
liblua5.3-0 liblua5.3-dev libmagic-mgc libmagic1 libpipeline1
libpython-stdlib libpython2.7 libpython2.7-dev libpython2.7-minimal
libpython2.7-stdlib libreadline-dev libsigsegv2 libssl1.1 libtimedate-perl
libtinfo-dev libtool libunistring0 libxml2 m4 man-db mime-support po-debconf
python python-minimal python2.7 python2.7-minimal re2c
sbuild-build-depends-gringo-dummy scons
The following packages will be upgraded:
libncurses5 libncursesw5 libtinfo5
3 upgraded, 53 newly installed, 0 to remove and 48 not upgraded.
Need to get 55.5 MB/55.5 MB of archives.
After this operation, 131 MB of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-6u94Db/apt_archive ./ sbuild-build-depends-gringo-dummy 0.invalid.0 [822 B]
Get:2 http://172.17.0.1/private stretch-staging/main armhf groff-base armhf 1.22.3-9 [1005 kB]
Get:3 http://172.17.0.1/private stretch-staging/main armhf libbsd0 armhf 0.8.3-1 [89.0 kB]
Get:4 http://172.17.0.1/private stretch-staging/main armhf libncurses5 armhf 6.0+20161126-1 [74.0 kB]
Get:5 http://172.17.0.1/private stretch-staging/main armhf libtinfo5 armhf 6.0+20161126-1 [288 kB]
Get:6 http://172.17.0.1/private stretch-staging/main armhf libncursesw5 armhf 6.0+20161126-1 [93.4 kB]
Get:7 http://172.17.0.1/private stretch-staging/main armhf bsdmainutils armhf 9.0.12 [178 kB]
Get:8 http://172.17.0.1/private stretch-staging/main armhf libpipeline1 armhf 1.4.1-2 [23.7 kB]
Get:9 http://172.17.0.1/private stretch-staging/main armhf man-db armhf 2.7.6.1-2 [1014 kB]
Get:10 http://172.17.0.1/private stretch-staging/main armhf libpython2.7-minimal armhf 2.7.13-1 [389 kB]
Get:11 http://172.17.0.1/private stretch-staging/main armhf python2.7-minimal armhf 2.7.13-1 [1180 kB]
Get:12 http://172.17.0.1/private stretch-staging/main armhf python-minimal armhf 2.7.11-2 [40.3 kB]
Get:13 http://172.17.0.1/private stretch-staging/main armhf mime-support all 3.60 [36.7 kB]
Get:14 http://172.17.0.1/private stretch-staging/main armhf libexpat1 armhf 2.2.0-1 [61.7 kB]
Get:15 http://172.17.0.1/private stretch-staging/main armhf libssl1.1 armhf 1.1.0c-2 [1101 kB]
Get:16 http://172.17.0.1/private stretch-staging/main armhf libpython2.7-stdlib armhf 2.7.13-1 [1828 kB]
Get:17 http://172.17.0.1/private stretch-staging/main armhf python2.7 armhf 2.7.13-1 [285 kB]
Get:18 http://172.17.0.1/private stretch-staging/main armhf libpython-stdlib armhf 2.7.11-2 [19.8 kB]
Get:19 http://172.17.0.1/private stretch-staging/main armhf python armhf 2.7.11-2 [153 kB]
Get:20 http://172.17.0.1/private stretch-staging/main armhf libmagic-mgc armhf 1:5.29-2 [221 kB]
Get:21 http://172.17.0.1/private stretch-staging/main armhf libmagic1 armhf 1:5.29-2 [104 kB]
Get:22 http://172.17.0.1/private stretch-staging/main armhf file armhf 1:5.29-2 [63.1 kB]
Get:23 http://172.17.0.1/private stretch-staging/main armhf gettext-base armhf 0.19.8.1-1 [117 kB]
Get:24 http://172.17.0.1/private stretch-staging/main armhf libpython2.7 armhf 2.7.13-1 [914 kB]
Get:25 http://172.17.0.1/private stretch-staging/main armhf libicu57 armhf 57.1-5 [7427 kB]
Get:26 http://172.17.0.1/private stretch-staging/main armhf libxml2 armhf 2.9.4+dfsg1-2.1 [804 kB]
Get:27 http://172.17.0.1/private stretch-staging/main armhf libsigsegv2 armhf 2.10-5 [28.4 kB]
Get:28 http://172.17.0.1/private stretch-staging/main armhf m4 armhf 1.4.17-5 [239 kB]
Get:29 http://172.17.0.1/private stretch-staging/main armhf autoconf all 2.69-10 [338 kB]
Get:30 http://172.17.0.1/private stretch-staging/main armhf autotools-dev all 20161112.1 [73.4 kB]
Get:31 http://172.17.0.1/private stretch-staging/main armhf automake all 1:1.15-5 [733 kB]
Get:32 http://172.17.0.1/private stretch-staging/main armhf autopoint all 0.19.8.1-1 [433 kB]
Get:33 http://172.17.0.1/private stretch-staging/main armhf libbison-dev armhf 2:3.0.4.dfsg-1 [433 kB]
Get:34 http://172.17.0.1/private stretch-staging/main armhf bison armhf 2:3.0.4.dfsg-1 [744 kB]
Get:35 http://172.17.0.1/private stretch-staging/main armhf libtool all 2.4.6-2 [545 kB]
Get:36 http://172.17.0.1/private stretch-staging/main armhf dh-autoreconf all 12 [15.8 kB]
Get:37 http://172.17.0.1/private stretch-staging/main armhf libarchive-zip-perl all 1.59-1 [95.5 kB]
Get:38 http://172.17.0.1/private stretch-staging/main armhf libfile-stripnondeterminism-perl all 0.028-1 [14.6 kB]
Get:39 http://172.17.0.1/private stretch-staging/main armhf libtimedate-perl all 2.3000-2 [42.2 kB]
Get:40 http://172.17.0.1/private stretch-staging/main armhf dh-strip-nondeterminism all 0.028-1 [9020 B]
Get:41 http://172.17.0.1/private stretch-staging/main armhf libglib2.0-0 armhf 2.50.2-2 [2527 kB]
Get:42 http://172.17.0.1/private stretch-staging/main armhf libcroco3 armhf 0.6.11-2 [131 kB]
Get:43 http://172.17.0.1/private stretch-staging/main armhf libunistring0 armhf 0.9.6+really0.9.3-0.1 [252 kB]
Get:44 http://172.17.0.1/private stretch-staging/main armhf gettext armhf 0.19.8.1-1 [1433 kB]
Get:45 http://172.17.0.1/private stretch-staging/main armhf intltool-debian all 0.35.0+20060710.4 [26.3 kB]
Get:46 http://172.17.0.1/private stretch-staging/main armhf po-debconf all 1.0.20 [247 kB]
Get:47 http://172.17.0.1/private stretch-staging/main armhf debhelper all 10.2.2 [826 kB]
Get:48 http://172.17.0.1/private stretch-staging/main armhf libexpat1-dev armhf 2.2.0-1 [117 kB]
Get:49 http://172.17.0.1/private stretch-staging/main armhf liblua5.3-0 armhf 5.3.1-1.1 [93.7 kB]
Get:50 http://172.17.0.1/private stretch-staging/main armhf libtinfo-dev armhf 6.0+20161126-1 [65.3 kB]
Get:51 http://172.17.0.1/private stretch-staging/main armhf libreadline-dev armhf 7.0-1 [109 kB]
Get:52 http://172.17.0.1/private stretch-staging/main armhf liblua5.3-dev armhf 5.3.1-1.1 [129 kB]
Get:53 http://172.17.0.1/private stretch-staging/main armhf libpython2.7-dev armhf 2.7.13-1 [27.6 MB]
Get:54 http://172.17.0.1/private stretch-staging/main armhf re2c armhf 0.16-1 [204 kB]
Get:55 http://172.17.0.1/private stretch-staging/main armhf scons all 2.5.0-2 [525 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 55.5 MB in 18s (2978 kB/s)
Selecting previously unselected package groff-base.
(Reading database ... 13244 files and directories currently installed.)
Preparing to unpack .../0-groff-base_1.22.3-9_armhf.deb ...
Unpacking groff-base (1.22.3-9) ...
Selecting previously unselected package libbsd0:armhf.
Preparing to unpack .../1-libbsd0_0.8.3-1_armhf.deb ...
Unpacking libbsd0:armhf (0.8.3-1) ...
Preparing to unpack .../2-libncurses5_6.0+20161126-1_armhf.deb ...
Unpacking libncurses5:armhf (6.0+20161126-1) over (6.0+20160917-1) ...
Preparing to unpack .../3-libtinfo5_6.0+20161126-1_armhf.deb ...
Unpacking libtinfo5:armhf (6.0+20161126-1) over (6.0+20160917-1) ...
Setting up libtinfo5:armhf (6.0+20161126-1) ...
(Reading database ... 13436 files and directories currently installed.)
Preparing to unpack .../libncursesw5_6.0+20161126-1_armhf.deb ...
Unpacking libncursesw5:armhf (6.0+20161126-1) over (6.0+20160917-1) ...
Setting up libncursesw5:armhf (6.0+20161126-1) ...
Selecting previously unselected package bsdmainutils.
(Reading database ... 13436 files and directories currently installed.)
Preparing to unpack .../00-bsdmainutils_9.0.12_armhf.deb ...
Unpacking bsdmainutils (9.0.12) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../01-libpipeline1_1.4.1-2_armhf.deb ...
Unpacking libpipeline1:armhf (1.4.1-2) ...
Selecting previously unselected package man-db.
Preparing to unpack .../02-man-db_2.7.6.1-2_armhf.deb ...
Unpacking man-db (2.7.6.1-2) ...
Selecting previously unselected package libpython2.7-minimal:armhf.
Preparing to unpack .../03-libpython2.7-minimal_2.7.13-1_armhf.deb ...
Unpacking libpython2.7-minimal:armhf (2.7.13-1) ...
Selecting previously unselected package python2.7-minimal.
Preparing to unpack .../04-python2.7-minimal_2.7.13-1_armhf.deb ...
Unpacking python2.7-minimal (2.7.13-1) ...
Selecting previously unselected package python-minimal.
Preparing to unpack .../05-python-minimal_2.7.11-2_armhf.deb ...
Unpacking python-minimal (2.7.11-2) ...
Selecting previously unselected package mime-support.
Preparing to unpack .../06-mime-support_3.60_all.deb ...
Unpacking mime-support (3.60) ...
Selecting previously unselected package libexpat1:armhf.
Preparing to unpack .../07-libexpat1_2.2.0-1_armhf.deb ...
Unpacking libexpat1:armhf (2.2.0-1) ...
Selecting previously unselected package libffi6:armhf.
Preparing to unpack .../08-libffi6_3.2.1-6_armhf.deb ...
Unpacking libffi6:armhf (3.2.1-6) ...
Selecting previously unselected package libssl1.1:armhf.
Preparing to unpack .../09-libssl1.1_1.1.0c-2_armhf.deb ...
Unpacking libssl1.1:armhf (1.1.0c-2) ...
Selecting previously unselected package libpython2.7-stdlib:armhf.
Preparing to unpack .../10-libpython2.7-stdlib_2.7.13-1_armhf.deb ...
Unpacking libpython2.7-stdlib:armhf (2.7.13-1) ...
Selecting previously unselected package python2.7.
Preparing to unpack .../11-python2.7_2.7.13-1_armhf.deb ...
Unpacking python2.7 (2.7.13-1) ...
Selecting previously unselected package libpython-stdlib:armhf.
Preparing to unpack .../12-libpython-stdlib_2.7.11-2_armhf.deb ...
Unpacking libpython-stdlib:armhf (2.7.11-2) ...
Setting up libpython2.7-minimal:armhf (2.7.13-1) ...
Setting up python2.7-minimal (2.7.13-1) ...
Setting up python-minimal (2.7.11-2) ...
Selecting previously unselected package python.
(Reading database ... 14604 files and directories currently installed.)
Preparing to unpack .../00-python_2.7.11-2_armhf.deb ...
Unpacking python (2.7.11-2) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../01-libmagic-mgc_1%3a5.29-2_armhf.deb ...
Unpacking libmagic-mgc (1:5.29-2) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../02-libmagic1_1%3a5.29-2_armhf.deb ...
Unpacking libmagic1:armhf (1:5.29-2) ...
Selecting previously unselected package file.
Preparing to unpack .../03-file_1%3a5.29-2_armhf.deb ...
Unpacking file (1:5.29-2) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../04-gettext-base_0.19.8.1-1_armhf.deb ...
Unpacking gettext-base (0.19.8.1-1) ...
Selecting previously unselected package libpython2.7:armhf.
Preparing to unpack .../05-libpython2.7_2.7.13-1_armhf.deb ...
Unpacking libpython2.7:armhf (2.7.13-1) ...
Selecting previously unselected package libicu57:armhf.
Preparing to unpack .../06-libicu57_57.1-5_armhf.deb ...
Unpacking libicu57:armhf (57.1-5) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../07-libxml2_2.9.4+dfsg1-2.1_armhf.deb ...
Unpacking libxml2:armhf (2.9.4+dfsg1-2.1) ...
Selecting previously unselected package libsigsegv2:armhf.
Preparing to unpack .../08-libsigsegv2_2.10-5_armhf.deb ...
Unpacking libsigsegv2:armhf (2.10-5) ...
Selecting previously unselected package m4.
Preparing to unpack .../09-m4_1.4.17-5_armhf.deb ...
Unpacking m4 (1.4.17-5) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../10-autoconf_2.69-10_all.deb ...
Unpacking autoconf (2.69-10) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../11-autotools-dev_20161112.1_all.deb ...
Unpacking autotools-dev (20161112.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../12-automake_1%3a1.15-5_all.deb ...
Unpacking automake (1:1.15-5) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../13-autopoint_0.19.8.1-1_all.deb ...
Unpacking autopoint (0.19.8.1-1) ...
Selecting previously unselected package libbison-dev:armhf.
Preparing to unpack .../14-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 .../15-bison_2%3a3.0.4.dfsg-1_armhf.deb ...
Unpacking bison (2:3.0.4.dfsg-1) ...
Selecting previously unselected package libtool.
Preparing to unpack .../16-libtool_2.4.6-2_all.deb ...
Unpacking libtool (2.4.6-2) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../17-dh-autoreconf_12_all.deb ...
Unpacking dh-autoreconf (12) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../18-libarchive-zip-perl_1.59-1_all.deb ...
Unpacking libarchive-zip-perl (1.59-1) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../19-libfile-stripnondeterminism-perl_0.028-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (0.028-1) ...
Selecting previously unselected package libtimedate-perl.
Preparing to unpack .../20-libtimedate-perl_2.3000-2_all.deb ...
Unpacking libtimedate-perl (2.3000-2) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../21-dh-strip-nondeterminism_0.028-1_all.deb ...
Unpacking dh-strip-nondeterminism (0.028-1) ...
Selecting previously unselected package libglib2.0-0:armhf.
Preparing to unpack .../22-libglib2.0-0_2.50.2-2_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.50.2-2) ...
Selecting previously unselected package libcroco3:armhf.
Preparing to unpack .../23-libcroco3_0.6.11-2_armhf.deb ...
Unpacking libcroco3:armhf (0.6.11-2) ...
Selecting previously unselected package libunistring0:armhf.
Preparing to unpack .../24-libunistring0_0.9.6+really0.9.3-0.1_armhf.deb ...
Unpacking libunistring0:armhf (0.9.6+really0.9.3-0.1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../25-gettext_0.19.8.1-1_armhf.deb ...
Unpacking gettext (0.19.8.1-1) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../26-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 .../27-po-debconf_1.0.20_all.deb ...
Unpacking po-debconf (1.0.20) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../28-debhelper_10.2.2_all.deb ...
Unpacking debhelper (10.2.2) ...
Selecting previously unselected package libexpat1-dev:armhf.
Preparing to unpack .../29-libexpat1-dev_2.2.0-1_armhf.deb ...
Unpacking libexpat1-dev:armhf (2.2.0-1) ...
Selecting previously unselected package liblua5.3-0:armhf.
Preparing to unpack .../30-liblua5.3-0_5.3.1-1.1_armhf.deb ...
Unpacking liblua5.3-0:armhf (5.3.1-1.1) ...
Selecting previously unselected package libtinfo-dev:armhf.
Preparing to unpack .../31-libtinfo-dev_6.0+20161126-1_armhf.deb ...
Unpacking libtinfo-dev:armhf (6.0+20161126-1) ...
Selecting previously unselected package libreadline-dev:armhf.
Preparing to unpack .../32-libreadline-dev_7.0-1_armhf.deb ...
Unpacking libreadline-dev:armhf (7.0-1) ...
Selecting previously unselected package liblua5.3-dev:armhf.
Preparing to unpack .../33-liblua5.3-dev_5.3.1-1.1_armhf.deb ...
Unpacking liblua5.3-dev:armhf (5.3.1-1.1) ...
Selecting previously unselected package libpython2.7-dev:armhf.
Preparing to unpack .../34-libpython2.7-dev_2.7.13-1_armhf.deb ...
Unpacking libpython2.7-dev:armhf (2.7.13-1) ...
Selecting previously unselected package re2c.
Preparing to unpack .../35-re2c_0.16-1_armhf.deb ...
Unpacking re2c (0.16-1) ...
Selecting previously unselected package scons.
Preparing to unpack .../36-scons_2.5.0-2_all.deb ...
Unpacking scons (2.5.0-2) ...
Selecting previously unselected package sbuild-build-depends-gringo-dummy.
Preparing to unpack .../37-sbuild-build-depends-gringo-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-gringo-dummy (0.invalid.0) ...
Setting up libncurses5:armhf (6.0+20161126-1) ...
Setting up libexpat1:armhf (2.2.0-1) ...
Setting up libarchive-zip-perl (1.59-1) ...
Setting up mime-support (3.60) ...
Setting up libtimedate-perl (2.3000-2) ...
Setting up libsigsegv2:armhf (2.10-5) ...
Setting up re2c (0.16-1) ...
Setting up groff-base (1.22.3-9) ...
Setting up libtinfo-dev:armhf (6.0+20161126-1) ...
Setting up gettext-base (0.19.8.1-1) ...
Setting up libpipeline1:armhf (1.4.1-2) ...
Setting up m4 (1.4.17-5) ...
Setting up libicu57:armhf (57.1-5) ...
Setting up libbsd0:armhf (0.8.3-1) ...
Setting up libxml2:armhf (2.9.4+dfsg1-2.1) ...
Setting up libmagic-mgc (1:5.29-2) ...
Setting up libmagic1:armhf (1:5.29-2) ...
Processing triggers for libc-bin (2.24-7+rpi1) ...
Setting up autotools-dev (20161112.1) ...
Setting up libunistring0:armhf (0.9.6+really0.9.3-0.1) ...
Setting up libssl1.1:armhf (1.1.0c-2) ...
Setting up libreadline-dev:armhf (7.0-1) ...
Setting up libbison-dev:armhf (2:3.0.4.dfsg-1) ...
Setting up libexpat1-dev:armhf (2.2.0-1) ...
Setting up libffi6:armhf (3.2.1-6) ...
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 bsdmainutils (9.0.12) ...
update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode
update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode
Setting up liblua5.3-0:armhf (5.3.1-1.1) ...
Setting up libpython2.7-stdlib:armhf (2.7.13-1) ...
Setting up liblua5.3-dev:armhf (5.3.1-1.1) ...
Setting up autopoint (0.19.8.1-1) ...
Setting up libfile-stripnondeterminism-perl (0.028-1) ...
Setting up libglib2.0-0:armhf (2.50.2-2) ...
No schema files found: doing nothing.
Setting up python2.7 (2.7.13-1) ...
Setting up autoconf (2.69-10) ...
Setting up file (1:5.29-2) ...
Setting up libcroco3:armhf (0.6.11-2) ...
Setting up libpython-stdlib:armhf (2.7.11-2) ...
Setting up libpython2.7:armhf (2.7.13-1) ...
Setting up automake (1:1.15-5) ...
update-alternatives: using /usr/bin/automake-1.15 to provide /usr/bin/automake (automake) in auto mode
Setting up man-db (2.7.6.1-2) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libpython2.7-dev:armhf (2.7.13-1) ...
Setting up python (2.7.11-2) ...
Setting up libtool (2.4.6-2) ...
Setting up gettext (0.19.8.1-1) ...
Setting up intltool-debian (0.35.0+20060710.4) ...
Setting up scons (2.5.0-2) ...
Setting up po-debconf (1.0.20) ...
Setting up dh-autoreconf (12) ...
Setting up dh-strip-nondeterminism (0.028-1) ...
Setting up debhelper (10.2.2) ...
Setting up sbuild-build-depends-gringo-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.24-7+rpi1) ...
W: No sandbox user '_apt' on the system, can not drop privileges
+------------------------------------------------------------------------------+
| Build environment |
+------------------------------------------------------------------------------+
Kernel: Linux 4.4.0-1-armmp armhf (armv7l)
Toolchain package versions: binutils_2.27.51.20161127-1 dpkg-dev_1.18.15 g++-6_6.2.1-5+rpi1 gcc-6_6.2.1-5+rpi1 libc6-dev_2.24-7+rpi1 libstdc++-6-dev_6.2.1-5+rpi1 libstdc++6_6.2.1-5+rpi1 linux-libc-dev_3.18.5-1~exp1+rpi19+stretch
Package versions: adduser_3.115 apt_1.4~beta1 autoconf_2.69-10 automake_1:1.15-5 autopoint_0.19.8.1-1 autotools-dev_20161112.1 base-files_9.7+rpi1 base-passwd_3.5.41 bash_4.4-2 binutils_2.27.51.20161127-1 bison_2:3.0.4.dfsg-1 bsdmainutils_9.0.12 bsdutils_1:2.29-1 build-essential_12.2 bzip2_1.0.6-8 coreutils_8.25-2 cpio_2.11+dfsg-6 cpp_4:6.1.1-1 cpp-6_6.2.1-5+rpi1 dash_0.5.8-2.3 debconf_1.5.59 debfoster_2.7-2.1 debhelper_10.2.2 debianutils_4.8.1 dh-autoreconf_12 dh-strip-nondeterminism_0.028-1 diffutils_1:3.5-1 dmsetup_2:1.02.136-1 dpkg_1.18.15 dpkg-dev_1.18.15 e2fslibs_1.43.3-1 e2fsprogs_1.43.3-1 fakeroot_1.21-2 file_1:5.29-2 findutils_4.6.0+git+20161106-1 fuse2fs_1.43.3-1 g++_4:6.1.1-1 g++-6_6.2.1-5+rpi1 gcc_4:6.1.1-1 gcc-4.6-base_4.6.4-5+rpi1 gcc-4.7-base_4.7.3-11+rpi1 gcc-4.8-base_4.8.5-4 gcc-4.9-base_4.9.3-14 gcc-6_6.2.1-5+rpi1 gcc-6-base_6.2.1-5+rpi1 gettext_0.19.8.1-1 gettext-base_0.19.8.1-1 gnupg_2.1.16-2 gnupg-agent_2.1.16-2 gnupg-l10n_2.1.16-2 gpgv_2.1.16-2 grep_2.26-1 groff-base_1.22.3-9 gzip_1.6-5 hostname_3.18 init_1.46 init-system-helpers_1.46 initscripts_2.88dsf-59.8 insserv_1.14.0-5.4 intltool-debian_0.35.0+20060710.4 kbd_2.0.3-2 klibc-utils_2.0.4-9+rpi1 kmod_23-1 libacl1_2.2.52-3 libapparmor1_2.10.95-6 libapt-pkg5.0_1.4~beta1 libarchive-zip-perl_1.59-1 libasan3_6.2.1-5+rpi1 libassuan0_2.4.3-2 libatomic1_6.2.1-5+rpi1 libattr1_1:2.4.47-2 libaudit-common_1:2.6.7-1 libaudit1_1:2.6.7-1 libbison-dev_2:3.0.4.dfsg-1 libblkid1_2.29-1 libbsd0_0.8.3-1 libbz2-1.0_1.0.6-8 libc-bin_2.24-7+rpi1 libc-dev-bin_2.24-7+rpi1 libc6_2.24-7+rpi1 libc6-dev_2.24-7+rpi1 libcap-ng0_0.7.7-3 libcap2_1:2.25-1 libcap2-bin_1:2.25-1 libcc1-0_6.2.1-5+rpi1 libcomerr2_1.43.3-1 libcroco3_0.6.11-2 libcryptsetup4_2:1.7.3-2 libdb5.3_5.3.28-12 libdbus-1-3_1.10.14-1 libdebconfclient0_0.218 libdevmapper1.02.1_2:1.02.136-1 libdpkg-perl_1.18.15 libdrm2_2.4.74-1 libexpat1_2.2.0-1 libexpat1-dev_2.2.0-1 libfakeroot_1.21-2 libfdisk1_2.29-1 libffi6_3.2.1-6 libfile-stripnondeterminism-perl_0.028-1 libfuse2_2.9.7-1 libgc1c2_1:7.4.2-8 libgcc-6-dev_6.2.1-5+rpi1 libgcc1_1:6.2.1-5+rpi1 libgcrypt20_1.7.3-2 libgdbm3_1.8.3-14 libglib2.0-0_2.50.2-2 libgmp10_2:6.1.1+dfsg-1 libgomp1_6.2.1-5+rpi1 libgpg-error0_1.25-1 libicu57_57.1-5 libidn11_1.33-1 libip4tc0_1.6.0-4 libisl15_0.17.1-1 libklibc_2.0.4-9+rpi1 libkmod2_23-1 libksba8_1.3.5-2 liblua5.3-0_5.3.1-1.1 liblua5.3-dev_5.3.1-1.1 liblz4-1_0.0~r131-2 liblzma5_5.2.2-1.2 libmagic-mgc_1:5.29-2 libmagic1_1:5.29-2 libmount1_2.29-1 libmpc3_1.0.3-1 libmpfr4_3.1.5-1 libncurses5_6.0+20161126-1 libncursesw5_6.0+20161126-1 libnpth0_1.3-1 libpam-modules_1.1.8-3.3 libpam-modules-bin_1.1.8-3.3 libpam-runtime_1.1.8-3.3 libpam0g_1.1.8-3.3 libpcre3_2:8.39-2 libperl5.24_5.24.1~rc4-1 libpipeline1_1.4.1-2 libplymouth4_0.9.2-3 libpng12-0_1.2.54-6 libprocps6_2:3.3.12-3 libpython-stdlib_2.7.11-2 libpython2.7_2.7.13-1 libpython2.7-dev_2.7.13-1 libpython2.7-minimal_2.7.13-1 libpython2.7-stdlib_2.7.13-1 libreadline-dev_7.0-1 libreadline7_7.0-1 libseccomp2_2.3.1-2.1 libselinux1_2.6-3 libsemanage-common_2.6-1 libsemanage1_2.6-1 libsepol1_2.6-1 libsigsegv2_2.10-5 libsmartcols1_2.29-1 libsqlite3-0_3.15.2-1 libss2_1.43.3-1 libssl1.1_1.1.0c-2 libstdc++-6-dev_6.2.1-5+rpi1 libstdc++6_6.2.1-5+rpi1 libsystemd0_232-6 libtimedate-perl_2.3000-2 libtinfo-dev_6.0+20161126-1 libtinfo5_6.0+20161126-1 libtool_2.4.6-2 libubsan0_6.2.1-5+rpi1 libudev1_232-6 libunistring0_0.9.6+really0.9.3-0.1 libusb-0.1-4_2:0.1.12-30 libustr-1.0-1_1.0.4-6 libuuid1_2.29-1 libxml2_2.9.4+dfsg1-2.1 linux-libc-dev_3.18.5-1~exp1+rpi19+stretch login_1:4.2-3.3 lsb-base_9.20161125+rpi1 m4_1.4.17-5 make_4.1-9 makedev_2.3.1-93 man-db_2.7.6.1-2 manpages_4.08-1 mawk_1.3.3-17 mime-support_3.60 mount_2.29-1 multiarch-support_2.24-7+rpi1 ncurses-base_6.0+20160917-1 ncurses-bin_6.0+20160917-1 netbase_5.3 passwd_1:4.2-3.3 patch_2.7.5-1 perl_5.24.1~rc4-1 perl-base_5.24.1~rc4-1 perl-modules-5.24_5.24.1~rc4-1 pinentry-curses_0.9.7-9 po-debconf_1.0.20 procps_2:3.3.12-3 psmisc_22.21-2.1 python_2.7.11-2 python-minimal_2.7.11-2 python2.7_2.7.13-1 python2.7-minimal_2.7.13-1 raspbian-archive-keyring_20120528.2 re2c_0.16-1 readline-common_7.0-1 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-gringo-dummy_0.invalid.0 scons_2.5.0-2 sed_4.2.2-8 sensible-utils_0.0.9 startpar_0.59-3.1 systemd_232-6 systemd-sysv_232-6 sysv-rc_2.88dsf-59.8 sysvinit-utils_2.88dsf-59.8 tar_1.29b-1.1 tzdata_2016j-2 udev_232-6 util-linux_2.29-1 xz-utils_5.2.2-1.2 zlib1g_1:1.2.8.dfsg-2+b1
+------------------------------------------------------------------------------+
| Build |
+------------------------------------------------------------------------------+
Unpack source
-------------
gpgv: unknown type of key resource 'trustedkeys.kbx'
gpgv: keyblock resource '/sbuild-nonexistent/.gnupg/trustedkeys.kbx': General error
gpgv: Signature made Tue Dec 20 06:03:02 2016 UTC
gpgv: using RSA key CC7EEF2C408664551D7B44CA2797DF74A6669AA9
gpgv: Can't check signature: No public key
dpkg-source: warning: failed to verify signature on ./gringo_5.1.0-4.dsc
dpkg-source: info: extracting gringo in /<<PKGBUILDDIR>>
dpkg-source: info: unpacking gringo_5.1.0.orig.tar.gz
dpkg-source: info: unpacking gringo_5.1.0-4.debian.tar.xz
dpkg-source: info: applying gringo-manpages.patch
dpkg-source: info: applying reproducible-build.patch
dpkg-source: info: applying gringo-fix-body-literals-as-auxiliary.patch
dpkg-source: info: applying gringo-broken-std-exception_ptr.patch
dpkg-source: info: applying gringo-alpha-fpu-getcw.patch
Check disc space
----------------
Sufficient free space for build
User Environment
----------------
APT_CONFIG=/var/lib/sbuild/apt.conf
DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
LC_ALL=POSIX
LOGNAME=buildd
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
SCHROOT_ALIAS_NAME=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-66144a3e-6364-4d62-a01e-6c3798b5c3a6
SCHROOT_UID=104
SCHROOT_USER=buildd
SHELL=/bin/sh
TERM=linux
USER=buildd
dpkg-buildpackage
-----------------
dpkg-buildpackage: info: source package gringo
dpkg-buildpackage: info: source version 5.1.0-4
dpkg-buildpackage: info: source distribution unstable
dpkg-source --before-build gringo-5.1.0
dpkg-buildpackage: info: host architecture armhf
fakeroot debian/rules clean
dh clean
dh_testdir
debian/rules override_dh_auto_clean
make[1]: Entering directory '/<<PKGBUILDDIR>>'
rm -rf ./build .sconf_temp .sconsign.dblite
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_clean
debian/rules build-arch
dh build-arch
dh_testdir -a
dh_update_autotools_config -a
debian/rules override_dh_auto_configure
make[1]: Entering directory '/<<PKGBUILDDIR>>'
scons configure --build-dir=release CXX='g++' WITH_THREADS='posix' WITH_LUA='lua5.3' WITH_PYTHON='python2.7' CPPPATH='${["/usr/include/lua5.3","/usr/include/python2.7"]}' CXXFLAGS='${["-g","-O2","-fdebug-prefix-map=/<<PKGBUILDDIR>>=.","-fstack-protector-strong","-Wformat","-Werror=format-security","-std=c++11","-O3","-Wall","-Wdate-time","-D_FORTIFY_SOURCE=2","-DNDEBUG"]}' LINKFLAGS='${["-Wl,-z,relro","-Wl,-z,now"]}' || cat build/release.log build/release.py
scons: Reading SConscript files ...
Checking for bison 2.5... yes
Checking for re2c... yes
Checking whether the C++ compiler works... yes
Checking whether the (shared) C++ compiler works... yes
Checking for C++ thread_local keyword... yes
Checking for C++ library python... yes
Checking for C++ library lua... yes
Checking for C++ function snprintf()... yes
Checking for C++ function vsnprintf()... yes
Checking for C++ function std::to_string()... yes
scons: done reading SConscript files.
scons: Building targets ...
scons: Nothing to be done for `configure'.
scons: done building targets.
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
debian/rules override_dh_auto_build
make[1]: Entering directory '/<<PKGBUILDDIR>>'
scons --build-dir=release gringo clingo reify lpconvert
scons: Reading SConscript files ...
Checking for bison 2.5... (cached) yes
Checking for re2c... (cached) yes
Checking whether the C++ compiler works... (cached) yes
Checking whether the (shared) C++ compiler works... (cached) yes
Checking for C++ thread_local keyword... (cached) yes
Checking for C++ library python... (cached) yes
Checking for C++ library lua... (cached) yes
Checking for C++ function snprintf()... (cached) yes
Checking for C++ function vsnprintf()... (cached) yes
Checking for C++ function std::to_string()... (cached) yes
scons: done reading SConscript files.
scons: Building targets ...
g++ -o build/release/app/gringo/main.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src -Ilibprogram_opts -Ilibprogram_opts/src app/gringo/main.cc
g++ -o build/release/libgringo/src/backend.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/backend.cc
g++ -o build/release/libgringo/src/control.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/control.cc
g++ -o build/release/libgringo/src/ground/instantiation.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/ground/instantiation.cc
g++ -o build/release/libgringo/src/ground/literals.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/ground/literals.cc
g++ -o build/release/libgringo/src/ground/program.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/ground/program.cc
g++ -o build/release/libgringo/src/ground/statements.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/ground/statements.cc
g++ -o build/release/libgringo/src/input/aggregate.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/input/aggregate.cc
g++ -o build/release/libgringo/src/input/aggregates.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/input/aggregates.cc
bison -r all --report-file=build/release/libgringo/src/input/groundtermgrammar/grammar.out -o build/release/libgringo/src/input/groundtermgrammar/grammar.cc libgringo/src/input/groundtermgrammar.yy
libgringo/src/input/groundtermgrammar.yy:22.9-17: warning: deprecated directive, use '%define api.namespace Gringo::Input::GroundTermGrammar' [-Wdeprecated]
%define namespace "Gringo::Input::GroundTermGrammar"
^^^^^^^^^
libgringo/src/input/groundtermgrammar.yy:22.9-17: warning: %define variable 'api.namespace' requires '{...}' values [-Wdeprecated]
%define namespace "Gringo::Input::GroundTermGrammar"
^^^^^^^^^
g++ -o build/release/libgringo/src/input/groundtermgrammar/grammar.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src build/release/libgringo/src/input/groundtermgrammar/grammar.cc
re2c -o build/release/libgringo/src/input/groundtermlexer.hh libgringo/src/input/groundtermlexer.xh
g++ -o build/release/libgringo/src/input/groundtermparser.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/input/groundtermparser.cc
g++ -o build/release/libgringo/src/input/literal.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/input/literal.cc
g++ -o build/release/libgringo/src/input/literals.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/input/literals.cc
bison -r all --report-file=build/release/libgringo/src/input/nongroundgrammar/grammar.out -o build/release/libgringo/src/input/nongroundgrammar/grammar.cc libgringo/src/input/nongroundgrammar.yy
libgringo/src/input/nongroundgrammar.yy:24.9-17: warning: deprecated directive, use '%define api.namespace Gringo::Input::NonGroundGrammar' [-Wdeprecated]
%define namespace "Gringo::Input::NonGroundGrammar"
^^^^^^^^^
libgringo/src/input/nongroundgrammar.yy:30.9-21: warning: deprecated directive, use '%define api.location.type DefaultLocation' [-Wdeprecated]
%define location_type "DefaultLocation"
^^^^^^^^^^^^^
libgringo/src/input/nongroundgrammar.yy:30.9-21: warning: %define variable 'api.location.type' requires '{...}' values [-Wdeprecated]
%define location_type "DefaultLocation"
^^^^^^^^^^^^^
libgringo/src/input/nongroundgrammar.yy:24.9-17: warning: %define variable 'api.namespace' requires '{...}' values [-Wdeprecated]
%define namespace "Gringo::Input::NonGroundGrammar"
^^^^^^^^^
g++ -o build/release/libgringo/src/input/nongroundgrammar/grammar.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src build/release/libgringo/src/input/nongroundgrammar/grammar.cc
re2c -c -o build/release/libgringo/src/input/nongroundlexer.hh libgringo/src/input/nongroundlexer.xch
g++ -o build/release/libgringo/src/input/nongroundparser.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/input/nongroundparser.cc
g++ -o build/release/libgringo/src/input/program.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/input/program.cc
g++ -o build/release/libgringo/src/input/programbuilder.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/input/programbuilder.cc
g++ -o build/release/libgringo/src/input/statement.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/input/statement.cc
g++ -o build/release/libgringo/src/input/theory.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/input/theory.cc
g++ -o build/release/libgringo/src/lua.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/lua.cc
g++ -o build/release/libgringo/src/output/aggregates.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/output/aggregates.cc
g++ -o build/release/libgringo/src/output/literal.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/output/literal.cc
g++ -o build/release/libgringo/src/output/literals.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/output/literals.cc
g++ -o build/release/libgringo/src/output/output.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/output/output.cc
g++ -o build/release/libgringo/src/output/statement.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/output/statement.cc
g++ -o build/release/libgringo/src/output/statements.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/output/statements.cc
g++ -o build/release/libgringo/src/output/theory.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/output/theory.cc
g++ -o build/release/libgringo/src/primes.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/primes.cc
g++ -o build/release/libgringo/src/python.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/python.cc
g++ -o build/release/libgringo/src/scripts.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/scripts.cc
g++ -o build/release/libgringo/src/symbol.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/symbol.cc
g++ -o build/release/libgringo/src/term.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/term.cc
g++ -o build/release/libgringo/src/terms.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libgringo/src/terms.cc
ar rc build/release/libgringo.a build/release/libgringo/src/backend.o build/release/libgringo/src/control.o build/release/libgringo/src/ground/instantiation.o build/release/libgringo/src/ground/literals.o build/release/libgringo/src/ground/program.o build/release/libgringo/src/ground/statements.o build/release/libgringo/src/input/aggregate.o build/release/libgringo/src/input/aggregates.o build/release/libgringo/src/input/groundtermgrammar/grammar.o build/release/libgringo/src/input/groundtermparser.o build/release/libgringo/src/input/literal.o build/release/libgringo/src/input/literals.o build/release/libgringo/src/input/nongroundgrammar/grammar.o build/release/libgringo/src/input/nongroundparser.o build/release/libgringo/src/input/program.o build/release/libgringo/src/input/programbuilder.o build/release/libgringo/src/input/statement.o build/release/libgringo/src/input/theory.o build/release/libgringo/src/lua.o build/release/libgringo/src/output/aggregates.o build/release/libgringo/src/output/literal.o build/release/libgringo/src/output/literals.o build/release/libgringo/src/output/output.o build/release/libgringo/src/output/statement.o build/release/libgringo/src/output/statements.o build/release/libgringo/src/output/theory.o build/release/libgringo/src/primes.o build/release/libgringo/src/python.o build/release/libgringo/src/scripts.o build/release/libgringo/src/symbol.o build/release/libgringo/src/term.o build/release/libgringo/src/terms.o
ranlib build/release/libgringo.a
g++ -o build/release/libprogram_opts/src/alarm.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibprogram_opts -Ilibprogram_opts/src libprogram_opts/src/alarm.cpp
g++ -o build/release/libprogram_opts/src/application.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibprogram_opts -Ilibprogram_opts/src libprogram_opts/src/application.cpp
g++ -o build/release/libprogram_opts/src/program_options.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibprogram_opts -Ilibprogram_opts/src libprogram_opts/src/program_options.cpp
g++ -o build/release/libprogram_opts/src/string_convert.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibprogram_opts -Ilibprogram_opts/src libprogram_opts/src/string_convert.cpp
g++ -o build/release/libprogram_opts/src/value_store.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibprogram_opts -Ilibprogram_opts/src libprogram_opts/src/value_store.cpp
ar rc build/release/libprogram_opts.a build/release/libprogram_opts/src/alarm.o build/release/libprogram_opts/src/application.o build/release/libprogram_opts/src/program_options.o build/release/libprogram_opts/src/string_convert.o build/release/libprogram_opts/src/value_store.o
ranlib build/release/libprogram_opts.a
g++ -o build/release/libreify/src/program.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibreify -Ibuild/release/libreify/src -Ilibreify/src -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src libreify/src/program.cc
ar rc build/release/libreify.a build/release/libreify/src/program.o
ranlib build/release/libreify.a
g++ -o build/release/liblp/src/aspif.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Iliblp -Iliblp/src liblp/src/aspif.cpp
g++ -o build/release/liblp/src/aspif_text.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Iliblp -Iliblp/src liblp/src/aspif_text.cpp
g++ -o build/release/liblp/src/clingo.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Iliblp -Iliblp/src liblp/src/clingo.cpp
g++ -o build/release/liblp/src/convert.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Iliblp -Iliblp/src liblp/src/convert.cpp
g++ -o build/release/liblp/src/match_basic_types.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Iliblp -Iliblp/src liblp/src/match_basic_types.cpp
g++ -o build/release/liblp/src/rule_utils.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Iliblp -Iliblp/src liblp/src/rule_utils.cpp
g++ -o build/release/liblp/src/smodels.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Iliblp -Iliblp/src liblp/src/smodels.cpp
g++ -o build/release/liblp/src/theory_data.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Iliblp -Iliblp/src liblp/src/theory_data.cpp
ar rc build/release/liblp.a build/release/liblp/src/aspif.o build/release/liblp/src/aspif_text.o build/release/liblp/src/clingo.o build/release/liblp/src/convert.o build/release/liblp/src/match_basic_types.o build/release/liblp/src/rule_utils.o build/release/liblp/src/smodels.o build/release/liblp/src/theory_data.o
ranlib build/release/liblp.a
g++ -o build/release/gringo -Wl,-z,relro -Wl,-z,now build/release/app/gringo/main.o -Lbuild/release build/release/libgringo.a build/release/libprogram_opts.a build/release/libreify.a build/release/liblp.a -lpython2.7 -llua5.3
g++ -o build/release/app/clingo/src/clasp/clasp_app.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src -Ilibclingo -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src app/clingo/src/clasp/clasp_app.cpp
g++ -o build/release/app/clingo/src/clingo_app.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src -Ilibclingo -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src app/clingo/src/clingo_app.cc
g++ -o build/release/app/clingo/src/main.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src -Ilibclingo -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src app/clingo/src/main.cc
g++ -o build/release/libclingo/src/clingocontrol.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src -Ilibclingo -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclingo/src/clingocontrol.cc
ar rc build/release/libclingo.a build/release/libclingo/src/clingocontrol.o
ranlib build/release/libclingo.a
g++ -o build/release/libclasp/src/asp_preprocessor.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/asp_preprocessor.cpp
g++ -o build/release/libclasp/src/cb_enumerator.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/cb_enumerator.cpp
g++ -o build/release/libclasp/src/clasp_facade.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/clasp_facade.cpp
g++ -o build/release/libclasp/src/clasp_options.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/clasp_options.cpp
g++ -o build/release/libclasp/src/clasp_output.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/clasp_output.cpp
g++ -o build/release/libclasp/src/clause.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/clause.cpp
g++ -o build/release/libclasp/src/clingo.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/clingo.cpp
g++ -o build/release/libclasp/src/constraint.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/constraint.cpp
g++ -o build/release/libclasp/src/dependency_graph.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/dependency_graph.cpp
g++ -o build/release/libclasp/src/enumerator.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/enumerator.cpp
g++ -o build/release/libclasp/src/heuristics.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/heuristics.cpp
g++ -o build/release/libclasp/src/logic_program.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/logic_program.cpp
g++ -o build/release/libclasp/src/logic_program_types.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/logic_program_types.cpp
g++ -o build/release/libclasp/src/lookahead.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/lookahead.cpp
g++ -o build/release/libclasp/src/minimize_constraint.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/minimize_constraint.cpp
g++ -o build/release/libclasp/src/model_enumerators.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/model_enumerators.cpp
g++ -o build/release/libclasp/src/parallel_solve.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/parallel_solve.cpp
g++ -o build/release/libclasp/src/parser.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/parser.cpp
g++ -o build/release/libclasp/src/program_builder.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/program_builder.cpp
g++ -o build/release/libclasp/src/satelite.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/satelite.cpp
g++ -o build/release/libclasp/src/shared_context.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/shared_context.cpp
g++ -o build/release/libclasp/src/solve_algorithms.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/solve_algorithms.cpp
g++ -o build/release/libclasp/src/solver.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/solver.cpp
g++ -o build/release/libclasp/src/solver_strategies.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/solver_strategies.cpp
g++ -o build/release/libclasp/src/solver_types.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/solver_types.cpp
g++ -o build/release/libclasp/src/statistics.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/statistics.cpp
g++ -o build/release/libclasp/src/timer.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/timer.cpp
g++ -o build/release/libclasp/src/unfounded_check.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/unfounded_check.cpp
g++ -o build/release/libclasp/src/weight_constraint.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -pthread -DCLASP_USE_STD_THREAD=1 -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -DWITH_THREADS=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibclasp -Ilibclasp/src -Ilibprogram_opts -Ilibprogram_opts/src -Iliblp -Iliblp/src libclasp/src/weight_constraint.cpp
ar rc build/release/libclasp.a build/release/libclasp/src/asp_preprocessor.o build/release/libclasp/src/cb_enumerator.o build/release/libclasp/src/clasp_facade.o build/release/libclasp/src/clasp_options.o build/release/libclasp/src/clasp_output.o build/release/libclasp/src/clause.o build/release/libclasp/src/clingo.o build/release/libclasp/src/constraint.o build/release/libclasp/src/dependency_graph.o build/release/libclasp/src/enumerator.o build/release/libclasp/src/heuristics.o build/release/libclasp/src/logic_program.o build/release/libclasp/src/logic_program_types.o build/release/libclasp/src/lookahead.o build/release/libclasp/src/minimize_constraint.o build/release/libclasp/src/model_enumerators.o build/release/libclasp/src/parallel_solve.o build/release/libclasp/src/parser.o build/release/libclasp/src/program_builder.o build/release/libclasp/src/satelite.o build/release/libclasp/src/shared_context.o build/release/libclasp/src/solve_algorithms.o build/release/libclasp/src/solver.o build/release/libclasp/src/solver_strategies.o build/release/libclasp/src/solver_types.o build/release/libclasp/src/statistics.o build/release/libclasp/src/timer.o build/release/libclasp/src/unfounded_check.o build/release/libclasp/src/weight_constraint.o
ranlib build/release/libclasp.a
g++ -o build/release/clingo -Wl,-z,relro -Wl,-z,now build/release/app/clingo/src/clasp/clasp_app.o build/release/app/clingo/src/clingo_app.o build/release/app/clingo/src/main.o -Lbuild/release build/release/libclingo.a build/release/libgringo.a build/release/libreify.a build/release/libclasp.a build/release/libprogram_opts.a build/release/liblp.a -lpython2.7 -llua5.3 -lpthread
g++ -o build/release/app/reify/main.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Ilibreify -Ibuild/release/libreify/src -Ilibreify/src -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ibuild/release/libreify -Ilibreify -Iliblp -Iliblp/src -Ilibprogram_opts -Ilibprogram_opts/src app/reify/main.cc
g++ -o build/release/reify -Wl,-z,relro -Wl,-z,now build/release/app/reify/main.o -Lbuild/release build/release/libreify.a build/release/libprogram_opts.a build/release/liblp.a -lpython2.7 -llua5.3
g++ -o build/release/app/lpconvert/lpconvert.o -c -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -std=c++11 -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -DNDEBUG=1 -DWITH_LUA=1 -DWITH_PYTHON=1 -I/usr/include/lua5.3 -I/usr/include/python2.7 -Iliblp -Iliblp/src -Ilibprogram_opts app/lpconvert/lpconvert.cpp
g++ -o build/release/lpconvert -Wl,-z,relro -Wl,-z,now build/release/app/lpconvert/lpconvert.o -Lbuild/release build/release/liblp.a build/release/libprogram_opts.a -lpython2.7 -llua5.3
scons: done building targets.
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_auto_test -a
fakeroot debian/rules binary-arch
dh binary-arch
dh_testroot -a
dh_prep -a
dh_auto_install -a
dh_install -a
dh_installdocs -a
debian/rules override_dh_installchangelogs
make[1]: Entering directory '/<<PKGBUILDDIR>>'
dh_installchangelogs CHANGES
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_installman -a
dh_perl -a
dh_link -a
dh_strip_nondeterminism -a
dh_compress -a
dh_fixperms -a
dh_strip -a
dh_makeshlibs -a
dh_shlibdeps -a
dpkg-shlibdeps: warning: debian/gringo/usr/bin/reify contains an unresolvable reference to symbol __aeabi_atexit@CXXABI_ARM_1.3.3: it's probably a plugin
dpkg-shlibdeps: warning: debian/gringo/usr/bin/gringo contains an unresolvable reference to symbol __aeabi_atexit@CXXABI_ARM_1.3.3: it's probably a plugin
dpkg-shlibdeps: warning: debian/gringo/usr/bin/lpconvert contains an unresolvable reference to symbol __aeabi_atexit@CXXABI_ARM_1.3.3: it's probably a plugin
dpkg-shlibdeps: warning: debian/gringo/usr/bin/clingo contains an unresolvable reference to symbol __aeabi_atexit@CXXABI_ARM_1.3.3: it's probably a plugin
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/gringo/usr/bin/reify debian/gringo/usr/bin/gringo debian/gringo/usr/bin/lpconvert debian/gringo/usr/bin/clingo were not linked against ld-linux-armhf.so.3 (they use none of the library's symbols)
dh_installdeb -a
dh_gencontrol -a
dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe
dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe
dh_md5sums -a
dh_builddeb -a
dpkg-deb: building package 'gringo-dbgsym' in '../gringo-dbgsym_5.1.0-4_armhf.deb'.
dpkg-deb: building package 'gringo' in '../gringo_5.1.0-4_armhf.deb'.
dpkg-genbuildinfo --build=any
dpkg-genbuildinfo: warning: File::FcntlLock not available; using flock which is not NFS-safe
dpkg-genchanges --build=any -mRaspbian wandboard test autobuilder <root@raspbian.org> >../gringo_5.1.0-4_armhf.changes
dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included)
dpkg-source --after-build gringo-5.1.0
dpkg-buildpackage: info: binary-only upload (no source included)
--------------------------------------------------------------------------------
Build finished at 2016-12-31T15:43:29Z
Finished
--------
I: Built successfully
+------------------------------------------------------------------------------+
| Post Build Chroot |
+------------------------------------------------------------------------------+
+------------------------------------------------------------------------------+
| Changes |
+------------------------------------------------------------------------------+
gringo_5.1.0-4_armhf.changes:
-----------------------------
Format: 1.8
Date: Tue, 20 Dec 2016 05:10:36 +0100
Source: gringo
Binary: gringo
Architecture: armhf
Version: 5.1.0-4
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 (5.1.0-4) unstable; urgency=medium
.
* fix FTBFS on alpha: do not define FPU_SWITCH_DOUBLE on alpha,
_FPU_GETCW and friends are undefined on this arch
Checksums-Sha1:
cb482c47c26e1b01177044edb0c3d78a21c6e51d 35411512 gringo-dbgsym_5.1.0-4_armhf.deb
a1bd316cb0254760d9bc31a539e7238d86e78f32 5017 gringo_5.1.0-4_armhf.buildinfo
b995cd42f231e4afb1dd0cef7ab19e7baeb2185f 1943158 gringo_5.1.0-4_armhf.deb
Checksums-Sha256:
ef85111e032b0c3af55fa27ccfe907aa4012dace3440ce09c8eb867bcc6e2a0e 35411512 gringo-dbgsym_5.1.0-4_armhf.deb
058a85857814957dc360bde8784ef07b3c048129d041f7ca8a8fa9909a6a1cca 5017 gringo_5.1.0-4_armhf.buildinfo
14fde27cda7d3aaab9dd078fc5cf73bc92e483b75862a3f069a7e28ddb6c1e4c 1943158 gringo_5.1.0-4_armhf.deb
Files:
8aceda2f8175c837e0d1d93c9a5c6609 35411512 debug extra gringo-dbgsym_5.1.0-4_armhf.deb
8df6902037d15ab645c9157a5c073bda 5017 interpreters extra gringo_5.1.0-4_armhf.buildinfo
1f6116bef32de9f9829ea81b998ac715 1943158 interpreters extra gringo_5.1.0-4_armhf.deb
+------------------------------------------------------------------------------+
| Package contents |
+------------------------------------------------------------------------------+
gringo-dbgsym_5.1.0-4_armhf.deb
-------------------------------
new debian package, version 2.0.
size 35411512 bytes: control archive=660 bytes.
537 bytes, 13 lines control
424 bytes, 4 lines md5sums
Package: gringo-dbgsym
Source: gringo
Version: 5.1.0-4
Architecture: armhf
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Installed-Size: 36790
Depends: gringo (= 5.1.0-4)
Section: debug
Priority: extra
Homepage: https://www.potassco.org/clasp/
Description: Debug symbols for gringo
Auto-Built-Package: debug-symbols
Build-Ids: 3d434a11cb24973494e9693dd9b2827b4656965c 9332deb16287f3414e8dd7c0a122256d23d0cd15 e72f93b580a0e3806c074a2c0157b7f15f6721f2 f8ed9812706f985fd3d5c62ab78e1af8b81163c9
drwxr-xr-x root/root 0 2016-12-20 04:10 ./
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/lib/
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/lib/debug/
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/lib/debug/.build-id/3d/
-rw-r--r-- root/root 15470488 2016-12-20 04:10 ./usr/lib/debug/.build-id/3d/434a11cb24973494e9693dd9b2827b4656965c.debug
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/lib/debug/.build-id/93/
-rw-r--r-- root/root 20741696 2016-12-20 04:10 ./usr/lib/debug/.build-id/93/32deb16287f3414e8dd7c0a122256d23d0cd15.debug
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/lib/debug/.build-id/e7/
-rw-r--r-- root/root 722224 2016-12-20 04:10 ./usr/lib/debug/.build-id/e7/2f93b580a0e3806c074a2c0157b7f15f6721f2.debug
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/lib/debug/.build-id/f8/
-rw-r--r-- root/root 723704 2016-12-20 04:10 ./usr/lib/debug/.build-id/f8/ed9812706f985fd3d5c62ab78e1af8b81163c9.debug
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/
lrwxrwxrwx root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo-dbgsym -> gringo
gringo_5.1.0-4_armhf.deb
------------------------
new debian package, version 2.0.
size 1943158 bytes: control archive=8617 bytes.
1659 bytes, 35 lines control
27083 bytes, 275 lines md5sums
Package: gringo
Version: 5.1.0-4
Architecture: armhf
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Installed-Size: 6866
Depends: libc6 (>= 2.4), libgcc1 (>= 1:3.5), liblua5.3-0, libpython2.7 (>= 2.7), libstdc++6 (>= 6)
Recommends: clasp
Conflicts: clingo, iclingo
Breaks: aspcud (<= 1.9.0-2), clasp (<< 3.2.1-1)
Replaces: clingo, iclingo
Section: interpreters
Priority: extra
Homepage: https://www.potassco.org/clasp/
Description: grounding tools for (disjunctive) logic programs
Current answer set solvers work on variable-free programs. Hence, a
grounder is needed that, given an input program with first-order
variables, computes an equivalent ground (variable-free) program.
.
This package contains the following tools:
.
- gringo: a grounder that, given an input program with first-order
variables, computes an equivalent ground (variable-free) program in
aspif format. Its output can be processed further with answer set
solver clasp. Starting with gringo series 5, its output is no longer
directly compatible with solvers like smodels or cmodels reading
smodels format. Use lpconvert for translating aspif format to
smodels format.
- clingo: combines both gringo and clasp into a monolithic system.
This way it offers more control over the grounding and solving
process than gringo and clasp can offer individually: multi-shot
solving.
- lpconvert: converter between gringo's aspif and smodels format.
- reify: small utility that reifies logic programs given in aspif
format. It produces a set of facts, which can be processed further
with gringo.
drwxr-xr-x root/root 0 2016-12-20 04:10 ./
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/bin/
-rwxr-xr-x root/root 3212148 2016-12-20 04:10 ./usr/bin/clingo
-rwxr-xr-x root/root 2203920 2016-12-20 04:10 ./usr/bin/gringo
lrwxrwxrwx root/root 0 2016-12-20 04:10 ./usr/bin/iclingo -> clingo
-rwxr-xr-x root/root 144896 2016-12-20 04:10 ./usr/bin/lpconvert
lrwxrwxrwx root/root 0 2016-12-20 04:10 ./usr/bin/oclingo -> clingo
-rwxr-xr-x root/root 136704 2016-12-20 04:10 ./usr/bin/reify
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/
-rw-r--r-- root/root 1235 2016-10-14 11:49 ./usr/share/doc/gringo/README.md
-rw-r--r-- root/root 3638 2016-12-20 04:10 ./usr/share/doc/gringo/changelog.Debian.gz
-rw-r--r-- root/root 2283 2016-10-14 11:49 ./usr/share/doc/gringo/changelog.gz
-rw-r--r-- root/root 6461 2016-12-11 12:07 ./usr/share/doc/gringo/copyright
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/c/
-rw-r--r-- root/root 1765 2016-10-14 11:49 ./usr/share/doc/gringo/examples/c/ast.c.gz
-rw-r--r-- root/root 1375 2016-10-14 11:49 ./usr/share/doc/gringo/examples/c/backend.c.gz
-rw-r--r-- root/root 3645 2016-10-14 11:49 ./usr/share/doc/gringo/examples/c/configuration.c
-rw-r--r-- root/root 2594 2016-10-14 11:49 ./usr/share/doc/gringo/examples/c/control.c
-rw-r--r-- root/root 1384 2016-10-14 11:49 ./usr/share/doc/gringo/examples/c/model.c.gz
-rw-r--r-- root/root 3316 2016-10-14 11:49 ./usr/share/doc/gringo/examples/c/propagator.c.gz
-rw-r--r-- root/root 3580 2016-10-14 11:49 ./usr/share/doc/gringo/examples/c/solve-async.c
-rw-r--r-- root/root 2883 2016-10-14 11:49 ./usr/share/doc/gringo/examples/c/solve-iteratively.c
-rw-r--r-- root/root 1634 2016-10-14 11:49 ./usr/share/doc/gringo/examples/c/statistics.c.gz
-rw-r--r-- root/root 2792 2016-10-14 11:49 ./usr/share/doc/gringo/examples/c/symbol.c
-rw-r--r-- root/root 3214 2016-10-14 11:49 ./usr/share/doc/gringo/examples/c/symbolic-atoms.c
-rw-r--r-- root/root 1451 2016-10-14 11:49 ./usr/share/doc/gringo/examples/c/theory-atoms.c.gz
-rw-r--r-- root/root 245 2016-10-14 11:49 ./usr/share/doc/gringo/examples/c/version.c
drwxr-xr-x root/root 0 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/clingo/addclause/
-rw-r--r-- root/root 144 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/addclause/README
-rw-r--r-- root/root 417 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/addclause/addclause-lua.lp
-rw-r--r-- root/root 423 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/addclause/addclause-py.lp
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/clingo/blocksworld/
-rw-r--r-- root/root 526 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/blocksworld/README
-rw-r--r-- root/root 315 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/blocksworld/blocks_01.lp
-rw-r--r-- root/root 142 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/blocksworld/control_01.lua
-rw-r--r-- root/root 1237 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/blocksworld/control_01.out.gz
-rw-r--r-- root/root 2880 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/blocksworld/lua.lp
-rw-r--r-- root/root 298 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/blocksworld/lua_interpret.lp
-rw-r--r-- root/root 1297 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/blocksworld/world.lp.gz
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/clingo/commit/
-rw-r--r-- root/root 225 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/commit/README
-rw-r--r-- root/root 311 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/commit/commit-lua.lp
-rw-r--r-- root/root 294 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/commit/commit-py.lp
-rw-r--r-- root/root 63 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/commit/encoding.lp
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/clingo/consequences/
-rw-r--r-- root/root 184 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/consequences/README
-rw-r--r-- root/root 812 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/consequences/brave-lua.lp
-rw-r--r-- root/root 475 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/consequences/brave-py.lp
-rw-r--r-- root/root 156 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/consequences/example.lp
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/clingo/context/
-rw-r--r-- root/root 220 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/context/README
-rw-r--r-- root/root 461 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/context/context-lua.lp
-rw-r--r-- root/root 376 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/context/context-py.lp
-rw-r--r-- root/root 14 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/context/encoding.lp
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/clingo/controller-async/
-rw-r--r-- root/root 270 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/controller-async/README
-rw-r--r-- root/root 283 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/controller-async/client.lp
-rw-r--r-- root/root 1326 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/controller-async/controller.py.gz
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/clingo/controller-processes/
-rw-r--r-- root/root 328 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/controller-processes/README
-rw-r--r-- root/root 283 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/controller-processes/client.lp
-rw-r--r-- root/root 2411 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/controller-processes/client.py
-rw-r--r-- root/root 3264 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/controller-processes/server.py
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/clingo/controller-threads/
-rw-r--r-- root/root 297 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/controller-threads/README
-rw-r--r-- root/root 283 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/controller-threads/client.lp
-rw-r--r-- root/root 1539 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/controller-threads/controller.py.gz
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/clingo/cover/
-rw-r--r-- root/root 197 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/cover/README
-rw-r--r-- root/root 1888 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/cover/control-lua.lp
-rw-r--r-- root/root 1643 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/cover/control-py.lp
-rw-r--r-- root/root 200 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/cover/cover.lp
-rw-r--r-- root/root 146 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/cover/instance.lp
-rw-r--r-- root/root 307 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/cover/preprocess.lp
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/clingo/domains/
-rw-r--r-- root/root 243 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/domains/README
-rw-r--r-- root/root 807 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/domains/domains-lua.lp
-rw-r--r-- root/root 694 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/domains/domains-py.lp
-rw-r--r-- root/root 51 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/domains/instance.lp
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/clingo/dot-propagator/
-rw-r--r-- root/root 257 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/dot-propagator/README
-rw-r--r-- root/root 711 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/dot-propagator/dot.lp
-rw-r--r-- root/root 88 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/dot-propagator/test.lp
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/clingo/enum-assumption/
-rw-r--r-- root/root 316 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/enum-assumption/README
-rw-r--r-- root/root 544 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/enum-assumption/example-lua.lp
-rw-r--r-- root/root 534 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/enum-assumption/example-py.lp
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/clingo/expansion/
drwxr-xr-x root/root 0 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/
drwxr-xr-x root/root 0 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/encodings/
-rw-r--r-- root/root 613 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/encodings/encoding.lp
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/
-rw-r--r-- root/root 3362 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0004-graph_colouring-125-0.lp.gz
-rw-r--r-- root/root 3305 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0005-graph_colouring-125-0.lp.gz
-rw-r--r-- root/root 3194 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0007-graph_colouring-125-0.lp.gz
-rw-r--r-- root/root 3332 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0008-graph_colouring-125-0.lp.gz
-rw-r--r-- root/root 3415 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0013-graph_colouring-130-0.lp.gz
-rw-r--r-- root/root 3893 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0021-graph_colouring-135-0.lp.gz
-rw-r--r-- root/root 3987 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0022-graph_colouring-135-0.lp.gz
-rw-r--r-- root/root 3697 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0023-graph_colouring-135-0.lp.gz
-rw-r--r-- root/root 3918 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0025-graph_colouring-135-0.lp.gz
-rw-r--r-- root/root 4322 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0032-graph_colouring-140-0.lp.gz
-rw-r--r-- root/root 4172 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0036-graph_colouring-140-0.lp.gz
-rw-r--r-- root/root 4236 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0039-graph_colouring-140-0.lp.gz
-rw-r--r-- root/root 4306 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0040-graph_colouring-140-0.lp.gz
-rw-r--r-- root/root 4565 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0046-graph_colouring-145-0.lp.gz
-rw-r--r-- root/root 4290 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0047-graph_colouring-145-0.lp.gz
-rw-r--r-- root/root 4374 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0048-graph_colouring-145-0.lp.gz
-rw-r--r-- root/root 4352 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0050-graph_colouring-145-0.lp.gz
-rw-r--r-- root/root 4451 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0056-graph_colouring-150-0.lp.gz
-rw-r--r-- root/root 4636 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0059-graph_colouring-150-0.lp.gz
-rw-r--r-- root/root 4792 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0060-graph_colouring-150-0.lp.gz
drwxr-xr-x root/root 0 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/
drwxr-xr-x root/root 0 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/encodings/
-rw-r--r-- root/root 2288 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/encodings/encoding.lp
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/
-rw-r--r-- root/root 2604 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/100-partner_units-100-0.lp.gz
-rw-r--r-- root/root 2642 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/102-partner_units-100-0.lp.gz
-rw-r--r-- root/root 2644 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/114-partner_units_polynomial-100-0.lp.gz
-rw-r--r-- root/root 2614 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/115-partner_units_polynomial-100-0.lp.gz
-rw-r--r-- root/root 2634 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/119-partner_units_polynomial-100-0.lp.gz
-rw-r--r-- root/root 2604 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/127-partner_units_polynomial-100-0.lp.gz
-rw-r--r-- root/root 2643 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/153-partner_units-100-0.lp.gz
-rw-r--r-- root/root 2644 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/154-partner_units-100-0.lp.gz
-rw-r--r-- root/root 2607 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/156-partner_units-100-0.lp.gz
-rw-r--r-- root/root 2587 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/161-partner_units-100-0.lp.gz
-rw-r--r-- root/root 2464 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/175-partner_units_polynomial-75-0.lp.gz
-rw-r--r-- root/root 1227 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/180-partner_units_polynomial-47-0.lp.gz
-rw-r--r-- root/root 1874 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/188-partner_units_polynomial-57-0.lp.gz
-rw-r--r-- root/root 1456 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/196-partner_units_polynomial-59-0.lp.gz
-rw-r--r-- root/root 1954 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/26-partner_units_polynomial-60-0.lp.gz
-rw-r--r-- root/root 2610 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/52-partner_units_polynomial-100-0.lp.gz
-rw-r--r-- root/root 2593 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/58-partner_units_polynomial-100-0.lp.gz
-rw-r--r-- root/root 2625 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/69-partner_units_polynomial-100-0.lp.gz
-rw-r--r-- root/root 2610 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/91-partner_units-100-0.lp.gz
-rw-r--r-- root/root 2615 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/99-partner_units-100-0.lp.gz
-rw-r--r-- root/root 1614 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/README
-rwxr-xr-x root/root 3573 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/expansion/main.py
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/clingo/external/
-rw-r--r-- root/root 123 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/external/README
-rw-r--r-- root/root 332 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/external/external-lua.lp
-rw-r--r-- root/root 341 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/external/external-py.lp
-rw-r--r-- root/root 137 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/external/external.lp
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/clingo/iclingo/
-rw-r--r-- root/root 428 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/iclingo/README
-rw-r--r-- root/root 178 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/iclingo/example.lp
-rw-r--r-- root/root 20 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/iclingo/incmode-int.lp
-rw-r--r-- root/root 1169 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/iclingo/incmode-lua.lp
-rw-r--r-- root/root 1056 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/iclingo/incmode-py.lp
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/clingo/include/
-rw-r--r-- root/root 127 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/include/README
-rw-r--r-- root/root 151 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/include/encoding-lua.lp
-rw-r--r-- root/root 146 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/include/encoding-py.lp
-rw-r--r-- root/root 6 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/include/include.lp
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/clingo/incqueens/
-rw-r--r-- root/root 304 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/incqueens/README
-rw-r--r-- root/root 514 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/incqueens/incqueens-lua.lp
-rw-r--r-- root/root 437 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/incqueens/incqueens-py.lp
-rw-r--r-- root/root 857 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/incqueens/incqueens.lp
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/clingo/itersolve/
-rw-r--r-- root/root 147 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/itersolve/README
-rw-r--r-- root/root 328 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/itersolve/itersolve-lua.lp
-rw-r--r-- root/root 155 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/itersolve/itersolve-py.lp
-rw-r--r-- root/root 9 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/itersolve/program.lp
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/clingo/load/
-rw-r--r-- root/root 162 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/load/README
-rw-r--r-- root/root 445 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/load/load-lua.lp
-rw-r--r-- root/root 372 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/load/load-py.lp
-rw-r--r-- root/root 33 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/load/program.lp
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/clingo/onmodel/
-rw-r--r-- root/root 401 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/onmodel/README
-rw-r--r-- root/root 1161 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/onmodel/onmodel-lua.lp
-rw-r--r-- root/root 937 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/onmodel/onmodel-py.lp
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/clingo/planning/
-rw-r--r-- root/root 240 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/planning/README
-rw-r--r-- root/root 1148 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/planning/convert.lp
-rwxr-xr-x root/root 88 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/planning/convert.sh
-rw-r--r-- root/root 3241 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/planning/encoding.lp
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/clingo/planning/instances/
-rw-r--r-- root/root 726 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/planning/instances/coins01.lp.gz
-rw-r--r-- root/root 869 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/planning/instances/comm02.lp.gz
-rw-r--r-- root/root 1090 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/planning/instances/comm03.lp.gz
-rw-r--r-- root/root 1553 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/planning/instances/comm05.lp.gz
-rw-r--r-- root/root 1660 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/planning/instances/uts01.lp
-rw-r--r-- root/root 1039 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/planning/planning-lua.lp
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/clingo/pydoc/
-rw-r--r-- root/root 117 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/pydoc/README
-rwxr-xr-x root/root 473 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/pydoc/pydoc-lib.py
-rw-r--r-- root/root 499 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/pydoc/pydoc.lp
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/clingo/robots/
-rw-r--r-- root/root 530 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/README
-rw-r--r-- root/root 1910 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/board.lp
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/clingo/robots/img/
-rw-r--r-- root/root 680 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_blue_east.gif
-rw-r--r-- root/root 643 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_blue_north.gif
-rw-r--r-- root/root 657 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_blue_south.gif
-rw-r--r-- root/root 679 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_blue_west.gif
-rw-r--r-- root/root 697 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_green_east.gif
-rw-r--r-- root/root 704 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_green_north.gif
-rw-r--r-- root/root 714 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_green_south.gif
-rw-r--r-- root/root 690 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_green_west.gif
-rw-r--r-- root/root 680 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_red_east.gif
-rw-r--r-- root/root 643 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_red_north.gif
-rw-r--r-- root/root 657 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_red_south.gif
-rw-r--r-- root/root 679 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_red_west.gif
-rw-r--r-- root/root 680 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_yellow_east.gif
-rw-r--r-- root/root 640 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_yellow_north.gif
-rw-r--r-- root/root 658 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_yellow_south.gif
-rw-r--r-- root/root 679 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/arrow_yellow_west.gif
-rw-r--r-- root/root 1121 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/moon_blue.gif
-rw-r--r-- root/root 1137 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/moon_green.gif
-rw-r--r-- root/root 1121 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/moon_red.gif
-rw-r--r-- root/root 1120 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/moon_yellow.gif
-rw-r--r-- root/root 637 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/move_blue_east.gif
-rw-r--r-- root/root 634 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/move_blue_north.gif
-rw-r--r-- root/root 627 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/move_blue_south.gif
-rw-r--r-- root/root 647 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/move_blue_west.gif
-rw-r--r-- root/root 624 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/move_green_east.gif
-rw-r--r-- root/root 639 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/move_green_north.gif
-rw-r--r-- root/root 657 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/move_green_south.gif
-rw-r--r-- root/root 653 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/move_green_west.gif
-rw-r--r-- root/root 616 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/move_red_east.gif
-rw-r--r-- root/root 634 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/move_red_north.gif
-rw-r--r-- root/root 627 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/move_red_south.gif
-rw-r--r-- root/root 647 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/move_red_west.gif
-rw-r--r-- root/root 631 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/move_yellow_east.gif
-rw-r--r-- root/root 631 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/move_yellow_north.gif
-rw-r--r-- root/root 627 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/move_yellow_south.gif
-rw-r--r-- root/root 643 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/move_yellow_west.gif
-rw-r--r-- root/root 1415 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/random_robot.gif
-rw-r--r-- root/root 687 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/robot_blue.gif
-rw-r--r-- root/root 1142 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/robot_green.gif
-rw-r--r-- root/root 687 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/robot_red.gif
-rw-r--r-- root/root 685 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/robot_yellow.gif
-rw-r--r-- root/root 763 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/saturn_blue.gif
-rw-r--r-- root/root 825 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/saturn_green.gif
-rw-r--r-- root/root 763 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/saturn_red.gif
-rw-r--r-- root/root 763 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/saturn_yellow.gif
-rw-r--r-- root/root 721 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/star_blue.gif
-rw-r--r-- root/root 757 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/star_green.gif
-rw-r--r-- root/root 721 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/star_red.gif
-rw-r--r-- root/root 723 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/star_yellow.gif
-rw-r--r-- root/root 1147 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/sun_blue.gif
-rw-r--r-- root/root 1155 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/sun_green.gif
-rw-r--r-- root/root 1147 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/sun_red.gif
-rw-r--r-- root/root 1144 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/sun_yellow.gif
-rw-r--r-- root/root 1724 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/tile_left.gif
-rw-r--r-- root/root 1770 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/tile_right.gif
-rw-r--r-- root/root 1136 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/wall_north.gif
-rw-r--r-- root/root 1171 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/img/wall_west.gif
-rw-r--r-- root/root 946 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/robots.lp
-rw-r--r-- root/root 4003 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/robots/visualize.py.gz
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/clingo/setconf/
-rw-r--r-- root/root 137 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/setconf/README
-rw-r--r-- root/root 1567 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/setconf/setconf-lua.lp
-rw-r--r-- root/root 1548 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/setconf/setconf-py.lp
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/clingo/solitaire/
-rw-r--r-- root/root 1205 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/solitaire/README
-rw-r--r-- root/root 550 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/solitaire/instance.lp
-rw-r--r-- root/root 996 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/solitaire/solitaire.lp
-rw-r--r-- root/root 1579 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/solitaire/visualize.py.gz
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/clingo/solve-async/
-rw-r--r-- root/root 222 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/solve-async/README
-rw-r--r-- root/root 82 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/solve-async/program.lp
-rw-r--r-- root/root 455 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/solve-async/solve-async-py.lp
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/clingo/stats/
-rw-r--r-- root/root 353 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/stats/README
-rw-r--r-- root/root 54 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/stats/example.lp
-rw-r--r-- root/root 412 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/stats/stats-lua.lp
-rw-r--r-- root/root 315 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/stats/stats-py.lp
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/clingo/unblock/
-rw-r--r-- root/root 342 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/unblock/README
-rw-r--r-- root/root 244 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/unblock/inst1.lp
-rw-r--r-- root/root 301 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/unblock/inst2.lp
-rw-r--r-- root/root 178 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/unblock/inst3.lp
-rw-r--r-- root/root 195 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/unblock/inst4.lp
-rw-r--r-- root/root 643 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/unblock/inst5.lp
-rw-r--r-- root/root 1671 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/unblock/unblock.lp
-rw-r--r-- root/root 1724 2016-10-14 11:49 ./usr/share/doc/gringo/examples/clingo/unblock/visualize.py.gz
drwxr-xr-x root/root 0 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/gringo/acyc/
-rw-r--r-- root/root 92 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/acyc/README
-rw-r--r-- root/root 177 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/acyc/encoding.lp
-rw-r--r-- root/root 53 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/acyc/instance.lp
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/gringo/ast/
-rw-r--r-- root/root 186 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/ast/README
-rw-r--r-- root/root 81 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/ast/example.lp
-rw-r--r-- root/root 2240 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/ast/visitor.lp
drwxr-xr-x root/root 0 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/gbie/
-rw-r--r-- root/root 370 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/gbie/README
-rw-r--r-- root/root 1666 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/gbie/gbie1.lp
-rw-r--r-- root/root 933 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/gbie/gbie2.lp
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/gringo/gbie/instances/
-rw-r--r-- root/root 387 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/gbie/instances/sat_01.lp
-rw-r--r-- root/root 280983 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/gbie/instances/sat_02.lp.gz
-rw-r--r-- root/root 242374 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/gbie/instances/sat_03.lp.gz
-rw-r--r-- root/root 495 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/gbie/instances/unsat_01.lp
-rw-r--r-- root/root 248213 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/gbie/instances/unsat_02.lp.gz
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/gringo/project/
-rw-r--r-- root/root 94 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/project/README
-rw-r--r-- root/root 51 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/project/example.lp
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/gringo/queens/
-rw-r--r-- root/root 108 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/queens/README
-rw-r--r-- root/root 418 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/queens/queens1.lp
-rw-r--r-- root/root 492 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/queens/queens2.lp
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/gringo/rec-cond/
-rw-r--r-- root/root 112 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/rec-cond/README
-rw-r--r-- root/root 2446 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/rec-cond/encoding.lp
-rw-r--r-- root/root 2047 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/rec-cond/instance.lp
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/gringo/subset/
-rw-r--r-- root/root 178 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/subset/README
-rw-r--r-- root/root 104 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/subset/example.lp
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/gringo/toh/
-rw-r--r-- root/root 201 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/toh/README
-rw-r--r-- root/root 504 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/toh/tohE.lp
-rw-r--r-- root/root 74 2016-10-14 11:49 ./usr/share/doc/gringo/examples/gringo/toh/tohI.lp
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/doc/gringo/examples/reify/
-rw-r--r-- root/root 857 2016-10-14 11:49 ./usr/share/doc/gringo/examples/reify/README
-rw-r--r-- root/root 138 2016-10-14 11:49 ./usr/share/doc/gringo/examples/reify/example1.lp
-rw-r--r-- root/root 1400 2016-10-14 11:49 ./usr/share/doc/gringo/examples/reify/example2.lp.gz
-rw-r--r-- root/root 2186 2016-10-14 11:49 ./usr/share/doc/gringo/examples/reify/meta.lp
-rw-r--r-- root/root 4095 2016-10-14 11:49 ./usr/share/doc/gringo/examples/reify/metaD.lp
-rw-r--r-- root/root 3959 2016-10-14 11:49 ./usr/share/doc/gringo/examples/reify/metaO.lp
-rw-r--r-- root/root 1228 2016-10-14 11:49 ./usr/share/doc/gringo/examples/test.sh.gz
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/man/
drwxr-xr-x root/root 0 2016-12-20 04:10 ./usr/share/man/man1/
-rw-r--r-- root/root 1069 2016-12-20 04:10 ./usr/share/man/man1/clingo.1.gz
-rw-r--r-- root/root 1124 2016-12-20 04:10 ./usr/share/man/man1/gringo.1.gz
lrwxrwxrwx root/root 0 2016-12-20 04:10 ./usr/share/man/man1/iclingo.1.gz -> clingo.1.gz
-rw-r--r-- root/root 953 2016-12-20 04:10 ./usr/share/man/man1/lpconvert.1.gz
lrwxrwxrwx root/root 0 2016-12-20 04:10 ./usr/share/man/man1/oclingo.1.gz -> clingo.1.gz
-rw-r--r-- root/root 997 2016-12-20 04:10 ./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: 449064
Build-Time: 3417
Distribution: stretch-staging
Host Architecture: armhf
Install-Time: 283
Job: gringo_5.1.0-4
Machine Architecture: armhf
Package: gringo
Package-Time: 3750
Source-Version: 5.1.0-4
Space: 449064
Status: successful
Version: 5.1.0-4
--------------------------------------------------------------------------------
Finished at 2016-12-31T15:43:29Z
Build needed 01:02:30, 449064k disc space