sbuild (Debian sbuild) 0.63.1 (31 May 2012) on build07.raspbian.lan ╔══════════════════════════════════════════════════════════════════════════════╗ ║ spark 2011.0.deb-5 (armhf) 13 Jul 2012 22:29 ║ ╚══════════════════════════════════════════════════════════════════════════════╝ Package: spark Version: 2011.0.deb-5 Source Version: 2011.0.deb-5 Distribution: testing Machine Architecture: armhf Host Architecture: armhf Build Architecture: armhf W: line 7 [testing-armhf-sbuild]: Deprecated key ‘script-config’ used I: This option will be removed in the future; please update your configuration I: NOTICE: Log filtering will replace 'build/spark-1b3bjQ/spark-2011.0.deb' with '«PKGBUILDDIR»' I: NOTICE: Log filtering will replace 'build/spark-1b3bjQ' with '«BUILDDIR»' I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/testing-armhf-sbuild-83631efc-f770-4d72-a161-7cea8ea6f7ae' with '«CHROOT»' ┌──────────────────────────────────────────────────────────────────────────────┐ │ Update chroot │ └──────────────────────────────────────────────────────────────────────────────┘ Hit http://repo.raspbian.lan testing InRelease Hit http://repo.raspbian.lan testing/main Sources Hit http://repo.raspbian.lan testing/main armhf Packages Ign http://repo.raspbian.lan testing/main Translation-en 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: 'spark' packaging is maintained in the 'Git' version control system at: git://git.debian.org/collab-maint/spark.git Need to get 2599 kB of source archives. Get:1 http://repo.raspbian.lan/raspbian/ testing/main spark 2011.0.deb-5 (dsc) [1314 B] Get:2 http://repo.raspbian.lan/raspbian/ testing/main spark 2011.0.deb-5 (tar) [2575 kB] Get:3 http://repo.raspbian.lan/raspbian/ testing/main spark 2011.0.deb-5 (diff) [22.5 kB] Fetched 2599 kB in 0s (3569 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-3GbmAh/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 6 not upgraded. Need to get 0 B/704 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 ... 10635 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), gnat, swi-prolog-nox (>= 5.10.4~), libgmp-dev (>= 2:5.0.1+dfsg-7~), bison, flex Filtered Build-Depends: libc6-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), debhelper (>= 8), gnat, swi-prolog-nox (>= 5.10.4~), libgmp-dev (>= 2:5.0.1+dfsg-7~), bison, flex dpkg-deb: building package `sbuild-build-depends-spark-dummy' in `/«BUILDDIR»/resolver-3j74SD/apt_archive/sbuild-build-depends-spark-dummy.deb'. OK Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Install spark build dependencies (apt-based resolver) │ └──────────────────────────────────────────────────────────────────────────────┘ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: bison bsdmainutils debhelper file flex gettext gettext-base gnat gnat-4.6 gnat-4.6-base groff-base html2text intltool-debian libasprintf0c2 libbison-dev libcroco3 libffi5 libgettextpo0 libglib2.0-0 libgmp-dev libgmp3-dev libgmpxx4ldbl libgnat-4.6 libgnatprj4.6 libgnatvsn4.6 libmagic1 libncurses5-dev libpcre3 libpipeline1 libreadline-dev libreadline6-dev libtinfo-dev libunistring0 libxml2 m4 man-db ncurses-bin po-debconf swi-prolog-nox Suggested packages: bison-doc wamerican wordlist whois vacation dh-make gettext-doc gnat-4.6-doc ada-reference-manual-html ada-reference-manual-info ada-reference-manual-pdf ada-reference-manual-text gnat-4.6-sjlj groff libgmp10-doc libmpfr-dev ncurses-doc less www-browser libmail-box-perl swi-prolog-doc prolog-el Recommended packages: curl wget lynx-cur autopoint ada-reference-manual gnat-gps libglib2.0-data shared-mime-info xml-core libmail-sendmail-perl The following NEW packages will be installed: bison bsdmainutils debhelper file flex gettext gettext-base gnat gnat-4.6 gnat-4.6-base groff-base html2text intltool-debian libasprintf0c2 libbison-dev libcroco3 libffi5 libgettextpo0 libglib2.0-0 libgmp-dev libgmp3-dev libgmpxx4ldbl libgnat-4.6 libgnatprj4.6 libgnatvsn4.6 libmagic1 libncurses5-dev libpcre3 libpipeline1 libreadline-dev libreadline6-dev libtinfo-dev libunistring0 libxml2 m4 man-db po-debconf sbuild-build-depends-spark-dummy swi-prolog-nox The following packages will be upgraded: ncurses-bin 1 upgraded, 39 newly installed, 0 to remove and 5 not upgraded. Need to get 2575 kB/27.4 MB of archives. After this operation, 83.5 MB of additional disk space will be used. Get:1 http://repo.raspbian.lan/raspbian/ testing/main ncurses-bin armhf 5.9-10 [332 kB] Get:2 http://repo.raspbian.lan/raspbian/ testing/main gnat armhf 4.6 [2358 B] Get:3 http://repo.raspbian.lan/raspbian/ testing/main libncurses5-dev armhf 5.9-10 [202 kB] Get:4 http://repo.raspbian.lan/raspbian/ testing/main swi-prolog-nox armhf 5.10.4-3 [2038 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 2575 kB in 0s (3536 kB/s) (Reading database ... 10635 files and directories currently installed.) Preparing to replace ncurses-bin 5.9-9 (using .../ncurses-bin_5.9-10_armhf.deb) ... Unpacking replacement ncurses-bin ... Setting up ncurses-bin (5.9-10) ... Selecting previously unselected package libpcre3:armhf. (Reading database ... 10635 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 libasprintf0c2:armhf. Unpacking libasprintf0c2:armhf (from .../libasprintf0c2_0.18.1.1-9_armhf.deb) ... Selecting previously unselected package libmagic1:armhf. Unpacking libmagic1:armhf (from .../libmagic1_5.11-1_armhf.deb) ... Selecting previously unselected package libxml2:armhf. Unpacking libxml2:armhf (from .../libxml2_2.8.0+dfsg1-4_armhf.deb) ... Selecting previously unselected package m4. Unpacking m4 (from .../archives/m4_1.4.16-3_armhf.deb) ... Selecting previously unselected package flex. Unpacking flex (from .../flex_2.5.35-10_armhf.deb) ... Selecting previously unselected package gnat-4.6-base. Unpacking gnat-4.6-base (from .../gnat-4.6-base_4.6.3-4+rpi2_armhf.deb) ... Selecting previously unselected package libgnat-4.6:armhf. Unpacking libgnat-4.6:armhf (from .../libgnat-4.6_4.6.3-4+rpi2_armhf.deb) ... Selecting previously unselected package libgnatvsn4.6:armhf. Unpacking libgnatvsn4.6:armhf (from .../libgnatvsn4.6_4.6.3-4+rpi2_armhf.deb) ... Selecting previously unselected package libgnatprj4.6:armhf. Unpacking libgnatprj4.6:armhf (from .../libgnatprj4.6_4.6.3-4+rpi2_armhf.deb) ... Selecting previously unselected package gnat-4.6. Unpacking gnat-4.6 (from .../gnat-4.6_4.6.3-4+rpi2_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.32.3-1_armhf.deb) ... Selecting previously unselected package libcroco3:armhf. Unpacking libcroco3:armhf (from .../libcroco3_0.6.5-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 libgmpxx4ldbl:armhf. Unpacking libgmpxx4ldbl:armhf (from .../libgmpxx4ldbl_2%3a5.0.5+dfsg-2_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-1_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 libbison-dev:armhf. Unpacking libbison-dev:armhf (from .../libbison-dev_1%3a2.5.dfsg-2.1_armhf.deb) ... Selecting previously unselected package bison. Unpacking bison (from .../bison_1%3a2.5.dfsg-2.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.20120608_all.deb) ... Selecting previously unselected package gnat. Unpacking gnat (from .../archives/gnat_4.6_armhf.deb) ... Selecting previously unselected package libgmp-dev:armhf. Unpacking libgmp-dev:armhf (from .../libgmp-dev_2%3a5.0.5+dfsg-2_armhf.deb) ... Selecting previously unselected package libgmp3-dev. Unpacking libgmp3-dev (from .../libgmp3-dev_2%3a5.0.5+dfsg-2_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 libncurses5-dev. Unpacking libncurses5-dev (from .../libncurses5-dev_5.9-10_armhf.deb) ... Selecting previously unselected package libreadline6-dev:armhf. Unpacking libreadline6-dev:armhf (from .../libreadline6-dev_6.2-8_armhf.deb) ... Selecting previously unselected package libreadline-dev:armhf. Unpacking libreadline-dev:armhf (from .../libreadline-dev_6.2-8_armhf.deb) ... Selecting previously unselected package swi-prolog-nox. Unpacking swi-prolog-nox (from .../swi-prolog-nox_5.10.4-3_armhf.deb) ... Selecting previously unselected package sbuild-build-depends-spark-dummy. Unpacking sbuild-build-depends-spark-dummy (from .../sbuild-build-depends-spark-dummy.deb) ... Setting up libpcre3:armhf (1:8.30-5) ... Setting up libpipeline1:armhf (1.2.1-1) ... Setting up libasprintf0c2:armhf (0.18.1.1-9) ... Setting up libmagic1:armhf (5.11-1) ... Setting up libxml2:armhf (2.8.0+dfsg1-4) ... Setting up m4 (1.4.16-3) ... Setting up flex (2.5.35-10) ... Setting up gnat-4.6-base (4.6.3-4+rpi2) ... Setting up libgnat-4.6:armhf (4.6.3-4+rpi2) ... Setting up libgnatvsn4.6:armhf (4.6.3-4+rpi2) ... Setting up libgnatprj4.6:armhf (4.6.3-4+rpi2) ... Setting up gnat-4.6 (4.6.3-4+rpi2) ... Setting up libffi5:armhf (3.0.10-3+b3) ... Setting up libglib2.0-0:armhf (2.32.3-1) ... No schema files found: doing nothing. Setting up libcroco3:armhf (0.6.5-1) ... Setting up libunistring0:armhf (0.9.3-5) ... Setting up libgettextpo0:armhf (0.18.1.1-9) ... Setting up libgmpxx4ldbl:armhf (2:5.0.5+dfsg-2) ... 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-1) ... Setting up gettext-base (0.18.1.1-9) ... Setting up libbison-dev:armhf (1:2.5.dfsg-2.1) ... Setting up bison (1:2.5.dfsg-2.1) ... update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode. 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.20120608) ... Setting up gnat (4.6) ... Setting up libgmp-dev:armhf (2:5.0.5+dfsg-2) ... Setting up libgmp3-dev (2:5.0.5+dfsg-2) ... Setting up libtinfo-dev:armhf (5.9-10) ... Setting up libncurses5-dev (5.9-10) ... Setting up libreadline6-dev:armhf (6.2-8) ... Setting up libreadline-dev:armhf (6.2-8) ... Setting up swi-prolog-nox (5.10.4-3) ... update-alternatives: using /usr/bin/swipl to provide /usr/bin/prolog (prolog) in auto mode. Setting up sbuild-build-depends-spark-dummy (0.invalid.0) ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build environment │ └──────────────────────────────────────────────────────────────────────────────┘ Kernel: Linux 3.2.0-2-mx5 armhf (armv7l) Toolchain package versions: binutils_2.22-6.1 dpkg-dev_1.16.4.3 g++-4.6_4.6.3-8+rpi1 gcc-4.6_4.6.3-8+rpi1 libc6-dev_2.13-33 libstdc++6_4.7.1-2+rpi1 libstdc++6-4.6-dev_4.6.3-8+rpi1 linux-libc-dev_3.2.21-1+rpi1 Package versions: apt_0.9.3+rpi1 base-files_6.9 base-passwd_3.5.26 bash_4.2-2 binutils_2.22-6.1 bison_1:2.5.dfsg-2.1 bsdmainutils_9.0.3 bsdutils_1:2.20.1-5.1 build-essential_11.5+b1 bzip2_1.0.6-3 coreutils_8.13-3.2 cpp_4:4.6.3-7 cpp-4.6_4.6.3-8+rpi1 dash_0.5.7-3 debconf_1.5.44 debfoster_2.7-1.1 debhelper_9.20120608 debian-archive-keyring_2012.3 debianutils_4.3.1 diffutils_1:3.2-6 dpkg_1.16.4.3 dpkg-dev_1.16.4.3 e2fslibs_1.42.4-3 e2fsprogs_1.42.4-3 fakeroot_1.18.4-2 file_5.11-1 findutils_4.4.2-4 flex_2.5.35-10 g++_4:4.6.3-6 g++-4.6_4.6.3-8+rpi1 gcc_4:4.6.3-7 gcc-4.4-base_4.4.7-1.1+rpi1 gcc-4.5-base_4.5.3-12+rpi1 gcc-4.6_4.6.3-8+rpi1 gcc-4.6-base_4.6.3-8+rpi1 gcc-4.7-base_4.7.1-2+rpi1 gettext_0.18.1.1-9 gettext-base_0.18.1.1-9 gnat_4.6 gnat-4.6_4.6.3-4+rpi2 gnat-4.6-base_4.6.3-4+rpi2 gnupg_1.4.12-4 gpgv_1.4.12-4 grep_2.12-2 groff-base_1.21-9 gzip_1.5-1.1 hostname_3.11 html2text_1.3.2a-15 initscripts_2.88dsf-22.1 insserv_1.14.0-3 intltool-debian_0.35.0+20060710.1 libacl1_2.2.51-8 libapt-pkg4.12_0.9.3+rpi1 libasprintf0c2_0.18.1.1-9 libattr1_1:2.4.46-8 libbison-dev_1:2.5.dfsg-2.1 libblkid1_2.20.1-5.1 libbz2-1.0_1.0.6-3 libc-bin_2.13-33 libc-dev-bin_2.13-33 libc6_2.13-33 libc6-dev_2.13-33 libclass-isa-perl_0.36-3 libcomerr2_1.42.4-3 libcroco3_0.6.5-1 libdb5.1_5.1.29-4 libdpkg-perl_1.16.4.3 libffi5_3.0.10-3+b3 libfile-fcntllock-perl_0.14-2 libgc1c2_1:7.1-8 libgcc1_1:4.7.1-2+rpi1 libgdbm3_1.8.3-11 libgettextpo0_0.18.1.1-9 libglib2.0-0_2.32.3-1 libgmp-dev_2:5.0.5+dfsg-2 libgmp10_2:5.0.5+dfsg-2 libgmp3-dev_2:5.0.5+dfsg-2 libgmpxx4ldbl_2:5.0.5+dfsg-2 libgnat-4.6_4.6.3-4+rpi2 libgnatprj4.6_4.6.3-4+rpi2 libgnatvsn4.6_4.6.3-4+rpi2 libgomp1_4.7.1-2+rpi1 liblocale-gettext-perl_1.05-7 liblzma5_5.1.1alpha+20120614-1 libmagic1_5.11-1 libmount1_2.20.1-5.1 libmpc2_0.9-4 libmpfr4_3.1.0-5 libncurses5_5.9-10 libncurses5-dev_5.9-10 libncursesw5_5.9-10 libpam-modules_1.1.3-7.1 libpam-modules-bin_1.1.3-7.1 libpam-runtime_1.1.3-7.1 libpam0g_1.1.3-7.1 libpcre3_1:8.30-5 libpipeline1_1.2.1-1 libreadline-dev_6.2-8 libreadline6_6.2-8 libreadline6-dev_6.2-8 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-10 libss2_1.42.4-3 libstdc++6_4.7.1-2+rpi1 libstdc++6-4.6-dev_4.6.3-8+rpi1 libswitch-perl_2.16-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 libunistring0_0.9.3-5 libusb-0.1-4_2:0.1.12-20 libustr-1.0-1_1.0.4-3 libuuid1_2.20.1-5.1 libxml2_2.8.0+dfsg1-4 linux-libc-dev_3.2.21-1+rpi1 login_1:4.1.5.1-1 lsb-base_4.1+Debian7 m4_1.4.16-3 make_3.81-8.2 man-db_2.6.2-1 mawk_1.3.3-17 mount_2.20.1-5.1 multiarch-support_2.13-33 ncurses-base_5.9-9 ncurses-bin_5.9-10 passwd_1:4.1.5.1-1 patch_2.6.1-3 perl_5.14.2-12+rpi1 perl-base_5.14.2-12+rpi1 perl-modules_5.14.2-12+rpi1 po-debconf_1.0.16+nmu2 raspbian-archive-keyring_20120528.2 readline-common_6.2-8 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-spark-dummy_0.invalid.0 sed_4.2.1-10 sensible-utils_0.0.7 swi-prolog-nox_5.10.4-3 sysv-rc_2.88dsf-22.1 sysvinit_2.88dsf-22.1 sysvinit-utils_2.88dsf-22.1 tar_1.26-4 tzdata_2012c-1 ucf_3.0025+nmu3 util-linux_2.20.1-5.1 xz-utils_5.1.1alpha+20120614-1 zlib1g_1:1.2.7.dfsg-13 ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build │ └──────────────────────────────────────────────────────────────────────────────┘ Unpack source ───────────── gpgv: keyblock resource `/sbuild-nonexistent/.gnupg/trustedkeys.gpg': file open error gpgv: Signature made Fri Oct 21 13:25:18 2011 UTC using DSA key ID 39A8CCE2 gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./spark_2011.0.deb-5.dsc dpkg-source: info: extracting spark in spark-2011.0.deb dpkg-source: info: unpacking spark_2011.0.deb.orig.tar.gz dpkg-source: info: unpacking spark_2011.0.deb-5.debian.tar.gz dpkg-source: info: applying debian-architecture-detect.diff dpkg-source: info: applying examiner-architecture-bits.diff dpkg-source: info: applying checker-makefile.diff dpkg-source: info: applying checker-swi-prolog.diff dpkg-source: info: applying checker-predefined-predicates.diff dpkg-source: info: applying checker-environment.diff dpkg-source: info: applying checker-pro-suffixes.diff dpkg-source: info: applying checker-redefine-flatten.diff dpkg-source: info: applying checker-swi-save.diff dpkg-source: info: applying checker-remove-close_all_streams.diff dpkg-source: info: applying checker-seeing-fixes.diff dpkg-source: info: applying checker-SWI-and-SICSTUS-need-portray-and-portrayed-respective.diff dpkg-source: info: applying checker-no-error-in-read_term.diff dpkg-source: info: applying no-alt-ergo.diff dpkg-source: info: applying make-dependencies.diff dpkg-source: info: applying victor-no-static-gmp.diff dpkg-source: info: applying simplifier-swi-save.diff dpkg-source: info: applying simplifier-makefile.diff dpkg-source: info: applying simplifier-library-lists-instead-of-sets.diff dpkg-source: info: applying simplifier-no-file_systems.diff dpkg-source: info: applying simplifier-use-lists.diff dpkg-source: info: applying simplifier-misc.diff dpkg-source: info: applying simplifier-clean.diff dpkg-source: info: applying simplifier-SWI-and-SICSTUS-need-portray-and-portrayed-respective.diff dpkg-source: info: applying simplifier-further-byte-for-byte-fixes.diff dpkg-source: info: applying simplifier-defectreporting.diff dpkg-source: info: applying simplifier-pro-suffixes.diff dpkg-source: info: applying simplifier-undefined-exports.diff dpkg-source: info: applying simplifier-unexistent-units.diff dpkg-source: info: applying simplifier-remove-close_all_streams.diff dpkg-source: info: applying victor-use-env-opt-flags.diff dpkg-source: info: applying ada-use-evn-optflags.diff dpkg-source: info: applying victor-gmpxx-as-needed.diff dpkg-source: info: applying makefile-gnatmake-par-envvar.diff dpkg-source: info: applying ada-link-env-flags.diff Check disc space ──────────────── Sufficient free space for build User Environment ──────────────── HOME=/sbuild-nonexistent LOGNAME=buildd PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/X11R6/bin:/usr/games SCHROOT_ALIAS_NAME=chroot:testing-armhf-sbuild SCHROOT_CHROOT_NAME=testing-armhf-sbuild SCHROOT_COMMAND=env SCHROOT_GID=108 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=testing-armhf-sbuild-83631efc-f770-4d72-a161-7cea8ea6f7ae SCHROOT_UID=106 SCHROOT_USER=buildd SHELL=/bin/sh TERM=xterm USER=buildd dpkg-buildpackage ───────────────── dpkg-buildpackage: source package spark dpkg-buildpackage: source version 2011.0.deb-5 dpkg-source --before-build spark-2011.0.deb dpkg-buildpackage: host architecture armhf fakeroot debian/rules clean dh clean dh_testdir debian/rules override_dh_auto_clean make[1]: Entering directory `/«PKGBUILDDIR»' /usr/bin/make reallycleanall make[2]: Entering directory `/«PKGBUILDDIR»' rm -f ./bin/* rm -f ./share/spark/* make -C sparklalr reallyclean make[3]: Entering directory `/«PKGBUILDDIR»/sparklalr' rm -f *.o *.ali rm -f sparklalr rm -f b~*.ad[sb] find vcg -type f -name "*.vcg" -delete find vcg -type f -name "*.fdl" -delete find vcg -type f -name "*.rls" -delete find vcg -type f -name "*.siv" -delete find vcg -type f -name "*.slg" -delete find vcg -type f -name "*.sli" -delete find vcg -type f -name "*.lsb" -delete find vcg -type f -name "*.log" -delete rm -f vcg/sparklalr.rep find vcg -depth -mindepth 1 -type d | grep -v -e '/\.svn' | xargs rmdir --ignore-fail-on-non-empty rmdir: missing operand Try `rmdir --help' for more information. make[3]: [vcclean] Error 123 (ignored) make[3]: Leaving directory `/«PKGBUILDDIR»/sparklalr' make -C examiner reallyclean make[3]: Entering directory `/«PKGBUILDDIR»/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali rm -f spark rm -f b~*.ad[sb] rm -f sp_symbols.ads sp_parser_goto.adb sp_parser_goto.ads sp_relations.adb sp_relations.ads sp_parser_actions.adb sp_parser_actions.ads sp_productions.ads sp_expected_symbols.adb sp_expected_symbols.ads SPARK.PAR rm -f examinerconstants.ads filesystem.adb indexmanager-cache.adb indexmanager-cache.shb sli-xref.adb sli-xref.shb find vcg -type f -name "*.vcg" -delete find vcg -type f -name "*.fdl" -delete find vcg -type f -name "*.rls" -delete find vcg -type f -name "*.siv" -delete find vcg -type f -name "*.slg" -delete find vcg -type f -name "*.sli" -delete find vcg -type f -name "*.lsb" -delete find vcg -type f -name "*.log" -delete find vcg -type f -name "*.vct" -delete find vcg -type f -name "*.vlg" -delete find vcg -type f -name "*.vsm" -delete rm -f vcg/*.rep vcg/mainunits95.xml find vcg -depth -mindepth 1 -type d | grep -v -e '/\.svn' | xargs rmdir --ignore-fail-on-non-empty make[3]: Leaving directory `/«PKGBUILDDIR»/examiner' make -C simplifier reallyclean make[3]: Entering directory `/«PKGBUILDDIR»/simplifier' rm -f spadesimp.sav spadesimp.exp spadesimp.ilk spadesimp.lib spadesimp.pdb rm -f zombiescope.sav zombiescope.exp zombiescope.ilk zombiescope.lib zombiescope.pdb rm -f spadesimp zombiescope rm -f spadesimp rm -f spadesimp.manifest rm -f zombiescope rm -f zombiescope.manifest rm -f spxref_warning.txt spxref_cross.txt spxref_ported.txt spxref_undefined.txt make[3]: Leaving directory `/«PKGBUILDDIR»/simplifier' make -C wraputility reallyclean make[3]: Entering directory `/«PKGBUILDDIR»/wraputility' rm -f *.o *.ali rm -f wrap_utility rm -f b~*.ad[sb] find vcg -type f -name "*.vcg" -delete find vcg -type f -name "*.fdl" -delete find vcg -type f -name "*.rls" -delete find vcg -type f -name "*.siv" -delete find vcg -type f -name "*.slg" -delete find vcg -type f -name "*.sli" -delete find vcg -type f -name "*.lsb" -delete find vcg -type f -name "*.log" -delete rm -f vcg/wrap_utility.rep find vcg -depth -mindepth 1 -type d | grep -v -e '/\.svn' | xargs rmdir --ignore-fail-on-non-empty rmdir: missing operand Try `rmdir --help' for more information. make[3]: [vcclean] Error 123 (ignored) make -C ../examiner clean make[4]: Entering directory `/«PKGBUILDDIR»/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali make[4]: Leaving directory `/«PKGBUILDDIR»/examiner' make -C ../examiner reallyclean make[4]: Entering directory `/«PKGBUILDDIR»/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali rm -f spark rm -f b~*.ad[sb] rm -f sp_symbols.ads sp_parser_goto.adb sp_parser_goto.ads sp_relations.adb sp_relations.ads sp_parser_actions.adb sp_parser_actions.ads sp_productions.ads sp_expected_symbols.adb sp_expected_symbols.ads SPARK.PAR rm -f examinerconstants.ads filesystem.adb indexmanager-cache.adb indexmanager-cache.shb sli-xref.adb sli-xref.shb find vcg -type f -name "*.vcg" -delete find vcg -type f -name "*.fdl" -delete find vcg -type f -name "*.rls" -delete find vcg -type f -name "*.siv" -delete find vcg -type f -name "*.slg" -delete find vcg -type f -name "*.sli" -delete find vcg -type f -name "*.lsb" -delete find vcg -type f -name "*.log" -delete find vcg -type f -name "*.vct" -delete find vcg -type f -name "*.vlg" -delete find vcg -type f -name "*.vsm" -delete rm -f vcg/*.rep vcg/mainunits95.xml find vcg -depth -mindepth 1 -type d | grep -v -e '/\.svn' | xargs rmdir --ignore-fail-on-non-empty make[4]: Leaving directory `/«PKGBUILDDIR»/examiner' make[3]: Leaving directory `/«PKGBUILDDIR»/wraputility' make -C checker reallyclean make[3]: Entering directory `/«PKGBUILDDIR»/checker' rm -f checker checker.exp checker.ilk checker.lib checker.pdb rm -f checker rm -f checker.manifest rm -f spxref_warning.txt spxref_cross.txt spxref_ported.txt spxref_undefined.txt make[3]: Leaving directory `/«PKGBUILDDIR»/checker' make -C pogs reallyclean make[3]: Entering directory `/«PKGBUILDDIR»/pogs' rm -f oscommandline.adb rm -f *.o *.ali rm -f pogs rm -f b~*.ad[sb] find vcg -type f -name "*.vcg" -delete find vcg -type f -name "*.fdl" -delete find vcg -type f -name "*.rls" -delete find vcg -type f -name "*.siv" -delete find vcg -type f -name "*.slg" -delete find vcg -type f -name "*.sli" -delete find vcg -type f -name "*.lsb" -delete find vcg -type f -name "*.log" -delete find vcg -type f -name "*.vct" -delete find vcg -type f -name "*.vlg" -delete find vcg -type f -name "*.vsm" -delete rm -f vcg/pogs.rep find vcg -depth -mindepth 1 -type d | grep -v -e '/\.svn' | xargs rmdir --ignore-fail-on-non-empty rmdir: missing operand Try `rmdir --help' for more information. make[3]: [vcclean] Error 123 (ignored) make -C ../examiner clean make[4]: Entering directory `/«PKGBUILDDIR»/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali make[4]: Leaving directory `/«PKGBUILDDIR»/examiner' make -C ../examiner reallyclean make[4]: Entering directory `/«PKGBUILDDIR»/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali rm -f spark rm -f b~*.ad[sb] rm -f sp_symbols.ads sp_parser_goto.adb sp_parser_goto.ads sp_relations.adb sp_relations.ads sp_parser_actions.adb sp_parser_actions.ads sp_productions.ads sp_expected_symbols.adb sp_expected_symbols.ads SPARK.PAR rm -f examinerconstants.ads filesystem.adb indexmanager-cache.adb indexmanager-cache.shb sli-xref.adb sli-xref.shb find vcg -type f -name "*.vcg" -delete find vcg -type f -name "*.fdl" -delete find vcg -type f -name "*.rls" -delete find vcg -type f -name "*.siv" -delete find vcg -type f -name "*.slg" -delete find vcg -type f -name "*.sli" -delete find vcg -type f -name "*.lsb" -delete find vcg -type f -name "*.log" -delete find vcg -type f -name "*.vct" -delete find vcg -type f -name "*.vlg" -delete find vcg -type f -name "*.vsm" -delete rm -f vcg/*.rep vcg/mainunits95.xml find vcg -depth -mindepth 1 -type d | grep -v -e '/\.svn' | xargs rmdir --ignore-fail-on-non-empty make[4]: Leaving directory `/«PKGBUILDDIR»/examiner' make[3]: Leaving directory `/«PKGBUILDDIR»/pogs' make -C sparkformat reallyclean make[3]: Entering directory `/«PKGBUILDDIR»/sparkformat' rm -f *.o *.ali rm -f sparkformat rm -f b~*.ad[sb] find vcg -type f -name "*.vcg" -delete find vcg -type f -name "*.fdl" -delete find vcg -type f -name "*.rls" -delete find vcg -type f -name "*.siv" -delete find vcg -type f -name "*.slg" -delete find vcg -type f -name "*.sli" -delete find vcg -type f -name "*.lsb" -delete find vcg -type f -name "*.log" -delete find vcg -type f -name "*.vct" -delete find vcg -type f -name "*.vlg" -delete find vcg -type f -name "*.vsm" -delete rm -f vcg/sparkformat.rep find vcg -depth -mindepth 1 -type d | grep -v -e '/\.svn' | xargs rmdir --ignore-fail-on-non-empty rmdir: missing operand Try `rmdir --help' for more information. make[3]: [vcclean] Error 123 (ignored) make -C ../examiner clean make[4]: Entering directory `/«PKGBUILDDIR»/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali make[4]: Leaving directory `/«PKGBUILDDIR»/examiner' make -C ../examiner reallyclean make[4]: Entering directory `/«PKGBUILDDIR»/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali rm -f spark rm -f b~*.ad[sb] rm -f sp_symbols.ads sp_parser_goto.adb sp_parser_goto.ads sp_relations.adb sp_relations.ads sp_parser_actions.adb sp_parser_actions.ads sp_productions.ads sp_expected_symbols.adb sp_expected_symbols.ads SPARK.PAR rm -f examinerconstants.ads filesystem.adb indexmanager-cache.adb indexmanager-cache.shb sli-xref.adb sli-xref.shb find vcg -type f -name "*.vcg" -delete find vcg -type f -name "*.fdl" -delete find vcg -type f -name "*.rls" -delete find vcg -type f -name "*.siv" -delete find vcg -type f -name "*.slg" -delete find vcg -type f -name "*.sli" -delete find vcg -type f -name "*.lsb" -delete find vcg -type f -name "*.log" -delete find vcg -type f -name "*.vct" -delete find vcg -type f -name "*.vlg" -delete find vcg -type f -name "*.vsm" -delete rm -f vcg/*.rep vcg/mainunits95.xml find vcg -depth -mindepth 1 -type d | grep -v -e '/\.svn' | xargs rmdir --ignore-fail-on-non-empty make[4]: Leaving directory `/«PKGBUILDDIR»/examiner' make[3]: Leaving directory `/«PKGBUILDDIR»/sparkformat' make -C sparkmake reallyclean make[3]: Entering directory `/«PKGBUILDDIR»/sparkmake' rm -f *.o *.ali rm -f sparkmake rm -f b~*.ad[sb] find vcg -type f -name "*.vcg" -delete find vcg -type f -name "*.fdl" -delete find vcg -type f -name "*.rls" -delete find vcg -type f -name "*.siv" -delete find vcg -type f -name "*.slg" -delete find vcg -type f -name "*.sli" -delete find vcg -type f -name "*.lsb" -delete find vcg -type f -name "*.log" -delete find vcg -type f -name "*.vct" -delete find vcg -type f -name "*.vlg" -delete find vcg -type f -name "*.vsm" -delete rm -f vcg/sparkmake.rep find vcg -depth -mindepth 1 -type d | grep -v -e '/\.svn' | xargs rmdir --ignore-fail-on-non-empty rmdir: missing operand Try `rmdir --help' for more information. make[3]: [vcclean] Error 123 (ignored) make -C ../examiner clean make[4]: Entering directory `/«PKGBUILDDIR»/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali make[4]: Leaving directory `/«PKGBUILDDIR»/examiner' make -C ../examiner reallyclean make[4]: Entering directory `/«PKGBUILDDIR»/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali rm -f spark rm -f b~*.ad[sb] rm -f sp_symbols.ads sp_parser_goto.adb sp_parser_goto.ads sp_relations.adb sp_relations.ads sp_parser_actions.adb sp_parser_actions.ads sp_productions.ads sp_expected_symbols.adb sp_expected_symbols.ads SPARK.PAR rm -f examinerconstants.ads filesystem.adb indexmanager-cache.adb indexmanager-cache.shb sli-xref.adb sli-xref.shb find vcg -type f -name "*.vcg" -delete find vcg -type f -name "*.fdl" -delete find vcg -type f -name "*.rls" -delete find vcg -type f -name "*.siv" -delete find vcg -type f -name "*.slg" -delete find vcg -type f -name "*.sli" -delete find vcg -type f -name "*.lsb" -delete find vcg -type f -name "*.log" -delete find vcg -type f -name "*.vct" -delete find vcg -type f -name "*.vlg" -delete find vcg -type f -name "*.vsm" -delete rm -f vcg/*.rep vcg/mainunits95.xml find vcg -depth -mindepth 1 -type d | grep -v -e '/\.svn' | xargs rmdir --ignore-fail-on-non-empty make[4]: Leaving directory `/«PKGBUILDDIR»/examiner' make[3]: Leaving directory `/«PKGBUILDDIR»/sparkmake' make -C sparksimp reallyclean make[3]: Entering directory `/«PKGBUILDDIR»/sparksimp' rm -f *.o *.ali rm -f sparksimp rm -f b~*.ad[sb] make[3]: Leaving directory `/«PKGBUILDDIR»/sparksimp' make -C victor clean make[3]: Entering directory `/«PKGBUILDDIR»/victor' rm -Rf alt-ergo make -C vct/src clean make[4]: Entering directory `/«PKGBUILDDIR»/victor/vct/src' Makefile:230: node.d: No such file or directory Makefile:230: node-utils.d: No such file or directory Makefile:230: lex.yy.d: No such file or directory Makefile:230: pdriver.d: No such file or directory Makefile:230: box.d: No such file or directory Makefile:230: formatter.d: No such file or directory Makefile:230: pprinter.d: No such file or directory Makefile:230: typesort.d: No such file or directory Makefile:230: utility.d: No such file or directory Makefile:230: bignum.d: No such file or directory Makefile:230: context.d: No such file or directory Makefile:230: normalisation.d: No such file or directory Makefile:230: processor.d: No such file or directory Makefile:230: translation.d: No such file or directory Makefile:230: main.d: No such file or directory Makefile:230: smt-driver.d: No such file or directory Makefile:230: smtlib-driver.d: No such file or directory Makefile:230: isab-driver.d: No such file or directory Makefile:230: parser.tab.d: No such file or directory bison -r state parser.yy Making dependency file parser.tab.d Making dependency file isab-driver.d Making dependency file smtlib-driver.d Making dependency file smt-driver.d Making dependency file main.d Making dependency file translation.d Making dependency file processor.d Making dependency file normalisation.d Making dependency file context.d Making dependency file bignum.d Making dependency file utility.d Making dependency file typesort.d Making dependency file pprinter.d Making dependency file formatter.d Making dependency file box.d Making dependency file pdriver.d flex -olex.yy.cc lexer.ll Making dependency file lex.yy.d Making dependency file node-utils.d Making dependency file node.d make[4]: Leaving directory `/«PKGBUILDDIR»/victor/vct/src' make[4]: Entering directory `/«PKGBUILDDIR»/victor/vct/src' rm -f node.o node-utils.o lex.yy.o pdriver.o box.o formatter.o pprinter.o typesort.o utility.o bignum.o context.o normalisation.o processor.o translation.o main.o smt-driver.o smtlib-driver.o isab-driver.o parser.tab.o \ lex.yy.cc \ parser.tab.cc parser.tab.hh \ location.hh position.hh stack.hh parser.output \ *.d make[4]: Leaving directory `/«PKGBUILDDIR»/victor/vct/src' rm -f vct/bin/vct make[3]: Leaving directory `/«PKGBUILDDIR»/victor' make -C victor_wrapper reallyclean make[3]: Entering directory `/«PKGBUILDDIR»/victor_wrapper' rm -f *.o *.ali rm -f victor rm -f b~*.ad[sb] find vcg -type f -name "*.vcg" -delete find vcg -type f -name "*.fdl" -delete find vcg -type f -name "*.rls" -delete find vcg -type f -name "*.siv" -delete find vcg -type f -name "*.slg" -delete find vcg -type f -name "*.sli" -delete find vcg -type f -name "*.lsb" -delete find vcg -type f -name "*.log" -delete find vcg -type f -name "*.dpc" -delete find vcg -type f -name "*.sdp" -delete find vcg -type f -name "*.zlg" -delete find vcg -type f -name "*.zsl" -delete find vcg -type f -name "*.vct" -delete find vcg -type f -name "*.vlg" -delete find vcg -type f -name "*.vsm" -delete rm -f vcg/victor.rep find vcg -depth -mindepth 1 -type d | grep -v -e '/\.svn' | xargs rmdir --ignore-fail-on-non-empty rmdir: missing operand Try `rmdir --help' for more information. make[3]: [vcclean] Error 123 (ignored) make -C ../examiner clean make[4]: Entering directory `/«PKGBUILDDIR»/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali make[4]: Leaving directory `/«PKGBUILDDIR»/examiner' make -C ../examiner reallyclean make[4]: Entering directory `/«PKGBUILDDIR»/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali rm -f spark rm -f b~*.ad[sb] rm -f sp_symbols.ads sp_parser_goto.adb sp_parser_goto.ads sp_relations.adb sp_relations.ads sp_parser_actions.adb sp_parser_actions.ads sp_productions.ads sp_expected_symbols.adb sp_expected_symbols.ads SPARK.PAR rm -f examinerconstants.ads filesystem.adb indexmanager-cache.adb indexmanager-cache.shb sli-xref.adb sli-xref.shb find vcg -type f -name "*.vcg" -delete find vcg -type f -name "*.fdl" -delete find vcg -type f -name "*.rls" -delete find vcg -type f -name "*.siv" -delete find vcg -type f -name "*.slg" -delete find vcg -type f -name "*.sli" -delete find vcg -type f -name "*.lsb" -delete find vcg -type f -name "*.log" -delete find vcg -type f -name "*.vct" -delete find vcg -type f -name "*.vlg" -delete find vcg -type f -name "*.vsm" -delete rm -f vcg/*.rep vcg/mainunits95.xml find vcg -depth -mindepth 1 -type d | grep -v -e '/\.svn' | xargs rmdir --ignore-fail-on-non-empty make[4]: Leaving directory `/«PKGBUILDDIR»/examiner' make[3]: Leaving directory `/«PKGBUILDDIR»/victor_wrapper' make[2]: Leaving directory `/«PKGBUILDDIR»' make[1]: Leaving directory `/«PKGBUILDDIR»' dh_clean debian/rules build-arch dh build-arch dh_testdir -a dh_auto_configure -a debian/rules override_dh_auto_build make[1]: Entering directory `/«PKGBUILDDIR»' # create empty directories that can be destroyed by git mkdir -p victor/vct/bin mkdir -p bin mkdir -p share/spark dh_auto_build CXXFLAGS="-g -Wall -O2" LDFLAGS="-g -Wall -O2" make[2]: Entering directory `/«PKGBUILDDIR»' make -C sparklalr make[3]: Entering directory `/«PKGBUILDDIR»/sparklalr' gnatmake -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -k -O2 -fdata-sections -ffunction-sections sparklalr -o sparklalr -bargs -E gcc-4.6 -c -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -O2 -fdata-sections -ffunction-sections sparklalr.adb gcc-4.6 -c -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -O2 -fdata-sections -ffunction-sections command_line_options.adb gcc-4.6 -c -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -O2 -fdata-sections -ffunction-sections ees_sym.adb gcc-4.6 -c -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -O2 -fdata-sections -ffunction-sections fatal.adb gcc-4.6 -c -I./ -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark.ads gcc-4.6 -c -I./ -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada.ads gcc-4.6 -c -I./ -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-command_line.adb gcc-4.6 -c -I./ -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings.ads gcc-4.6 -c -I./ -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-unbounded.adb gcc-4.6 -c -I./ -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-text_io.adb gcc-4.6 -c -I./ -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-text_io-unbounded_string.adb gcc-4.6 -c -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -O2 -fdata-sections -ffunction-sections spark_ada_integer_text_io.adb gcc-4.6 -c -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -O2 -fdata-sections -ffunction-sections sparklalr_common.adb gcc-4.6 -c -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -O2 -fdata-sections -ffunction-sections sparklalr_conflict.adb gcc-4.6 -c -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -O2 -fdata-sections -ffunction-sections sparklalr_error.adb gcc-4.6 -c -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -O2 -fdata-sections -ffunction-sections sparklalr_goto.adb gcc-4.6 -c -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -O2 -fdata-sections -ffunction-sections sparklalr_input.adb gcc-4.6 -c -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -O2 -fdata-sections -ffunction-sections sparklalr_memory.adb gcc-4.6 -c -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -O2 -fdata-sections -ffunction-sections sparklalr_memory-dump.adb gcc-4.6 -c -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -O2 -fdata-sections -ffunction-sections sparklalr_memory-left_corner.adb gcc-4.6 -c -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -O2 -fdata-sections -ffunction-sections sparklalr_parser.adb gcc-4.6 -c -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -O2 -fdata-sections -ffunction-sections sparklalr_patab.adb gcc-4.6 -c -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -O2 -fdata-sections -ffunction-sections sparklalr_symbol.ads gcc-4.6 -c -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -O2 -fdata-sections -ffunction-sections symbols_dump.adb gcc-4.6 -c -I./ -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-command_line-unbounded_string.adb gcc-4.6 -c -I./ -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-maps.adb gcc-4.6 -c -I./ -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-maps-not_spark.adb gcc-4.6 -c -I./ -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-not_spark.adb gcc-4.6 -c -I./ -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-text_io-not_spark.adb gcc-4.6 -c -I./ -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-unbounded-not_spark.adb gcc-4.6 -c -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -O2 -fdata-sections -ffunction-sections sparklalr_level.adb gcc-4.6 -c -g -gnatwae -gnat95 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -gnatf -O2 -fdata-sections -ffunction-sections sparklalr_char_class.adb gnatbind -I../lib/spark/current -E -x sparklalr.ali gnatlink sparklalr.ali -g -O2 -fdata-sections -ffunction-sections -o sparklalr make[3]: Leaving directory `/«PKGBUILDDIR»/sparklalr' make -C examiner make[3]: Entering directory `/«PKGBUILDDIR»/examiner' gnatprep -c -DExaminerSize=Large -DTarget=Intel_Linux -DAddress_Size=32 examinerconstants.aps examinerconstants.ads gnatprep -c -DExaminerSize=Large -DTarget=Intel_Linux -DAddress_Size=32 filesystem.apb filesystem.adb gnatprep -c -r -DSPARK=False indexmanager-cache.SHADOW.adb indexmanager-cache.adb gnatprep -c -DSPARK=True indexmanager-cache.SHADOW.adb indexmanager-cache.shb gnatprep -c -r -DSPARK=False sli-xref.SHADOW.adb sli-xref.adb gnatprep -c -DSPARK=True sli-xref.SHADOW.adb sli-xref.shb # -p = Operate as parser # -s = Perform self-pack # -m = Accept multi comp # -v = Verbose # -du = Activate debug feature: dump memory ../sparklalr/sparklalr SPARK -p -s -m -v -du STATE 315: * REDUCE/REDUCE CONFLICT 0 SHIFT/REDUCE CONFLICTS 1 REDUCE/REDUCE CONFLICTS 144 TERMINALS (255 MAX) 380 NONTERMINALS (511 MAX) 837 PRODUCTIONS (1023 MAX) 1669 STATES (2047 MAX) 13665 PARSING ACTIONS GENERATED 4912 GOTO ENTRIES GENERATED 343 PARSING ACTIONS OPTIMISED BY CASE LABEL MERGE 19155 MEMORY RECORDS USED. 3731 MEMORY RECORDS USED FOR PRODUCTION STORAGE. 15424 MEMORY RECORDS USED FOR OTHER INFORMATION. DUMPMEM Set... Determing Shift States, Reduce States, and Unique Reduce States... Generating relation Left Corner... Generating Essential Expected Symbols... Calculating Table Sizes... Generating SPARK Parser Tables... gnatchop -w SPARK.PAR splitting SPARK.PAR into: sp_productions.ads sp_symbols.ads sp_parser_actions.ads sp_parser_goto.ads sp_parser_actions.adb sp_parser_goto.adb sp_expected_symbols.ads sp_expected_symbols.adb sp_relations.ads sp_relations.adb gnatmake -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -k -O2 -fdata-sections -ffunction-sections examiner -o spark -cargs -fstack-check -bargs -E -largs -Wl,--gc-sections gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check examiner.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check cells.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check commandlinedata.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check fatal.ads gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check heap.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check screenecho.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check sparkmain.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check statistics.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check systemerrors.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check dictionary.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check examinerconstants.ads gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check lextokenmanager.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check sp_symbols.ads gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check filesystem.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check spark_io.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check xmlreport.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check e_strings.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check commandlinehandler.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check errorhandler.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check file_utils.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check mainloop.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check stree.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check -I- /«PKGBUILDDIR»/common/versioning/version.ads gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check debug.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check lextokenstacks.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check maths.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check contextmanager.ads gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check e_strings-not_spark.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check spark_xml.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check -I- /«PKGBUILDDIR»/lib/spark/current/spark.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-maps.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-unbounded.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-unbounded-not_spark.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check sp_relations.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check error_io.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check error_types.ads gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check sp_expected_symbols.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check date_time.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check casing.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check configfile.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check contextmanager-ops.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check indexmanager.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check lextokenlists.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check metafile.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check requiredunits.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check sem.adb sem-compunit-walkstatements.adb: In function 'Sem.Compunit.Walkstatements.Case_Stack.Push': sem-compunit-walkstatements.adb:286:11: warning: frame size too large for reliable stack checking [enabled by default] sem-compunit-walkstatements.adb:286:11: warning: try reducing the number of local variables [enabled by default] sem-aggregate_stack.adb: In function 'Sem.Aggregate_Stack.Push': sem-aggregate_stack.adb:109:8: warning: frame size too large for reliable stack checking [enabled by default] sem-walk_expression_p-wf_aggregate_choice_rep.adb: In function 'Sem.Walk_Expression_P.Wf_Aggregate_Choice_Rep': sem-walk_expression_p-wf_aggregate_choice_rep.adb:221:5: warning: frame size too large for reliable stack checking [enabled by default] sem-walk_expression_p-wf_record_component_selector_name.adb: In function 'Sem.Walk_Expression_P.Wf_Record_Component_Selector_Name': sem-walk_expression_p-wf_record_component_selector_name.adb:163:5: warning: frame size too large for reliable stack checking [enabled by default] sem-walk_expression_p-wf_ancestor_part.adb: In function 'Sem.Walk_Expression_P.Wf_Ancestor_Part': sem-walk_expression_p-wf_ancestor_part.adb:293:5: warning: frame size too large for reliable stack checking [enabled by default] sem-walk_expression_p-down_wf_aggregate.adb: In function 'Sem.Walk_Expression_P.Down_Wf_Aggregate': sem-walk_expression_p-down_wf_aggregate.adb:479:5: warning: frame size too large for reliable stack checking [enabled by default] sem-walk_expression_p-wf_qualified_expression.adb: In function 'Sem.Walk_Expression_P.Wf_Qualified_Expression': sem-walk_expression_p-wf_qualified_expression.adb:133:5: warning: frame size too large for reliable stack checking [enabled by default] sem-walk_expression_p-wf_relation.adb: In function 'Sem.Walk_Expression_P.Wf_Relation.Do_Boolean_Binary_Operator': sem-walk_expression_p-wf_relation.adb:345:8: warning: frame size too large for reliable stack checking [enabled by default] sem-walk_expression_p-wf_expression.adb: In function 'Sem.Walk_Expression_P.Wf_Expression': sem-walk_expression_p-wf_expression.adb:291:5: warning: frame size too large for reliable stack checking [enabled by default] sem-walk_expression_p-wf_primary.adb: In function 'Sem.Walk_Expression_P.Wf_Primary': sem-walk_expression_p-wf_primary.adb:505:5: warning: frame size too large for reliable stack checking [enabled by default] sem-walk_expression_p-wf_selected_component.adb: In function 'Sem.Walk_Expression_P.Wf_Selected_Component': sem-walk_expression_p-wf_selected_component.adb:310:5: warning: frame size too large for reliable stack checking [enabled by default] gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check sli.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check sparkhtml.adb sparkhtml.adb: In function 'Sparkhtml.Gen_Report_Html.Process_Report_Line': sparkhtml.adb:3166:11: warning: frame size too large for reliable stack checking [enabled by default] sparkhtml.adb:3166:11: warning: try reducing the number of local variables [enabled by default] gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check sparklex.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check spparser.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check vcg.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check dag_io.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check seqalgebra.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-maps-not_spark.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-not_spark.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check sp_productions.ads gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check indexmanager-cache.adb indexmanager-cache.SHADOW.adb: In function 'Indexmanager.Cache.Add_Unit': indexmanager-cache.SHADOW.adb:354:8: warning: frame size too large for reliable stack checking [enabled by default] indexmanager-cache.SHADOW.adb:354:8: warning: try reducing the number of local variables [enabled by default] indexmanager-cache.SHADOW.adb: In function 'Indexmanager.Cache.Add_Components': indexmanager-cache.SHADOW.adb:487:8: warning: frame size too large for reliable stack checking [enabled by default] gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check indexmanager-index_table_p.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check completecheck.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check componentmanager.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check flowanalyser.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check lextokenmanager-relation_algebra.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check lextokenmanager-relation_algebra-string.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check lextokenmanager-seq_algebra.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check lists.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check reflist.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check relationalgebra.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check simplelists.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check sprint.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check sli-io.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check sli-xref.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check sp_parser_actions.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check sp_parser_goto.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check dag.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check declarations.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check graph.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check pile.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check adjustfdl_rws.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check clists.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check cstacks.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check labels.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check pairs.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check componenterrors.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check relationalgebra-debug.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check stmtstack.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -fstack-check structures.adb gnatbind -I../lib/spark/current -I../common/versioning -E -x examiner.ali gnatlink examiner.ali -g -O2 -fdata-sections -ffunction-sections -o spark -Wl,--gc-sections make[3]: Leaving directory `/«PKGBUILDDIR»/examiner' make -C simplifier make[3]: Entering directory `/«PKGBUILDDIR»/simplifier' swipl -O -g "expects_dialect('sicstus'), redefine_system_predicate(apply(_,_)), style_check(-singleton), compile('simplifier.pro'), add_system_toolname('Simplifier'), swisav_simplifier." % sicstus/block compiled into block_directive 0.01 sec, 8,696 bytes % library(occurs) compiled into occurs 0.01 sec, 2,992 bytes % library(debug) compiled into prolog_debug 0.01 sec, 12,220 bytes % library(dialect/sicstus) compiled into sicstus 0.05 sec, 36,432 bytes swipl -O -g "expects_dialect('sicstus'), redefine_system_predicate(apply(_,_)), style_check(-singleton), compile('simplifier.pro'), add_system_toolname('ZombieScope'), swisav_zombiescope." % sicstus/block compiled into block_directive 0.00 sec, 8,696 bytes % library(occurs) compiled into occurs 0.00 sec, 2,992 bytes % library(debug) compiled into prolog_debug 0.02 sec, 12,220 bytes % library(dialect/sicstus) compiled into sicstus 0.04 sec, 36,432 bytes make[3]: Leaving directory `/«PKGBUILDDIR»/simplifier' make -C wraputility make[3]: Entering directory `/«PKGBUILDDIR»/wraputility' make -C ../examiner clean make[4]: Entering directory `/«PKGBUILDDIR»/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali make[4]: Leaving directory `/«PKGBUILDDIR»/examiner' make -C ../examiner prep make[4]: Entering directory `/«PKGBUILDDIR»/examiner' make[4]: Nothing to be done for `prep'. make[4]: Leaving directory `/«PKGBUILDDIR»/examiner' gnatmake -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -k -O2 -fdata-sections -ffunction-sections wrap_utility -o wrap_utility -bargs -E -largs -Wl,--gc-sections gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections wrap_utility.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections wraps.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/spark_io.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/commandlinedata.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/filesystem.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/systemerrors.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/xmlreport.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/e_strings.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/examinerconstants.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/e_strings-not_spark.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/fatal.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/screenecho.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/spark_xml.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-maps.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-unbounded.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-unbounded-not_spark.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-maps-not_spark.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-not_spark.adb gnatbind -I../lib/spark/current -I../common/versioning -I../examiner -E -x wrap_utility.ali gnatlink wrap_utility.ali -g -O2 -fdata-sections -ffunction-sections -o wrap_utility -Wl,--gc-sections make[3]: Leaving directory `/«PKGBUILDDIR»/wraputility' make -C checker make[3]: Entering directory `/«PKGBUILDDIR»/checker' swipl -O -g "expects_dialect('sicstus'), redefine_system_predicate(apply(_,_)), style_check(-singleton), compile('checker.pro'), swisav_checker." % sicstus/block compiled into block_directive 0.00 sec, 8,696 bytes % library(occurs) compiled into occurs 0.01 sec, 2,992 bytes % library(debug) compiled into prolog_debug 0.01 sec, 12,220 bytes % library(dialect/sicstus) compiled into sicstus 0.05 sec, 36,432 bytes make[3]: Leaving directory `/«PKGBUILDDIR»/checker' make -C pogs make[3]: Entering directory `/«PKGBUILDDIR»/pogs' make -C ../examiner clean make[4]: Entering directory `/«PKGBUILDDIR»/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali make[4]: Leaving directory `/«PKGBUILDDIR»/examiner' gnatprep -c -DTarget=Intel_Linux oscommandline.apb oscommandline.adb make -C ../examiner prep make[4]: Entering directory `/«PKGBUILDDIR»/examiner' make[4]: Nothing to be done for `prep'. make[4]: Leaving directory `/«PKGBUILDDIR»/examiner' gnatmake -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -k -O2 -fdata-sections -ffunction-sections pogs -o pogs -bargs -E -largs -Wl,--gc-sections gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections pogs.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections pogs_exceptions.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/spark_io.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections toppackage.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/common/versioning/version.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/commandlinedata.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/filesystem.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/systemerrors.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections banner.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections commandline.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/e_strings.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections fatalerrors.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections filedetails.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections fileheap.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections findfiles.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections heap.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections total.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections vcheap.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections vcs.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections xmlsummary.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/xmlreport.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/examinerconstants.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/e_strings-not_spark.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/fatal.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/screenecho.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/spark_xml.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections osfiling.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections oscommandline.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-maps.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-unbounded.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-unbounded-not_spark.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections heapindex.ads gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections osdirectory.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections vcdetails.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/date_time.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections pathformatter.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections slg_parser.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections spark_calendar.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-maps-not_spark.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-not_spark.adb gnatbind -I../lib/spark/current -I../common/versioning -I../examiner -E -x pogs.ali gnatlink pogs.ali -g -O2 -fdata-sections -ffunction-sections -o pogs -Wl,--gc-sections make[3]: Leaving directory `/«PKGBUILDDIR»/pogs' make -C sparkformat make[3]: Entering directory `/«PKGBUILDDIR»/sparkformat' make -C ../examiner clean make[4]: Entering directory `/«PKGBUILDDIR»/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali make[4]: Leaving directory `/«PKGBUILDDIR»/examiner' make -C ../examiner prep make[4]: Entering directory `/«PKGBUILDDIR»/examiner' make[4]: Nothing to be done for `prep'. make[4]: Leaving directory `/«PKGBUILDDIR»/examiner' make -C ../examiner parser make[4]: Entering directory `/«PKGBUILDDIR»/examiner' make[4]: Nothing to be done for `parser'. make[4]: Leaving directory `/«PKGBUILDDIR»/examiner' gnatmake -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -k -O2 -fdata-sections -ffunction-sections sparkformat -o sparkformat -bargs -E -largs -Wl,--gc-sections gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections sparkformat.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/heap.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/screenecho.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections sparkformatmain.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/common/versioning/version.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/statistics.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/systemerrors.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/examinerconstants.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/e_strings.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/spark_io.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/commandlinedata.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/dictionary.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/errorhandler.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections sparkformatcommandlinedata.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections sparkformatcommandlinehandler.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/sparklex.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections sparkprogram.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/fatal.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-maps.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-unbounded.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-unbounded-not_spark.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/filesystem.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/xmlreport.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/commandlinehandler.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/debug.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/lextokenstacks.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/maths.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/contextmanager.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/lextokenmanager.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/sp_symbols.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/sp_relations.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/spark_xml.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/error_io.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/error_types.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/sp_expected_symbols.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/lextokenlists.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/lextokenmanager-relation_algebra.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/lextokenmanager-relation_algebra-string.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/lextokenmanager-seq_algebra.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/seqalgebra.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-maps-not_spark.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-not_spark.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/e_strings-not_spark.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/dag_io.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/cells.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/stree.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/sp_productions.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/relationalgebra.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/adjustfdl_rws.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/clists.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/cstacks.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/labels.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/pairs.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/structures.adb gnatbind -I../lib/spark/current -I../common/versioning -I../examiner -E -x sparkformat.ali gnatlink sparkformat.ali -g -O2 -fdata-sections -ffunction-sections -o sparkformat -Wl,--gc-sections make[3]: Leaving directory `/«PKGBUILDDIR»/sparkformat' make -C sparkmake make[3]: Entering directory `/«PKGBUILDDIR»/sparkmake' make -C ../examiner clean make[4]: Entering directory `/«PKGBUILDDIR»/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali make[4]: Leaving directory `/«PKGBUILDDIR»/examiner' make -C ../examiner prep make[4]: Entering directory `/«PKGBUILDDIR»/examiner' make[4]: Nothing to be done for `prep'. make[4]: Leaving directory `/«PKGBUILDDIR»/examiner' make -C ../examiner parser make[4]: Entering directory `/«PKGBUILDDIR»/examiner' make[4]: Nothing to be done for `parser'. make[4]: Leaving directory `/«PKGBUILDDIR»/examiner' gnatmake -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -k -O2 -fdata-sections -ffunction-sections sparkmake -o sparkmake -bargs -E -largs -Wl,--gc-sections gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections sparkmake.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/commandlinedata.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/dictionary.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections directory_operations.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/e_strings.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/errorhandler.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/lextokenmanager.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/screenecho.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/spark_io.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/sparklex.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections sparkmakecommandline.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections sparkmakedebug.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections sparkmakeerrors.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections unit.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections unitmanager.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections units.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/filesystem.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/xmlreport.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/examinerconstants.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/commandlinehandler.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/debug.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/lextokenstacks.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/maths.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/statistics.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/systemerrors.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/contextmanager.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/sp_symbols.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/e_strings-not_spark.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections regularexpression.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections stringlist.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-maps.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-unbounded.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-unbounded-not_spark.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/sp_relations.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/spark_xml.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/error_io.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/error_types.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/sp_expected_symbols.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/lextokenlists.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections commandline.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/common/versioning/version.ads gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections tokenmanager.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections unitmanager-unitstore.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/dag_io.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/cells.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/heap.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/seqalgebra.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/stree.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/fatal.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-maps-not_spark.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-not_spark.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/sp_productions.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/adjustfdl_rws.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/clists.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/cstacks.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/labels.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/pairs.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/structures.adb gnatbind -I../lib/spark/current -I../common/versioning -I../examiner -E -x sparkmake.ali gnatlink sparkmake.ali -g -O2 -fdata-sections -ffunction-sections -o sparkmake -Wl,--gc-sections make[3]: Leaving directory `/«PKGBUILDDIR»/sparkmake' make -C sparksimp make[3]: Entering directory `/«PKGBUILDDIR»/sparksimp' gcc -c -g -O1 -DIntel_Linux new_expect.c gnatmake -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../common/versioning -gnatf -k -O2 -fdata-sections -ffunction-sections sparksimp -o sparksimp -bargs -E -largs new_expect.o -Wl,--gc-sections gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections sparksimp.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections cmd.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections utility.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/common/versioning/version.ads gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections work_manager.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections workers.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections spark.ads gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections spark-expect.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections wrap.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../common/versioning -gnatf -O2 -fdata-sections -ffunction-sections log_files.adb gnatbind -I../common/versioning -E -x sparksimp.ali gnatlink sparksimp.ali -g -O2 -fdata-sections -ffunction-sections -o sparksimp new_expect.o -Wl,--gc-sections make[3]: Leaving directory `/«PKGBUILDDIR»/sparksimp' make -C victor make[3]: Entering directory `/«PKGBUILDDIR»/victor' # Don't build Victor in parallel (-j). Missing dependencies in the Makefile. make -C vct/src CPPFLAGS= LDFLAGS= make[4]: Entering directory `/«PKGBUILDDIR»/victor/vct/src' Makefile:230: node.d: No such file or directory Makefile:230: node-utils.d: No such file or directory Makefile:230: lex.yy.d: No such file or directory Makefile:230: pdriver.d: No such file or directory Makefile:230: box.d: No such file or directory Makefile:230: formatter.d: No such file or directory Makefile:230: pprinter.d: No such file or directory Makefile:230: typesort.d: No such file or directory Makefile:230: utility.d: No such file or directory Makefile:230: bignum.d: No such file or directory Makefile:230: context.d: No such file or directory Makefile:230: normalisation.d: No such file or directory Makefile:230: processor.d: No such file or directory Makefile:230: translation.d: No such file or directory Makefile:230: main.d: No such file or directory Makefile:230: smt-driver.d: No such file or directory Makefile:230: smtlib-driver.d: No such file or directory Makefile:230: isab-driver.d: No such file or directory Makefile:230: parser.tab.d: No such file or directory bison -r state parser.yy Making dependency file parser.tab.d Making dependency file isab-driver.d Making dependency file smtlib-driver.d Making dependency file smt-driver.d Making dependency file main.d Making dependency file translation.d Making dependency file processor.d Making dependency file normalisation.d Making dependency file context.d Making dependency file bignum.d Making dependency file utility.d Making dependency file typesort.d Making dependency file pprinter.d Making dependency file formatter.d Making dependency file box.d Making dependency file pdriver.d flex -olex.yy.cc lexer.ll Making dependency file lex.yy.d Making dependency file node-utils.d Making dependency file node.d make[4]: Leaving directory `/«PKGBUILDDIR»/victor/vct/src' make[4]: Entering directory `/«PKGBUILDDIR»/victor/vct/src' g++ -g -Wall -O2 -c -o node.o node.cc g++ -g -Wall -O2 -c -o node-utils.o node-utils.cc g++ -g -Wall -O2 -c -o lex.yy.o lex.yy.cc g++ -g -Wall -O2 -c -o pdriver.o pdriver.cc g++ -g -Wall -O2 -c -o box.o box.cc g++ -g -Wall -O2 -c -o formatter.o formatter.cc g++ -g -Wall -O2 -c -o pprinter.o pprinter.cc g++ -g -Wall -O2 -c -o typesort.o typesort.cc g++ -g -Wall -O2 -c -o utility.o utility.cc g++ -g -Wall -O2 -c -o bignum.o bignum.cc g++ -g -Wall -O2 -c -o context.o context.cc g++ -g -Wall -O2 -c -o normalisation.o normalisation.cc g++ -g -Wall -O2 -c -o processor.o processor.cc g++ -g -Wall -O2 -c -o translation.o translation.cc g++ -g -Wall -O2 -c -o main.o main.cc g++ -g -Wall -O2 -c -o smt-driver.o smt-driver.cc smt-driver.cc: In member function 'void SMTDriver::driveGoal(Node*, Node*, Node*, Node*, UnitInfo, int, int)': smt-driver.cc:190:5: warning: 'checkError' may be used uninitialized in this function [-Wuninitialized] g++ -g -Wall -O2 -c -o smtlib-driver.o smtlib-driver.cc g++ -g -Wall -O2 -c -o isab-driver.o isab-driver.cc g++ -g -Wall -O2 -c -o parser.tab.o parser.tab.cc g++ -o ../bin/vct node.o node-utils.o lex.yy.o pdriver.o box.o formatter.o pprinter.o typesort.o utility.o bignum.o context.o normalisation.o processor.o translation.o main.o smt-driver.o smtlib-driver.o isab-driver.o parser.tab.o -Wl,--as-needed -lgmpxx -lgmp -Wl,--no-as-needed make[4]: Leaving directory `/«PKGBUILDDIR»/victor/vct/src' make[3]: Leaving directory `/«PKGBUILDDIR»/victor' make -C victor_wrapper make[3]: Entering directory `/«PKGBUILDDIR»/victor_wrapper' make -C ../examiner clean make[4]: Entering directory `/«PKGBUILDDIR»/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali make[4]: Leaving directory `/«PKGBUILDDIR»/examiner' make -C ../examiner prep make[4]: Entering directory `/«PKGBUILDDIR»/examiner' make[4]: Nothing to be done for `prep'. make[4]: Leaving directory `/«PKGBUILDDIR»/examiner' gnatmake -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -k -O2 -fdata-sections -ffunction-sections victor -o victor -bargs -E -largs -Wl,--gc-sections gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections victor.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections banner.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections command_line.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/e_strings.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/spark_io.adb gcc-4.6 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections victor_wrapper.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/common/versioning/version.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-maps.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-unbounded.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-unbounded-not_spark.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/commandlinedata.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/filesystem.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/systemerrors.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-maps-not_spark.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/lib/spark/current/spark-ada-strings-not_spark.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/xmlreport.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/examinerconstants.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/e_strings-not_spark.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/fatal.ads gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/screenecho.adb gcc-4.6 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -O2 -fdata-sections -ffunction-sections -I- /«PKGBUILDDIR»/examiner/spark_xml.adb gnatbind -I../lib/spark/current -I../common/versioning -I../examiner -E -x victor.ali gnatlink victor.ali -g -O2 -fdata-sections -ffunction-sections -o victor -Wl,--gc-sections make[3]: Leaving directory `/«PKGBUILDDIR»/victor_wrapper' cp ./examiner/spark ./bin/ cp ./simplifier/spadesimp ./bin/ cp ./simplifier/zombiescope ./bin/ cp ./wraputility/wrap_utility ./bin/ cp ./checker/checker ./bin/ cp ./pogs/pogs ./bin/ cp ./sparkformat/sparkformat ./bin/ cp ./sparkmake/sparkmake ./bin/ cp ./sparksimp/sparksimp ./bin/ cp ./victor_wrapper/victor ./bin/ cp ./victor/vct/bin/vct ./bin/ cp ./victor/vct/run/prelude.fdl ./share/spark/ cp ./victor/vct/run/prelude.rul ./share/spark/ cp ./victor/vct/run/divmod.rul ./share/spark/ make[2]: Leaving directory `/«PKGBUILDDIR»' make[1]: Leaving directory `/«PKGBUILDDIR»' debian/rules override_dh_auto_test make[1]: Entering directory `/«PKGBUILDDIR»' # nothing make[1]: Leaving directory `/«PKGBUILDDIR»' fakeroot debian/rules binary-arch dh binary-arch dh_testroot -a dh_prep -a dh_installdirs -a debian/rules override_dh_auto_install make[1]: Entering directory `/«PKGBUILDDIR»' # nothing make[1]: Leaving directory `/«PKGBUILDDIR»' dh_install -a dh_installdocs -a dh_installchangelogs -a 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: debian/spark/usr/bin/vct contains an unresolvable reference to symbol __aeabi_unwind_cpp_pr1@GCC_3.5: it's probably a plugin. dh_installdeb -a dh_gencontrol -a dh_md5sums -a dh_builddeb -a dpkg-deb: building package `spark' in `../spark_2011.0.deb-5_armhf.deb'. dpkg-genchanges -B -mbuildd >../spark_2011.0.deb-5_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 spark-2011.0.deb dpkg-buildpackage: binary only upload (no source included) ──────────────────────────────────────────────────────────────────────────────── Build finished at 20120714-0109 Finished ──────── I: Built successfully ┌──────────────────────────────────────────────────────────────────────────────┐ │ Changes │ └──────────────────────────────────────────────────────────────────────────────┘ spark_2011.0.deb-5_armhf.changes: ───────────────────────────────── Format: 1.8 Date: Wed, 12 Oct 2011 17:52:45 +0200 Source: spark Binary: spark Architecture: armhf Version: 2011.0.deb-5 Distribution: testing Urgency: low Maintainer: buildd Changed-By: Євгеній Мещеряков Description: spark - SPARK programming language toolset Closes: 643863 Changes: spark (2011.0.deb-5) unstable; urgency=low . * Build with --gc-sections again (closes: #643863). Checksums-Sha1: e71d545f70db3373a8bbf80f1a35026aa3fb0f63 2646076 spark_2011.0.deb-5_armhf.deb Checksums-Sha256: 92805ae832bec30f266cce06c1724e63439fbb52265d9e256b9589cf315391dc 2646076 spark_2011.0.deb-5_armhf.deb Files: 445e161945b82c66b0946507d6f7f606 2646076 devel optional spark_2011.0.deb-5_armhf.deb ┌──────────────────────────────────────────────────────────────────────────────┐ │ Package contents │ └──────────────────────────────────────────────────────────────────────────────┘ spark_2011.0.deb-5_armhf.deb ──────────────────────────── new debian package, version 2.0. size 2646076 bytes: control archive=4519 bytes. 1044 bytes, 21 lines control 9488 bytes, 128 lines md5sums Package: spark Version: 2011.0.deb-5 Architecture: armhf Maintainer: Євгеній Мещеряков Installed-Size: 7051 Depends: libc6 (>= 2.13-28), libgcc1 (>= 1:4.4.0), libgmp10, libgnat-4.6 (>= 4.6.3-4+rpi2), libstdc++6 (>= 4.4.0), swi-prolog-nox (>= 5.10.4~) Suggests: gnat, alt-ergo Section: devel Priority: optional Homepage: http://libre.adacore.com/libre/tools/spark-gpl-edition/ Description: SPARK programming language toolset SPARK is a formally-defined computer programming language based on the Ada programming language, intended to be secure and to support the development of high integrity software used in applications and systems where predictable and highly reliable operation is essential either for reasons of safety or for business integrity. . This package contains the tools necessary for checking if programs adhere to the SPARK rules and the tools to show freedom of runtime exceptions in those programs. To compile SPARK programs use any standards-compliant Ada compiler, such as GNAT. drwxr-xr-x root/root 0 2012-07-14 01:08 ./ drwxr-xr-x root/root 0 2012-07-14 01:08 ./usr/ drwxr-xr-x root/root 0 2012-07-14 01:08 ./usr/share/ drwxr-xr-x root/root 0 2012-07-14 01:08 ./usr/share/lintian/ drwxr-xr-x root/root 0 2012-07-14 01:08 ./usr/share/lintian/overrides/ -rw-r--r-- root/root 44 2011-10-12 08:53 ./usr/share/lintian/overrides/spark drwxr-xr-x root/root 0 2012-07-14 01:08 ./usr/share/man/ drwxr-xr-x root/root 0 2012-07-14 01:08 ./usr/share/man/man1/ -rw-r--r-- root/root 1414 2012-07-14 01:08 ./usr/share/man/man1/victor.1.gz -rw-r--r-- root/root 1296 2012-07-14 01:08 ./usr/share/man/man1/sparkformat.1.gz -rw-r--r-- root/root 2007 2012-07-14 01:08 ./usr/share/man/man1/sparkmake.1.gz -rw-r--r-- root/root 2222 2012-07-14 01:08 ./usr/share/man/man1/spark.1.gz -rw-r--r-- root/root 1359 2012-07-14 01:08 ./usr/share/man/man1/spadesimp.1.gz -rw-r--r-- root/root 1123 2012-07-14 01:08 ./usr/share/man/man1/zombiescope.1.gz -rw-r--r-- root/root 1229 2012-07-14 01:08 ./usr/share/man/man1/pogs.1.gz -rw-r--r-- root/root 857 2012-07-14 01:08 ./usr/share/man/man1/checker.1.gz -rw-r--r-- root/root 1480 2012-07-14 01:08 ./usr/share/man/man1/sparksimp.1.gz drwxr-xr-x root/root 0 2012-07-14 01:08 ./usr/share/spark/ -rw-r--r-- root/root 1269 2012-07-14 01:08 ./usr/share/spark/prelude.fdl -rw-r--r-- root/root 2207 2012-07-14 01:08 ./usr/share/spark/divmod.rul drwxr-xr-x root/root 0 2011-05-31 17:24 ./usr/share/spark/checker/ drwxr-xr-x root/root 0 2011-05-31 17:24 ./usr/share/spark/checker/rules/ -rw-r--r-- root/root 2807 2011-05-31 17:24 ./usr/share/spark/checker/rules/INTINEQS.RUL -rw-r--r-- root/root 24516 2011-05-31 17:24 ./usr/share/spark/checker/rules/RECORD.RUL -rw-r--r-- root/root 6115 2011-05-31 17:24 ./usr/share/spark/checker/rules/SEQ.RUL -rw-r--r-- root/root 4445 2011-05-31 17:24 ./usr/share/spark/checker/rules/ARRAY.RUL -rw-r--r-- root/root 4064 2011-05-31 17:24 ./usr/share/spark/checker/rules/QUANTIF.RUL -rw-r--r-- root/root 7894 2011-05-31 17:24 ./usr/share/spark/checker/rules/ENUMERATION.RUL -rw-r--r-- root/root 5979 2011-05-31 17:24 ./usr/share/spark/checker/rules/FDLFUNCS.RUL -rw-r--r-- root/root 58 2009-01-12 04:27 ./usr/share/spark/checker/rules/checker.ini -rw-r--r-- root/root 5340 2011-05-31 17:24 ./usr/share/spark/checker/rules/SETS.RUL -rw-r--r-- root/root 14099 2011-05-31 17:24 ./usr/share/spark/checker/rules/ENUM.RUL -rw-r--r-- root/root 6697 2011-05-31 17:24 ./usr/share/spark/checker/rules/LOGIC.RUL -rw-r--r-- root/root 5126 2011-05-31 17:24 ./usr/share/spark/checker/rules/GENINEQS.RUL -rw-r--r-- root/root 8953 2011-05-31 17:24 ./usr/share/spark/checker/rules/NUMINEQS.RUL -rw-r--r-- root/root 6262 2011-05-31 17:24 ./usr/share/spark/checker/rules/ARITH.RUL -rw-r--r-- root/root 4204 2011-05-31 17:24 ./usr/share/spark/checker/rules/MODULAR.RUL -rw-r--r-- root/root 7036 2011-05-31 17:24 ./usr/share/spark/checker/rules/BITWISE.RUL -rw-r--r-- root/root 7355 2011-05-31 17:24 ./usr/share/spark/checker/rules/SPECIAL.RUL drwxr-xr-x root/root 0 2011-05-31 17:24 ./usr/share/spark/checker/helptext/ -rw-r--r-- root/root 2281 2010-03-04 06:13 ./usr/share/spark/checker/helptext/rxlogic.chl -rw-r--r-- root/root 595 2010-03-04 06:13 ./usr/share/spark/checker/helptext/unwrap.chl -rw-r--r-- root/root 316 2010-03-04 06:13 ./usr/share/spark/checker/helptext/status.chl -rw-r--r-- root/root 1457 2010-03-04 06:13 ./usr/share/spark/checker/helptext/traverse.chl -rw-r--r-- root/root 493 2010-03-04 06:13 ./usr/share/spark/checker/helptext/case.chl -rw-r--r-- root/root 2158 2010-03-04 06:13 ./usr/share/spark/checker/helptext/rxrecord.chl -rw-r--r-- root/root 2529 2010-03-04 06:13 ./usr/share/spark/checker/helptext/rxinequal.chl -rw-r--r-- root/root 317 2010-03-04 06:13 ./usr/share/spark/checker/helptext/declare.chl -rw-r--r-- root/root 652 2010-03-04 06:13 ./usr/share/spark/checker/helptext/infer.chl -rw-r--r-- root/root 333 2010-03-04 06:13 ./usr/share/spark/checker/helptext/save.chl -rw-r--r-- root/root 406 2010-03-04 06:13 ./usr/share/spark/checker/helptext/done.chl -rw-r--r-- root/root 368 2010-03-04 06:13 ./usr/share/spark/checker/helptext/printvc.chl -rw-r--r-- root/root 411 2010-03-04 06:13 ./usr/share/spark/checker/helptext/list.chl -rw-r--r-- root/root 692 2010-03-04 06:13 ./usr/share/spark/checker/helptext/rxsets.chl -rw-r--r-- root/root 1033 2010-03-04 06:13 ./usr/share/spark/checker/helptext/newvc.chl -rw-r--r-- root/root 949 2010-03-04 06:13 ./usr/share/spark/checker/helptext/rules.chl -rw-r--r-- root/root 649 2010-03-04 06:13 ./usr/share/spark/checker/helptext/rxfdlfunc.chl -rw-r--r-- root/root 520 2010-03-04 06:13 ./usr/share/spark/checker/helptext/delete.chl -rw-r--r-- root/root 2964 2010-03-04 06:13 ./usr/share/spark/checker/helptext/rxspecial.chl -rw-r--r-- root/root 332 2010-03-04 06:13 ./usr/share/spark/checker/helptext/remember.chl -rw-r--r-- root/root 367 2010-03-04 06:13 ./usr/share/spark/checker/helptext/show.chl -rw-r--r-- root/root 449 2010-03-04 06:13 ./usr/share/spark/checker/helptext/instantia.chl -rw-r--r-- root/root 951 2010-03-04 06:13 ./usr/share/spark/checker/helptext/replace.chl -rw-r--r-- root/root 1474 2010-03-04 06:13 ./usr/share/spark/checker/helptext/execute.chl -rw-r--r-- root/root 338 2010-03-04 06:13 ./usr/share/spark/checker/helptext/deduce.chl -rw-r--r-- root/root 1174 2010-03-04 06:13 ./usr/share/spark/checker/helptext/rxgenineq.chl -rw-r--r-- root/root 437 2010-03-04 06:13 ./usr/share/spark/checker/helptext/set.chl -rw-r--r-- root/root 2456 2010-03-04 06:13 ./usr/share/spark/checker/helptext/rxarith.chl -rw-r--r-- root/root 537 2010-03-04 06:13 ./usr/share/spark/checker/helptext/simplify.chl -rw-r--r-- root/root 292 2010-03-04 06:13 ./usr/share/spark/checker/helptext/rxquantif.chl -rw-r--r-- root/root 948 2010-03-04 06:13 ./usr/share/spark/checker/helptext/rxenum.chl -rw-r--r-- root/root 765 2010-03-04 06:13 ./usr/share/spark/checker/helptext/forwardch.chl -rw-r--r-- root/root 848 2010-03-04 06:13 ./usr/share/spark/checker/helptext/consult.chl -rw-r--r-- root/root 327 2010-03-04 06:13 ./usr/share/spark/checker/helptext/help.chl -rw-r--r-- root/root 276 2010-03-04 06:13 ./usr/share/spark/checker/helptext/quit.chl -rw-r--r-- root/root 182 2010-03-04 06:13 ./usr/share/spark/checker/helptext/exit.chl -rw-r--r-- root/root 648 2010-03-04 06:13 ./usr/share/spark/checker/helptext/forget.chl -rw-r--r-- root/root 2742 2010-03-04 06:13 ./usr/share/spark/checker/helptext/rxseq.chl -rw-r--r-- root/root 1441 2010-03-04 06:13 ./usr/share/spark/checker/helptext/rxarray.chl -rw-r--r-- root/root 724 2010-03-04 06:13 ./usr/share/spark/checker/helptext/prove.chl -rw-r--r-- root/root 1079 2010-03-04 06:13 ./usr/share/spark/checker/helptext/standard.chl -rw-r--r-- root/root 333 2010-03-04 06:13 ./usr/share/spark/checker/helptext/undelete.chl -rw-r--r-- root/root 510 2010-03-04 06:13 ./usr/share/spark/checker/helptext/rxmodular.chl -rw-r--r-- root/root 3381 2012-07-14 01:08 ./usr/share/spark/prelude.rul -rw-r--r-- root/root 7 2011-10-12 08:53 ./usr/share/spark/smt_prelude.mlw drwxr-xr-x root/root 0 2012-07-14 01:08 ./usr/share/doc/ drwxr-xr-x root/root 0 2012-07-14 01:08 ./usr/share/doc/spark/ -rw-r--r-- root/root 1454 2011-10-12 08:53 ./usr/share/doc/spark/changelog.Debian.gz -rw-r--r-- root/root 2157 2011-10-12 08:53 ./usr/share/doc/spark/copyright drwxr-xr-x root/root 0 2012-07-14 01:08 ./usr/bin/ -rwxr-xr-x root/root 575876 2012-07-14 01:08 ./usr/bin/vct -rwxr-xr-x root/root 93244 2012-07-14 01:08 ./usr/bin/sparksimp -rwxr-xr-x root/root 588228 2012-07-14 01:08 ./usr/bin/sparkmake -rwxr-xr-x root/root 2275352 2012-07-14 01:08 ./usr/bin/spark -rwxr-xr-x root/root 627224 2012-07-14 01:08 ./usr/bin/spadesimp -rwxr-xr-x root/root 627224 2012-07-14 01:08 ./usr/bin/zombiescope -rwxr-xr-x root/root 391944 2012-07-14 01:08 ./usr/bin/pogs -rwxr-xr-x root/root 486953 2012-07-14 01:08 ./usr/bin/checker -rwxr-xr-x root/root 51372 2012-07-14 01:08 ./usr/bin/wrap_utility -rwxr-xr-x root/root 624376 2012-07-14 01:08 ./usr/bin/sparkformat -rwxr-xr-x root/root 88332 2012-07-14 01:08 ./usr/bin/victor drwxr-xr-x root/root 0 2012-07-14 01:08 ./usr/lib/ drwxr-xr-x root/root 0 2011-05-31 17:24 ./usr/lib/spark/ -rw-r--r-- root/root 210623 2011-05-31 17:24 ./usr/lib/spark/errors.htm drwxr-xr-x root/root 0 2011-05-31 17:24 ./usr/lib/spark/current/ -rw-r--r-- root/root 8350 2011-05-31 17:24 ./usr/lib/spark/current/spark-unsigned.ads -rw-r--r-- root/root 4419 2011-05-31 17:24 ./usr/lib/spark/current/spark-ada-strings-unbounded-not_spark.adb -rw-r--r-- root/root 39855 2011-05-31 17:24 ./usr/lib/spark/current/spark-ada-text_io.adb -rw-r--r-- root/root 4806 2011-05-31 17:24 ./usr/lib/spark/current/spark-ada-strings-maps.adb -rw-r--r-- root/root 98 2011-02-14 08:28 ./usr/lib/spark/current/interfaces.idx -rw-r--r-- root/root 2710 2011-05-31 17:24 ./usr/lib/spark/current/spark-ada-strings-not_spark.ads -rw-r--r-- root/root 529 2011-02-14 08:28 ./usr/lib/spark/current/ada.idx -rw-r--r-- root/root 3276 2011-05-31 17:24 ./usr/lib/spark/current/spark-ada-command_line-unbounded_string.ads -rw-r--r-- root/root 72 2010-11-24 07:01 ./usr/lib/spark/current/all.wrn -rw-r--r-- root/root 3256 2011-05-31 17:24 ./usr/lib/spark/current/spark-ada-command_line.ads -rw-r--r-- root/root 3970 2011-05-31 17:24 ./usr/lib/spark/current/interfaces.shs -rw-r--r-- root/root 5231 2011-05-31 17:24 ./usr/lib/spark/current/ada-characters-handling.shs -rw-r--r-- root/root 2767 2011-05-31 17:24 ./usr/lib/spark/current/spark-ada.ads -rw-r--r-- root/root 29708 2011-05-31 17:24 ./usr/lib/spark/current/spark-ada-strings-unbounded.ads -rw-r--r-- root/root 3156 2011-05-31 17:24 ./usr/lib/spark/current/spark-ada-strings-maps-not_spark.adb -rw-r--r-- root/root 4038 2011-05-31 17:24 ./usr/lib/spark/current/interfaces-c.shs -rw-r--r-- root/root 26911 2011-05-31 17:24 ./usr/lib/spark/current/spark-ada-text_io.ads -rw-r--r-- root/root 191 2011-04-26 01:43 ./usr/lib/spark/current/spark.smf -rw-r--r-- root/root 1432 2011-05-31 17:24 ./usr/lib/spark/current/spark-ada-command_line.adb -rw-r--r-- root/root 1654 2011-05-31 17:24 ./usr/lib/spark/current/spark-ada-command_line-unbounded_string.adb -rw-r--r-- root/root 111 2011-02-14 08:28 ./usr/lib/spark/current/sparklib.idx -rw-r--r-- root/root 8536 2011-05-31 17:24 ./usr/lib/spark/current/spark-unsigned.shs -rw-r--r-- root/root 4292 2011-05-31 17:24 ./usr/lib/spark/current/spark-ada-text_io-not_spark.adb -rw-r--r-- root/root 6827 2011-05-31 17:24 ./usr/lib/spark/current/spark-ada-strings-maps.ads -rw-r--r-- root/root 9590 2011-05-31 17:24 ./usr/lib/spark/current/spark-ada-text_io-unbounded_string.adb -rw-r--r-- root/root 3081 2011-05-31 17:24 ./usr/lib/spark/current/spark-ada-strings-not_spark.adb -rw-r--r-- root/root 8374 2011-05-31 17:24 ./usr/lib/spark/current/spark-ada-text_io-unbounded_string.ads -rw-r--r-- root/root 3165 2011-05-31 17:24 ./usr/lib/spark/current/spark-ada-strings-maps-not_spark.ads -rw-r--r-- root/root 2759 2011-05-31 17:24 ./usr/lib/spark/current/spark.ads -rw-r--r-- root/root 3105 2011-05-31 17:24 ./usr/lib/spark/current/spark-ada-strings-unbounded-not_spark.ads -rw-r--r-- root/root 856 2011-04-26 01:43 ./usr/lib/spark/current/spark.idx -rw-r--r-- root/root 2861 2011-05-31 17:24 ./usr/lib/spark/current/spark-ada-text_io-not_spark.ads -rw-r--r-- root/root 25023 2011-05-31 17:24 ./usr/lib/spark/current/spark-ada-strings-unbounded.adb -rw-r--r-- root/root 3403 2011-05-31 17:24 ./usr/lib/spark/current/spark-ada-strings.ads -rw-r--r-- root/root 6680 2011-05-31 17:24 ./usr/lib/spark/confgen.adb -rw-r--r-- root/root 23148 2011-05-31 17:24 ./usr/lib/spark/spark_io.adb -rw-r--r-- root/root 17013 2011-05-31 17:24 ./usr/lib/spark/spark_io_05.ads -rw-r--r-- root/root 17365 2011-05-31 17:24 ./usr/lib/spark/spark_io.ads -rw-r--r-- root/root 6548 2011-05-31 17:24 ./usr/lib/spark/sparkreport.xsd -rw-r--r-- root/root 22766 2011-05-31 17:24 ./usr/lib/spark/spark_io_05.adb ┌──────────────────────────────────────────────────────────────────────────────┐ │ Post Build │ └──────────────────────────────────────────────────────────────────────────────┘ ┌──────────────────────────────────────────────────────────────────────────────┐ │ Cleanup │ └──────────────────────────────────────────────────────────────────────────────┘ Purging /«BUILDDIR» Reading package lists... Building dependency tree... Reading state information... 0 upgraded, 0 newly installed, 0 to remove and 5 not upgraded. Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: bison* bsdmainutils* debhelper* file* flex* gettext* gettext-base* gnat* gnat-4.6* gnat-4.6-base* groff-base* html2text* intltool-debian* libasprintf0c2* libbison-dev* libcroco3* libffi5* libgettextpo0* libglib2.0-0* libgmp-dev* libgmp3-dev* libgmpxx4ldbl* libgnat-4.6* libgnatprj4.6* libgnatvsn4.6* libmagic1* libncurses5-dev* libpcre3* libpipeline1* libreadline-dev* libreadline6-dev* libtinfo-dev* libunistring0* libxml2* m4* man-db* po-debconf* sbuild-build-depends-core-dummy* sbuild-build-depends-spark-dummy* swi-prolog-nox* 0 upgraded, 0 newly installed, 40 to remove and 5 not upgraded. After this operation, 83.5 MB disk space will be freed. (Reading database ... 14757 files and directories currently installed.) Removing sbuild-build-depends-spark-dummy ... Removing bison ... Removing debhelper ... Removing man-db ... Purging configuration files for man-db ... Removing bsdmainutils ... Purging configuration files for bsdmainutils ... Removing file ... Removing flex ... Removing po-debconf ... Removing intltool-debian ... Removing gettext ... Removing gettext-base ... Removing gnat ... Removing gnat-4.6 ... Removing libgnatprj4.6:armhf ... Purging configuration files for libgnatprj4.6:armhf ... Removing libgnatvsn4.6:armhf ... Purging configuration files for libgnatvsn4.6:armhf ... Removing libgnat-4.6:armhf ... Purging configuration files for libgnat-4.6:armhf ... Removing gnat-4.6-base ... Removing groff-base ... Purging configuration files for groff-base ... Removing html2text ... Purging configuration files for html2text ... Removing libasprintf0c2:armhf ... Removing libbison-dev:armhf ... Removing libcroco3:armhf ... Purging configuration files for libcroco3:armhf ... Removing libglib2.0-0:armhf ... Purging configuration files for libglib2.0-0:armhf ... Removing libffi5:armhf ... Purging configuration files for libffi5:armhf ... Removing libgettextpo0:armhf ... Removing swi-prolog-nox ... Purging configuration files for swi-prolog-nox ... Removing libgmp3-dev ... Removing libgmp-dev:armhf ... Removing libgmpxx4ldbl:armhf ... Purging configuration files for libgmpxx4ldbl:armhf ... Removing libmagic1:armhf ... Purging configuration files for libmagic1:armhf ... Removing libncurses5-dev ... Removing libpcre3:armhf ... Purging configuration files for libpcre3:armhf ... Removing libpipeline1:armhf ... Purging configuration files for libpipeline1:armhf ... Removing libreadline-dev:armhf ... Removing libreadline6-dev:armhf ... Removing libtinfo-dev:armhf ... Removing libunistring0:armhf ... Purging configuration files for libunistring0:armhf ... Removing libxml2:armhf ... Purging configuration files for libxml2:armhf ... Removing m4 ... Removing sbuild-build-depends-core-dummy ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Summary │ └──────────────────────────────────────────────────────────────────────────────┘ Build Architecture: armhf Build-Space: 121044 Build-Time: 9498 Distribution: testing Host Architecture: armhf Install-Time: 97 Job: spark_2011.0.deb-5 Machine Architecture: armhf Package: spark Package-Time: 9617 Source-Version: 2011.0.deb-5 Space: 121044 Status: successful Version: 2011.0.deb-5 ──────────────────────────────────────────────────────────────────────────────── Finished at 20120714-0109 Build needed 02:40:17, 121044k disc space