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 3,070 kB of source archives. Get:1 http://urika:3142/ftp.debian.org/debian/ sid/main spark 2012.0.deb-9 (dsc) [1,947 B] Get:2 http://urika:3142/ftp.debian.org/debian/ sid/main spark 2012.0.deb-9 (tar) [3,049 kB] Get:3 http://urika:3142/ftp.debian.org/debian/ sid/main spark 2012.0.deb-9 (diff) [19.7 kB] gpgv: keyblock resource `/tmp/.gnupg/trustedkeys.gpg': file open error gpgv: Signature made Sat 03 May 2014 01:32:14 AM UTC using RSA key ID F451B93C gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./spark_2012.0.deb-9.dsc dpkg-source: info: extracting spark in spark-2012.0.deb dpkg-source: info: unpacking spark_2012.0.deb.orig.tar.gz dpkg-source: info: unpacking spark_2012.0.deb-9.debian.tar.xz 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 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 ada-link-env-flags.diff dpkg-source: info: applying swi-prolog-settings-module-conflict.pro dpkg-source: info: applying vct-bison-3-fix.diff Fetched 3,070 kB in 0s (46.6 MB/s) Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: bison bsdmainutils cpp-4.9 debhelper file flex gcc-4.9 gettext gettext-base gnat gnat-4.9 gnat-4.9-base groff-base intltool-debian libarchive13 libasan1 libasprintf0v5 libbison-dev libcloog-isl4 libcroco3 libffi6 libfl-dev libgcc-4.9-dev libglib2.0-0 libgmp-dev libgmpxx4ldbl libgnat-4.9 libgnatprj4.9 libgnatvsn4.9 libicu52 liblzo2-2 libmagic1 libncursesw5-dev libnettle6 libossp-uuid16 libpipeline1 libreadline-dev libreadline6-dev libsigsegv2 libtinfo-dev libunistring0 libxml2 m4 man-db po-debconf swi-prolog-nox 0 upgraded, 46 newly installed, 0 to remove and 0 not upgraded. Need to get 47.7 MB of archives. After this operation, 187 MB of additional disk space will be used. Get:1 http://urika:3142/ftp.debian.org/debian/ sid/main libasprintf0v5 amd64 0.19.5.1-1 [32.2 kB] Get:2 http://urika:3142/ftp.debian.org/debian/ sid/main libmagic1 amd64 1:5.22+15-2 [249 kB] Get:3 http://urika:3142/ftp.debian.org/debian/ sid/main libicu52 amd64 52.1-10 [6,786 kB] Get:4 http://urika:3142/ftp.debian.org/debian/ sid/main libxml2 amd64 2.9.2+dfsg1-3 [934 kB] Get:5 http://urika:3142/ftp.debian.org/debian/ sid/main groff-base amd64 1.22.3-1 [1,205 kB] Get:6 http://urika:3142/ftp.debian.org/debian/ sid/main bsdmainutils amd64 9.0.6 [183 kB] Get:7 http://urika:3142/ftp.debian.org/debian/ sid/main libpipeline1 amd64 1.4.1-1 [27.8 kB] Get:8 http://urika:3142/ftp.debian.org/debian/ sid/main man-db amd64 2.7.2-1 [1,000 kB] Get:9 http://urika:3142/ftp.debian.org/debian/ sid/main libsigsegv2 amd64 2.10-4+b1 [29.2 kB] Get:10 http://urika:3142/ftp.debian.org/debian/ sid/main m4 amd64 1.4.17-4 [254 kB] Get:11 http://urika:3142/ftp.debian.org/debian/ sid/main libfl-dev amd64 2.5.39-8+b1 [75.4 kB] Get:12 http://urika:3142/ftp.debian.org/debian/ sid/main flex amd64 2.5.39-8+b1 [422 kB] Get:13 http://urika:3142/ftp.debian.org/debian/ sid/main gnat-4.9-base amd64 4.9.3-1 [218 kB] Get:14 http://urika:3142/ftp.debian.org/debian/ sid/main libcloog-isl4 amd64 0.18.3-1 [62.9 kB] Get:15 http://urika:3142/ftp.debian.org/debian/ sid/main cpp-4.9 amd64 4.9.3-3 [5,005 kB] Get:16 http://urika:3142/ftp.debian.org/debian/ sid/main libasan1 amd64 4.9.3-3 [194 kB] Get:17 http://urika:3142/ftp.debian.org/debian/ sid/main libgcc-4.9-dev amd64 4.9.3-3 [2,062 kB] Get:18 http://urika:3142/ftp.debian.org/debian/ sid/main gcc-4.9 amd64 4.9.3-3 [5,343 kB] Get:19 http://urika:3142/ftp.debian.org/debian/ sid/main libgnat-4.9 amd64 4.9.3-1 [904 kB] Get:20 http://urika:3142/ftp.debian.org/debian/ sid/main libgnatvsn4.9 amd64 4.9.3-1 [253 kB] Get:21 http://urika:3142/ftp.debian.org/debian/ sid/main libgnatprj4.9 amd64 4.9.3-1 [608 kB] Get:22 http://urika:3142/ftp.debian.org/debian/ sid/main gnat-4.9 amd64 4.9.3-1 [10.1 MB] Get:23 http://urika:3142/ftp.debian.org/debian/ sid/main libffi6 amd64 3.2.1-3 [20.1 kB] Get:24 http://urika:3142/ftp.debian.org/debian/ sid/main libglib2.0-0 amd64 2.44.1-1.1 [2,461 kB] Get:25 http://urika:3142/ftp.debian.org/debian/ sid/main libcroco3 amd64 0.6.8-3+b1 [135 kB] Get:26 http://urika:3142/ftp.debian.org/debian/ sid/main liblzo2-2 amd64 2.08-1.2 [54.6 kB] Get:27 http://urika:3142/ftp.debian.org/debian/ sid/main libossp-uuid16 amd64 1.6.2-1.5+b1 [38.0 kB] Get:28 http://urika:3142/ftp.debian.org/debian/ sid/main libunistring0 amd64 0.9.3-5.2+b1 [288 kB] Get:29 http://urika:3142/ftp.debian.org/debian/ sid/main file amd64 1:5.22+15-2 [60.1 kB] Get:30 http://urika:3142/ftp.debian.org/debian/ sid/main gettext-base amd64 0.19.5.1-1 [122 kB] Get:31 http://urika:3142/ftp.debian.org/debian/ sid/main libbison-dev amd64 2:3.0.2.dfsg-2 [426 kB] Get:32 http://urika:3142/ftp.debian.org/debian/ sid/main bison amd64 2:3.0.2.dfsg-2 [765 kB] Get:33 http://urika:3142/ftp.debian.org/debian/ sid/main gettext amd64 0.19.5.1-1 [1,459 kB] Get:34 http://urika:3142/ftp.debian.org/debian/ sid/main intltool-debian all 0.35.0+20060710.2 [25.9 kB] Get:35 http://urika:3142/ftp.debian.org/debian/ sid/main po-debconf all 1.0.18 [248 kB] Get:36 http://urika:3142/ftp.debian.org/debian/ sid/main debhelper all 9.20150811 [817 kB] Get:37 http://urika:3142/ftp.debian.org/debian/ sid/main gnat all 4.9 [2,772 B] Get:38 http://urika:3142/ftp.debian.org/debian/ sid/main libnettle6 amd64 3.1.1-4 [189 kB] Get:39 http://urika:3142/ftp.debian.org/debian/ sid/main libarchive13 amd64 3.1.2-11+b1 [269 kB] Get:40 http://urika:3142/ftp.debian.org/debian/ sid/main libgmpxx4ldbl amd64 2:6.0.0+dfsg-7 [22.2 kB] Get:41 http://urika:3142/ftp.debian.org/debian/ sid/main libgmp-dev amd64 2:6.0.0+dfsg-7 [621 kB] Get:42 http://urika:3142/ftp.debian.org/debian/ sid/main libtinfo-dev amd64 6.0+20150810-1 [77.5 kB] Get:43 http://urika:3142/ftp.debian.org/debian/ sid/main libncursesw5-dev amd64 6.0+20150810-1 [196 kB] Get:44 http://urika:3142/ftp.debian.org/debian/ sid/main libreadline6-dev amd64 6.3-8+b3 [124 kB] Get:45 http://urika:3142/ftp.debian.org/debian/ sid/main libreadline-dev amd64 6.3-8+b3 [1,002 B] Get:46 http://urika:3142/ftp.debian.org/debian/ sid/main swi-prolog-nox amd64 7.2.0-2 [3,370 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 47.7 MB in 2s (21.4 MB/s) Selecting previously unselected package libasprintf0v5:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 15408 files and directories currently installed.) Preparing to unpack .../libasprintf0v5_0.19.5.1-1_amd64.deb ... Unpacking libasprintf0v5:amd64 (0.19.5.1-1) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../libmagic1_1%3a5.22+15-2_amd64.deb ... Unpacking libmagic1:amd64 (1:5.22+15-2) ... Selecting previously unselected package libicu52:amd64. Preparing to unpack .../libicu52_52.1-10_amd64.deb ... Unpacking libicu52:amd64 (52.1-10) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../libxml2_2.9.2+dfsg1-3_amd64.deb ... Unpacking libxml2:amd64 (2.9.2+dfsg1-3) ... Selecting previously unselected package groff-base. Preparing to unpack .../groff-base_1.22.3-1_amd64.deb ... Unpacking groff-base (1.22.3-1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../bsdmainutils_9.0.6_amd64.deb ... Unpacking bsdmainutils (9.0.6) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../libpipeline1_1.4.1-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.4.1-1) ... Selecting previously unselected package man-db. Preparing to unpack .../man-db_2.7.2-1_amd64.deb ... Unpacking man-db (2.7.2-1) ... Selecting previously unselected package libsigsegv2:amd64. Preparing to unpack .../libsigsegv2_2.10-4+b1_amd64.deb ... Unpacking libsigsegv2:amd64 (2.10-4+b1) ... Selecting previously unselected package m4. Preparing to unpack .../archives/m4_1.4.17-4_amd64.deb ... Unpacking m4 (1.4.17-4) ... Selecting previously unselected package libfl-dev:amd64. Preparing to unpack .../libfl-dev_2.5.39-8+b1_amd64.deb ... Unpacking libfl-dev:amd64 (2.5.39-8+b1) ... Selecting previously unselected package flex. Preparing to unpack .../flex_2.5.39-8+b1_amd64.deb ... Unpacking flex (2.5.39-8+b1) ... Selecting previously unselected package gnat-4.9-base. Preparing to unpack .../gnat-4.9-base_4.9.3-1_amd64.deb ... Unpacking gnat-4.9-base (4.9.3-1) ... Selecting previously unselected package libcloog-isl4:amd64. Preparing to unpack .../libcloog-isl4_0.18.3-1_amd64.deb ... Unpacking libcloog-isl4:amd64 (0.18.3-1) ... Selecting previously unselected package cpp-4.9. Preparing to unpack .../cpp-4.9_4.9.3-3_amd64.deb ... Unpacking cpp-4.9 (4.9.3-3) ... Selecting previously unselected package libasan1:amd64. Preparing to unpack .../libasan1_4.9.3-3_amd64.deb ... Unpacking libasan1:amd64 (4.9.3-3) ... Selecting previously unselected package libgcc-4.9-dev:amd64. Preparing to unpack .../libgcc-4.9-dev_4.9.3-3_amd64.deb ... Unpacking libgcc-4.9-dev:amd64 (4.9.3-3) ... Selecting previously unselected package gcc-4.9. Preparing to unpack .../gcc-4.9_4.9.3-3_amd64.deb ... Unpacking gcc-4.9 (4.9.3-3) ... Selecting previously unselected package libgnat-4.9:amd64. Preparing to unpack .../libgnat-4.9_4.9.3-1_amd64.deb ... Unpacking libgnat-4.9:amd64 (4.9.3-1) ... Selecting previously unselected package libgnatvsn4.9:amd64. Preparing to unpack .../libgnatvsn4.9_4.9.3-1_amd64.deb ... Unpacking libgnatvsn4.9:amd64 (4.9.3-1) ... Selecting previously unselected package libgnatprj4.9:amd64. Preparing to unpack .../libgnatprj4.9_4.9.3-1_amd64.deb ... Unpacking libgnatprj4.9:amd64 (4.9.3-1) ... Selecting previously unselected package gnat-4.9. Preparing to unpack .../gnat-4.9_4.9.3-1_amd64.deb ... Unpacking gnat-4.9 (4.9.3-1) ... Selecting previously unselected package libffi6:amd64. Preparing to unpack .../libffi6_3.2.1-3_amd64.deb ... Unpacking libffi6:amd64 (3.2.1-3) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../libglib2.0-0_2.44.1-1.1_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.44.1-1.1) ... Selecting previously unselected package libcroco3:amd64. Preparing to unpack .../libcroco3_0.6.8-3+b1_amd64.deb ... Unpacking libcroco3:amd64 (0.6.8-3+b1) ... Selecting previously unselected package liblzo2-2:amd64. Preparing to unpack .../liblzo2-2_2.08-1.2_amd64.deb ... Unpacking liblzo2-2:amd64 (2.08-1.2) ... Selecting previously unselected package libossp-uuid16:amd64. Preparing to unpack .../libossp-uuid16_1.6.2-1.5+b1_amd64.deb ... Unpacking libossp-uuid16:amd64 (1.6.2-1.5+b1) ... Selecting previously unselected package libunistring0:amd64. Preparing to unpack .../libunistring0_0.9.3-5.2+b1_amd64.deb ... Unpacking libunistring0:amd64 (0.9.3-5.2+b1) ... Selecting previously unselected package file. Preparing to unpack .../file_1%3a5.22+15-2_amd64.deb ... Unpacking file (1:5.22+15-2) ... Selecting previously unselected package gettext-base. Preparing to unpack .../gettext-base_0.19.5.1-1_amd64.deb ... Unpacking gettext-base (0.19.5.1-1) ... Selecting previously unselected package libbison-dev:amd64. Preparing to unpack .../libbison-dev_2%3a3.0.2.dfsg-2_amd64.deb ... Unpacking libbison-dev:amd64 (2:3.0.2.dfsg-2) ... Selecting previously unselected package bison. Preparing to unpack .../bison_2%3a3.0.2.dfsg-2_amd64.deb ... Unpacking bison (2:3.0.2.dfsg-2) ... Selecting previously unselected package gettext. Preparing to unpack .../gettext_0.19.5.1-1_amd64.deb ... Unpacking gettext (0.19.5.1-1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../intltool-debian_0.35.0+20060710.2_all.deb ... Unpacking intltool-debian (0.35.0+20060710.2) ... Selecting previously unselected package po-debconf. Preparing to unpack .../po-debconf_1.0.18_all.deb ... Unpacking po-debconf (1.0.18) ... Selecting previously unselected package debhelper. Preparing to unpack .../debhelper_9.20150811_all.deb ... Unpacking debhelper (9.20150811) ... Selecting previously unselected package gnat. Preparing to unpack .../apt/archives/gnat_4.9_all.deb ... Unpacking gnat (4.9) ... Selecting previously unselected package libnettle6:amd64. Preparing to unpack .../libnettle6_3.1.1-4_amd64.deb ... Unpacking libnettle6:amd64 (3.1.1-4) ... Selecting previously unselected package libarchive13:amd64. Preparing to unpack .../libarchive13_3.1.2-11+b1_amd64.deb ... Unpacking libarchive13:amd64 (3.1.2-11+b1) ... Selecting previously unselected package libgmpxx4ldbl:amd64. Preparing to unpack .../libgmpxx4ldbl_2%3a6.0.0+dfsg-7_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:6.0.0+dfsg-7) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../libgmp-dev_2%3a6.0.0+dfsg-7_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.0.0+dfsg-7) ... Selecting previously unselected package libtinfo-dev:amd64. Preparing to unpack .../libtinfo-dev_6.0+20150810-1_amd64.deb ... Unpacking libtinfo-dev:amd64 (6.0+20150810-1) ... Selecting previously unselected package libncursesw5-dev:amd64. Preparing to unpack .../libncursesw5-dev_6.0+20150810-1_amd64.deb ... Unpacking libncursesw5-dev:amd64 (6.0+20150810-1) ... Selecting previously unselected package libreadline6-dev:amd64. Preparing to unpack .../libreadline6-dev_6.3-8+b3_amd64.deb ... Unpacking libreadline6-dev:amd64 (6.3-8+b3) ... Selecting previously unselected package libreadline-dev:amd64. Preparing to unpack .../libreadline-dev_6.3-8+b3_amd64.deb ... Unpacking libreadline-dev:amd64 (6.3-8+b3) ... Selecting previously unselected package swi-prolog-nox. Preparing to unpack .../swi-prolog-nox_7.2.0-2_amd64.deb ... Unpacking swi-prolog-nox (7.2.0-2) ... Setting up libasprintf0v5:amd64 (0.19.5.1-1) ... Setting up libmagic1:amd64 (1:5.22+15-2) ... Setting up libicu52:amd64 (52.1-10) ... Setting up libxml2:amd64 (2.9.2+dfsg1-3) ... Setting up groff-base (1.22.3-1) ... Setting up bsdmainutils (9.0.6) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode Setting up libpipeline1:amd64 (1.4.1-1) ... Setting up man-db (2.7.2-1) ... Building database of manual pages ... Setting up libsigsegv2:amd64 (2.10-4+b1) ... Setting up m4 (1.4.17-4) ... Setting up libfl-dev:amd64 (2.5.39-8+b1) ... Setting up flex (2.5.39-8+b1) ... Setting up gnat-4.9-base (4.9.3-1) ... Setting up libcloog-isl4:amd64 (0.18.3-1) ... Setting up cpp-4.9 (4.9.3-3) ... Setting up libasan1:amd64 (4.9.3-3) ... Setting up libgcc-4.9-dev:amd64 (4.9.3-3) ... Setting up gcc-4.9 (4.9.3-3) ... Setting up libgnat-4.9:amd64 (4.9.3-1) ... Setting up libgnatvsn4.9:amd64 (4.9.3-1) ... Setting up libgnatprj4.9:amd64 (4.9.3-1) ... Setting up gnat-4.9 (4.9.3-1) ... Setting up libffi6:amd64 (3.2.1-3) ... Setting up libglib2.0-0:amd64 (2.44.1-1.1) ... No schema files found: doing nothing. Setting up libcroco3:amd64 (0.6.8-3+b1) ... Setting up liblzo2-2:amd64 (2.08-1.2) ... Setting up libossp-uuid16:amd64 (1.6.2-1.5+b1) ... Setting up libunistring0:amd64 (0.9.3-5.2+b1) ... Setting up file (1:5.22+15-2) ... Setting up gettext-base (0.19.5.1-1) ... Setting up libbison-dev:amd64 (2:3.0.2.dfsg-2) ... Setting up bison (2:3.0.2.dfsg-2) ... update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode Setting up gettext (0.19.5.1-1) ... Setting up intltool-debian (0.35.0+20060710.2) ... Setting up po-debconf (1.0.18) ... Setting up debhelper (9.20150811) ... Setting up gnat (4.9) ... Setting up libnettle6:amd64 (3.1.1-4) ... Setting up libarchive13:amd64 (3.1.2-11+b1) ... Setting up libgmpxx4ldbl:amd64 (2:6.0.0+dfsg-7) ... Setting up libgmp-dev:amd64 (2:6.0.0+dfsg-7) ... Setting up libtinfo-dev:amd64 (6.0+20150810-1) ... Setting up libncursesw5-dev:amd64 (6.0+20150810-1) ... Setting up libreadline6-dev:amd64 (6.3-8+b3) ... Setting up libreadline-dev:amd64 (6.3-8+b3) ... Setting up swi-prolog-nox (7.2.0-2) ... update-alternatives: using /usr/bin/swipl to provide /usr/bin/prolog (prolog) in auto mode Processing triggers for libc-bin (2.19-19) ... Killed old client process Internet Systems Consortium DHCP Client 4.3.2 Copyright 2004-2015 Internet Systems Consortium. All rights reserved. For info, please visit https://www.isc.org/software/dhcp/ Listening on LPF/eth0/32:83:1f:91:b2:82 Sending on LPF/eth0/32:83:1f:91:b2:82 Sending on Socket/fallback DHCPRELEASE on eth0 to 10.0.3.1 port 67 dpkg-buildpackage: source package spark dpkg-buildpackage: source version 2012.0.deb-9 dpkg-buildpackage: source distribution unstable dpkg-buildpackage: source changed by Євгеній Мещеряков dpkg-source --before-build spark-2012.0.deb dpkg-buildpackage: host architecture amd64 debian/rules clean dh clean --with swi_prolog dh_testdir debian/rules override_dh_auto_clean make[1]: Entering directory '/spark-2012.0.deb' /usr/bin/make reallycleanall make[2]: Entering directory '/spark-2012.0.deb' rm -f ./bin/* rm -f ./share/spark/* /usr/bin/make -C sparklalr reallyclean make[3]: Entering directory '/spark-2012.0.deb/sparklalr' rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi 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 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/*.rep vcg/mainunits95.xml 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. ../common/Makefile.inc:191: recipe for target 'vcclean' failed make[3]: [vcclean] Error 123 (ignored) make[3]: Leaving directory '/spark-2012.0.deb/sparklalr' /usr/bin/make -C examiner reallyclean make[3]: Entering directory '/spark-2012.0.deb/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi 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 "*.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/*.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 '/spark-2012.0.deb/examiner' /usr/bin/make -C simplifier reallyclean make[3]: Entering directory '/spark-2012.0.deb/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 spadesimp.manifest rm -f zombiescope zombiescope.manifest rm -f spxref_warning.txt spxref_cross.txt spxref_ported.txt spxref_undefined.txt make[3]: Leaving directory '/spark-2012.0.deb/simplifier' /usr/bin/make -C wraputility reallyclean make[3]: Entering directory '/spark-2012.0.deb/wraputility' rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi 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 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/*.rep vcg/mainunits95.xml 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. ../common/Makefile.inc:191: recipe for target 'vcclean' failed make[3]: [vcclean] Error 123 (ignored) /usr/bin/make -C ../examiner clean make[4]: Entering directory '/spark-2012.0.deb/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi make[4]: Leaving directory '/spark-2012.0.deb/examiner' /usr/bin/make -C ../examiner reallyclean make[4]: Entering directory '/spark-2012.0.deb/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi 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 "*.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/*.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 '/spark-2012.0.deb/examiner' make[3]: Leaving directory '/spark-2012.0.deb/wraputility' /usr/bin/make -C checker reallyclean make[3]: Entering directory '/spark-2012.0.deb/checker' rm -f checker.sav checker.exp checker.ilk checker.lib checker.pdb rm -f checker checker.manifest rm -f spxref_warning.txt spxref_cross.txt spxref_ported.txt spxref_undefined.txt make[3]: Leaving directory '/spark-2012.0.deb/checker' /usr/bin/make -C pogs reallyclean make[3]: Entering directory '/spark-2012.0.deb/pogs' rm -f oscommandline.adb rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi 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 "*.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/*.rep vcg/mainunits95.xml 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. ../common/Makefile.inc:191: recipe for target 'vcclean' failed make[3]: [vcclean] Error 123 (ignored) /usr/bin/make -C ../examiner clean make[4]: Entering directory '/spark-2012.0.deb/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi make[4]: Leaving directory '/spark-2012.0.deb/examiner' /usr/bin/make -C ../examiner reallyclean make[4]: Entering directory '/spark-2012.0.deb/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi 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 "*.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/*.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 '/spark-2012.0.deb/examiner' make[3]: Leaving directory '/spark-2012.0.deb/pogs' /usr/bin/make -C sparkclean reallyclean make[3]: Entering directory '/spark-2012.0.deb/sparkclean' rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi rm -f sparkclean 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/*.rep vcg/mainunits95.xml 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. ../common/Makefile.inc:191: recipe for target 'vcclean' failed make[3]: [vcclean] Error 123 (ignored) make[3]: Leaving directory '/spark-2012.0.deb/sparkclean' /usr/bin/make -C sparkformat reallyclean make[3]: Entering directory '/spark-2012.0.deb/sparkformat' rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi 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 "*.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/*.rep vcg/mainunits95.xml 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. ../common/Makefile.inc:191: recipe for target 'vcclean' failed make[3]: [vcclean] Error 123 (ignored) /usr/bin/make -C ../examiner clean make[4]: Entering directory '/spark-2012.0.deb/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi make[4]: Leaving directory '/spark-2012.0.deb/examiner' /usr/bin/make -C ../examiner reallyclean make[4]: Entering directory '/spark-2012.0.deb/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi 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 "*.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/*.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 '/spark-2012.0.deb/examiner' make[3]: Leaving directory '/spark-2012.0.deb/sparkformat' /usr/bin/make -C sparkmake reallyclean make[3]: Entering directory '/spark-2012.0.deb/sparkmake' rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi 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 "*.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/*.rep vcg/mainunits95.xml 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. ../common/Makefile.inc:191: recipe for target 'vcclean' failed make[3]: [vcclean] Error 123 (ignored) /usr/bin/make -C ../examiner clean make[4]: Entering directory '/spark-2012.0.deb/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi make[4]: Leaving directory '/spark-2012.0.deb/examiner' /usr/bin/make -C ../examiner reallyclean make[4]: Entering directory '/spark-2012.0.deb/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi 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 "*.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/*.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 '/spark-2012.0.deb/examiner' make[3]: Leaving directory '/spark-2012.0.deb/sparkmake' /usr/bin/make -C sparksimp reallyclean make[3]: Entering directory '/spark-2012.0.deb/sparksimp' rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi rm -f sparksimp rm -f b~*.ad[sb] make[3]: Leaving directory '/spark-2012.0.deb/sparksimp' /usr/bin/make -C victor clean make[3]: Entering directory '/spark-2012.0.deb/victor' rm -Rf alt-ergo /usr/bin/make -C vct/src clean make[4]: Entering directory '/spark-2012.0.deb/victor/vct/src' Makefile:247: node.d: No such file or directory Makefile:247: node-utils.d: No such file or directory Makefile:247: lex.yy.d: No such file or directory Makefile:247: pdriver.d: No such file or directory Makefile:247: box.d: No such file or directory Makefile:247: formatter.d: No such file or directory Makefile:247: pprinter.d: No such file or directory Makefile:247: typesort.d: No such file or directory Makefile:247: utility.d: No such file or directory Makefile:247: bignum.d: No such file or directory Makefile:247: context.d: No such file or directory Makefile:247: normalisation.d: No such file or directory Makefile:247: processor.d: No such file or directory Makefile:247: translation.d: No such file or directory Makefile:247: main.d: No such file or directory Makefile:247: smt-driver.d: No such file or directory Makefile:247: rule-filter.d: No such file or directory Makefile:247: smtlib-driver.d: No such file or directory Makefile:247: smtlib2-driver.d: No such file or directory Makefile:247: isab-driver.d: No such file or directory Makefile:247: 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 smtlib2-driver.d Making dependency file smtlib-driver.d Making dependency file rule-filter.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 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 rule-filter.o smtlib-driver.o smtlib2-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 '/spark-2012.0.deb/victor/vct/src' rm -f vct/bin/vct make[3]: Leaving directory '/spark-2012.0.deb/victor' /usr/bin/make -C victor_wrapper reallyclean make[3]: Entering directory '/spark-2012.0.deb/victor_wrapper' rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi 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/*.rep vcg/mainunits95.xml 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. ../common/Makefile.inc:191: recipe for target 'vcclean' failed make[3]: [vcclean] Error 123 (ignored) /usr/bin/make -C ../examiner clean make[4]: Entering directory '/spark-2012.0.deb/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi make[4]: Leaving directory '/spark-2012.0.deb/examiner' /usr/bin/make -C ../examiner reallyclean make[4]: Entering directory '/spark-2012.0.deb/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi 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 "*.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/*.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 '/spark-2012.0.deb/examiner' make[3]: Leaving directory '/spark-2012.0.deb/victor_wrapper' make[2]: Leaving directory '/spark-2012.0.deb' make[1]: Leaving directory '/spark-2012.0.deb' dh_clean dpkg-source -b spark-2012.0.deb dpkg-source: info: using source format '3.0 (quilt)' dpkg-source: info: building spark using existing ./spark_2012.0.deb.orig.tar.gz dpkg-source: info: building spark in spark_2012.0.deb-9.debian.tar.xz dpkg-source: info: building spark in spark_2012.0.deb-9.dsc debian/rules build dh build --with swi_prolog dh_testdir dh_auto_configure debian/rules override_dh_auto_build make[1]: Entering directory '/spark-2012.0.deb' # create empty directories that can be destroyed by git mkdir -p victor/vct/bin mkdir -p bin mkdir -p share/spark dh_auto_build make -j1 make[2]: Entering directory '/spark-2012.0.deb' make makeall make[3]: Entering directory '/spark-2012.0.deb' make -C sparklalr make[4]: Entering directory '/spark-2012.0.deb/sparklalr' gnatmake -j1 -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -k -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing sparklalr -o sparklalr -bargs -E gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing sparklalr.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing command_line_options.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing ees_sym.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing fatal.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-command_line.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-unbounded.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-text_io.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-text_io-unbounded_string.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing spark_ada_integer_text_io.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing sparklalr_common.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing sparklalr_conflict.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing sparklalr_error.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing sparklalr_goto.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing sparklalr_input.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing sparklalr_memory.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing sparklalr_memory-dump.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing sparklalr_memory-left_corner.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing sparklalr_parser.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing sparklalr_patab.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing sparklalr_symbol.ads gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing symbols_dump.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-command_line-unbounded_string.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-maps.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-maps-not_spark.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-not_spark.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-text_io-not_spark.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-unbounded-not_spark.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing sparklalr_level.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing sparklalr_char_class.adb gnatbind -I../lib/spark/current -I../common/versioning -I../examiner -E -x sparklalr.ali gnatlink sparklalr.ali -g -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -o sparklalr make[4]: Leaving directory '/spark-2012.0.deb/sparklalr' make -C examiner make[4]: Entering directory '/spark-2012.0.deb/examiner' gnatprep -c -DTarget=Intel_Linux -DAddress_Size=64 examinerconstants.aps examinerconstants.ads gnatprep -c -DTarget=Intel_Linux -DAddress_Size=64 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 309: * REDUCE/REDUCE CONFLICT 0 SHIFT/REDUCE CONFLICTS 1 REDUCE/REDUCE CONFLICTS 145 TERMINALS (255 MAX) 380 NONTERMINALS (511 MAX) 837 PRODUCTIONS (1023 MAX) 1682 STATES (2047 MAX) 13660 PARSING ACTIONS GENERATED 4944 GOTO ENTRIES GENERATED 355 PARSING ACTIONS OPTIMISED BY CASE LABEL MERGE 19238 MEMORY RECORDS USED. 3726 MEMORY RECORDS USED FOR PRODUCTION STORAGE. 15512 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 -j1 -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -k -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing examiner -o spark -cargs -fstack-check -bargs -E -largs -Wl,-z,relro -Wl,--gc-sections gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check examiner.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check commandlinedata.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check commandlinehandler.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check dictionary.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check errorhandler.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check fatal.ads gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check file_utils.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check lextokenmanager.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check mainloop.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check screenecho.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check spark_io.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check statistics.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check stree.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check -I- /spark-2012.0.deb/common/versioning/version.ads gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check filesystem.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check xmlreport.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check e_strings.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check examinerconstants.ads gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check lextokenstacks.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check maths.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check systemerrors.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check contextmanager.ads gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check sp_symbols.ads gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check debug.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check sp_relations.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check spark_xml.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check error_io.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check error_types.ads gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check sp_expected_symbols.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check date_time.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check casing.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check configfile.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check contextmanager-ops.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check indexmanager.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check lextokenlists.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check metafile.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check requiredunits.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check sem.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check sli.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check sparkhtml.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check sparklex.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check spparser.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check vcg.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check e_strings-not_spark.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check -I- /spark-2012.0.deb/lib/spark/current/spark.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check -I- /spark-2012.0.deb/lib/spark/current/spark-ada.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-unbounded.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-unbounded-not_spark.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-maps.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check dag_io.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check cells.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check cstacks.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check heap.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check seqalgebra.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check sp_productions.ads gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check indexmanager-cache.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check indexmanager-index_table_p.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check completecheck.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check componentmanager.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check flowanalyser.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check lextokenmanager-relation_algebra.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check lextokenmanager-relation_algebra-string.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check lextokenmanager-seq_algebra.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check lists.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check reflist.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check relationalgebra.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check simplelists.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check sprint.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check sli-io.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check sli-xref.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check sp_parser_actions.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check sp_parser_goto.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check dag.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check declarations.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check graph.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check pile.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-maps-not_spark.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-not_spark.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check adjustfdl_rws.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check cell_storage.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check clists.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check labels.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check pairs.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check heap_storage.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check componenterrors.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check relationalgebra-debug.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check cells-utility.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check cells-utility-list.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check stmtstack.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check structures.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check symbol_set.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -fstack-check -I- /spark-2012.0.deb/lib/spark/current/spark-ada-containers.ads gnatbind -I../lib/spark/current -I../common/versioning -I../examiner -E -x examiner.ali gnatlink examiner.ali -g -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -o spark -Wl,-z,relro -Wl,--gc-sections make[4]: Leaving directory '/spark-2012.0.deb/examiner' make -C simplifier make[4]: Entering directory '/spark-2012.0.deb/simplifier' swipl -O -g "expects_dialect('sicstus'), redefine_system_predicate(apply(_,_)), style_check(-singleton), compile('simplifier.pro'), add_system_toolname('Simplifier'), swisav_simplifier." swipl -O -g "expects_dialect('sicstus'), redefine_system_predicate(apply(_,_)), style_check(-singleton), compile('simplifier.pro'), add_system_toolname('ZombieScope'), swisav_zombiescope." make[4]: Leaving directory '/spark-2012.0.deb/simplifier' make -C wraputility make[4]: Entering directory '/spark-2012.0.deb/wraputility' make -C ../examiner clean make[5]: Entering directory '/spark-2012.0.deb/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi make[5]: Leaving directory '/spark-2012.0.deb/examiner' make -C ../examiner prep make[5]: Entering directory '/spark-2012.0.deb/examiner' make[5]: Nothing to be done for 'prep'. make[5]: Leaving directory '/spark-2012.0.deb/examiner' gnatmake -j1 -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -k -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing wrap_utility -o wrap_utility -bargs -E -largs -Wl,-z,relro -Wl,--gc-sections gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing wrap_utility.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing wraps.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/spark_io.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/commandlinedata.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/e_strings.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/filesystem.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/systemerrors.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/common/versioning/version.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/xmlreport.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/examinerconstants.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-maps.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-unbounded.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-unbounded-not_spark.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/e_strings-not_spark.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/fatal.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/screenecho.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/spark_xml.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-maps-not_spark.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/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 -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -o wrap_utility -Wl,-z,relro -Wl,--gc-sections make[4]: Leaving directory '/spark-2012.0.deb/wraputility' make -C checker make[4]: Entering directory '/spark-2012.0.deb/checker' swipl -O -g "expects_dialect('sicstus'), redefine_system_predicate(apply(_,_)), style_check(-singleton), compile('checker.pro'), swisav_checker." make[4]: Leaving directory '/spark-2012.0.deb/checker' make -C pogs make[4]: Entering directory '/spark-2012.0.deb/pogs' make -C ../examiner clean make[5]: Entering directory '/spark-2012.0.deb/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi make[5]: Leaving directory '/spark-2012.0.deb/examiner' gnatprep -c -DTarget=Intel_Linux oscommandline.apb oscommandline.adb make -C ../examiner prep make[5]: Entering directory '/spark-2012.0.deb/examiner' make[5]: Nothing to be done for 'prep'. make[5]: Leaving directory '/spark-2012.0.deb/examiner' gnatmake -j1 -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -k -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing pogs -o pogs -bargs -E -largs -Wl,-z,relro -Wl,--gc-sections gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing pogs.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing pogs_exceptions.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/spark_io.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing toppackage.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/common/versioning/version.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/commandlinedata.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/e_strings.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/filesystem.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/systemerrors.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing banner.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing commandline.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing fatalerrors.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing filedetails.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing fileheap.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing findfiles.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing heap.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing total.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing vcheap.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing vcs.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/xmlreport.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/examinerconstants.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-maps.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-unbounded.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-unbounded-not_spark.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/e_strings-not_spark.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/fatal.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/screenecho.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing osfiling.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing oscommandline.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing heapindex.ads gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing osdirectory.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing vcdetails.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/date_time.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing pathformatter.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing slg_parser.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing spark_calendar.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/spark_xml.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-maps-not_spark.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/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 -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -o pogs -Wl,-z,relro -Wl,--gc-sections make[4]: Leaving directory '/spark-2012.0.deb/pogs' make -C sparkclean make[4]: Entering directory '/spark-2012.0.deb/sparkclean' gnatmake -j1 -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -k -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing sparkclean -o sparkclean -bargs -E -largs -Wl,-z,relro -Wl,--gc-sections gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing sparkclean.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing command_line.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing files.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-command_line.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-command_line-unbounded_string.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-unbounded.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-text_io.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-text_io-unbounded_string.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/common/versioning/version.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-maps.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-maps-not_spark.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-not_spark.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-text_io-not_spark.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-unbounded-not_spark.adb gnatbind -I../lib/spark/current -I../common/versioning -I../examiner -E -x sparkclean.ali gnatlink sparkclean.ali -g -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -o sparkclean -Wl,-z,relro -Wl,--gc-sections make[4]: Leaving directory '/spark-2012.0.deb/sparkclean' make -C sparkformat make[4]: Entering directory '/spark-2012.0.deb/sparkformat' make -C ../examiner clean make[5]: Entering directory '/spark-2012.0.deb/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi make[5]: Leaving directory '/spark-2012.0.deb/examiner' make -C ../examiner prep make[5]: Entering directory '/spark-2012.0.deb/examiner' make[5]: Nothing to be done for 'prep'. make[5]: Leaving directory '/spark-2012.0.deb/examiner' make -C ../examiner parser make[5]: Entering directory '/spark-2012.0.deb/examiner' make[5]: Nothing to be done for 'parser'. make[5]: Leaving directory '/spark-2012.0.deb/examiner' gnatmake -j1 -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -k -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing sparkformat -o sparkformat -bargs -E -largs -Wl,-z,relro -Wl,--gc-sections gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing sparkformat.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/commandlinedata.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/dictionary.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/e_strings.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/errorhandler.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/screenecho.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/spark_io.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing sparkformatcommandlinedata.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing sparkformatcommandlinehandler.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/sparklex.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing sparkprogram.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/common/versioning/version.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/filesystem.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/xmlreport.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/examinerconstants.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/commandlinehandler.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/lextokenstacks.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/maths.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/statistics.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/systemerrors.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/contextmanager.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/lextokenmanager.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/sp_symbols.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-maps.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-unbounded.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-unbounded-not_spark.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/debug.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/sp_relations.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/spark_xml.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/error_io.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/error_types.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/sp_expected_symbols.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/lextokenlists.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/heap.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/lextokenmanager-relation_algebra.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/lextokenmanager-relation_algebra-string.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/lextokenmanager-seq_algebra.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/seqalgebra.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/e_strings-not_spark.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/fatal.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-maps-not_spark.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-not_spark.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/dag_io.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/cells.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/cstacks.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/stree.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/sp_productions.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/heap_storage.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/relationalgebra.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/adjustfdl_rws.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/cell_storage.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/clists.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/labels.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/pairs.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-containers.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/structures.adb gnatbind -I../lib/spark/current -I../common/versioning -I../examiner -E -x sparkformat.ali gnatlink sparkformat.ali -g -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -o sparkformat -Wl,-z,relro -Wl,--gc-sections make[4]: Leaving directory '/spark-2012.0.deb/sparkformat' make -C sparkmake make[4]: Entering directory '/spark-2012.0.deb/sparkmake' make -C ../examiner clean make[5]: Entering directory '/spark-2012.0.deb/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi make[5]: Leaving directory '/spark-2012.0.deb/examiner' make -C ../examiner prep make[5]: Entering directory '/spark-2012.0.deb/examiner' make[5]: Nothing to be done for 'prep'. make[5]: Leaving directory '/spark-2012.0.deb/examiner' make -C ../examiner parser make[5]: Entering directory '/spark-2012.0.deb/examiner' make[5]: Nothing to be done for 'parser'. make[5]: Leaving directory '/spark-2012.0.deb/examiner' gnatmake -j1 -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -k -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing sparkmake -o sparkmake -bargs -E -largs -Wl,-z,relro -Wl,--gc-sections gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing sparkmake.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/commandlinedata.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/dictionary.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing directory_operations.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/e_strings.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/errorhandler.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/lextokenmanager.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/screenecho.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/spark_io.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/sparklex.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing sparkmakecommandline.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing sparkmakedebug.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing sparkmakeerrors.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing unit.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing unitmanager.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing units.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/filesystem.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/common/versioning/version.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/xmlreport.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/examinerconstants.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/commandlinehandler.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/lextokenstacks.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/maths.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/statistics.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/systemerrors.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/contextmanager.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/sp_symbols.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/e_strings-not_spark.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing regularexpression.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing stringlist.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-maps.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-unbounded.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-unbounded-not_spark.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/debug.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/sp_relations.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/spark_xml.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/error_io.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/error_types.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/sp_expected_symbols.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/lextokenlists.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing commandline.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing tokenmanager.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing unitmanager-unitstore.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/fatal.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-maps-not_spark.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-not_spark.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/dag_io.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/cells.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/cstacks.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/heap.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/seqalgebra.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/stree.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/sp_productions.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/adjustfdl_rws.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/cell_storage.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/clists.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/labels.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/pairs.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/heap_storage.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-containers.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/structures.adb gnatbind -I../lib/spark/current -I../common/versioning -I../examiner -E -x sparkmake.ali gnatlink sparkmake.ali -g -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -o sparkmake -Wl,-z,relro -Wl,--gc-sections make[4]: Leaving directory '/spark-2012.0.deb/sparkmake' make -C sparksimp make[4]: Entering directory '/spark-2012.0.deb/sparksimp' gcc -c -g -O2 -DIntel_Linux new_expect.c gnatmake -j1 -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -k -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing sparksimp -o sparksimp -bargs -E -largs new_expect.o -Wl,-z,relro -Wl,--gc-sections gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing sparksimp.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing cmd.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing utility.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/common/versioning/version.ads gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing work_manager.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing workers.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing spark.ads gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing spark-expect.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing wrap.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing log_files.adb gnatbind -I../lib/spark/current -I../common/versioning -I../examiner -E -x sparksimp.ali gnatlink sparksimp.ali -g -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -o sparksimp new_expect.o -Wl,-z,relro -Wl,--gc-sections make[4]: Leaving directory '/spark-2012.0.deb/sparksimp' make -C victor make[4]: Entering directory '/spark-2012.0.deb/victor' # Don't build Victor in parallel (-j). Missing dependencies in the Makefile. make -C vct/src CPPFLAGS=-D_FORTIFY_SOURCE=2 LDFLAGS=-Wl,-z,relro make[5]: Entering directory '/spark-2012.0.deb/victor/vct/src' Makefile:247: node.d: No such file or directory Makefile:247: node-utils.d: No such file or directory Makefile:247: lex.yy.d: No such file or directory Makefile:247: pdriver.d: No such file or directory Makefile:247: box.d: No such file or directory Makefile:247: formatter.d: No such file or directory Makefile:247: pprinter.d: No such file or directory Makefile:247: typesort.d: No such file or directory Makefile:247: utility.d: No such file or directory Makefile:247: bignum.d: No such file or directory Makefile:247: context.d: No such file or directory Makefile:247: normalisation.d: No such file or directory Makefile:247: processor.d: No such file or directory Makefile:247: translation.d: No such file or directory Makefile:247: main.d: No such file or directory Makefile:247: smt-driver.d: No such file or directory Makefile:247: rule-filter.d: No such file or directory Makefile:247: smtlib-driver.d: No such file or directory Makefile:247: smtlib2-driver.d: No such file or directory Makefile:247: isab-driver.d: No such file or directory Makefile:247: 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 smtlib2-driver.d Making dependency file smtlib-driver.d Making dependency file rule-filter.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 g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2 -c -o node.o node.cc g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2 -c -o node-utils.o node-utils.cc g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2 -c -o lex.yy.o lex.yy.cc g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2 -c -o pdriver.o pdriver.cc g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2 -c -o box.o box.cc g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2 -c -o formatter.o formatter.cc g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2 -c -o pprinter.o pprinter.cc g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2 -c -o typesort.o typesort.cc g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2 -c -o utility.o utility.cc g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2 -c -o bignum.o bignum.cc g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2 -c -o context.o context.cc g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2 -c -o normalisation.o normalisation.cc g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2 -c -o processor.o processor.cc g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2 -c -o translation.o translation.cc g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2 -c -o main.o main.cc main.cc: In function ‘Node* parseUnit(UnitInfo*)’: main.cc:271:25: warning: ignoring return value of ‘char* getcwd(char*, size_t)’, declared with attribute warn_unused_result [-Wunused-result] getcwd(cwd, MAXPATHLEN); ^ g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2 -c -o smt-driver.o smt-driver.cc g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2 -c -o rule-filter.o rule-filter.cc g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2 -c -o smtlib-driver.o smtlib-driver.cc g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2 -c -o smtlib2-driver.o smtlib2-driver.cc g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2 -c -o isab-driver.o isab-driver.cc g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2 -c -o parser.tab.o parser.tab.cc g++ -o ../bin/vct -Wl,-z,relro 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 rule-filter.o smtlib-driver.o smtlib2-driver.o isab-driver.o parser.tab.o -Wl,--as-needed -lgmpxx -lgmp -Wl,--no-as-needed make[5]: Leaving directory '/spark-2012.0.deb/victor/vct/src' make[4]: Leaving directory '/spark-2012.0.deb/victor' make -C victor_wrapper make[4]: Entering directory '/spark-2012.0.deb/victor_wrapper' make -C ../examiner clean make[5]: Entering directory '/spark-2012.0.deb/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi make[5]: Leaving directory '/spark-2012.0.deb/examiner' make -C ../examiner prep make[5]: Entering directory '/spark-2012.0.deb/examiner' make[5]: Nothing to be done for 'prep'. make[5]: Leaving directory '/spark-2012.0.deb/examiner' gnatmake -j1 -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -k -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing victor -o victor -bargs -E -largs -Wl,-z,relro -Wl,--gc-sections gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing victor.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing banner.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing command_line.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/e_strings.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/spark_io.adb gcc-4.9 -c -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing victor_wrapper.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/common/versioning/version.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-maps.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-unbounded.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-unbounded-not_spark.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/commandlinedata.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/filesystem.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/systemerrors.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-maps-not_spark.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/lib/spark/current/spark-ada-strings-not_spark.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/xmlreport.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/examinerconstants.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/e_strings-not_spark.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/fatal.ads gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/screenecho.adb gcc-4.9 -c -I./ -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt -I../lib/spark/current -I../common/versioning -I../examiner -gnatf -gnatyN -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -I- /spark-2012.0.deb/examiner/spark_xml.adb gnatbind -I../lib/spark/current -I../common/versioning -I../examiner -E -x victor.ali gnatlink victor.ali -g -g -O2 -fstack-protector-strong -fdata-sections -ffunction-sections -fno-strict-aliasing -o victor -Wl,-z,relro -Wl,--gc-sections make[4]: Leaving directory '/spark-2012.0.deb/victor_wrapper' make[3]: Leaving directory '/spark-2012.0.deb' make copyall make[3]: Entering directory '/spark-2012.0.deb' 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 ./sparkclean/sparkclean ./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[3]: Leaving directory '/spark-2012.0.deb' make cleanall make[3]: Entering directory '/spark-2012.0.deb' make -C sparklalr clean make[4]: Entering directory '/spark-2012.0.deb/sparklalr' rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi make[4]: Leaving directory '/spark-2012.0.deb/sparklalr' make -C examiner clean make[4]: Entering directory '/spark-2012.0.deb/examiner' rm -f SPARK.DGN SPARK.DSC SPARK.EKO SPARK.SYM SPARK.ACT rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi make[4]: Leaving directory '/spark-2012.0.deb/examiner' make -C simplifier clean make[4]: Entering directory '/spark-2012.0.deb/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 make[4]: Leaving directory '/spark-2012.0.deb/simplifier' make -C wraputility clean make[4]: Entering directory '/spark-2012.0.deb/wraputility' rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi make[4]: Leaving directory '/spark-2012.0.deb/wraputility' make -C checker clean make[4]: Entering directory '/spark-2012.0.deb/checker' rm -f checker.sav checker.exp checker.ilk checker.lib checker.pdb make[4]: Leaving directory '/spark-2012.0.deb/checker' make -C pogs clean make[4]: Entering directory '/spark-2012.0.deb/pogs' rm -f oscommandline.adb rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi make[4]: Leaving directory '/spark-2012.0.deb/pogs' make -C sparkclean clean make[4]: Entering directory '/spark-2012.0.deb/sparkclean' rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi make[4]: Leaving directory '/spark-2012.0.deb/sparkclean' make -C sparkformat clean make[4]: Entering directory '/spark-2012.0.deb/sparkformat' rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi make[4]: Leaving directory '/spark-2012.0.deb/sparkformat' make -C sparkmake clean make[4]: Entering directory '/spark-2012.0.deb/sparkmake' rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi make[4]: Leaving directory '/spark-2012.0.deb/sparkmake' make -C sparksimp clean make[4]: Entering directory '/spark-2012.0.deb/sparksimp' rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi make[4]: Leaving directory '/spark-2012.0.deb/sparksimp' make -C victor clean make[4]: Entering directory '/spark-2012.0.deb/victor' rm -Rf alt-ergo make -C vct/src clean make[5]: Entering directory '/spark-2012.0.deb/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 rule-filter.o smtlib-driver.o smtlib2-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[5]: Leaving directory '/spark-2012.0.deb/victor/vct/src' rm -f vct/bin/vct make[4]: Leaving directory '/spark-2012.0.deb/victor' make -C victor_wrapper clean make[4]: Entering directory '/spark-2012.0.deb/victor_wrapper' rm -f *.o *.ali if [ -d vcg ]; then rm -f vcg/*.dic; fi make[4]: Leaving directory '/spark-2012.0.deb/victor_wrapper' make[3]: Leaving directory '/spark-2012.0.deb' make[2]: Leaving directory '/spark-2012.0.deb' make[1]: Leaving directory '/spark-2012.0.deb' debian/rules override_dh_auto_test make[1]: Entering directory '/spark-2012.0.deb' # nothing make[1]: Leaving directory '/spark-2012.0.deb' debian/rules binary dh binary --with swi_prolog dh_testroot dh_prep debian/rules override_dh_auto_install make[1]: Entering directory '/spark-2012.0.deb' # nothing make[1]: Leaving directory '/spark-2012.0.deb' debian/rules override_dh_install make[1]: Entering directory '/spark-2012.0.deb' dh_install rm -r debian/spark/usr/lib/spark/current/spark_ make[1]: Leaving directory '/spark-2012.0.deb' dh_installdocs dh_installchangelogs dh_installman dh_lintian dh_perl dh_link dh_compress dh_fixperms dh_strip dh_makeshlibs dh_shlibdeps dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/spark/usr/bin/sparksimp was not linked against libpthread.so.0 (it uses none of the library's symbols) dh_installdeb dh_swi_prolog dh_gencontrol dh_md5sums dh_builddeb dpkg-deb: building package 'spark' in '../spark_2012.0.deb-9_amd64.deb'. dpkg-genchanges >../spark_2012.0.deb-9_amd64.changes dpkg-genchanges: not including original source code in upload dpkg-source --after-build spark-2012.0.deb dpkg-buildpackage: binary and diff upload (original source NOT included)