gringo →
3.0.4-4 →
armhf → 2013-05-22 22:56:29
sbuild (Debian sbuild) 0.63.2 (18 Aug 2012) on debian-armhf
╔══════════════════════════════════════════════════════════════════════════════╗
║ gringo 3.0.4-4 (armhf) 22 May 2013 22:32 ║
╚══════════════════════════════════════════════════════════════════════════════╝
Package: gringo
Version: 3.0.4-4
Source Version: 3.0.4-4
Distribution: jessie-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf
I: NOTICE: Log filtering will replace 'build/gringo-NJUlNr/gringo-3.0.4' with '«PKGBUILDDIR»'
I: NOTICE: Log filtering will replace 'build/gringo-NJUlNr' with '«BUILDDIR»'
I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/jessie-staging-armhf-sbuild-605f5842-5576-4032-a04c-6ee3f6acc111' with '«CHROOT»'
┌──────────────────────────────────────────────────────────────────────────────┐
│ Update chroot │
└──────────────────────────────────────────────────────────────────────────────┘
Get:1 http://172.17.0.1 jessie-staging Release.gpg [490 B]
Get:2 http://172.17.0.1 jessie-staging Release [10.8 kB]
Get:3 http://172.17.0.1 jessie-staging/main Sources [6553 kB]
Get:4 http://172.17.0.1 jessie-staging/main armhf Packages [7529 kB]
Ign http://172.17.0.1 jessie-staging/main Translation-en
Fetched 14.1 MB in 38s (363 kB/s)
Reading package lists...
┌──────────────────────────────────────────────────────────────────────────────┐
│ Fetch source files │
└──────────────────────────────────────────────────────────────────────────────┘
Check APT
─────────
Checking available source versions...
Download source files with APT
──────────────────────────────
Reading package lists...
Building dependency tree...
Reading state information...
NOTICE: 'gringo' packaging is maintained in the 'Git' version control system at:
git://git.debian.org/git/debian-science/packages/gringo.git
Need to get 551 kB of source archives.
Get:1 http://172.17.0.1/private/ jessie-staging/main gringo 3.0.4-4 (dsc) [2033 B]
Get:2 http://172.17.0.1/private/ jessie-staging/main gringo 3.0.4-4 (tar) [540 kB]
Get:3 http://172.17.0.1/private/ jessie-staging/main gringo 3.0.4-4 (diff) [9912 B]
Fetched 551 kB in 1s (397 kB/s)
Download complete and in download only mode
Check arch
──────────
Merged Build-Depends: build-essential, fakeroot
Filtered Build-Depends: build-essential, fakeroot
dpkg-deb: building package `sbuild-build-depends-core-dummy' in `/«BUILDDIR»/resolver-PKKQVI/apt_archive/sbuild-build-depends-core-dummy.deb'.
OK
Reading package lists...
┌──────────────────────────────────────────────────────────────────────────────┐
│ Install core build dependencies (apt-based resolver) │
└──────────────────────────────────────────────────────────────────────────────┘
Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following NEW packages will be installed:
sbuild-build-depends-core-dummy
debconf: delaying package configuration, since apt-utils is not installed
0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
Need to get 0 B/706 B of archives.
After this operation, 0 B of additional disk space will be used.
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ... 11288 files and directories currently installed.)
Unpacking sbuild-build-depends-core-dummy (from .../sbuild-build-depends-core-dummy.deb) ...
Setting up sbuild-build-depends-core-dummy (0.invalid.0) ...
Merged Build-Depends: libc6-dev | libc-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), debhelper (>= 8.0.0), cmake, re2c, libboost-filesystem-dev, libboost-system-dev, liblua5.1-dev
Filtered Build-Depends: libc6-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), debhelper (>= 8.0.0), cmake, re2c, libboost-filesystem-dev, libboost-system-dev, liblua5.1-dev
dpkg-deb: building package `sbuild-build-depends-gringo-dummy' in `/«BUILDDIR»/resolver-ci1EmV/apt_archive/sbuild-build-depends-gringo-dummy.deb'.
OK
Reading package lists...
┌──────────────────────────────────────────────────────────────────────────────┐
│ Install gringo build dependencies (apt-based resolver) │
└──────────────────────────────────────────────────────────────────────────────┘
Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following extra packages will be installed:
bsdmainutils cmake cmake-data debhelper emacsen-common file gettext
gettext-base groff-base html2text intltool-debian libarchive12
libasprintf0c2 libboost-filesystem-dev libboost-filesystem1.49-dev
libboost-filesystem1.49.0 libboost-system-dev libboost-system1.49-dev
libboost-system1.49.0 libboost1.49-dev libcroco3 libcurl3 libcurl3-gnutls
libexpat1 libffi5 libgcrypt11 libgettextpo0 libglib2.0-0 libgnutls26
libgpg-error0 libgssapi-krb5-2 libicu48 libidn11 libk5crypto3 libkeyutils1
libkrb5-3 libkrb5support0 libldap-2.4-2 liblua5.1-0 liblua5.1-0-dev
libmagic1 libnettle4 libp11-kit0 libpcre3 libpipeline1 libreadline-dev
libreadline6-dev librtmp0 libsasl2-2 libssh2-1 libssl1.0.0 libtasn1-3
libtinfo-dev libunistring0 libxml2 libxmlrpc-core-c3 man-db po-debconf re2c
Suggested packages:
wamerican wordlist whois vacation dh-make gettext-doc groff libboost1.49-doc
libboost-chrono1.49-dev libboost-date-time1.49-dev
libboost-graph-parallel1.49-dev libboost-graph1.49-dev
libboost-iostreams1.49-dev libboost-locale1.49-dev libboost-math1.49-dev
libboost-mpi1.49-dev libboost-program-options1.49-dev
libboost-python1.49-dev libboost-random1.49-dev libboost-regex1.49-dev
libboost-serialization1.49-dev libboost-signals1.49-dev
libboost-test1.49-dev libboost-thread1.49-dev libboost-timer1.49-dev
libboost-wave1.49-dev xsltproc doxygen docbook-xml docbook-xsl default-jdk
fop rng-tools krb5-doc krb5-user less www-browser libmail-box-perl
Recommended packages:
curl wget lynx-cur autopoint ca-certificates libglib2.0-data
shared-mime-info krb5-locales pkg-config libtool libsasl2-modules xml-core
libmail-sendmail-perl
The following NEW packages will be installed:
bsdmainutils cmake cmake-data debhelper emacsen-common file gettext
gettext-base groff-base html2text intltool-debian libarchive12
libasprintf0c2 libboost-filesystem-dev libboost-filesystem1.49-dev
libboost-filesystem1.49.0 libboost-system-dev libboost-system1.49-dev
libboost-system1.49.0 libboost1.49-dev libcroco3 libcurl3 libcurl3-gnutls
libexpat1 libffi5 libgcrypt11 libgettextpo0 libglib2.0-0 libgnutls26
libgpg-error0 libgssapi-krb5-2 libicu48 libidn11 libk5crypto3 libkeyutils1
libkrb5-3 libkrb5support0 libldap-2.4-2 liblua5.1-0 liblua5.1-0-dev
libmagic1 libnettle4 libp11-kit0 libpcre3 libpipeline1 libreadline-dev
libreadline6-dev librtmp0 libsasl2-2 libssh2-1 libssl1.0.0 libtasn1-3
libtinfo-dev libunistring0 libxml2 libxmlrpc-core-c3 man-db po-debconf re2c
sbuild-build-depends-gringo-dummy
0 upgraded, 60 newly installed, 0 to remove and 0 not upgraded.
Need to get 34.2 MB/34.2 MB of archives.
After this operation, 165 MB of additional disk space will be used.
Get:1 http://172.17.0.1/private/ jessie-staging/main libpcre3 armhf 1:8.30-5 [242 kB]
Get:2 http://172.17.0.1/private/ jessie-staging/main libpipeline1 armhf 1.2.1-1 [35.0 kB]
Get:3 http://172.17.0.1/private/ jessie-staging/main libssl1.0.0 armhf 1.0.1e-2+rpi1 [1049 kB]
Get:4 http://172.17.0.1/private/ jessie-staging/main libasprintf0c2 armhf 0.18.1.1-9 [26.4 kB]
Get:5 http://172.17.0.1/private/ jessie-staging/main libgpg-error0 armhf 1.10-3.1 [78.5 kB]
Get:6 http://172.17.0.1/private/ jessie-staging/main libgcrypt11 armhf 1.5.0-5 [299 kB]
Get:7 http://172.17.0.1/private/ jessie-staging/main libp11-kit0 armhf 0.12-3 [48.2 kB]
Get:8 http://172.17.0.1/private/ jessie-staging/main libtasn1-3 armhf 2.13-2 [63.3 kB]
Get:9 http://172.17.0.1/private/ jessie-staging/main libgnutls26 armhf 2.12.20-6 [601 kB]
Get:10 http://172.17.0.1/private/ jessie-staging/main libkeyutils1 armhf 1.5.5-3 [7754 B]
Get:11 http://172.17.0.1/private/ jessie-staging/main libkrb5support0 armhf 1.10.1+dfsg-5 [46.2 kB]
Get:12 http://172.17.0.1/private/ jessie-staging/main libk5crypto3 armhf 1.10.1+dfsg-5 [112 kB]
Get:13 http://172.17.0.1/private/ jessie-staging/main libkrb5-3 armhf 1.10.1+dfsg-5 [342 kB]
Get:14 http://172.17.0.1/private/ jessie-staging/main libgssapi-krb5-2 armhf 1.10.1+dfsg-5 [131 kB]
Get:15 http://172.17.0.1/private/ jessie-staging/main libidn11 armhf 1.25-2 [175 kB]
Get:16 http://172.17.0.1/private/ jessie-staging/main libsasl2-2 armhf 2.1.25.dfsg1-6 [112 kB]
Get:17 http://172.17.0.1/private/ jessie-staging/main libldap-2.4-2 armhf 2.4.31-1+nmu2 [217 kB]
Get:18 http://172.17.0.1/private/ jessie-staging/main libmagic1 armhf 5.11-2 [199 kB]
Get:19 http://172.17.0.1/private/ jessie-staging/main libxml2 armhf 2.8.0+dfsg1-7+nmu1 [822 kB]
Get:20 http://172.17.0.1/private/ jessie-staging/main libnettle4 armhf 2.4-3 [171 kB]
Get:21 http://172.17.0.1/private/ jessie-staging/main libarchive12 armhf 3.0.4-3+nmu1 [281 kB]
Get:22 http://172.17.0.1/private/ jessie-staging/main libffi5 armhf 3.0.10-3+b3 [22.9 kB]
Get:23 http://172.17.0.1/private/ jessie-staging/main libglib2.0-0 armhf 2.33.12+really2.32.4-5 [1689 kB]
Get:24 http://172.17.0.1/private/ jessie-staging/main libcroco3 armhf 0.6.6-2 [119 kB]
Get:25 http://172.17.0.1/private/ jessie-staging/main librtmp0 armhf 2.4+20111222.git4e06e21-1 [58.0 kB]
Get:26 http://172.17.0.1/private/ jessie-staging/main libssh2-1 armhf 1.4.2-1.1 [125 kB]
Get:27 http://172.17.0.1/private/ jessie-staging/main libcurl3 armhf 7.26.0-1+wheezy2 [314 kB]
Get:28 http://172.17.0.1/private/ jessie-staging/main libcurl3-gnutls armhf 7.26.0-1+wheezy2 [307 kB]
Get:29 http://172.17.0.1/private/ jessie-staging/main libexpat1 armhf 2.1.0-1 [117 kB]
Get:30 http://172.17.0.1/private/ jessie-staging/main libunistring0 armhf 0.9.3-5 [408 kB]
Get:31 http://172.17.0.1/private/ jessie-staging/main libgettextpo0 armhf 0.18.1.1-9 [130 kB]
Get:32 http://172.17.0.1/private/ jessie-staging/main libicu48 armhf 4.8.1.1-12 [4494 kB]
Get:33 http://172.17.0.1/private/ jessie-staging/main liblua5.1-0 armhf 5.1.5-4 [145 kB]
Get:34 http://172.17.0.1/private/ jessie-staging/main bsdmainutils armhf 9.0.3 [207 kB]
Get:35 http://172.17.0.1/private/ jessie-staging/main groff-base armhf 1.21-9 [1071 kB]
Get:36 http://172.17.0.1/private/ jessie-staging/main man-db armhf 2.6.2-1 [1027 kB]
Get:37 http://172.17.0.1/private/ jessie-staging/main file armhf 5.11-2 [51.4 kB]
Get:38 http://172.17.0.1/private/ jessie-staging/main gettext-base armhf 0.18.1.1-9 [138 kB]
Get:39 http://172.17.0.1/private/ jessie-staging/main libxmlrpc-core-c3 armhf 1.16.33-3.2 [146 kB]
Get:40 http://172.17.0.1/private/ jessie-staging/main emacsen-common all 2.0.5 [20.9 kB]
Get:41 http://172.17.0.1/private/ jessie-staging/main cmake-data all 2.8.9-1 [1359 kB]
Get:42 http://172.17.0.1/private/ jessie-staging/main cmake armhf 2.8.9-1 [4240 kB]
Get:43 http://172.17.0.1/private/ jessie-staging/main html2text armhf 1.3.2a-15 [98.5 kB]
Get:44 http://172.17.0.1/private/ jessie-staging/main gettext armhf 0.18.1.1-9 [1879 kB]
Get:45 http://172.17.0.1/private/ jessie-staging/main intltool-debian all 0.35.0+20060710.1 [29.8 kB]
Get:46 http://172.17.0.1/private/ jessie-staging/main po-debconf all 1.0.16+nmu2 [223 kB]
Get:47 http://172.17.0.1/private/ jessie-staging/main debhelper all 9.20120909 [705 kB]
Get:48 http://172.17.0.1/private/ jessie-staging/main libboost1.49-dev armhf 1.49.0-3.2 [9158 kB]
Get:49 http://172.17.0.1/private/ jessie-staging/main libboost-system1.49.0 armhf 1.49.0-3.2 [32.4 kB]
Get:50 http://172.17.0.1/private/ jessie-staging/main libboost-filesystem1.49.0 armhf 1.49.0-3.2 [73.4 kB]
Get:51 http://172.17.0.1/private/ jessie-staging/main libboost-system1.49-dev armhf 1.49.0-3.2 [34.6 kB]
Get:52 http://172.17.0.1/private/ jessie-staging/main libboost-filesystem1.49-dev armhf 1.49.0-3.2 [102 kB]
Get:53 http://172.17.0.1/private/ jessie-staging/main libboost-filesystem-dev armhf 1.49.0.1 [2750 B]
Get:54 http://172.17.0.1/private/ jessie-staging/main libboost-system-dev armhf 1.49.0.1 [2860 B]
Get:55 http://172.17.0.1/private/ jessie-staging/main libtinfo-dev armhf 5.9-10 [89.6 kB]
Get:56 http://172.17.0.1/private/ jessie-staging/main libreadline6-dev armhf 6.2+dfsg-0.1 [164 kB]
Get:57 http://172.17.0.1/private/ jessie-staging/main libreadline-dev armhf 6.2+dfsg-0.1 [898 B]
Get:58 http://172.17.0.1/private/ jessie-staging/main liblua5.1-0-dev armhf 5.1.5-4 [202 kB]
Get:59 http://172.17.0.1/private/ jessie-staging/main re2c armhf 0.13.5-1 [202 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 34.2 MB in 35s (960 kB/s)
Selecting previously unselected package libpcre3:armhf.
(Reading database ... 11288 files and directories currently installed.)
Unpacking libpcre3:armhf (from .../libpcre3_1%3a8.30-5_armhf.deb) ...
Selecting previously unselected package libpipeline1:armhf.
Unpacking libpipeline1:armhf (from .../libpipeline1_1.2.1-1_armhf.deb) ...
Selecting previously unselected package libssl1.0.0:armhf.
Unpacking libssl1.0.0:armhf (from .../libssl1.0.0_1.0.1e-2+rpi1_armhf.deb) ...
Selecting previously unselected package libasprintf0c2:armhf.
Unpacking libasprintf0c2:armhf (from .../libasprintf0c2_0.18.1.1-9_armhf.deb) ...
Selecting previously unselected package libgpg-error0:armhf.
Unpacking libgpg-error0:armhf (from .../libgpg-error0_1.10-3.1_armhf.deb) ...
Selecting previously unselected package libgcrypt11:armhf.
Unpacking libgcrypt11:armhf (from .../libgcrypt11_1.5.0-5_armhf.deb) ...
Selecting previously unselected package libp11-kit0:armhf.
Unpacking libp11-kit0:armhf (from .../libp11-kit0_0.12-3_armhf.deb) ...
Selecting previously unselected package libtasn1-3:armhf.
Unpacking libtasn1-3:armhf (from .../libtasn1-3_2.13-2_armhf.deb) ...
Selecting previously unselected package libgnutls26:armhf.
Unpacking libgnutls26:armhf (from .../libgnutls26_2.12.20-6_armhf.deb) ...
Selecting previously unselected package libkeyutils1:armhf.
Unpacking libkeyutils1:armhf (from .../libkeyutils1_1.5.5-3_armhf.deb) ...
Selecting previously unselected package libkrb5support0:armhf.
Unpacking libkrb5support0:armhf (from .../libkrb5support0_1.10.1+dfsg-5_armhf.deb) ...
Selecting previously unselected package libk5crypto3:armhf.
Unpacking libk5crypto3:armhf (from .../libk5crypto3_1.10.1+dfsg-5_armhf.deb) ...
Selecting previously unselected package libkrb5-3:armhf.
Unpacking libkrb5-3:armhf (from .../libkrb5-3_1.10.1+dfsg-5_armhf.deb) ...
Selecting previously unselected package libgssapi-krb5-2:armhf.
Unpacking libgssapi-krb5-2:armhf (from .../libgssapi-krb5-2_1.10.1+dfsg-5_armhf.deb) ...
Selecting previously unselected package libidn11:armhf.
Unpacking libidn11:armhf (from .../libidn11_1.25-2_armhf.deb) ...
Selecting previously unselected package libsasl2-2:armhf.
Unpacking libsasl2-2:armhf (from .../libsasl2-2_2.1.25.dfsg1-6_armhf.deb) ...
Selecting previously unselected package libldap-2.4-2:armhf.
Unpacking libldap-2.4-2:armhf (from .../libldap-2.4-2_2.4.31-1+nmu2_armhf.deb) ...
Selecting previously unselected package libmagic1:armhf.
Unpacking libmagic1:armhf (from .../libmagic1_5.11-2_armhf.deb) ...
Selecting previously unselected package libxml2:armhf.
Unpacking libxml2:armhf (from .../libxml2_2.8.0+dfsg1-7+nmu1_armhf.deb) ...
Selecting previously unselected package libnettle4:armhf.
Unpacking libnettle4:armhf (from .../libnettle4_2.4-3_armhf.deb) ...
Selecting previously unselected package libarchive12:armhf.
Unpacking libarchive12:armhf (from .../libarchive12_3.0.4-3+nmu1_armhf.deb) ...
Selecting previously unselected package libffi5:armhf.
Unpacking libffi5:armhf (from .../libffi5_3.0.10-3+b3_armhf.deb) ...
Selecting previously unselected package libglib2.0-0:armhf.
Unpacking libglib2.0-0:armhf (from .../libglib2.0-0_2.33.12+really2.32.4-5_armhf.deb) ...
Selecting previously unselected package libcroco3:armhf.
Unpacking libcroco3:armhf (from .../libcroco3_0.6.6-2_armhf.deb) ...
Selecting previously unselected package librtmp0:armhf.
Unpacking librtmp0:armhf (from .../librtmp0_2.4+20111222.git4e06e21-1_armhf.deb) ...
Selecting previously unselected package libssh2-1:armhf.
Unpacking libssh2-1:armhf (from .../libssh2-1_1.4.2-1.1_armhf.deb) ...
Selecting previously unselected package libcurl3:armhf.
Unpacking libcurl3:armhf (from .../libcurl3_7.26.0-1+wheezy2_armhf.deb) ...
Selecting previously unselected package libcurl3-gnutls:armhf.
Unpacking libcurl3-gnutls:armhf (from .../libcurl3-gnutls_7.26.0-1+wheezy2_armhf.deb) ...
Selecting previously unselected package libexpat1:armhf.
Unpacking libexpat1:armhf (from .../libexpat1_2.1.0-1_armhf.deb) ...
Selecting previously unselected package libunistring0:armhf.
Unpacking libunistring0:armhf (from .../libunistring0_0.9.3-5_armhf.deb) ...
Selecting previously unselected package libgettextpo0:armhf.
Unpacking libgettextpo0:armhf (from .../libgettextpo0_0.18.1.1-9_armhf.deb) ...
Selecting previously unselected package libicu48:armhf.
Unpacking libicu48:armhf (from .../libicu48_4.8.1.1-12_armhf.deb) ...
Selecting previously unselected package liblua5.1-0:armhf.
Unpacking liblua5.1-0:armhf (from .../liblua5.1-0_5.1.5-4_armhf.deb) ...
Selecting previously unselected package bsdmainutils.
Unpacking bsdmainutils (from .../bsdmainutils_9.0.3_armhf.deb) ...
Selecting previously unselected package groff-base.
Unpacking groff-base (from .../groff-base_1.21-9_armhf.deb) ...
Selecting previously unselected package man-db.
Unpacking man-db (from .../man-db_2.6.2-1_armhf.deb) ...
Selecting previously unselected package file.
Unpacking file (from .../archives/file_5.11-2_armhf.deb) ...
Selecting previously unselected package gettext-base.
Unpacking gettext-base (from .../gettext-base_0.18.1.1-9_armhf.deb) ...
Selecting previously unselected package libxmlrpc-core-c3.
Unpacking libxmlrpc-core-c3 (from .../libxmlrpc-core-c3_1.16.33-3.2_armhf.deb) ...
Selecting previously unselected package emacsen-common.
Unpacking emacsen-common (from .../emacsen-common_2.0.5_all.deb) ...
Selecting previously unselected package cmake-data.
Unpacking cmake-data (from .../cmake-data_2.8.9-1_all.deb) ...
Selecting previously unselected package cmake.
Unpacking cmake (from .../cmake_2.8.9-1_armhf.deb) ...
Selecting previously unselected package html2text.
Unpacking html2text (from .../html2text_1.3.2a-15_armhf.deb) ...
Selecting previously unselected package gettext.
Unpacking gettext (from .../gettext_0.18.1.1-9_armhf.deb) ...
Selecting previously unselected package intltool-debian.
Unpacking intltool-debian (from .../intltool-debian_0.35.0+20060710.1_all.deb) ...
Selecting previously unselected package po-debconf.
Unpacking po-debconf (from .../po-debconf_1.0.16+nmu2_all.deb) ...
Selecting previously unselected package debhelper.
Unpacking debhelper (from .../debhelper_9.20120909_all.deb) ...
Selecting previously unselected package libboost1.49-dev.
Unpacking libboost1.49-dev (from .../libboost1.49-dev_1.49.0-3.2_armhf.deb) ...
Selecting previously unselected package libboost-system1.49.0.
Unpacking libboost-system1.49.0 (from .../libboost-system1.49.0_1.49.0-3.2_armhf.deb) ...
Selecting previously unselected package libboost-filesystem1.49.0.
Unpacking libboost-filesystem1.49.0 (from .../libboost-filesystem1.49.0_1.49.0-3.2_armhf.deb) ...
Selecting previously unselected package libboost-system1.49-dev.
Unpacking libboost-system1.49-dev (from .../libboost-system1.49-dev_1.49.0-3.2_armhf.deb) ...
Selecting previously unselected package libboost-filesystem1.49-dev.
Unpacking libboost-filesystem1.49-dev (from .../libboost-filesystem1.49-dev_1.49.0-3.2_armhf.deb) ...
Selecting previously unselected package libboost-filesystem-dev.
Unpacking libboost-filesystem-dev (from .../libboost-filesystem-dev_1.49.0.1_armhf.deb) ...
Selecting previously unselected package libboost-system-dev.
Unpacking libboost-system-dev (from .../libboost-system-dev_1.49.0.1_armhf.deb) ...
Selecting previously unselected package libtinfo-dev:armhf.
Unpacking libtinfo-dev:armhf (from .../libtinfo-dev_5.9-10_armhf.deb) ...
Selecting previously unselected package libreadline6-dev:armhf.
Unpacking libreadline6-dev:armhf (from .../libreadline6-dev_6.2+dfsg-0.1_armhf.deb) ...
Selecting previously unselected package libreadline-dev:armhf.
Unpacking libreadline-dev:armhf (from .../libreadline-dev_6.2+dfsg-0.1_armhf.deb) ...
Selecting previously unselected package liblua5.1-0-dev:armhf.
Unpacking liblua5.1-0-dev:armhf (from .../liblua5.1-0-dev_5.1.5-4_armhf.deb) ...
Selecting previously unselected package re2c.
Unpacking re2c (from .../re2c_0.13.5-1_armhf.deb) ...
Selecting previously unselected package sbuild-build-depends-gringo-dummy.
Unpacking sbuild-build-depends-gringo-dummy (from .../sbuild-build-depends-gringo-dummy.deb) ...
Setting up libpcre3:armhf (1:8.30-5) ...
Setting up libpipeline1:armhf (1.2.1-1) ...
Setting up libssl1.0.0:armhf (1.0.1e-2+rpi1) ...
Setting up libasprintf0c2:armhf (0.18.1.1-9) ...
Setting up libgpg-error0:armhf (1.10-3.1) ...
Setting up libgcrypt11:armhf (1.5.0-5) ...
Setting up libp11-kit0:armhf (0.12-3) ...
Setting up libtasn1-3:armhf (2.13-2) ...
Setting up libgnutls26:armhf (2.12.20-6) ...
Setting up libkeyutils1:armhf (1.5.5-3) ...
Setting up libkrb5support0:armhf (1.10.1+dfsg-5) ...
Setting up libk5crypto3:armhf (1.10.1+dfsg-5) ...
Setting up libkrb5-3:armhf (1.10.1+dfsg-5) ...
Setting up libgssapi-krb5-2:armhf (1.10.1+dfsg-5) ...
Setting up libidn11:armhf (1.25-2) ...
Setting up libsasl2-2:armhf (2.1.25.dfsg1-6) ...
Setting up libldap-2.4-2:armhf (2.4.31-1+nmu2) ...
Setting up libmagic1:armhf (5.11-2) ...
Setting up libxml2:armhf (2.8.0+dfsg1-7+nmu1) ...
Setting up libnettle4:armhf (2.4-3) ...
Setting up libarchive12:armhf (3.0.4-3+nmu1) ...
Setting up libffi5:armhf (3.0.10-3+b3) ...
Setting up libglib2.0-0:armhf (2.33.12+really2.32.4-5) ...
No schema files found: doing nothing.
Setting up libcroco3:armhf (0.6.6-2) ...
Setting up librtmp0:armhf (2.4+20111222.git4e06e21-1) ...
Setting up libssh2-1:armhf (1.4.2-1.1) ...
Setting up libcurl3:armhf (7.26.0-1+wheezy2) ...
Setting up libcurl3-gnutls:armhf (7.26.0-1+wheezy2) ...
Setting up libexpat1:armhf (2.1.0-1) ...
Setting up libunistring0:armhf (0.9.3-5) ...
Setting up libgettextpo0:armhf (0.18.1.1-9) ...
Setting up libicu48:armhf (4.8.1.1-12) ...
Setting up liblua5.1-0:armhf (5.1.5-4) ...
Setting up bsdmainutils (9.0.3) ...
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 groff-base (1.21-9) ...
Setting up man-db (2.6.2-1) ...
Building database of manual pages ...
Setting up file (5.11-2) ...
Setting up gettext-base (0.18.1.1-9) ...
Setting up libxmlrpc-core-c3 (1.16.33-3.2) ...
Setting up emacsen-common (2.0.5) ...
Setting up cmake-data (2.8.9-1) ...
Install cmake-data for emacs
Setting up cmake (2.8.9-1) ...
Setting up html2text (1.3.2a-15) ...
Setting up gettext (0.18.1.1-9) ...
Setting up intltool-debian (0.35.0+20060710.1) ...
Setting up po-debconf (1.0.16+nmu2) ...
Setting up debhelper (9.20120909) ...
Setting up libboost1.49-dev (1.49.0-3.2) ...
Setting up libboost-system1.49.0 (1.49.0-3.2) ...
Setting up libboost-filesystem1.49.0 (1.49.0-3.2) ...
Setting up libboost-system1.49-dev (1.49.0-3.2) ...
Setting up libboost-filesystem1.49-dev (1.49.0-3.2) ...
Setting up libboost-filesystem-dev (1.49.0.1) ...
Setting up libboost-system-dev (1.49.0.1) ...
Setting up libtinfo-dev:armhf (5.9-10) ...
Setting up libreadline6-dev:armhf (6.2+dfsg-0.1) ...
Setting up libreadline-dev:armhf (6.2+dfsg-0.1) ...
Setting up liblua5.1-0-dev:armhf (5.1.5-4) ...
Setting up re2c (0.13.5-1) ...
Setting up sbuild-build-depends-gringo-dummy (0.invalid.0) ...
┌──────────────────────────────────────────────────────────────────────────────┐
│ Build environment │
└──────────────────────────────────────────────────────────────────────────────┘
Kernel: Linux 3.9.1-imx4 armhf (armv7l)
Toolchain package versions: binutils_2.22-8 dpkg-dev_1.16.10 g++-4.6_4.6.3-14+rpi1 gcc-4.6_4.6.3-14+rpi1 libc6-dev_2.13-38+rpi2 libstdc++6_4.7.2-5+rpi1 libstdc++6-4.6-dev_4.6.3-14+rpi1 linux-libc-dev_3.2.41-2+rpi1
Package versions: apt_0.9.7.8+rpi1 base-files_7.1 base-passwd_3.5.26 bash_4.2+dfsg-0.1 binutils_2.22-8 bsdmainutils_9.0.3 bsdutils_1:2.20.1-5.3 build-essential_11.5+b1 bzip2_1.0.6-4 cmake_2.8.9-1 cmake-data_2.8.9-1 coreutils_8.13-3.5 cpio_2.11+dfsg-0.1 cpp_4:4.6.3-8 cpp-4.6_4.6.3-14+rpi1 dash_0.5.7-3 debconf_1.5.50 debconf-i18n_1.5.50 debfoster_2.7-1.2 debhelper_9.20120909 debianutils_4.3.2 diffutils_1:3.2-6 dpkg_1.16.10 dpkg-dev_1.16.10 e2fslibs_1.42.5-1.1 e2fsprogs_1.42.5-1.1 emacsen-common_2.0.5 fakeroot_1.18.4-2 file_5.11-2 findutils_4.4.2-4 g++_4:4.6.3-8 g++-4.6_4.6.3-14+rpi1 gcc_4:4.6.3-8 gcc-4.5-base_4.5.3-12+rpi1 gcc-4.6_4.6.3-14+rpi1 gcc-4.6-base_4.6.3-14+rpi1 gcc-4.7-base_4.7.2-5+rpi1 gettext_0.18.1.1-9 gettext-base_0.18.1.1-9 gnupg_1.4.12-7 gpgv_1.4.12-7 grep_2.12-2 groff-base_1.21-9 gzip_1.5-1.1 hostname_3.11 html2text_1.3.2a-15 initramfs-tools_0.112 initscripts_2.88dsf-41 insserv_1.14.0-5 intltool-debian_0.35.0+20060710.1 klibc-utils_2.0.1-3.1+rpi1 kmod_9-3 libacl1_2.2.51-8 libapt-pkg4.12_0.9.7.8+rpi1 libarchive12_3.0.4-3+nmu1 libasprintf0c2_0.18.1.1-9 libattr1_1:2.4.46-8 libblkid1_2.20.1-5.3 libboost-filesystem-dev_1.49.0.1 libboost-filesystem1.49-dev_1.49.0-3.2 libboost-filesystem1.49.0_1.49.0-3.2 libboost-system-dev_1.49.0.1 libboost-system1.49-dev_1.49.0-3.2 libboost-system1.49.0_1.49.0-3.2 libboost1.49-dev_1.49.0-3.2 libbz2-1.0_1.0.6-4 libc-bin_2.13-38+rpi2 libc-dev-bin_2.13-38+rpi2 libc6_2.13-38+rpi2 libc6-dev_2.13-38+rpi2 libclass-isa-perl_0.36-5 libcomerr2_1.42.5-1.1 libcroco3_0.6.6-2 libcurl3_7.26.0-1+wheezy2 libcurl3-gnutls_7.26.0-1+wheezy2 libdb5.1_5.1.29-5 libdbus-1-3_1.6.8-1 libdpkg-perl_1.16.10 libexpat1_2.1.0-1 libffi5_3.0.10-3+b3 libgc1c2_1:7.1-9.1 libgcc1_1:4.7.2-5+rpi1 libgcrypt11_1.5.0-5 libgdbm3_1.8.3-11 libgettextpo0_0.18.1.1-9 libglib2.0-0_2.33.12+really2.32.4-5 libgmp10_2:5.0.5+dfsg-2 libgnutls26_2.12.20-6 libgomp1_4.7.2-5+rpi1 libgpg-error0_1.10-3.1 libgssapi-krb5-2_1.10.1+dfsg-5 libicu48_4.8.1.1-12 libidn11_1.25-2 libk5crypto3_1.10.1+dfsg-5 libkeyutils1_1.5.5-3 libklibc_2.0.1-3.1+rpi1 libkmod2_9-3 libkrb5-3_1.10.1+dfsg-5 libkrb5support0_1.10.1+dfsg-5 libldap-2.4-2_2.4.31-1+nmu2 liblocale-gettext-perl_1.05-7 liblua5.1-0_5.1.5-4 liblua5.1-0-dev_5.1.5-4 liblzma5_5.1.1alpha+20120614-2 libmagic1_5.11-2 libmount1_2.20.1-5.3 libmpc2_0.9-4 libmpfr4_3.1.0-5 libncurses5_5.9-10 libncursesw5_5.9-10 libnettle4_2.4-3 libnih-dbus1_1.0.3-4.1 libnih1_1.0.3-4.1 libp11-kit0_0.12-3 libpam-modules_1.1.3-7.1 libpam-modules-bin_1.1.3-7.1 libpam-runtime_1.1.3-9 libpam0g_1.1.3-7.1 libpcre3_1:8.30-5 libpipeline1_1.2.1-1 libprocps0_1:3.3.3-3 libreadline-dev_6.2+dfsg-0.1 libreadline6_6.2+dfsg-0.1 libreadline6-dev_6.2+dfsg-0.1 librtmp0_2.4+20111222.git4e06e21-1 libsasl2-2_2.1.25.dfsg1-6 libselinux1_2.1.9-5 libsemanage-common_2.1.6-6 libsemanage1_2.1.6-6 libsepol1_2.1.4-3 libslang2_2.2.4-15 libss2_1.42.5-1.1 libssh2-1_1.4.2-1.1 libssl1.0.0_1.0.1e-2+rpi1 libstdc++6_4.7.2-5+rpi1 libstdc++6-4.6-dev_4.6.3-14+rpi1 libswitch-perl_2.16-2 libtasn1-3_2.13-2 libtext-charwidth-perl_0.04-7 libtext-iconv-perl_1.7-5 libtext-wrapi18n-perl_0.06-7 libtimedate-perl_1.2000-1 libtinfo-dev_5.9-10 libtinfo5_5.9-10 libudev0_175-7.2 libunistring0_0.9.3-5 libusb-0.1-4_2:0.1.12-20+nmu1 libustr-1.0-1_1.0.4-3 libuuid1_2.20.1-5.3 libxml2_2.8.0+dfsg1-7+nmu1 libxmlrpc-core-c3_1.16.33-3.2 linux-libc-dev_3.2.41-2+rpi1 login_1:4.1.5.1-1 lsb-base_4.1+Debian8+rpi1 make_3.81-8.2 makedev_2.3.1-92 man-db_2.6.2-1 mawk_1.3.3-17 mount_2.20.1-5.3 mountall_2.46 multiarch-support_2.13-38+rpi2 ncurses-base_5.9-10 ncurses-bin_5.9-10 passwd_1:4.1.5.1-1 patch_2.6.1-3 perl_5.14.2-21+rpi1 perl-base_5.14.2-21+rpi1 perl-modules_5.14.2-21+rpi1 plymouth_0.8.5.1-5 po-debconf_1.0.16+nmu2 procps_1:3.3.3-3 raspbian-archive-keyring_20120528.2 re2c_0.13.5-1 readline-common_6.2+dfsg-0.1 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-gringo-dummy_0.invalid.0 sed_4.2.1-10 sensible-utils_0.0.7 sysv-rc_2.88dsf-41 sysvinit_2.88dsf-41 sysvinit-utils_2.88dsf-41 tar_1.26+dfsg-0.1 tzdata_2013b-2 udev_175-7.2 util-linux_2.20.1-5.3 xz-utils_5.1.1alpha+20120614-2 zlib1g_1:1.2.7.dfsg-13
┌──────────────────────────────────────────────────────────────────────────────┐
│ Build │
└──────────────────────────────────────────────────────────────────────────────┘
Unpack source
─────────────
gpgv: keyblock resource `/sbuild-nonexistent/.gnupg/trustedkeys.gpg': file open error
gpgv: Signature made Thu Nov 22 09:44:22 2012 UTC using RSA key ID A6669AA9
gpgv: Can't check signature: public key not found
dpkg-source: warning: failed to verify signature on ./gringo_3.0.4-4.dsc
dpkg-source: info: extracting gringo in gringo-3.0.4
dpkg-source: info: unpacking gringo_3.0.4.orig.tar.gz
dpkg-source: info: unpacking gringo_3.0.4-4.debian.tar.gz
dpkg-source: info: applying gringo-domain-fwd-decl.patch
dpkg-source: info: applying gringo-manpages.patch
dpkg-source: info: applying gringo-clang-gcc.patch
dpkg-source: info: applying gringo-unpool-pred.patch
dpkg-source: info: applying gringo-cond.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
LANG=en_US.UTF-8
LC_ALL=POSIX
LOGNAME=root
LS_OPTIONS=--color=auto
MAIL=/var/mail/root
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
PWD=/root
SCHROOT_ALIAS_NAME=jessie-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=jessie-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=111
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=jessie-staging-armhf-sbuild-605f5842-5576-4032-a04c-6ee3f6acc111
SCHROOT_UID=106
SCHROOT_USER=buildd
SHELL=/bin/sh
SHLVL=1
SSH_CLIENT=192.168.1.2 53109 22
SSH_CONNECTION=192.168.1.2 53109 192.168.1.45 22
SSH_TTY=/dev/pts/1
TERM=xterm
USER=root
XDG_SESSION_COOKIE=106ef489ba27ee071ab233f6518d3bce-1369081280.146676-2082782793
_=/etc/init.d/buildd
dpkg-buildpackage
─────────────────
dpkg-buildpackage: source package gringo
dpkg-buildpackage: source version 3.0.4-4
dpkg-buildpackage: source changed by Thomas Krennwallner <tkren@kr.tuwien.ac.at>
dpkg-source --before-build gringo-3.0.4
dpkg-buildpackage: host architecture armhf
fakeroot debian/rules clean
dh clean
dh_testdir
dh_auto_clean
make[1]: Entering directory `/«PKGBUILDDIR»'
rm -rf build
make[1]: Leaving directory `/«PKGBUILDDIR»'
dh_clean
debian/rules build-arch
dh build-arch
dh_testdir -a
debian/rules override_dh_auto_configure
make[1]: Entering directory `/«PKGBUILDDIR»'
rm -f libgringo/src/parser.cpp libgringo/src/converter.cpp
make[1]: Leaving directory `/«PKGBUILDDIR»'
debian/rules override_dh_auto_build
make[1]: Entering directory `/«PKGBUILDDIR»'
dh_auto_build -- target="gringo-app clingo-app iclingo-app" cmake_options="-DWITH_LUA=system -DWITH_LUASQL=1"
make[2]: Entering directory `/«PKGBUILDDIR»'
mkdir -p build/release
cd build/release && \
cmake ../.. \
-DCMAKE_CXX_FLAGS=-Wall \
-DCMAKE_BUILD_TYPE=release \
-DWITH_LUA=system -DWITH_LUASQL=1 && \
make gringo-app clingo-app iclingo-app
-- The C compiler identification is GNU 4.6.3
-- The CXX compiler identification is GNU 4.6.3
-- Check for working C compiler: /usr/bin/gcc
-- Check for working C compiler: /usr/bin/gcc -- works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working CXX compiler: /usr/bin/c++
-- Check for working CXX compiler: /usr/bin/c++ -- works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Performing Test HAS_WARN_NO_IGNORED_QUALIFIERS
-- Performing Test HAS_WARN_NO_IGNORED_QUALIFIERS - Success
-- Performing Test HAS_WARN_NO_UNUSED_PARAMETER
-- Performing Test HAS_WARN_NO_UNUSED_PARAMETER - Success
-- Performing Test HAS_WARN_NO_UNUSED_VARIABLE
-- Performing Test HAS_WARN_NO_UNUSED_VARIABLE - Success
-- Boost version: 1.49.0
-- Found the following Boost libraries:
-- filesystem
-- system
-- Found Lua51: /usr/lib/arm-linux-gnueabihf/liblua5.1.so;/usr/lib/arm-linux-gnueabihf/libm.so;/usr/lib/arm-linux-gnueabihf/libdl.so
-- Looking for re2c... - found
-- Configuring done
-- Generating done
-- Build files have been written to: /«PKGBUILDDIR»/build/release
make[3]: Entering directory `/«PKGBUILDDIR»/build/release'
make[4]: Entering directory `/«PKGBUILDDIR»/build/release'
make[5]: Entering directory `/«PKGBUILDDIR»/build/release'
make[6]: Entering directory `/«PKGBUILDDIR»/build/release'
Scanning dependencies of target program_opts-lib
make[6]: Leaving directory `/«PKGBUILDDIR»/build/release'
make[6]: Entering directory `/«PKGBUILDDIR»/build/release'
[ 1%] Building CXX object libprogram_opts/CMakeFiles/program_opts-lib.dir/src/app_options.cpp.o
[ 2%] Building CXX object libprogram_opts/CMakeFiles/program_opts-lib.dir/src/value.cpp.o
[ 4%] Building CXX object libprogram_opts/CMakeFiles/program_opts-lib.dir/src/program_options.cpp.o
Linking CXX static library ../lib/libprogram_opts.a
make[6]: Leaving directory `/«PKGBUILDDIR»/build/release'
[ 4%] Built target program_opts-lib
make[6]: Entering directory `/«PKGBUILDDIR»/build/release'
Scanning dependencies of target appgringo-lib
make[6]: Leaving directory `/«PKGBUILDDIR»/build/release'
make[6]: Entering directory `/«PKGBUILDDIR»/build/release'
[ 5%] Building CXX object app/gringo/CMakeFiles/appgringo-lib.dir/gringo_options.cpp.o
[ 7%] Building CXX object app/gringo/CMakeFiles/appgringo-lib.dir/gringo_app.cpp.o
/tmp/cc52nu2C.s: Assembler messages:
/tmp/cc52nu2C.s:1803: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:1813: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:1830: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:1895: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:1904: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:1921: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:1979: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:1989: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:2006: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:2085: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:2095: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:2112: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:2167: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:2177: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:2194: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:2242: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:2252: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:2269: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:2335: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:2344: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:2361: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:2436: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:2446: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:2463: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:3255: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:3265: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:3282: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:3347: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:3356: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:3373: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:3431: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:3441: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:3458: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:3546: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:3556: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:3573: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:3628: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:3638: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:3655: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:3703: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:3713: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:3730: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:3831: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:3840: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:3857: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:3933: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:3943: Warning: swp{b} use is deprecated for this architecture
/tmp/cc52nu2C.s:3960: Warning: swp{b} use is deprecated for this architecture
[ 8%] Building CXX object app/gringo/CMakeFiles/appgringo-lib.dir/main_app.cpp.o
Linking CXX static library ../../lib/libappgringo.a
make[6]: Leaving directory `/«PKGBUILDDIR»/build/release'
[ 8%] Built target appgringo-lib
make[6]: Entering directory `/«PKGBUILDDIR»/build/release'
[ 10%] Generating src/parser.cpp
[ 11%] Generating src/converter.cpp
Scanning dependencies of target gringo-lib
make[6]: Leaving directory `/«PKGBUILDDIR»/build/release'
make[6]: Entering directory `/«PKGBUILDDIR»/build/release'
[ 12%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/optimize.cpp.o
/tmp/ccuDjSs0.s: Assembler messages:
/tmp/ccuDjSs0.s:2477: Warning: swp{b} use is deprecated for this architecture
/tmp/ccuDjSs0.s:2486: Warning: swp{b} use is deprecated for this architecture
/tmp/ccuDjSs0.s:2503: Warning: swp{b} use is deprecated for this architecture
/tmp/ccuDjSs0.s:2548: Warning: swp{b} use is deprecated for this architecture
/tmp/ccuDjSs0.s:2557: Warning: swp{b} use is deprecated for this architecture
/tmp/ccuDjSs0.s:2574: Warning: swp{b} use is deprecated for this architecture
/tmp/ccuDjSs0.s:2963: Warning: swp{b} use is deprecated for this architecture
/tmp/ccuDjSs0.s:2972: Warning: swp{b} use is deprecated for this architecture
/tmp/ccuDjSs0.s:2989: Warning: swp{b} use is deprecated for this architecture
/tmp/ccuDjSs0.s:3087: Warning: swp{b} use is deprecated for this architecture
/tmp/ccuDjSs0.s:3097: Warning: swp{b} use is deprecated for this architecture
/tmp/ccuDjSs0.s:3114: Warning: swp{b} use is deprecated for this architecture
/tmp/ccuDjSs0.s:4027: Warning: swp{b} use is deprecated for this architecture
/tmp/ccuDjSs0.s:4035: Warning: swp{b} use is deprecated for this architecture
/tmp/ccuDjSs0.s:4052: Warning: swp{b} use is deprecated for this architecture
/tmp/ccuDjSs0.s:4085: Warning: swp{b} use is deprecated for this architecture
/tmp/ccuDjSs0.s:4093: Warning: swp{b} use is deprecated for this architecture
/tmp/ccuDjSs0.s:4110: Warning: swp{b} use is deprecated for this architecture
/tmp/ccuDjSs0.s:4146: Warning: swp{b} use is deprecated for this architecture
/tmp/ccuDjSs0.s:4155: Warning: swp{b} use is deprecated for this architecture
/tmp/ccuDjSs0.s:4172: Warning: swp{b} use is deprecated for this architecture
/tmp/ccuDjSs0.s:4209: Warning: swp{b} use is deprecated for this architecture
/tmp/ccuDjSs0.s:4218: Warning: swp{b} use is deprecated for this architecture
/tmp/ccuDjSs0.s:4235: Warning: swp{b} use is deprecated for this architecture
/tmp/ccuDjSs0.s:4378: Warning: swp{b} use is deprecated for this architecture
/tmp/ccuDjSs0.s:4389: Warning: swp{b} use is deprecated for this architecture
/tmp/ccuDjSs0.s:4421: Warning: swp{b} use is deprecated for this architecture
/tmp/ccuDjSs0.s:4432: Warning: swp{b} use is deprecated for this architecture
[ 14%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/groundprogrambuilder.cpp.o
[ 15%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/external.cpp.o
[ 17%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/plainoutput.cpp.o
[ 18%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/lparseoutput.cpp.o
[ 20%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/predlitrep.cpp.o
[ 21%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/stats.cpp.o
[ 22%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/rule.cpp.o
[ 24%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/compute.cpp.o
[ 25%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/parser_impl.cpp.o
/tmp/ccik38KW.s: Assembler messages:
/tmp/ccik38KW.s:782: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:791: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:808: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:827: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:835: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:852: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:887: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:896: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:913: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:948: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:958: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:975: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:1007: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:1016: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:1086: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:1095: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:1179: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:1237: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:4789: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:4798: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:5313: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:5322: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:6247: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:6255: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:6306: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:6314: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:6358: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:6367: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:6424: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:6434: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:6495: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:6504: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:6549: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:6558: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:6615: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:6625: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:6686: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:6695: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:6740: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:6749: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:6806: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:6816: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:6877: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:6886: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:6931: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:6940: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:6997: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:7007: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:7068: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:7077: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:7129: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:7137: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:7176: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:7184: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:7224: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:7232: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:7288: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:7298: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:7353: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:7363: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:7402: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:7410: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:7466: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:7476: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:7531: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:7541: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:7594: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:7602: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:7653: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:7661: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:7700: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:7708: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:7762: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:7770: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:8008: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:8235: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:8292: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:8338: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:8425: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:8477: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:9313: Warning: swp{b} use is deprecated for this architecture
/tmp/ccik38KW.s:9365: Warning: swp{b} use is deprecated for this architecture
[ 27%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/storage.cpp.o
[ 28%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/reifiedoutput.cpp.o
[ 30%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/functerm.cpp.o
[ 31%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/constterm.cpp.o
[ 32%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/streams.cpp.o
/tmp/ccIb9lPq.s: Assembler messages:
/tmp/ccIb9lPq.s:560: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:569: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:586: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:631: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:640: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:657: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:740: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:749: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:766: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1092: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1101: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1118: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1163: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1172: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1189: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1341: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1350: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1367: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1399: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1407: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1424: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1461: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1470: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1487: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1525: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1534: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1551: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1596: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1605: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1622: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1671: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1680: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1697: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1731: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1740: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1757: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1882: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1892: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1932: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1942: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1981: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:1990: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:2030: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:2039: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:3296: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:3305: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:3322: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:3378: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:3387: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:3404: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:3457: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:3466: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:3483: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:3528: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:3537: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:4207: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:4217: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:4234: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:4301: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:4311: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:4328: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:4386: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:4396: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:4413: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:4488: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:4498: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:4515: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:4570: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:4580: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:4597: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:4645: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:4655: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:4672: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:4740: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:4750: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:4767: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:4841: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:4851: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:4868: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:5291: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:5300: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:5317: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:5406: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:5416: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:5433: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:5499: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:5509: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:5526: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:5584: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:5594: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:5611: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:5756: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:5766: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:5783: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:5837: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:5847: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:5864: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:5912: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:5922: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:5939: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:6083: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:6093: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:6110: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:6185: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:6195: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:6212: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:6989: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:6998: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:7015: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:7045: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:7053: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:7070: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:7107: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:7116: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:7133: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:7170: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:7180: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:7197: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:7242: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:7251: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:7268: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:7317: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:7326: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:7343: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:7377: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:7386: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:7403: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:7521: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:7531: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:7571: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:7581: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:7620: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:7629: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:7669: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIb9lPq.s:7679: Warning: swp{b} use is deprecated for this architecture
[ 34%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/lparseconverter.cpp.o
[ 35%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/rangelit.cpp.o
[ 37%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/grounder.cpp.o
[ 38%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/instantiator.cpp.o
[ 40%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/domain.cpp.o
[ 41%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/junctionaggrlit.cpp.o
[ 42%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/litdep.cpp.o
[ 44%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/statement.cpp.o
[ 45%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/argterm.cpp.o
[ 47%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/stmdep.cpp.o
[ 48%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/minmaxaggrlit.cpp.o
[ 50%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/varcollector.cpp.o
[ 51%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/val.cpp.o
[ 52%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/display.cpp.o
[ 54%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/poolterm.cpp.o
[ 55%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/rellit.cpp.o
[ 57%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/sumaggrlit.cpp.o
[ 58%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/predindex.cpp.o
[ 60%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/groundable.cpp.o
[ 61%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/exceptions.cpp.o
[ 62%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/output.cpp.o
[ 64%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/lualit.cpp.o
[ 65%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/avgaggrlit.cpp.o
[ 67%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/inclit.cpp.o
[ 68%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/output/lparseparity_impl.cpp.o
[ 70%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/output/lparseavg_impl.cpp.o
[ 71%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/output/lparseminmax_impl.cpp.o
[ 72%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/output/lparserule_impl.cpp.o
[ 74%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/output/reifiedoutput_impl.cpp.o
[ 75%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/output/lparseconverter_impl.cpp.o
[ 77%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/output/plainoutput_impl.cpp.o
[ 78%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/output/lparsesum_impl.cpp.o
[ 80%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/output/lparsejunction_impl.cpp.o
[ 81%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/parityaggrlit.cpp.o
[ 82%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/index.cpp.o
[ 84%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/func.cpp.o
[ 85%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/rangeterm.cpp.o
[ 87%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/mathterm.cpp.o
[ 88%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/varterm.cpp.o
[ 90%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/converter_impl.cpp.o
[ 91%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/context.cpp.o
[ 92%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/luaterm.cpp.o
[ 94%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/aggrlit.cpp.o
[ 95%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/predlit.cpp.o
[ 97%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/converter.cpp.o
[ 98%] Building CXX object libgringo/CMakeFiles/gringo-lib.dir/src/parser.cpp.o
/tmp/ccGOy0A3.s: Assembler messages:
/tmp/ccGOy0A3.s:980: Warning: swp{b} use is deprecated for this architecture
/tmp/ccGOy0A3.s:989: Warning: swp{b} use is deprecated for this architecture
/tmp/ccGOy0A3.s:1006: Warning: swp{b} use is deprecated for this architecture
/tmp/ccGOy0A3.s:1051: Warning: swp{b} use is deprecated for this architecture
/tmp/ccGOy0A3.s:1060: Warning: swp{b} use is deprecated for this architecture
/tmp/ccGOy0A3.s:1077: Warning: swp{b} use is deprecated for this architecture
/tmp/ccGOy0A3.s:9002: Warning: swp{b} use is deprecated for this architecture
/tmp/ccGOy0A3.s:9011: Warning: swp{b} use is deprecated for this architecture
/tmp/ccGOy0A3.s:9028: Warning: swp{b} use is deprecated for this architecture
/tmp/ccGOy0A3.s:9151: Warning: swp{b} use is deprecated for this architecture
/tmp/ccGOy0A3.s:9161: Warning: swp{b} use is deprecated for this architecture
/tmp/ccGOy0A3.s:9178: Warning: swp{b} use is deprecated for this architecture
Linking CXX static library ../lib/libgringo.a
make[6]: Leaving directory `/«PKGBUILDDIR»/build/release'
[ 98%] Built target gringo-lib
make[6]: Entering directory `/«PKGBUILDDIR»/build/release'
Scanning dependencies of target gringo-app
make[6]: Leaving directory `/«PKGBUILDDIR»/build/release'
make[6]: Entering directory `/«PKGBUILDDIR»/build/release'
[100%] Building CXX object app/CMakeFiles/gringo-app.dir/gringo.cpp.o
Linking CXX executable ../bin/gringo
make[6]: Leaving directory `/«PKGBUILDDIR»/build/release'
[100%] Built target gringo-app
make[5]: Leaving directory `/«PKGBUILDDIR»/build/release'
make[4]: Leaving directory `/«PKGBUILDDIR»/build/release'
make[4]: Entering directory `/«PKGBUILDDIR»/build/release'
make[5]: Entering directory `/«PKGBUILDDIR»/build/release'
make[6]: Entering directory `/«PKGBUILDDIR»/build/release'
make[6]: Leaving directory `/«PKGBUILDDIR»/build/release'
[ 3%] Built target program_opts-lib
make[6]: Entering directory `/«PKGBUILDDIR»/build/release'
make[6]: Leaving directory `/«PKGBUILDDIR»/build/release'
[ 6%] Built target appgringo-lib
make[6]: Entering directory `/«PKGBUILDDIR»/build/release'
Scanning dependencies of target appclingo-lib
make[6]: Leaving directory `/«PKGBUILDDIR»/build/release'
make[6]: Entering directory `/«PKGBUILDDIR»/build/release'
[ 7%] Building CXX object app/clingo/CMakeFiles/appclingo-lib.dir/timer.cpp.o
[ 8%] Building CXX object app/clingo/CMakeFiles/appclingo-lib.dir/clasp/clasp_options.cpp.o
[ 10%] Building CXX object app/clingo/CMakeFiles/appclingo-lib.dir/clasp/clasp_output.cpp.o
[ 11%] Building CXX object app/clingo/CMakeFiles/appclingo-lib.dir/claspoutput.cpp.o
Linking CXX static library ../../lib/libappclingo.a
make[6]: Leaving directory `/«PKGBUILDDIR»/build/release'
[ 11%] Built target appclingo-lib
make[6]: Entering directory `/«PKGBUILDDIR»/build/release'
make[6]: Leaving directory `/«PKGBUILDDIR»/build/release'
[ 81%] Built target gringo-lib
make[6]: Entering directory `/«PKGBUILDDIR»/build/release'
Scanning dependencies of target clasp-lib
make[6]: Leaving directory `/«PKGBUILDDIR»/build/release'
make[6]: Entering directory `/«PKGBUILDDIR»/build/release'
[ 82%] Building CXX object libclasp/CMakeFiles/clasp-lib.dir/src/satelite.cpp.o
[ 83%] Building CXX object libclasp/CMakeFiles/clasp-lib.dir/src/program_rule.cpp.o
[ 84%] Building CXX object libclasp/CMakeFiles/clasp-lib.dir/src/preprocessor.cpp.o
[ 85%] Building CXX object libclasp/CMakeFiles/clasp-lib.dir/src/clause.cpp.o
[ 86%] Building CXX object libclasp/CMakeFiles/clasp-lib.dir/src/unfounded_check.cpp.o
[ 87%] Building CXX object libclasp/CMakeFiles/clasp-lib.dir/src/constraint.cpp.o
[ 88%] Building CXX object libclasp/CMakeFiles/clasp-lib.dir/src/smodels_constraints.cpp.o
[ 90%] Building CXX object libclasp/CMakeFiles/clasp-lib.dir/src/reader.cpp.o
[ 91%] Building CXX object libclasp/CMakeFiles/clasp-lib.dir/src/clasp_facade.cpp.o
[ 92%] Building CXX object libclasp/CMakeFiles/clasp-lib.dir/src/solver.cpp.o
[ 93%] Building CXX object libclasp/CMakeFiles/clasp-lib.dir/src/solve_algorithms.cpp.o
[ 94%] Building CXX object libclasp/CMakeFiles/clasp-lib.dir/src/heuristics.cpp.o
[ 95%] Building CXX object libclasp/CMakeFiles/clasp-lib.dir/src/program_builder.cpp.o
[ 96%] Building CXX object libclasp/CMakeFiles/clasp-lib.dir/src/cb_enumerator.cpp.o
[ 97%] Building CXX object libclasp/CMakeFiles/clasp-lib.dir/src/model_enumerators.cpp.o
[ 98%] Building CXX object libclasp/CMakeFiles/clasp-lib.dir/src/lookahead.cpp.o
Linking CXX static library ../lib/libclasp.a
make[6]: Leaving directory `/«PKGBUILDDIR»/build/release'
[ 98%] Built target clasp-lib
make[6]: Entering directory `/«PKGBUILDDIR»/build/release'
Scanning dependencies of target clingo-app
make[6]: Leaving directory `/«PKGBUILDDIR»/build/release'
make[6]: Entering directory `/«PKGBUILDDIR»/build/release'
[100%] Building CXX object app/CMakeFiles/clingo-app.dir/clingo.cpp.o
/tmp/ccNUGyJF.s: Assembler messages:
/tmp/ccNUGyJF.s:2395: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:2405: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:2422: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:2493: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:2502: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:2519: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:2578: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:2587: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:2604: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:2659: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:2668: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:2685: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:2743: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:2754: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:2771: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:2820: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:2831: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:2848: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:2990: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:3000: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:3017: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:3092: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:3101: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:3118: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:5917: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:5926: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:5943: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:5988: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:5997: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:6014: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:8436: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:8446: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:8463: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:8505: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:8514: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:8531: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:10616: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:10625: Warning: swp{b} use is deprecated for this architecture
/tmp/ccNUGyJF.s:10642: Warning: swp{b} use is deprecated for this architecture
Linking CXX executable ../bin/clingo
make[6]: Leaving directory `/«PKGBUILDDIR»/build/release'
[100%] Built target clingo-app
make[5]: Leaving directory `/«PKGBUILDDIR»/build/release'
make[4]: Leaving directory `/«PKGBUILDDIR»/build/release'
make[4]: Entering directory `/«PKGBUILDDIR»/build/release'
make[5]: Entering directory `/«PKGBUILDDIR»/build/release'
make[6]: Entering directory `/«PKGBUILDDIR»/build/release'
make[6]: Leaving directory `/«PKGBUILDDIR»/build/release'
[ 3%] Built target program_opts-lib
make[6]: Entering directory `/«PKGBUILDDIR»/build/release'
make[6]: Leaving directory `/«PKGBUILDDIR»/build/release'
[ 6%] Built target appgringo-lib
make[6]: Entering directory `/«PKGBUILDDIR»/build/release'
make[6]: Leaving directory `/«PKGBUILDDIR»/build/release'
[ 11%] Built target appclingo-lib
make[6]: Entering directory `/«PKGBUILDDIR»/build/release'
make[6]: Leaving directory `/«PKGBUILDDIR»/build/release'
[ 81%] Built target gringo-lib
make[6]: Entering directory `/«PKGBUILDDIR»/build/release'
make[6]: Leaving directory `/«PKGBUILDDIR»/build/release'
[ 98%] Built target clasp-lib
make[6]: Entering directory `/«PKGBUILDDIR»/build/release'
Scanning dependencies of target iclingo-app
make[6]: Leaving directory `/«PKGBUILDDIR»/build/release'
make[6]: Entering directory `/«PKGBUILDDIR»/build/release'
[100%] Building CXX object app/CMakeFiles/iclingo-app.dir/iclingo.cpp.o
/tmp/ccIRVnIa.s: Assembler messages:
/tmp/ccIRVnIa.s:3200: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:3210: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:3227: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:3298: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:3307: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:3324: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:3383: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:3392: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:3409: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:3464: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:3473: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:3490: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:3548: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:3559: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:3576: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:3625: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:3636: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:3653: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:3795: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:3805: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:3822: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:3897: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:3906: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:3923: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:6741: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:6750: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:6767: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:6812: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:6821: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:6838: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:9252: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:9262: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:9279: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:9321: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:9330: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:9347: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:12274: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:12283: Warning: swp{b} use is deprecated for this architecture
/tmp/ccIRVnIa.s:12300: Warning: swp{b} use is deprecated for this architecture
Linking CXX executable ../bin/iclingo
make[6]: Leaving directory `/«PKGBUILDDIR»/build/release'
[100%] Built target iclingo-app
make[5]: Leaving directory `/«PKGBUILDDIR»/build/release'
make[4]: Leaving directory `/«PKGBUILDDIR»/build/release'
make[3]: Leaving directory `/«PKGBUILDDIR»/build/release'
make[2]: Leaving directory `/«PKGBUILDDIR»'
make[1]: Leaving directory `/«PKGBUILDDIR»'
dh_auto_test -a
fakeroot debian/rules binary-arch
dh binary-arch
dh_testroot -a
dh_prep -a
dh_installdirs -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_installexamples -a
dh_installman -a
dh_installcatalogs -a
dh_installcron -a
dh_installdebconf -a
dh_installemacsen -a
dh_installifupdown -a
dh_installinfo -a
dh_installinit -a
dh_installmenu -a
dh_installmime -a
dh_installmodules -a
dh_installlogcheck -a
dh_installlogrotate -a
dh_installpam -a
dh_installppp -a
dh_installudev -a
dh_installwm -a
dh_installxfonts -a
dh_installgsettings -a
dh_bugfiles -a
dh_ucf -a
dh_lintian -a
dh_gconf -a
dh_icons -a
dh_perl -a
dh_usrlocal -a
dh_link -a
dh_compress -a
dh_fixperms -a
dh_strip -a
dh_makeshlibs -a
dh_shlibdeps -a
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/gringo/usr/bin/gringo debian/gringo/usr/bin/clingo debian/gringo/usr/bin/iclingo were not linked against libdl.so.2 (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
dh_md5sums -a
dh_builddeb -a
dpkg-deb: building package `gringo' in `../gringo_3.0.4-4_armhf.deb'.
dpkg-genchanges -B >../gringo_3.0.4-4_armhf.changes
dpkg-genchanges: arch-specific upload - not including arch-independent packages
dpkg-genchanges: binary-only upload - not including any source code
dpkg-source --after-build gringo-3.0.4
dpkg-buildpackage: binary only upload (no source included)
────────────────────────────────────────────────────────────────────────────────
Build finished at 20130522-2256
Finished
────────
I: Built successfully
┌──────────────────────────────────────────────────────────────────────────────┐
│ Changes │
└──────────────────────────────────────────────────────────────────────────────┘
gringo_3.0.4-4_armhf.changes:
─────────────────────────────
Format: 1.8
Date: Thu, 22 Nov 2012 10:40:56 +0100
Source: gringo
Binary: gringo
Architecture: armhf
Version: 3.0.4-4
Distribution: jessie-staging
Urgency: low
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Description:
gringo - grounding tools for (disjunctive) logic programs
Changes:
gringo (3.0.4-4) unstable; urgency=low
.
* Apply upstream patches from subversion r6200 and r6237 for fixing
potassco bugs 75 and 76, resp.
* debian/patches/gringo-cond.patch: New file originally from
http://sourceforge.net/p/potassco/code/6291/tree/tags/gringo-3.0.4/patches/patch-cond.diff?format=raw.
* debian/patches/gringo-unpool-pred.patch: New file originally from
http://sourceforge.net/p/potassco/code/6291/tree/tags/gringo-3.0.4/patches/patch-unpool-pred.diff?format=raw.
* debian/control: Bump Standards-Version to 3.9.4.
Checksums-Sha1:
316d4def625f2baea09d07593ef7b1121f9a89b8 1394116 gringo_3.0.4-4_armhf.deb
Checksums-Sha256:
3cfdd6aab31f5a680d85c23f22d47708e843f36948c2654aeb6d81a4a7aa017a 1394116 gringo_3.0.4-4_armhf.deb
Files:
48f349ff218d34287d9f44147e3bcdb0 1394116 interpreters extra gringo_3.0.4-4_armhf.deb
┌──────────────────────────────────────────────────────────────────────────────┐
│ Package contents │
└──────────────────────────────────────────────────────────────────────────────┘
gringo_3.0.4-4_armhf.deb
────────────────────────
new debian package, version 2.0.
size 1394116 bytes: control archive=1330 bytes.
1662 bytes, 33 lines control
614 bytes, 10 lines md5sums
Package: gringo
Version: 3.0.4-4
Architecture: armhf
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Installed-Size: 3249
Depends: libboost-filesystem1.49.0 (>= 1.49.0-1), libboost-system1.49.0 (>= 1.49.0-1), libc6 (>= 2.13-28), libgcc1 (>= 1:4.4.0), liblua5.1-0, libstdc++6 (>= 4.6)
Recommends: clasp
Suggests: potassco-guide
Conflicts: clingo, iclingo
Replaces: clingo, iclingo
Section: interpreters
Priority: extra
Homepage: http://potassco.sourceforge.net/
Description: grounding tools for (disjunctive) logic programs
Current answer set solvers work on variable-free programs. Hence, a
grounder is needed that, given an input program with first-order
variables, computes an equivalent ground (variable-free) program.
.
This package contains the following tools:
.
- gringo: creates lparse-compatbile variable-free programs.
- clingo: stands for clasp on gringo and combines both systems in
a monolithic way. Its input language is that of gringo and its
output corresponds to that of clasp.
- iclingo: an incremental answer set programming system
implemented on top of clingo. It is based on the idea that the
grounder as well as the solver are implemented in a stateful way.
Thus, both keep their previous states while increasing an
incremental parameter. As regards grounding, at each incremental
step, the goal is to produce only ground rules stemming from the
current program slice, without re-producing previous ground rules.
The ground program slices are then gradually passed to the solver
that accumulates ground rules and computes answer sets for them.
drwxr-xr-x root/root 0 2013-05-22 22:55 ./
drwxr-xr-x root/root 0 2013-05-22 22:55 ./usr/
drwxr-xr-x root/root 0 2013-05-22 22:56 ./usr/bin/
-rwxr-xr-x root/root 760508 2013-05-22 22:56 ./usr/bin/gringo
-rwxr-xr-x root/root 1271156 2013-05-22 22:56 ./usr/bin/clingo
-rwxr-xr-x root/root 1277888 2013-05-22 22:56 ./usr/bin/iclingo
drwxr-xr-x root/root 0 2013-05-22 22:55 ./usr/share/
drwxr-xr-x root/root 0 2013-05-22 22:55 ./usr/share/doc/
drwxr-xr-x root/root 0 2013-05-22 22:56 ./usr/share/doc/gringo/
-rw-r--r-- root/root 1787 2012-01-26 11:11 ./usr/share/doc/gringo/README
-rw-r--r-- root/root 8980 2011-09-25 15:18 ./usr/share/doc/gringo/copyright
-rw-r--r-- root/root 1931 2012-11-22 09:40 ./usr/share/doc/gringo/changelog.Debian.gz
-rw-r--r-- root/root 1326 2012-01-26 12:08 ./usr/share/doc/gringo/changelog.gz
drwxr-xr-x root/root 0 2013-05-22 22:55 ./usr/share/man/
drwxr-xr-x root/root 0 2013-05-22 22:56 ./usr/share/man/man1/
-rw-r--r-- root/root 990 2013-05-22 22:55 ./usr/share/man/man1/gringo.1.gz
-rw-r--r-- root/root 957 2013-05-22 22:55 ./usr/share/man/man1/clingo.1.gz
-rw-r--r-- root/root 1121 2013-05-22 22:55 ./usr/share/man/man1/iclingo.1.gz
┌──────────────────────────────────────────────────────────────────────────────┐
│ Post Build │
└──────────────────────────────────────────────────────────────────────────────┘
┌──────────────────────────────────────────────────────────────────────────────┐
│ Cleanup │
└──────────────────────────────────────────────────────────────────────────────┘
Purging /«BUILDDIR»
Not cleaning session: cloned chroot in use
┌──────────────────────────────────────────────────────────────────────────────┐
│ Summary │
└──────────────────────────────────────────────────────────────────────────────┘
Build Architecture: armhf
Build-Space: 19928
Build-Time: 1172
Distribution: jessie-staging
Host Architecture: armhf
Install-Time: 214
Job: gringo_3.0.4-4
Machine Architecture: armhf
Package: gringo
Package-Time: 1444
Source-Version: 3.0.4-4
Space: 19928
Status: successful
Version: 3.0.4-4
────────────────────────────────────────────────────────────────────────────────
Finished at 20130522-2256
Build needed 00:24:04, 19928k disc space