Raspbian Package Auto-Building

Build log for cbmc (4.4-2) on armhf

cbmc → 4.4-2 → armhf → 2013-08-15 02:10:50 

sbuild (Debian sbuild) 0.63.2 (18 Aug 2012) on testbuildd.raspbian.org

╔══════════════════════════════════════════════════════════════════════════════╗
║ cbmc 4.4-2 (armhf)                                         15 Aug 2013 00:22 ║
╚══════════════════════════════════════════════════════════════════════════════╝

Package: cbmc
Version: 4.4-2
Source Version: 4.4-2
Distribution: jessie-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf

I: NOTICE: Log filtering will replace 'build/cbmc-Dl2PW0/cbmc-4.4' with '«PKGBUILDDIR»'
I: NOTICE: Log filtering will replace 'build/cbmc-Dl2PW0' with '«BUILDDIR»'
I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/jessie-staging-armhf-sbuild-a9dbbfeb-e7c3-43bd-836a-9a9cec0e6111' with '«CHROOT»'

┌──────────────────────────────────────────────────────────────────────────────┐
│ Update chroot                                                                │
└──────────────────────────────────────────────────────────────────────────────┘

Get:1 http://172.17.0.1 jessie-staging Release.gpg [490 B]
Get:2 http://172.17.0.1 jessie-staging Release [10.8 kB]
Get:3 http://172.17.0.1 jessie-staging/main Sources [6698 kB]
Get:4 http://172.17.0.1 jessie-staging/main armhf Packages [7870 kB]
Ign http://172.17.0.1 jessie-staging/main Translation-en
Fetched 14.6 MB in 2min 35s (94.0 kB/s)
Reading package lists...

┌──────────────────────────────────────────────────────────────────────────────┐
│ Fetch source files                                                           │
└──────────────────────────────────────────────────────────────────────────────┘


Check APT
─────────

Checking available source versions...

Download source files with APT
──────────────────────────────

Reading package lists...
Building dependency tree...
Reading state information...
Need to get 3758 kB of source archives.
Get:1 http://172.17.0.1/private/ jessie-staging/main cbmc 4.4-2 (dsc) [1741 B]
Get:2 http://172.17.0.1/private/ jessie-staging/main cbmc 4.4-2 (tar) [3750 kB]
Get:3 http://172.17.0.1/private/ jessie-staging/main cbmc 4.4-2 (diff) [6230 B]
Fetched 3758 kB in 13s (281 kB/s)
Download complete and in download only mode

Check arch
──────────

Merged Build-Depends: build-essential, fakeroot
Filtered Build-Depends: build-essential, fakeroot
dpkg-deb: building package `sbuild-build-depends-core-dummy' in `/«BUILDDIR»/resolver-L2CLqo/apt_archive/sbuild-build-depends-core-dummy.deb'.
OK
Reading package lists...

┌──────────────────────────────────────────────────────────────────────────────┐
│ Install core build dependencies (apt-based resolver)                         │
└──────────────────────────────────────────────────────────────────────────────┘

Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following NEW packages will be installed:
  sbuild-build-depends-core-dummy
debconf: delaying package configuration, since apt-utils is not installed
0 upgraded, 1 newly installed, 0 to remove and 47 not upgraded.
Need to get 0 B/704 B of archives.
After this operation, 0 B of additional disk space will be used.
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ... 11338 files and directories currently installed.)
Unpacking sbuild-build-depends-core-dummy (from .../sbuild-build-depends-core-dummy.deb) ...
Setting up sbuild-build-depends-core-dummy (0.invalid.0) ...
Merged Build-Depends: base-files, base-passwd, bash, bsdutils, coreutils, dash, debianutils, diffutils, dpkg, e2fsprogs, findutils, grep, gzip, hostname, libc-bin, login, mount, ncurses-base, ncurses-bin, perl-base, sed, sysvinit, sysvinit-utils, tar, util-linux, libc6-dev | libc-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), debhelper (>= 9), minisat (>= 1:2.2.1-2), zlib1g-dev, flex, bison
Filtered Build-Depends: base-files, base-passwd, bash, bsdutils, coreutils, dash, debianutils, diffutils, dpkg, e2fsprogs, findutils, grep, gzip, hostname, libc-bin, login, mount, ncurses-base, ncurses-bin, perl-base, sed, sysvinit, sysvinit-utils, tar, util-linux, libc6-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), debhelper (>= 9), minisat (>= 1:2.2.1-2), zlib1g-dev, flex, bison
dpkg-deb: building package `sbuild-build-depends-cbmc-dummy' in `/«BUILDDIR»/resolver-wyrZ5n/apt_archive/sbuild-build-depends-cbmc-dummy.deb'.
OK
Reading package lists...

┌──────────────────────────────────────────────────────────────────────────────┐
│ Install cbmc build dependencies (apt-based resolver)                         │
└──────────────────────────────────────────────────────────────────────────────┘

Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following extra packages will be installed:
  bison bsdmainutils debhelper file flex gettext gettext-base groff-base
  intltool-debian libasprintf0c2 libbison-dev libcroco3 libffi6 libglib2.0-0
  libmagic1 libpipeline1 libsigsegv2 libunistring0 libxml2 m4 man-db minisat
  po-debconf zlib1g-dev
Suggested packages:
  bison-doc wamerican wordlist whois vacation dh-make gettext-doc groff less
  www-browser libmail-box-perl
Recommended packages:
  curl wget lynx-cur autopoint libasprintf-dev libgettextpo-dev
  libglib2.0-data shared-mime-info xml-core libmail-sendmail-perl
The following NEW packages will be installed:
  bison bsdmainutils debhelper file flex gettext gettext-base groff-base
  intltool-debian libasprintf0c2 libbison-dev libcroco3 libffi6 libglib2.0-0
  libmagic1 libpipeline1 libsigsegv2 libunistring0 libxml2 m4 man-db minisat
  po-debconf sbuild-build-depends-cbmc-dummy zlib1g-dev
0 upgraded, 25 newly installed, 0 to remove and 47 not upgraded.
Need to get 10.4 MB/10.4 MB of archives.
After this operation, 26.2 MB of additional disk space will be used.
Get:1 http://172.17.0.1/private/ jessie-staging/main libpipeline1 armhf 1.2.4-1 [36.9 kB]
Get:2 http://172.17.0.1/private/ jessie-staging/main groff-base armhf 1.22.2-3 [666 kB]
Get:3 http://172.17.0.1/private/ jessie-staging/main bsdmainutils armhf 9.0.5 [206 kB]
Get:4 http://172.17.0.1/private/ jessie-staging/main man-db armhf 2.6.5-2 [949 kB]
Get:5 http://172.17.0.1/private/ jessie-staging/main libasprintf0c2 armhf 0.18.3-1 [29.4 kB]
Get:6 http://172.17.0.1/private/ jessie-staging/main libmagic1 armhf 1:5.14-2 [213 kB]
Get:7 http://172.17.0.1/private/ jessie-staging/main libxml2 armhf 2.9.1+dfsg1-2 [836 kB]
Get:8 http://172.17.0.1/private/ jessie-staging/main libsigsegv2 armhf 2.10-2 [29.2 kB]
Get:9 http://172.17.0.1/private/ jessie-staging/main m4 armhf 1.4.16-5 [245 kB]
Get:10 http://172.17.0.1/private/ jessie-staging/main flex armhf 2.5.35-10.1 [321 kB]
Get:11 http://172.17.0.1/private/ jessie-staging/main libffi6 armhf 3.0.13-4 [19.8 kB]
Get:12 http://172.17.0.1/private/ jessie-staging/main libglib2.0-0 armhf 2.36.3-3 [1905 kB]
Get:13 http://172.17.0.1/private/ jessie-staging/main libcroco3 armhf 0.6.8-2 [119 kB]
Get:14 http://172.17.0.1/private/ jessie-staging/main libunistring0 armhf 0.9.3-5 [408 kB]
Get:15 http://172.17.0.1/private/ jessie-staging/main file armhf 1:5.14-2 [53.8 kB]
Get:16 http://172.17.0.1/private/ jessie-staging/main gettext-base armhf 0.18.3-1 [136 kB]
Get:17 http://172.17.0.1/private/ jessie-staging/main libbison-dev armhf 2:2.7.1.dfsg-1 [346 kB]
Get:18 http://172.17.0.1/private/ jessie-staging/main bison armhf 2:2.7.1.dfsg-1 [760 kB]
Get:19 http://172.17.0.1/private/ jessie-staging/main gettext armhf 0.18.3-1 [1837 kB]
Get:20 http://172.17.0.1/private/ jessie-staging/main intltool-debian all 0.35.0+20060710.1 [29.8 kB]
Get:21 http://172.17.0.1/private/ jessie-staging/main po-debconf all 1.0.16+nmu2 [223 kB]
Get:22 http://172.17.0.1/private/ jessie-staging/main debhelper all 9.20130630 [710 kB]
Get:23 http://172.17.0.1/private/ jessie-staging/main zlib1g-dev armhf 1:1.2.8.dfsg-1 [212 kB]
Get:24 http://172.17.0.1/private/ jessie-staging/main minisat armhf 1:2.2.1-4 [125 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 10.4 MB in 1min 5s (158 kB/s)
Selecting previously unselected package libpipeline1:armhf.
(Reading database ... 11338 files and directories currently installed.)
Unpacking libpipeline1:armhf (from .../libpipeline1_1.2.4-1_armhf.deb) ...
Selecting previously unselected package groff-base.
Unpacking groff-base (from .../groff-base_1.22.2-3_armhf.deb) ...
Selecting previously unselected package bsdmainutils.
Unpacking bsdmainutils (from .../bsdmainutils_9.0.5_armhf.deb) ...
Selecting previously unselected package man-db.
Unpacking man-db (from .../man-db_2.6.5-2_armhf.deb) ...
Selecting previously unselected package libasprintf0c2:armhf.
Unpacking libasprintf0c2:armhf (from .../libasprintf0c2_0.18.3-1_armhf.deb) ...
Selecting previously unselected package libmagic1:armhf.
Unpacking libmagic1:armhf (from .../libmagic1_1%3a5.14-2_armhf.deb) ...
Selecting previously unselected package libxml2:armhf.
Unpacking libxml2:armhf (from .../libxml2_2.9.1+dfsg1-2_armhf.deb) ...
Selecting previously unselected package libsigsegv2:armhf.
Unpacking libsigsegv2:armhf (from .../libsigsegv2_2.10-2_armhf.deb) ...
Selecting previously unselected package m4.
Unpacking m4 (from .../archives/m4_1.4.16-5_armhf.deb) ...
Selecting previously unselected package flex.
Unpacking flex (from .../flex_2.5.35-10.1_armhf.deb) ...
Selecting previously unselected package libffi6:armhf.
Unpacking libffi6:armhf (from .../libffi6_3.0.13-4_armhf.deb) ...
Selecting previously unselected package libglib2.0-0:armhf.
Unpacking libglib2.0-0:armhf (from .../libglib2.0-0_2.36.3-3_armhf.deb) ...
Selecting previously unselected package libcroco3:armhf.
Unpacking libcroco3:armhf (from .../libcroco3_0.6.8-2_armhf.deb) ...
Selecting previously unselected package libunistring0:armhf.
Unpacking libunistring0:armhf (from .../libunistring0_0.9.3-5_armhf.deb) ...
Selecting previously unselected package file.
Unpacking file (from .../file_1%3a5.14-2_armhf.deb) ...
Selecting previously unselected package gettext-base.
Unpacking gettext-base (from .../gettext-base_0.18.3-1_armhf.deb) ...
Selecting previously unselected package libbison-dev:armhf.
Unpacking libbison-dev:armhf (from .../libbison-dev_2%3a2.7.1.dfsg-1_armhf.deb) ...
Selecting previously unselected package bison.
Unpacking bison (from .../bison_2%3a2.7.1.dfsg-1_armhf.deb) ...
Selecting previously unselected package gettext.
Unpacking gettext (from .../gettext_0.18.3-1_armhf.deb) ...
Selecting previously unselected package intltool-debian.
Unpacking intltool-debian (from .../intltool-debian_0.35.0+20060710.1_all.deb) ...
Selecting previously unselected package po-debconf.
Unpacking po-debconf (from .../po-debconf_1.0.16+nmu2_all.deb) ...
Selecting previously unselected package debhelper.
Unpacking debhelper (from .../debhelper_9.20130630_all.deb) ...
Selecting previously unselected package zlib1g-dev:armhf.
Unpacking zlib1g-dev:armhf (from .../zlib1g-dev_1%3a1.2.8.dfsg-1_armhf.deb) ...
Selecting previously unselected package minisat.
Unpacking minisat (from .../minisat_1%3a2.2.1-4_armhf.deb) ...
Selecting previously unselected package sbuild-build-depends-cbmc-dummy.
Unpacking sbuild-build-depends-cbmc-dummy (from .../sbuild-build-depends-cbmc-dummy.deb) ...
Setting up libpipeline1:armhf (1.2.4-1) ...
Setting up groff-base (1.22.2-3) ...
Setting up bsdmainutils (9.0.5) ...
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 man-db (2.6.5-2) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libasprintf0c2:armhf (0.18.3-1) ...
Setting up libmagic1:armhf (1:5.14-2) ...
Setting up libxml2:armhf (2.9.1+dfsg1-2) ...
Setting up libsigsegv2:armhf (2.10-2) ...
Setting up m4 (1.4.16-5) ...
Setting up flex (2.5.35-10.1) ...
Setting up libffi6:armhf (3.0.13-4) ...
Setting up libglib2.0-0:armhf (2.36.3-3) ...
No schema files found: doing nothing.
Setting up libcroco3:armhf (0.6.8-2) ...
Setting up libunistring0:armhf (0.9.3-5) ...
Setting up file (1:5.14-2) ...
Setting up gettext-base (0.18.3-1) ...
Setting up libbison-dev:armhf (2:2.7.1.dfsg-1) ...
Setting up bison (2:2.7.1.dfsg-1) ...
update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode
Setting up gettext (0.18.3-1) ...
Setting up intltool-debian (0.35.0+20060710.1) ...
Setting up po-debconf (1.0.16+nmu2) ...
Setting up debhelper (9.20130630) ...
Setting up zlib1g-dev:armhf (1:1.2.8.dfsg-1) ...
Setting up minisat (1:2.2.1-4) ...
Setting up sbuild-build-depends-cbmc-dummy (0.invalid.0) ...
Processing triggers for libc-bin ...
ldconfig deferred processing now taking place

┌──────────────────────────────────────────────────────────────────────────────┐
│ Build environment                                                            │
└──────────────────────────────────────────────────────────────────────────────┘

Kernel: Linux 3.9.8-imx5 armhf (armv7l)
Toolchain package versions: binutils_2.22-8 dpkg-dev_1.16.10 g++-4.6_4.6.4-2+rpi1 gcc-4.6_4.6.4-2+rpi1 libc6-dev_2.17-3 libstdc++6_4.8.0-7+rpi1 libstdc++6-4.6-dev_4.6.4-2+rpi1 linux-libc-dev_3.2.41-2+rpi1
Package versions: apt_0.9.7.8+rpi1 base-files_7.2 base-passwd_3.5.26 bash_4.2+dfsg-1 binutils_2.22-8 bison_2:2.7.1.dfsg-1 bsdmainutils_9.0.5 bsdutils_1:2.20.1-5.4 build-essential_11.6 bzip2_1.0.6-4 coreutils_8.13-3.5 cpio_2.11+dfsg-1 cpp_4:4.6.3-8 cpp-4.6_4.6.4-2+rpi1 dash_0.5.7-3 debconf_1.5.50 debconf-i18n_1.5.50 debfoster_2.7-1.2 debhelper_9.20130630 debianutils_4.3.4 diffutils_1:3.2-8 dpkg_1.16.10 dpkg-dev_1.16.10 e2fslibs_1.42.5-1.1 e2fsprogs_1.42.5-1.1 fakeroot_1.18.4-2 file_1:5.14-2 findutils_4.4.2-5 flex_2.5.35-10.1 g++_4:4.6.3-8 g++-4.6_4.6.4-2+rpi1 gcc_4:4.6.3-8 gcc-4.5-base_4.5.3-12+rpi1 gcc-4.6_4.6.4-2+rpi1 gcc-4.6-base_4.6.4-2+rpi1 gcc-4.7-base_4.7.3-4+rpi1 gcc-4.8-base_4.8.0-7+rpi1 gettext_0.18.3-1 gettext-base_0.18.3-1 gnupg_1.4.12-7 gpgv_1.4.12-7 grep_2.14-2 groff-base_1.22.2-3 gzip_1.5-1.1 hostname_3.12 initramfs-tools_0.112 initscripts_2.88dsf-41 insserv_1.14.0-5 intltool-debian_0.35.0+20060710.1 klibc-utils_2.0.1-3.1+rpi1 kmod_9-3 libacl1_2.2.52-1 libapt-pkg4.12_0.9.7.8+rpi1 libasprintf0c2_0.18.3-1 libattr1_1:2.4.47-1 libbison-dev_2:2.7.1.dfsg-1 libblkid1_2.20.1-5.4 libbz2-1.0_1.0.6-4 libc-bin_2.17-3 libc-dev-bin_2.17-3 libc6_2.17-3 libc6-dev_2.17-3 libcap2_1:2.22-1.2 libclass-isa-perl_0.36-5 libcomerr2_1.42.5-1.1 libcroco3_0.6.8-2 libdb5.1_5.1.29-5 libdbus-1-3_1.6.10-1 libdpkg-perl_1.16.10 libffi6_3.0.13-4 libgc1c2_1:7.1-9.1 libgcc1_1:4.8.0-7+rpi1 libgdbm3_1.8.3-12 libglib2.0-0_2.36.3-3 libgmp10_2:5.1.2+dfsg-1 libgomp1_4.8.0-7+rpi1 libklibc_2.0.1-3.1+rpi1 libkmod2_9-3 liblocale-gettext-perl_1.05-7 liblzma5_5.1.1alpha+20120614-2 libmagic1_1:5.14-2 libmount1_2.20.1-5.4 libmpc2_0.9-4 libmpc3_1.0.1-1 libmpfr4_3.1.1-1 libncurses5_5.9+20130504-1 libncursesw5_5.9+20130504-1 libpam-modules_1.1.3-9 libpam-modules-bin_1.1.3-9 libpam-runtime_1.1.3-9 libpam0g_1.1.3-9 libpcre3_1:8.31-2 libpipeline1_1.2.4-1 libprocps0_1:3.3.4-2 libreadline6_6.2+dfsg-0.1 libselinux1_2.1.13-2 libsemanage-common_2.1.10-2 libsemanage1_2.1.10-2 libsepol1_2.1.9-2 libsigsegv2_2.10-2 libslang2_2.2.4-15 libss2_1.42.5-1.1 libstdc++6_4.8.0-7+rpi1 libstdc++6-4.6-dev_4.6.4-2+rpi1 libswitch-perl_2.16-2 libtext-charwidth-perl_0.04-7 libtext-iconv-perl_1.7-5 libtext-wrapi18n-perl_0.06-7 libtimedate-perl_1.2000-1 libtinfo5_5.9+20130504-1 libudev0_175-7.2 libunistring0_0.9.3-5 libusb-0.1-4_2:0.1.12-23.2 libustr-1.0-1_1.0.4-3 libuuid1_2.20.1-5.4 libxml2_2.9.1+dfsg1-2 linux-libc-dev_3.2.41-2+rpi1 login_1:4.1.5.1-1 lsb-base_4.1+Debian8+rpi1 m4_1.4.16-5 make_3.81-8.2 makedev_2.3.1-93 man-db_2.6.5-2 mawk_1.3.3-17 minisat_1:2.2.1-4 mount_2.20.1-5.4 multiarch-support_2.17-3 ncurses-base_5.9+20130504-1 ncurses-bin_5.9+20130504-1 passwd_1:4.1.5.1-1 patch_2.6.1-3 perl_5.14.2-21+rpi1 perl-base_5.14.2-21+rpi1 perl-modules_5.14.2-21+rpi1 plymouth_0.8.8-6 po-debconf_1.0.16+nmu2 procps_1:3.3.4-2 raspbian-archive-keyring_20120528.2 readline-common_6.2+dfsg-0.1 sbuild-build-depends-cbmc-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.2.2-1 sensible-utils_0.0.7 sysv-rc_2.88dsf-41 sysvinit_2.88dsf-41 sysvinit-utils_2.88dsf-41 tar_1.26+dfsg-6 tzdata_2013c-2 udev_175-7.2 util-linux_2.20.1-5.4 xz-utils_5.1.1alpha+20120614-2 zlib1g_1:1.2.8.dfsg-1 zlib1g-dev_1:1.2.8.dfsg-1

┌──────────────────────────────────────────────────────────────────────────────┐
│ Build                                                                        │
└──────────────────────────────────────────────────────────────────────────────┘


Unpack source
─────────────

gpgv: keyblock resource `/sbuild-nonexistent/.gnupg/trustedkeys.gpg': file open error
gpgv: Signature made Thu Jul 11 07:48:32 2013 UTC using RSA key ID E3386741
gpgv: Can't check signature: public key not found
dpkg-source: warning: failed to verify signature on ./cbmc_4.4-2.dsc
dpkg-source: info: extracting cbmc in cbmc-4.4
dpkg-source: info: unpacking cbmc_4.4.orig.tar.gz
dpkg-source: info: unpacking cbmc_4.4-2.debian.tar.gz
dpkg-source: info: applying minisat-debian
dpkg-source: info: applying debian-changes-4.4-1
dpkg-source: info: applying debian-changes-4.4-2

Check disc space
────────────────

Sufficient free space for build

User Environment
────────────────

APT_CONFIG=/var/lib/sbuild/apt.conf
DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
LANG=en_US.UTF-8
LC_ALL=POSIX
LOGNAME=root
LS_OPTIONS=--color=auto
MAIL=/var/mail/root
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
PWD=/root
SCHROOT_ALIAS_NAME=jessie-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=jessie-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=111
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=jessie-staging-armhf-sbuild-a9dbbfeb-e7c3-43bd-836a-9a9cec0e6111
SCHROOT_UID=106
SCHROOT_USER=buildd
SHELL=/bin/sh
SHLVL=1
SSH_CLIENT=192.168.1.2 47123 22
SSH_CONNECTION=192.168.1.2 47123 192.168.1.45 22
SSH_TTY=/dev/pts/0
TERM=xterm
USER=root
XDG_SESSION_COOKIE=106ef489ba27ee071ab233f6518d3bce-1376502656.234193-447430940
_=/etc/init.d/buildd

dpkg-buildpackage
─────────────────

dpkg-buildpackage: source package cbmc
dpkg-buildpackage: source version 4.4-2
 dpkg-source --before-build cbmc-4.4
dpkg-buildpackage: host architecture armhf
 fakeroot debian/rules clean
dh clean --parallel
   dh_testdir -O--parallel
   debian/rules override_dh_auto_clean
make[1]: Entering directory `/«PKGBUILDDIR»'
dh_auto_clean
/usr/bin/make -C src clean
make[2]: Entering directory `/«PKGBUILDDIR»/src'
/usr/bin/make  -C  ansi-c clean ; \

make[3]: Entering directory `/«PKGBUILDDIR»/src/ansi-c'
rm -f  c_typecast.o  ansi_c_y.tab.o  ansi_c_lex.yy.o  ansi_c_parser.o  expr2c.o  ansi_c_language.o  c_sizeof.o  c_types.o  trans_unit.o  ansi_c_typecheck.o  c_preprocess.o  c_typecheck_base.o  c_typecheck_initializer.o  c_typecheck_typecast.o  c_typecheck_code.o  c_typecheck_expr.o  c_typecheck_type.o  string_constant.o  c_qualifiers.o  c_typecheck_argc_argv.o  ansi_c_parse_tree.o  preprocessor_line.o  ansi_c_convert.o  ansi_c_convert_type.o  type2name.o  cprover_library.o  anonymous_member.o  printf_formatter.o  ansi_c_internal_additions.o  padding.o  ansi_c_declaration.o  designator.o  literals/parse_float.o  literals/unescape_string.o  literals/convert_float_literal.o  literals/convert_character_literal.o  literals/convert_integer_literal.o  literals/convert_string_literal.o \
		 c_typecast.d  ansi_c_y.tab.d  ansi_c_lex.yy.d  ansi_c_parser.d  expr2c.d  ansi_c_language.d  c_sizeof.d  c_types.d  trans_unit.d  ansi_c_typecheck.d  c_preprocess.d  c_typecheck_base.d  c_typecheck_initializer.d  c_typecheck_typecast.d  c_typecheck_code.d  c_typecheck_expr.d  c_typecheck_type.d  string_constant.d  c_qualifiers.d  c_typecheck_argc_argv.d  ansi_c_parse_tree.d  preprocessor_line.d  ansi_c_convert.d  ansi_c_convert_type.d  type2name.d  cprover_library.d  anonymous_member.d  printf_formatter.d  ansi_c_internal_additions.d  padding.d  ansi_c_declaration.d  designator.d  literals/parse_float.d  literals/unescape_string.d  literals/convert_float_literal.d  literals/convert_character_literal.d  literals/convert_integer_literal.d  literals/convert_string_literal.d \
		 \
		 \
		ansi-c.a ansi_c_y.tab.h ansi_c_y.tab.cpp ansi_c_lex.yy.cpp ansi_c_y.tab.cpp.output ansi_c_y.output library/converter cprover_library.inc file_converter library_check gcc_builtin_headers_generic.inc gcc_builtin_headers_ia32.inc arm_builtin_headers.inc cw_builtin_headers.inc gcc_builtin_headers_arm.inc gcc_builtin_headers_alpha.inc gcc_builtin_headers_mips.inc gcc_builtin_headers_power.inc
make[3]: Leaving directory `/«PKGBUILDDIR»/src/ansi-c'
/usr/bin/make  -C  big-int clean ; \

make[3]: Entering directory `/«PKGBUILDDIR»/src/big-int'
rm -f  \
		 \
		 bigint-func.o  bigint.o \
		 bigint-func.d  bigint.d \
		test-bigint big-int.a bigint-test.o bigint-test.d
make[3]: Leaving directory `/«PKGBUILDDIR»/src/big-int'
/usr/bin/make  -C  cbmc clean ; \

make[3]: Entering directory `/«PKGBUILDDIR»/src/cbmc'
rm -f  cbmc_main.o  cbmc_parseoptions.o  bmc.o  dimacs.o  cbmc_languages.o  counterexample_beautification.o  bv_cbmc.o  symex_bmc.o  show_vcc.o  cbmc_solvers.o  xml_interface.o  cover.o  all_claims.o \
		 cbmc_main.d  cbmc_parseoptions.d  bmc.d  dimacs.d  cbmc_languages.d  counterexample_beautification.d  bv_cbmc.d  symex_bmc.d  show_vcc.d  cbmc_solvers.d  xml_interface.d  cover.d  all_claims.d \
		 \
		 \
		cbmc
make[3]: Leaving directory `/«PKGBUILDDIR»/src/cbmc'
/usr/bin/make  -C  cpp clean ; \

make[3]: Entering directory `/«PKGBUILDDIR»/src/cpp'
rm -f  cpp_id.o  cpp_language.o  expr2cpp.o  cpp_parser.o  cpp_lex.yy.o  cpp_typecheck.o  cpp_convert_type.o  cpp_typecheck_expr.o  cpp_typecheck_code.o  cpp_typecheck_type.o  parse.o  cpp_parse_tree.o  cpp_token_buffer.o  cpp_typecheck_fargs.o  cpp_typecheck_resolve.o  cpp_util.o  cpp_enum_type.o  cpp_typecheck_function.o  cpp_typecheck_namespace.o  cpp_name.o  cpp_is_pod.o  cpp_scope.o  cpp_typecheck_find_constructor.o  template_map.o  cpp_scopes.o  cpp_declarator.o  cpp_instantiate_template.o  cpp_internal_additions.o  cpp_type2name.o  cpp_typecheck_linkage_spec.o  cpp_typecheck_template.o  cpp_typecheck_function_bodies.o  cpp_typecheck_initializer.o  cpp_typecheck_compound_type.o  cpp_constructor.o  cpp_destructor.o  cpp_typecheck_conversions.o  cpp_typecheck_declaration.o  cpp_declarator_converter.o  cpp_declaration.o  cpp_namespace_spec.o  cpp_typecheck_using.o  cpp_exception_id.o  cpp_typecheck_enum_type.o  cpp_typecheck_bases.o  cpp_typecheck_constructor.o  cpp_typecheck_virtual_table.o  cpp_typecheck_static_assert.o \
		 cpp_id.d  cpp_language.d  expr2cpp.d  cpp_parser.d  cpp_lex.yy.d  cpp_typecheck.d  cpp_convert_type.d  cpp_typecheck_expr.d  cpp_typecheck_code.d  cpp_typecheck_type.d  parse.d  cpp_parse_tree.d  cpp_token_buffer.d  cpp_typecheck_fargs.d  cpp_typecheck_resolve.d  cpp_util.d  cpp_enum_type.d  cpp_typecheck_function.d  cpp_typecheck_namespace.d  cpp_name.d  cpp_is_pod.d  cpp_scope.d  cpp_typecheck_find_constructor.d  template_map.d  cpp_scopes.d  cpp_declarator.d  cpp_instantiate_template.d  cpp_internal_additions.d  cpp_type2name.d  cpp_typecheck_linkage_spec.d  cpp_typecheck_template.d  cpp_typecheck_function_bodies.d  cpp_typecheck_initializer.d  cpp_typecheck_compound_type.d  cpp_constructor.d  cpp_destructor.d  cpp_typecheck_conversions.d  cpp_typecheck_declaration.d  cpp_declarator_converter.d  cpp_declaration.d  cpp_namespace_spec.d  cpp_typecheck_using.d  cpp_exception_id.d  cpp_typecheck_enum_type.d  cpp_typecheck_bases.d  cpp_typecheck_constructor.d  cpp_typecheck_virtual_table.d  cpp_typecheck_static_assert.d \
		 \
		 \
		cpp.a cpp_lex.yy.cpp cpp_y.tab.cpp.output
make[3]: Leaving directory `/«PKGBUILDDIR»/src/cpp'
/usr/bin/make  -C  goto-cc clean ; \

make[3]: Entering directory `/«PKGBUILDDIR»/src/goto-cc'
rm -f  goto_cc_main.o  goto_cc_mode.o  gcc_mode.o  get_base_name.o  gcc_cmdline.o  ms_cl_cmdline.o  ld_cmdline.o  compile.o  armcc_cmdline.o  run.o  goto_cc_languages.o  goto_cc_cmdline.o  ms_cl_mode.o  armcc_mode.o  cw_mode.o  ld_mode.o \
		 goto_cc_main.d  goto_cc_mode.d  gcc_mode.d  get_base_name.d  gcc_cmdline.d  ms_cl_cmdline.d  ld_cmdline.d  compile.d  armcc_cmdline.d  run.d  goto_cc_languages.d  goto_cc_cmdline.d  ms_cl_mode.d  armcc_mode.d  cw_mode.d  ld_mode.d \
		 \
		 \
		goto-cc
make[3]: Leaving directory `/«PKGBUILDDIR»/src/goto-cc'
/usr/bin/make  -C  goto-instrument clean ; \

make[3]: Entering directory `/«PKGBUILDDIR»/src/goto-instrument'
rm -f  goto_instrument_main.o  goto_instrument_parseoptions.o  document_claims.o  goto_instrument_languages.o  uninitialized.o  full_slicer.o  k_induction.o  object_id.o  show_locations.o  points_to.o  alignment_checks.o  race_check.o  rw_set.o  nondet_volatile.o  interrupt.o  function.o  branch.o  mmio.o  stack_depth.o  nondet_static.o  concurrency.o  dump_c.o  dot.o  havoc_loops.o  wmm/weak_memory.o  wmm/fence.o  wmm/event_graph.o  wmm/goto2graph.o  wmm/data_dp.o  wmm/abstract_event.o  wmm/instrumenter_strategies.o  wmm/cycle_collection.o  call_sequences.o  unwind.o  accelerate/accelerate.o  accelerate/polynomial.o  accelerate/scratch_program.o  accelerate/polynomial_accelerator.o  accelerate/util.o  count_eloc.o \
		 goto_instrument_main.d  goto_instrument_parseoptions.d  document_claims.d  goto_instrument_languages.d  uninitialized.d  full_slicer.d  k_induction.d  object_id.d  show_locations.d  points_to.d  alignment_checks.d  race_check.d  rw_set.d  nondet_volatile.d  interrupt.d  function.d  branch.d  mmio.d  stack_depth.d  nondet_static.d  concurrency.d  dump_c.d  dot.d  havoc_loops.d  wmm/weak_memory.d  wmm/fence.d  wmm/event_graph.d  wmm/goto2graph.d  wmm/data_dp.d  wmm/abstract_event.d  wmm/instrumenter_strategies.d  wmm/cycle_collection.d  call_sequences.d  unwind.d  accelerate/accelerate.d  accelerate/polynomial.d  accelerate/scratch_program.d  accelerate/polynomial_accelerator.d  accelerate/util.d  count_eloc.d \
		 \
		 \
		goto-instrument
make[3]: Leaving directory `/«PKGBUILDDIR»/src/goto-instrument'
/usr/bin/make  -C  goto-programs clean ; \

make[3]: Entering directory `/«PKGBUILDDIR»/src/goto-programs'
rm -f  goto_convert.o  goto_convert_function_call.o  goto_convert_side_effect.o  goto_program.o  basic_blocks.o  goto_convert_exceptions.o  remove_function_pointers.o  goto_functions.o  goto_inline.o  remove_skip.o  goto_convert_functions.o  string_instrumentation.o  builtin_functions.o  show_claims.o  destructor.o  set_claims.o  reachability_slicer.o  read_goto_binary.o  goto_asm.o  elf_reader.o  string_abstraction.o  goto_program_serialization.o  goto_function_serialization.o  read_bin_goto_object.o  goto_program_irep.o  interpreter.o  interpreter_evaluate.o  flow_insensitive_analysis.o  format_strings.o  loop_ids.o  pointer_arithmetic.o  goto_program_template.o  write_goto_binary.o  remove_unreachable.o  remove_unused_functions.o  wp.o  goto_rw.o  goto_clean_expr.o  safety_checker.o  compute_called_functions.o  link_to_library.o  remove_return_values.o  osx_fat_reader.o \
		 goto_convert.d  goto_convert_function_call.d  goto_convert_side_effect.d  goto_program.d  basic_blocks.d  goto_convert_exceptions.d  remove_function_pointers.d  goto_functions.d  goto_inline.d  remove_skip.d  goto_convert_functions.d  string_instrumentation.d  builtin_functions.d  show_claims.d  destructor.d  set_claims.d  reachability_slicer.d  read_goto_binary.d  goto_asm.d  elf_reader.d  string_abstraction.d  goto_program_serialization.d  goto_function_serialization.d  read_bin_goto_object.d  goto_program_irep.d  interpreter.d  interpreter_evaluate.d  flow_insensitive_analysis.d  format_strings.d  loop_ids.d  pointer_arithmetic.d  goto_program_template.d  write_goto_binary.d  remove_unreachable.d  remove_unused_functions.d  wp.d  goto_rw.d  goto_clean_expr.d  safety_checker.d  compute_called_functions.d  link_to_library.d  remove_return_values.d  osx_fat_reader.d \
		 \
		 \
		goto-programs.a test_wp osx_fat_reader_test
make[3]: Leaving directory `/«PKGBUILDDIR»/src/goto-programs'
/usr/bin/make  -C  goto-symex clean ; \

make[3]: Entering directory `/«PKGBUILDDIR»/src/goto-symex'
rm -f  symex_target.o  symex_target_equation.o  goto_symex.o  symex_main.o  goto_trace.o  build_goto_trace.o  symex_function_call.o  goto_symex_state.o  symex_dereference.o  symex_goto.o  symex_builtin_functions.o  slice.o  symex_other.o  slice_by_trace.o  xml_goto_trace.o  symex_decl.o  symex_dead.o  precondition.o  postcondition.o  symex_clean_expr.o  symex_dereference_state.o  vcd_goto_trace.o  auto_objects.o  symex_catch.o  symex_start_thread.o  symex_assign.o  symex_throw.o  symex_atomic_section.o  memory_model.o  memory_model_sc.o  partial_order_concurrency.o \
		 symex_target.d  symex_target_equation.d  goto_symex.d  symex_main.d  goto_trace.d  build_goto_trace.d  symex_function_call.d  goto_symex_state.d  symex_dereference.d  symex_goto.d  symex_builtin_functions.d  slice.d  symex_other.d  slice_by_trace.d  xml_goto_trace.d  symex_decl.d  symex_dead.d  precondition.d  postcondition.d  symex_clean_expr.d  symex_dereference_state.d  vcd_goto_trace.d  auto_objects.d  symex_catch.d  symex_start_thread.d  symex_assign.d  symex_throw.d  symex_atomic_section.d  memory_model.d  memory_model_sc.d  partial_order_concurrency.d \
		 \
		 \
		goto-symex.a
make[3]: Leaving directory `/«PKGBUILDDIR»/src/goto-symex'
/usr/bin/make  -C  langapi clean ; \

make[3]: Entering directory `/«PKGBUILDDIR»/src/langapi'
rm -f  mode.o  language_ui.o  languages.o  language_util.o \
		 mode.d  language_ui.d  languages.d  language_util.d \
		 \
		 \
		langapi.a
make[3]: Leaving directory `/«PKGBUILDDIR»/src/langapi'
/usr/bin/make  -C  pointer-analysis clean ; \

make[3]: Entering directory `/«PKGBUILDDIR»/src/pointer-analysis'
rm -f  value_set.o  goto_program_dereference.o  value_set_analysis.o  dereference.o  pointer_offset_sum.o  add_failed_symbols.o  show_value_sets.o  value_set_domain.o  rewrite_index.o  value_set_analysis_fi.o  value_set_fi.o  value_set_domain_fi.o  value_set_analysis_fivr.o  value_set_fivr.o  value_set_domain_fivr.o  value_set_analysis_fivrns.o  value_set_fivrns.o  value_set_domain_fivrns.o \
		 value_set.d  goto_program_dereference.d  value_set_analysis.d  dereference.d  pointer_offset_sum.d  add_failed_symbols.d  show_value_sets.d  value_set_domain.d  rewrite_index.d  value_set_analysis_fi.d  value_set_fi.d  value_set_domain_fi.d  value_set_analysis_fivr.d  value_set_fivr.d  value_set_domain_fivr.d  value_set_analysis_fivrns.d  value_set_fivrns.d  value_set_domain_fivrns.d \
		 \
		 \
		pointer-analysis.a
make[3]: Leaving directory `/«PKGBUILDDIR»/src/pointer-analysis'
/usr/bin/make  -C  solvers clean ; \

make[3]: Entering directory `/«PKGBUILDDIR»/src/solvers'
rm -f  sat/satcheck_minisat2.o  sat/cnf.o  sat/dimacs_cnf.o  sat/cnf_clause_list.o  sat/pbs_dimacs_cnf.o  sat/read_dimacs_cnf.o  sat/resolution_proof.o  sat/satcheck.o  qbf/qdimacs_cnf.o  qbf/qbf_quantor.o  qbf/qbf_skizzo.o  qbf/qdimacs_core.o  qbf/qbf_qube.o  qbf/qbf_qube_core.o  prop/prop.o  prop/prop_conv.o  prop/prop_conv_store.o  prop/aig_formula.o  prop/cover_goals.o  prop/aig.o  prop/aig_prop.o  prop/minimize.o  prop/prop_assignment.o  cvc/cvc_prop.o  cvc/cvc_conv.o  cvc/cvc_dec.o  smt1/smt1_dec.o  smt1/smt1_prop.o  smt1/smt1_conv.o  smt2/smt2_dec.o  smt2/smt2_prop.o  smt2/smt2_conv.o  dplib/dplib_conv.o  dplib/dplib_dec.o  dplib/dplib_prop.o  flattening/equality.o  flattening/arrays.o  flattening/functions.o  flattening/bv_minimize.o  flattening/boolbv_width.o  flattening/boolbv.o  flattening/boolbv_constraint_select_one.o  flattening/bv_pointers.o  flattening/bv_utils.o  flattening/boolbv_abs.o  flattening/boolbv_with.o  flattening/boolbv_typecast.o  flattening/boolbv_index.o  flattening/boolbv_member.o  flattening/boolbv_if.o  flattening/boolbv_byte_extract.o  flattening/boolbv_add_sub.o  flattening/boolbv_mult.o  flattening/boolbv_constant.o  flattening/boolbv_extractbit.o  flattening/boolbv_bv_rel.o  flattening/boolbv_shift.o  flattening/boolbv_case.o  flattening/boolbv_cond.o  flattening/boolbv_concatenation.o  flattening/boolbv_div.o  flattening/boolbv_mod.o  flattening/boolbv_extractbits.o  flattening/boolbv_replication.o  flattening/boolbv_reduction.o  flattening/boolbv_overflow.o  flattening/boolbv_get.o  flattening/boolbv_bitwise.o  flattening/boolbv_equality.o  flattening/boolbv_unary_minus.o  flattening/boolbv_ieee_float_rel.o  flattening/pointer_logic.o  flattening/boolbv_quantifier.o  flattening/boolbv_struct.o  flattening/boolbv_byte_update.o  flattening/boolbv_array_of.o  flattening/boolbv_map.o  flattening/boolbv_type.o  flattening/boolbv_array.o  flattening/boolbv_vector.o  flattening/boolbv_complex.o  flattening/boolbv_floatbv_op.o  flattening/boolbv_union.o  flattening/flatten_byte_operators.o  flattening/boolbv_update.o  floatbv/float_utils.o  floatbv/float_bv.o \
		 sat/satcheck_minisat2.d  sat/cnf.d  sat/dimacs_cnf.d  sat/cnf_clause_list.d  sat/pbs_dimacs_cnf.d  sat/read_dimacs_cnf.d  sat/resolution_proof.d  sat/satcheck.d  qbf/qdimacs_cnf.d  qbf/qbf_quantor.d  qbf/qbf_skizzo.d  qbf/qdimacs_core.d  qbf/qbf_qube.d  qbf/qbf_qube_core.d  prop/prop.d  prop/prop_conv.d  prop/prop_conv_store.d  prop/aig_formula.d  prop/cover_goals.d  prop/aig.d  prop/aig_prop.d  prop/minimize.d  prop/prop_assignment.d  cvc/cvc_prop.d  cvc/cvc_conv.d  cvc/cvc_dec.d  smt1/smt1_dec.d  smt1/smt1_prop.d  smt1/smt1_conv.d  smt2/smt2_dec.d  smt2/smt2_prop.d  smt2/smt2_conv.d  dplib/dplib_conv.d  dplib/dplib_dec.d  dplib/dplib_prop.d  flattening/equality.d  flattening/arrays.d  flattening/functions.d  flattening/bv_minimize.d  flattening/boolbv_width.d  flattening/boolbv.d  flattening/boolbv_constraint_select_one.d  flattening/bv_pointers.d  flattening/bv_utils.d  flattening/boolbv_abs.d  flattening/boolbv_with.d  flattening/boolbv_typecast.d  flattening/boolbv_index.d  flattening/boolbv_member.d  flattening/boolbv_if.d  flattening/boolbv_byte_extract.d  flattening/boolbv_add_sub.d  flattening/boolbv_mult.d  flattening/boolbv_constant.d  flattening/boolbv_extractbit.d  flattening/boolbv_bv_rel.d  flattening/boolbv_shift.d  flattening/boolbv_case.d  flattening/boolbv_cond.d  flattening/boolbv_concatenation.d  flattening/boolbv_div.d  flattening/boolbv_mod.d  flattening/boolbv_extractbits.d  flattening/boolbv_replication.d  flattening/boolbv_reduction.d  flattening/boolbv_overflow.d  flattening/boolbv_get.d  flattening/boolbv_bitwise.d  flattening/boolbv_equality.d  flattening/boolbv_unary_minus.d  flattening/boolbv_ieee_float_rel.d  flattening/pointer_logic.d  flattening/boolbv_quantifier.d  flattening/boolbv_struct.d  flattening/boolbv_byte_update.d  flattening/boolbv_array_of.d  flattening/boolbv_map.d  flattening/boolbv_type.d  flattening/boolbv_array.d  flattening/boolbv_vector.d  flattening/boolbv_complex.d  flattening/boolbv_floatbv_op.d  flattening/boolbv_union.d  flattening/flatten_byte_operators.d  flattening/boolbv_update.d  floatbv/float_utils.d  floatbv/float_bv.d \
		 \
		 \
		solvers.a
make[3]: Leaving directory `/«PKGBUILDDIR»/src/solvers'
/usr/bin/make  -C  util clean ; \

make[3]: Entering directory `/«PKGBUILDDIR»/src/util'
rm -f  arith_tools.o  base_type.o  cmdline.o  config.o  symbol_table.o  expr.o  expr_util.o  i2string.o  irep.o  language.o  lispexpr.o  lispirep.o  location.o  message.o  language_file.o  mp_arith.o  namespace.o  parseoptions.o  rename.o  replace_expr.o  threeval.o  typecheck.o  graph.o  type.o  cnf_simplify.o  pointer_predicates.o  bitvector.o  parser.o  map_util.o  replace_symbol.o  actuals.o  get_module.o  string_hash.o  string_container.o  identifier.o  rational.o  options.o  c_misc.o  simplify_expr.o  dstring.o  find_symbols.o  rational_tools.o  ui_message.o  simplify_utils.o  time_stopping.o  symbol.o  irep_hash_container.o  cout_message.o  type_eq.o  guard.o  array_name.o  message_stream.o  substitute.o  decision_procedure.o  union_find.o  xml.o  xml_irep.o  xml_expr.o  std_types.o  std_code.o  format_constant.o  find_macros.o  ref_expr_set.o  std_expr.o  irep_serialization.o  symbol_serialization.o  fixedbv.o  ieee_float.o  signal_catcher.o  pointer_offset_size.o  bv_arithmetic.o  tempdir.o  tempfile.o  timer.o  unicode.o  irep_ids.o  byte_operators.o  string2int.o  file_util.o  memory_info.o \
		 arith_tools.d  base_type.d  cmdline.d  config.d  symbol_table.d  expr.d  expr_util.d  i2string.d  irep.d  language.d  lispexpr.d  lispirep.d  location.d  message.d  language_file.d  mp_arith.d  namespace.d  parseoptions.d  rename.d  replace_expr.d  threeval.d  typecheck.d  graph.d  type.d  cnf_simplify.d  pointer_predicates.d  bitvector.d  parser.d  map_util.d  replace_symbol.d  actuals.d  get_module.d  string_hash.d  string_container.d  identifier.d  rational.d  options.d  c_misc.d  simplify_expr.d  dstring.d  find_symbols.d  rational_tools.d  ui_message.d  simplify_utils.d  time_stopping.d  symbol.d  irep_hash_container.d  cout_message.d  type_eq.d  guard.d  array_name.d  message_stream.d  substitute.d  decision_procedure.d  union_find.d  xml.d  xml_irep.d  xml_expr.d  std_types.d  std_code.d  format_constant.d  find_macros.d  ref_expr_set.d  std_expr.d  irep_serialization.d  symbol_serialization.d  fixedbv.d  ieee_float.d  signal_catcher.d  pointer_offset_size.d  bv_arithmetic.d  tempdir.d  tempfile.d  timer.d  unicode.d  irep_ids.d  byte_operators.d  string2int.d  file_util.d  memory_info.d \
		 \
		 \
		util.a irep_ids.h irep_ids.inc ieee_float_test ieee_float_test.o ieee_float_test.d irep_ids_convert irep_ids_convert.o irep_ids_convert.d
make[3]: Leaving directory `/«PKGBUILDDIR»/src/util'
/usr/bin/make  -C  linking clean ; \

make[3]: Entering directory `/«PKGBUILDDIR»/src/linking'
rm -f  linking.o  linking_type_eq.o  zero_initializer.o  remove_internal_symbols.o  entry_point.o \
		 linking.d  linking_type_eq.d  zero_initializer.d  remove_internal_symbols.d  entry_point.d \
		 \
		 \
		linking.a
make[3]: Leaving directory `/«PKGBUILDDIR»/src/linking'
/usr/bin/make  -C  xmllang clean ; \

make[3]: Entering directory `/«PKGBUILDDIR»/src/xmllang'
rm -f  xml_language.o  xml_parser.o  xml_y.tab.o  xml_lex.yy.o  xml_typecheck.o  xml_parse_tree.o \
		 xml_language.d  xml_parser.d  xml_y.tab.d  xml_lex.yy.d  xml_typecheck.d  xml_parse_tree.d \
		 \
		 \
		xmllang.a xml_y.tab.h xml_y.tab.cpp xml_lex.yy.cpp xml_y.tab.cpp.output xml_y.output
make[3]: Leaving directory `/«PKGBUILDDIR»/src/xmllang'
/usr/bin/make  -C  assembler clean ; \

make[3]: Entering directory `/«PKGBUILDDIR»/src/assembler'
rm -f  assembler_lex.yy.o  assembler_parser.o \
		 assembler_lex.yy.d  assembler_parser.d \
		 \
		 \
		assembler.a assembler_lex.yy.cpp
make[3]: Leaving directory `/«PKGBUILDDIR»/src/assembler'
/usr/bin/make  -C  analyses clean ; \

make[3]: Entering directory `/«PKGBUILDDIR»/src/analyses'
rm -f  natural_loops.o  is_threaded.o  dirty.o  interval_analysis.o  invariant_set.o  invariant_set_domain.o  invariant_propagation.o  static_analysis.o  uninitialized_domain.o  local_may_alias.o  locals.o  goto_check.o  call_graph.o  interval_domain.o  reaching_definitions.o \
		 natural_loops.d  is_threaded.d  dirty.d  interval_analysis.d  invariant_set.d  invariant_set_domain.d  invariant_propagation.d  static_analysis.d  uninitialized_domain.d  local_may_alias.d  locals.d  goto_check.d  call_graph.d  interval_domain.d  reaching_definitions.d \
		 \
		 \
		analyses.a
make[3]: Leaving directory `/«PKGBUILDDIR»/src/analyses'
/usr/bin/make  -C  java_bytecode clean ; \

make[3]: Entering directory `/«PKGBUILDDIR»/src/java_bytecode'
rm -f  java_bytecode_language.o  java_bytecode_parse_tree.o  java_bytecode_typecheck.o  javap_parse.o  java_bytecode_convert.o  java_types.o  java_entry_point.o  java_bytecode_typecheck_code.o  java_bytecode_typecheck_expr.o  java_bytecode_typecheck_type.o  java_bytecode_internal_additions.o \
		 java_bytecode_language.d  java_bytecode_parse_tree.d  java_bytecode_typecheck.d  javap_parse.d  java_bytecode_convert.d  java_types.d  java_entry_point.d  java_bytecode_typecheck_code.d  java_bytecode_typecheck_expr.d  java_bytecode_typecheck_type.d  java_bytecode_internal_additions.d \
		 \
		 \
		java_bytecode.a
make[3]: Leaving directory `/«PKGBUILDDIR»/src/java_bytecode'
make[2]: Leaving directory `/«PKGBUILDDIR»/src'
rm -f regression/*/tests.log
rm -f regression/*/*/*.out
make[1]: Leaving directory `/«PKGBUILDDIR»'
   dh_clean -O--parallel
 debian/rules build-arch
dh build-arch --parallel
   dh_testdir -a -O--parallel
   dh_auto_configure -a -O--parallel
   debian/rules override_dh_auto_build
make[1]: Entering directory `/«PKGBUILDDIR»'
/usr/bin/make -C src MINISAT2=/usr/include/minisat
make[2]: Entering directory `/«PKGBUILDDIR»/src'
## Entering big-int
/usr/bin/make  -C big-int
make[3]: Entering directory `/«PKGBUILDDIR»/src/big-int'
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic  -o bigint-func.o bigint-func.cc
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic  -o bigint.o bigint.cc
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic  -o bigint-test.o bigint-test.cc
g++  -o test-bigint bigint-func.o bigint.o bigint-test.o 
ld -r -o big-int.a bigint-func.o bigint.o
make[3]: Leaving directory `/«PKGBUILDDIR»/src/big-int'
## Entering util
/usr/bin/make  -C util
make[3]: Entering directory `/«PKGBUILDDIR»/src/util'
g++ -o irep_ids_convert irep_ids_convert.cpp
./irep_ids_convert header < irep_ids.txt > irep_ids.h
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o arith_tools.o arith_tools.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o base_type.o base_type.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cmdline.o cmdline.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o config.o config.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o symbol_table.o symbol_table.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o expr.o expr.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o expr_util.o expr_util.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o i2string.o i2string.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o irep.o irep.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o language.o language.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o lispexpr.o lispexpr.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o lispirep.o lispirep.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o location.o location.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o message.o message.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o language_file.o language_file.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o mp_arith.o mp_arith.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o namespace.o namespace.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o parseoptions.o parseoptions.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o rename.o rename.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o replace_expr.o replace_expr.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o threeval.o threeval.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o typecheck.o typecheck.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o graph.o graph.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o type.o type.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cnf_simplify.o cnf_simplify.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o pointer_predicates.o pointer_predicates.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o bitvector.o bitvector.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o parser.o parser.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o map_util.o map_util.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o replace_symbol.o replace_symbol.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o actuals.o actuals.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o get_module.o get_module.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o string_hash.o string_hash.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o string_container.o string_container.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o identifier.o identifier.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o rational.o rational.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o options.o options.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o c_misc.o c_misc.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o simplify_expr.o simplify_expr.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o dstring.o dstring.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o find_symbols.o find_symbols.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o rational_tools.o rational_tools.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o ui_message.o ui_message.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o simplify_utils.o simplify_utils.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o time_stopping.o time_stopping.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o symbol.o symbol.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o irep_hash_container.o irep_hash_container.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cout_message.o cout_message.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o type_eq.o type_eq.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o guard.o guard.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o array_name.o array_name.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o message_stream.o message_stream.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o substitute.o substitute.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o decision_procedure.o decision_procedure.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o union_find.o union_find.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o xml.o xml.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o xml_irep.o xml_irep.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o xml_expr.o xml_expr.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o std_types.o std_types.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o std_code.o std_code.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o format_constant.o format_constant.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o find_macros.o find_macros.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o ref_expr_set.o ref_expr_set.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o std_expr.o std_expr.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o irep_serialization.o irep_serialization.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o symbol_serialization.o symbol_serialization.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o fixedbv.o fixedbv.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o ieee_float.o ieee_float.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o signal_catcher.o signal_catcher.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o pointer_offset_size.o pointer_offset_size.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o bv_arithmetic.o bv_arithmetic.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o tempdir.o tempdir.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o tempfile.o tempfile.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o timer.o timer.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o unicode.o unicode.cpp
./irep_ids_convert table < irep_ids.txt > irep_ids.inc
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o irep_ids.o irep_ids.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o byte_operators.o byte_operators.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o string2int.o string2int.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o file_util.o file_util.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o memory_info.o memory_info.cpp
ld -r -o util.a arith_tools.o base_type.o cmdline.o config.o symbol_table.o expr.o expr_util.o i2string.o irep.o language.o lispexpr.o lispirep.o location.o message.o language_file.o mp_arith.o namespace.o parseoptions.o rename.o replace_expr.o threeval.o typecheck.o graph.o type.o cnf_simplify.o pointer_predicates.o bitvector.o parser.o map_util.o replace_symbol.o actuals.o get_module.o string_hash.o string_container.o identifier.o rational.o options.o c_misc.o simplify_expr.o dstring.o find_symbols.o rational_tools.o ui_message.o simplify_utils.o time_stopping.o symbol.o irep_hash_container.o cout_message.o type_eq.o guard.o array_name.o message_stream.o substitute.o decision_procedure.o union_find.o xml.o xml_irep.o xml_expr.o std_types.o std_code.o format_constant.o find_macros.o ref_expr_set.o std_expr.o irep_serialization.o symbol_serialization.o fixedbv.o ieee_float.o signal_catcher.o pointer_offset_size.o bv_arithmetic.o tempdir.o tempfile.o timer.o unicode.o irep_ids.o byte_operators.o string2int.o file_util.o memory_info.o
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o ieee_float_test.o ieee_float_test.cpp
g++  -o ieee_float_test ieee_float_test.o util.a ../big-int/bigint.o ../big-int/bigint-func.o
make[3]: Leaving directory `/«PKGBUILDDIR»/src/util'
## Entering langapi
/usr/bin/make  -C langapi
make[3]: Entering directory `/«PKGBUILDDIR»/src/langapi'
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o mode.o mode.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o language_ui.o language_ui.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o languages.o languages.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o language_util.o language_util.cpp
ld -r -o langapi.a mode.o language_ui.o languages.o language_util.o
make[3]: Leaving directory `/«PKGBUILDDIR»/src/langapi'
## Entering cpp
/usr/bin/make  -C cpp
make[3]: Entering directory `/«PKGBUILDDIR»/src/cpp'
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_id.o cpp_id.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_language.o cpp_language.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o expr2cpp.o expr2cpp.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_parser.o cpp_parser.cpp
flex -Pyycpp -ocpp_lex.yy.cpp scanner.l
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_lex.yy.o cpp_lex.yy.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck.o cpp_typecheck.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_convert_type.o cpp_convert_type.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_expr.o cpp_typecheck_expr.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_code.o cpp_typecheck_code.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_type.o cpp_typecheck_type.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o parse.o parse.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_parse_tree.o cpp_parse_tree.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_token_buffer.o cpp_token_buffer.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_fargs.o cpp_typecheck_fargs.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_resolve.o cpp_typecheck_resolve.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_util.o cpp_util.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_enum_type.o cpp_enum_type.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_function.o cpp_typecheck_function.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_namespace.o cpp_typecheck_namespace.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_name.o cpp_name.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_is_pod.o cpp_is_pod.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_scope.o cpp_scope.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_find_constructor.o cpp_typecheck_find_constructor.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o template_map.o template_map.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_scopes.o cpp_scopes.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_declarator.o cpp_declarator.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_instantiate_template.o cpp_instantiate_template.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_internal_additions.o cpp_internal_additions.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_type2name.o cpp_type2name.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_linkage_spec.o cpp_typecheck_linkage_spec.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_template.o cpp_typecheck_template.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_function_bodies.o cpp_typecheck_function_bodies.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_initializer.o cpp_typecheck_initializer.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_compound_type.o cpp_typecheck_compound_type.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_constructor.o cpp_constructor.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_destructor.o cpp_destructor.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_conversions.o cpp_typecheck_conversions.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_declaration.o cpp_typecheck_declaration.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_declarator_converter.o cpp_declarator_converter.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_declaration.o cpp_declaration.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_namespace_spec.o cpp_namespace_spec.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_using.o cpp_typecheck_using.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_exception_id.o cpp_exception_id.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_enum_type.o cpp_typecheck_enum_type.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_bases.o cpp_typecheck_bases.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_constructor.o cpp_typecheck_constructor.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_virtual_table.o cpp_typecheck_virtual_table.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_static_assert.o cpp_typecheck_static_assert.cpp
ld -r -o cpp.a cpp_id.o cpp_language.o expr2cpp.o cpp_parser.o cpp_lex.yy.o cpp_typecheck.o cpp_convert_type.o cpp_typecheck_expr.o cpp_typecheck_code.o cpp_typecheck_type.o parse.o cpp_parse_tree.o cpp_token_buffer.o cpp_typecheck_fargs.o cpp_typecheck_resolve.o cpp_util.o cpp_enum_type.o cpp_typecheck_function.o cpp_typecheck_namespace.o cpp_name.o cpp_is_pod.o cpp_scope.o cpp_typecheck_find_constructor.o template_map.o cpp_scopes.o cpp_declarator.o cpp_instantiate_template.o cpp_internal_additions.o cpp_type2name.o cpp_typecheck_linkage_spec.o cpp_typecheck_template.o cpp_typecheck_function_bodies.o cpp_typecheck_initializer.o cpp_typecheck_compound_type.o cpp_constructor.o cpp_destructor.o cpp_typecheck_conversions.o cpp_typecheck_declaration.o cpp_declarator_converter.o cpp_declaration.o cpp_namespace_spec.o cpp_typecheck_using.o cpp_exception_id.o cpp_typecheck_enum_type.o cpp_typecheck_bases.o cpp_typecheck_constructor.o cpp_typecheck_virtual_table.o cpp_typecheck_static_assert.o
make[3]: Leaving directory `/«PKGBUILDDIR»/src/cpp'
## Entering ansi-c
/usr/bin/make  -C ansi-c
make[3]: Entering directory `/«PKGBUILDDIR»/src/ansi-c'
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o c_typecast.o c_typecast.cpp
bison -y -v $flags -pyyansi_c -d parser.y -o ansi_c_y.tab.cpp
if [ -e ansi_c_y.tab.hpp ] ; then mv ansi_c_y.tab.hpp ansi_c_y.tab.h ; else \
        mv ansi_c_y.tab.cpp.h ansi_c_y.tab.h ; fi
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o ansi_c_y.tab.o ansi_c_y.tab.cpp
flex -Pyyansi_c -oansi_c_lex.yy.cpp scanner.l
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o ansi_c_lex.yy.o ansi_c_lex.yy.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o ansi_c_parser.o ansi_c_parser.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o expr2c.o expr2c.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o ansi_c_language.o ansi_c_language.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o c_sizeof.o c_sizeof.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o c_types.o c_types.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o trans_unit.o trans_unit.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o ansi_c_typecheck.o ansi_c_typecheck.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o c_preprocess.o c_preprocess.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o c_typecheck_base.o c_typecheck_base.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o c_typecheck_initializer.o c_typecheck_initializer.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o c_typecheck_typecast.o c_typecheck_typecast.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o c_typecheck_code.o c_typecheck_code.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o c_typecheck_expr.o c_typecheck_expr.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o c_typecheck_type.o c_typecheck_type.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o string_constant.o string_constant.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o c_qualifiers.o c_qualifiers.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o c_typecheck_argc_argv.o c_typecheck_argc_argv.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o ansi_c_parse_tree.o ansi_c_parse_tree.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o preprocessor_line.o preprocessor_line.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o ansi_c_convert.o ansi_c_convert.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o ansi_c_convert_type.o ansi_c_convert_type.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o type2name.o type2name.cpp
g++ -o library/converter library/converter.cpp
cat library/*.c | library/converter > cprover_library.inc
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cprover_library.o cprover_library.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o anonymous_member.o anonymous_member.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o printf_formatter.o printf_formatter.cpp
g++ -o file_converter file_converter.cpp
./file_converter < gcc_builtin_headers_generic.h > gcc_builtin_headers_generic.inc
./file_converter < gcc_builtin_headers_ia32.h > gcc_builtin_headers_ia32.inc
./file_converter < gcc_builtin_headers_alpha.h > gcc_builtin_headers_alpha.inc
./file_converter < gcc_builtin_headers_arm.h > gcc_builtin_headers_arm.inc
./file_converter < gcc_builtin_headers_mips.h > gcc_builtin_headers_mips.inc
./file_converter < gcc_builtin_headers_power.h > gcc_builtin_headers_power.inc
./file_converter < arm_builtin_headers.h > arm_builtin_headers.inc
./file_converter < cw_builtin_headers.h > cw_builtin_headers.inc
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o ansi_c_internal_additions.o ansi_c_internal_additions.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o padding.o padding.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o ansi_c_declaration.o ansi_c_declaration.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o designator.o designator.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o literals/parse_float.o literals/parse_float.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o literals/unescape_string.o literals/unescape_string.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o literals/convert_float_literal.o literals/convert_float_literal.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o literals/convert_character_literal.o literals/convert_character_literal.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o literals/convert_integer_literal.o literals/convert_integer_literal.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o literals/convert_string_literal.o literals/convert_string_literal.cpp
ld -r -o ansi-c.a c_typecast.o ansi_c_y.tab.o ansi_c_lex.yy.o ansi_c_parser.o expr2c.o ansi_c_language.o c_sizeof.o c_types.o trans_unit.o ansi_c_typecheck.o c_preprocess.o c_typecheck_base.o c_typecheck_initializer.o c_typecheck_typecast.o c_typecheck_code.o c_typecheck_expr.o c_typecheck_type.o string_constant.o c_qualifiers.o c_typecheck_argc_argv.o ansi_c_parse_tree.o preprocessor_line.o ansi_c_convert.o ansi_c_convert_type.o type2name.o cprover_library.o anonymous_member.o printf_formatter.o ansi_c_internal_additions.o padding.o ansi_c_declaration.o designator.o literals/parse_float.o literals/unescape_string.o literals/convert_float_literal.o literals/convert_character_literal.o literals/convert_integer_literal.o literals/convert_string_literal.o
make[3]: Leaving directory `/«PKGBUILDDIR»/src/ansi-c'
## Entering xmllang
/usr/bin/make  -C xmllang
make[3]: Entering directory `/«PKGBUILDDIR»/src/xmllang'
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o xml_language.o xml_language.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o xml_parser.o xml_parser.cpp
bison -y -v $flags -pyyxml -d parser.y -o xml_y.tab.cpp
if [ -e xml_y.tab.hpp ] ; then mv xml_y.tab.hpp xml_y.tab.h ; else \
        mv xml_y.tab.cpp.h xml_y.tab.h ; fi
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o xml_y.tab.o xml_y.tab.cpp
flex -Pyyxml -oxml_lex.yy.cpp scanner.l
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o xml_lex.yy.o xml_lex.yy.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o xml_typecheck.o xml_typecheck.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o xml_parse_tree.o xml_parse_tree.cpp
ld -r -o xmllang.a xml_language.o xml_parser.o xml_y.tab.o xml_lex.yy.o xml_typecheck.o xml_parse_tree.o
make[3]: Leaving directory `/«PKGBUILDDIR»/src/xmllang'
## Entering assembler
/usr/bin/make  -C assembler
make[3]: Entering directory `/«PKGBUILDDIR»/src/assembler'
flex -Pyyassembler -oassembler_lex.yy.cpp scanner.l
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o assembler_lex.yy.o assembler_lex.yy.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o assembler_parser.o assembler_parser.cpp
ld -r -o assembler.a assembler_lex.yy.o assembler_parser.o
make[3]: Leaving directory `/«PKGBUILDDIR»/src/assembler'
## Entering java_bytecode
/usr/bin/make  -C java_bytecode
make[3]: Entering directory `/«PKGBUILDDIR»/src/java_bytecode'
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o java_bytecode_language.o java_bytecode_language.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o java_bytecode_parse_tree.o java_bytecode_parse_tree.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o java_bytecode_typecheck.o java_bytecode_typecheck.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o javap_parse.o javap_parse.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o java_bytecode_convert.o java_bytecode_convert.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o java_types.o java_types.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o java_entry_point.o java_entry_point.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o java_bytecode_typecheck_code.o java_bytecode_typecheck_code.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o java_bytecode_typecheck_expr.o java_bytecode_typecheck_expr.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o java_bytecode_typecheck_type.o java_bytecode_typecheck_type.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o java_bytecode_internal_additions.o java_bytecode_internal_additions.cpp
ld -r -o java_bytecode.a java_bytecode_language.o java_bytecode_parse_tree.o java_bytecode_typecheck.o javap_parse.o java_bytecode_convert.o java_types.o java_entry_point.o java_bytecode_typecheck_code.o java_bytecode_typecheck_expr.o java_bytecode_typecheck_type.o java_bytecode_internal_additions.o
make[3]: Leaving directory `/«PKGBUILDDIR»/src/java_bytecode'
## Entering solvers
/usr/bin/make  -C solvers
make[3]: Entering directory `/«PKGBUILDDIR»/src/solvers'
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o sat/satcheck_minisat2.o sat/satcheck_minisat2.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o sat/cnf.o sat/cnf.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o sat/dimacs_cnf.o sat/dimacs_cnf.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o sat/cnf_clause_list.o sat/cnf_clause_list.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o sat/pbs_dimacs_cnf.o sat/pbs_dimacs_cnf.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o sat/read_dimacs_cnf.o sat/read_dimacs_cnf.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o sat/resolution_proof.o sat/resolution_proof.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o sat/satcheck.o sat/satcheck.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o qbf/qdimacs_cnf.o qbf/qdimacs_cnf.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o qbf/qbf_quantor.o qbf/qbf_quantor.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o qbf/qbf_skizzo.o qbf/qbf_skizzo.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o qbf/qdimacs_core.o qbf/qdimacs_core.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o qbf/qbf_qube.o qbf/qbf_qube.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o qbf/qbf_qube_core.o qbf/qbf_qube_core.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o prop/prop.o prop/prop.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o prop/prop_conv.o prop/prop_conv.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o prop/prop_conv_store.o prop/prop_conv_store.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o prop/aig_formula.o prop/aig_formula.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o prop/cover_goals.o prop/cover_goals.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o prop/aig.o prop/aig.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o prop/aig_prop.o prop/aig_prop.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o prop/minimize.o prop/minimize.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o prop/prop_assignment.o prop/prop_assignment.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o cvc/cvc_prop.o cvc/cvc_prop.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o cvc/cvc_conv.o cvc/cvc_conv.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o cvc/cvc_dec.o cvc/cvc_dec.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o smt1/smt1_dec.o smt1/smt1_dec.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o smt1/smt1_prop.o smt1/smt1_prop.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o smt1/smt1_conv.o smt1/smt1_conv.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o smt2/smt2_dec.o smt2/smt2_dec.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o smt2/smt2_prop.o smt2/smt2_prop.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o smt2/smt2_conv.o smt2/smt2_conv.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o dplib/dplib_conv.o dplib/dplib_conv.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o dplib/dplib_dec.o dplib/dplib_dec.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o dplib/dplib_prop.o dplib/dplib_prop.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/equality.o flattening/equality.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/arrays.o flattening/arrays.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/functions.o flattening/functions.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/bv_minimize.o flattening/bv_minimize.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_width.o flattening/boolbv_width.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv.o flattening/boolbv.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_constraint_select_one.o flattening/boolbv_constraint_select_one.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/bv_pointers.o flattening/bv_pointers.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/bv_utils.o flattening/bv_utils.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_abs.o flattening/boolbv_abs.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_with.o flattening/boolbv_with.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_typecast.o flattening/boolbv_typecast.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_index.o flattening/boolbv_index.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_member.o flattening/boolbv_member.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_if.o flattening/boolbv_if.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_byte_extract.o flattening/boolbv_byte_extract.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_add_sub.o flattening/boolbv_add_sub.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_mult.o flattening/boolbv_mult.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_constant.o flattening/boolbv_constant.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_extractbit.o flattening/boolbv_extractbit.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_bv_rel.o flattening/boolbv_bv_rel.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_shift.o flattening/boolbv_shift.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_case.o flattening/boolbv_case.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_cond.o flattening/boolbv_cond.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_concatenation.o flattening/boolbv_concatenation.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_div.o flattening/boolbv_div.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_mod.o flattening/boolbv_mod.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_extractbits.o flattening/boolbv_extractbits.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_replication.o flattening/boolbv_replication.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_reduction.o flattening/boolbv_reduction.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_overflow.o flattening/boolbv_overflow.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_get.o flattening/boolbv_get.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_bitwise.o flattening/boolbv_bitwise.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_equality.o flattening/boolbv_equality.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_unary_minus.o flattening/boolbv_unary_minus.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_ieee_float_rel.o flattening/boolbv_ieee_float_rel.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/pointer_logic.o flattening/pointer_logic.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_quantifier.o flattening/boolbv_quantifier.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_struct.o flattening/boolbv_struct.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_byte_update.o flattening/boolbv_byte_update.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_array_of.o flattening/boolbv_array_of.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_map.o flattening/boolbv_map.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_type.o flattening/boolbv_type.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_array.o flattening/boolbv_array.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_vector.o flattening/boolbv_vector.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_complex.o flattening/boolbv_complex.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_floatbv_op.o flattening/boolbv_floatbv_op.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_union.o flattening/boolbv_union.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/flatten_byte_operators.o flattening/flatten_byte_operators.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_update.o flattening/boolbv_update.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o floatbv/float_utils.o floatbv/float_utils.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -I ..    -I /usr/include/minisat        -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o floatbv/float_bv.o floatbv/float_bv.cpp
ld -r -o solvers.a sat/satcheck_minisat2.o sat/cnf.o sat/dimacs_cnf.o sat/cnf_clause_list.o sat/pbs_dimacs_cnf.o sat/read_dimacs_cnf.o sat/resolution_proof.o sat/satcheck.o qbf/qdimacs_cnf.o qbf/qbf_quantor.o qbf/qbf_skizzo.o qbf/qdimacs_core.o qbf/qbf_qube.o qbf/qbf_qube_core.o prop/prop.o prop/prop_conv.o prop/prop_conv_store.o prop/aig_formula.o prop/cover_goals.o prop/aig.o prop/aig_prop.o prop/minimize.o prop/prop_assignment.o cvc/cvc_prop.o cvc/cvc_conv.o cvc/cvc_dec.o smt1/smt1_dec.o smt1/smt1_prop.o smt1/smt1_conv.o smt2/smt2_dec.o smt2/smt2_prop.o smt2/smt2_conv.o dplib/dplib_conv.o dplib/dplib_dec.o dplib/dplib_prop.o flattening/equality.o flattening/arrays.o flattening/functions.o flattening/bv_minimize.o flattening/boolbv_width.o flattening/boolbv.o flattening/boolbv_constraint_select_one.o flattening/bv_pointers.o flattening/bv_utils.o flattening/boolbv_abs.o flattening/boolbv_with.o flattening/boolbv_typecast.o flattening/boolbv_index.o flattening/boolbv_member.o flattening/boolbv_if.o flattening/boolbv_byte_extract.o flattening/boolbv_add_sub.o flattening/boolbv_mult.o flattening/boolbv_constant.o flattening/boolbv_extractbit.o flattening/boolbv_bv_rel.o flattening/boolbv_shift.o flattening/boolbv_case.o flattening/boolbv_cond.o flattening/boolbv_concatenation.o flattening/boolbv_div.o flattening/boolbv_mod.o flattening/boolbv_extractbits.o flattening/boolbv_replication.o flattening/boolbv_reduction.o flattening/boolbv_overflow.o flattening/boolbv_get.o flattening/boolbv_bitwise.o flattening/boolbv_equality.o flattening/boolbv_unary_minus.o flattening/boolbv_ieee_float_rel.o flattening/pointer_logic.o flattening/boolbv_quantifier.o flattening/boolbv_struct.o flattening/boolbv_byte_update.o flattening/boolbv_array_of.o flattening/boolbv_map.o flattening/boolbv_type.o flattening/boolbv_array.o flattening/boolbv_vector.o flattening/boolbv_complex.o flattening/boolbv_floatbv_op.o flattening/boolbv_union.o flattening/flatten_byte_operators.o flattening/boolbv_update.o floatbv/float_utils.o floatbv/float_bv.o
make[3]: Leaving directory `/«PKGBUILDDIR»/src/solvers'
## Entering goto-symex
/usr/bin/make  -C goto-symex
make[3]: Entering directory `/«PKGBUILDDIR»/src/goto-symex'
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o symex_target.o symex_target.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o symex_target_equation.o symex_target_equation.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o goto_symex.o goto_symex.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o symex_main.o symex_main.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o goto_trace.o goto_trace.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o build_goto_trace.o build_goto_trace.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o symex_function_call.o symex_function_call.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o goto_symex_state.o goto_symex_state.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o symex_dereference.o symex_dereference.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o symex_goto.o symex_goto.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o symex_builtin_functions.o symex_builtin_functions.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o slice.o slice.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o symex_other.o symex_other.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o slice_by_trace.o slice_by_trace.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o xml_goto_trace.o xml_goto_trace.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o symex_decl.o symex_decl.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o symex_dead.o symex_dead.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o precondition.o precondition.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o postcondition.o postcondition.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o symex_clean_expr.o symex_clean_expr.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o symex_dereference_state.o symex_dereference_state.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o vcd_goto_trace.o vcd_goto_trace.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o auto_objects.o auto_objects.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o symex_catch.o symex_catch.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o symex_start_thread.o symex_start_thread.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o symex_assign.o symex_assign.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o symex_throw.o symex_throw.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o symex_atomic_section.o symex_atomic_section.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o memory_model.o memory_model.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o memory_model_sc.o memory_model_sc.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o partial_order_concurrency.o partial_order_concurrency.cpp
ld -r -o goto-symex.a symex_target.o symex_target_equation.o goto_symex.o symex_main.o goto_trace.o build_goto_trace.o symex_function_call.o goto_symex_state.o symex_dereference.o symex_goto.o symex_builtin_functions.o slice.o symex_other.o slice_by_trace.o xml_goto_trace.o symex_decl.o symex_dead.o precondition.o postcondition.o symex_clean_expr.o symex_dereference_state.o vcd_goto_trace.o auto_objects.o symex_catch.o symex_start_thread.o symex_assign.o symex_throw.o symex_atomic_section.o memory_model.o memory_model_sc.o partial_order_concurrency.o
make[3]: Leaving directory `/«PKGBUILDDIR»/src/goto-symex'
## Entering analyses
/usr/bin/make  -C analyses
make[3]: Entering directory `/«PKGBUILDDIR»/src/analyses'
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o natural_loops.o natural_loops.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o is_threaded.o is_threaded.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o dirty.o dirty.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o interval_analysis.o interval_analysis.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o invariant_set.o invariant_set.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o invariant_set_domain.o invariant_set_domain.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o invariant_propagation.o invariant_propagation.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o static_analysis.o static_analysis.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o uninitialized_domain.o uninitialized_domain.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o local_may_alias.o local_may_alias.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o locals.o locals.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o goto_check.o goto_check.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o call_graph.o call_graph.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o interval_domain.o interval_domain.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o reaching_definitions.o reaching_definitions.cpp
ld -r -o analyses.a natural_loops.o is_threaded.o dirty.o interval_analysis.o invariant_set.o invariant_set_domain.o invariant_propagation.o static_analysis.o uninitialized_domain.o local_may_alias.o locals.o goto_check.o call_graph.o interval_domain.o reaching_definitions.o
make[3]: Leaving directory `/«PKGBUILDDIR»/src/analyses'
## Entering pointer-analysis
/usr/bin/make  -C pointer-analysis
make[3]: Entering directory `/«PKGBUILDDIR»/src/pointer-analysis'
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o value_set.o value_set.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o goto_program_dereference.o goto_program_dereference.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o value_set_analysis.o value_set_analysis.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o dereference.o dereference.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o pointer_offset_sum.o pointer_offset_sum.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o add_failed_symbols.o add_failed_symbols.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o show_value_sets.o show_value_sets.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o value_set_domain.o value_set_domain.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o rewrite_index.o rewrite_index.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o value_set_analysis_fi.o value_set_analysis_fi.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o value_set_fi.o value_set_fi.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o value_set_domain_fi.o value_set_domain_fi.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o value_set_analysis_fivr.o value_set_analysis_fivr.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o value_set_fivr.o value_set_fivr.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o value_set_domain_fivr.o value_set_domain_fivr.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o value_set_analysis_fivrns.o value_set_analysis_fivrns.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o value_set_fivrns.o value_set_fivrns.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o value_set_domain_fivrns.o value_set_domain_fivrns.cpp
ld -r -o pointer-analysis.a value_set.o goto_program_dereference.o value_set_analysis.o dereference.o pointer_offset_sum.o add_failed_symbols.o show_value_sets.o value_set_domain.o rewrite_index.o value_set_analysis_fi.o value_set_fi.o value_set_domain_fi.o value_set_analysis_fivr.o value_set_fivr.o value_set_domain_fivr.o value_set_analysis_fivrns.o value_set_fivrns.o value_set_domain_fivrns.o
make[3]: Leaving directory `/«PKGBUILDDIR»/src/pointer-analysis'
## Entering goto-programs
/usr/bin/make  -C goto-programs
make[3]: Entering directory `/«PKGBUILDDIR»/src/goto-programs'
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o goto_convert.o goto_convert.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o goto_convert_function_call.o goto_convert_function_call.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o goto_convert_side_effect.o goto_convert_side_effect.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o goto_program.o goto_program.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o basic_blocks.o basic_blocks.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o goto_convert_exceptions.o goto_convert_exceptions.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o remove_function_pointers.o remove_function_pointers.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o goto_functions.o goto_functions.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o goto_inline.o goto_inline.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o remove_skip.o remove_skip.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o goto_convert_functions.o goto_convert_functions.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o string_instrumentation.o string_instrumentation.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o builtin_functions.o builtin_functions.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o show_claims.o show_claims.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o destructor.o destructor.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o set_claims.o set_claims.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o reachability_slicer.o reachability_slicer.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o read_goto_binary.o read_goto_binary.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o goto_asm.o goto_asm.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o elf_reader.o elf_reader.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o string_abstraction.o string_abstraction.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o goto_program_serialization.o goto_program_serialization.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o goto_function_serialization.o goto_function_serialization.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o read_bin_goto_object.o read_bin_goto_object.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o goto_program_irep.o goto_program_irep.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o interpreter.o interpreter.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o interpreter_evaluate.o interpreter_evaluate.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o flow_insensitive_analysis.o flow_insensitive_analysis.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o format_strings.o format_strings.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o loop_ids.o loop_ids.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o pointer_arithmetic.o pointer_arithmetic.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o goto_program_template.o goto_program_template.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o write_goto_binary.o write_goto_binary.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o remove_unreachable.o remove_unreachable.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o remove_unused_functions.o remove_unused_functions.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o wp.o wp.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o goto_rw.o goto_rw.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o goto_clean_expr.o goto_clean_expr.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o safety_checker.o safety_checker.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o compute_called_functions.o compute_called_functions.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o link_to_library.o link_to_library.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o remove_return_values.o remove_return_values.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o osx_fat_reader.o osx_fat_reader.cpp
ld -r -o goto-programs.a goto_convert.o goto_convert_function_call.o goto_convert_side_effect.o goto_program.o basic_blocks.o goto_convert_exceptions.o remove_function_pointers.o goto_functions.o goto_inline.o remove_skip.o goto_convert_functions.o string_instrumentation.o builtin_functions.o show_claims.o destructor.o set_claims.o reachability_slicer.o read_goto_binary.o goto_asm.o elf_reader.o string_abstraction.o goto_program_serialization.o goto_function_serialization.o read_bin_goto_object.o goto_program_irep.o interpreter.o interpreter_evaluate.o flow_insensitive_analysis.o format_strings.o loop_ids.o pointer_arithmetic.o goto_program_template.o write_goto_binary.o remove_unreachable.o remove_unused_functions.o wp.o goto_rw.o goto_clean_expr.o safety_checker.o compute_called_functions.o link_to_library.o remove_return_values.o osx_fat_reader.o
make[3]: Leaving directory `/«PKGBUILDDIR»/src/goto-programs'
## Entering linking
/usr/bin/make  -C linking
make[3]: Entering directory `/«PKGBUILDDIR»/src/linking'
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o linking.o linking.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o linking_type_eq.o linking_type_eq.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o zero_initializer.o zero_initializer.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o remove_internal_symbols.o remove_internal_symbols.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o entry_point.o entry_point.cpp
ld -r -o linking.a linking.o linking_type_eq.o zero_initializer.o remove_internal_symbols.o entry_point.o
make[3]: Leaving directory `/«PKGBUILDDIR»/src/linking'
## Entering cbmc
/usr/bin/make  -C cbmc
make[3]: Entering directory `/«PKGBUILDDIR»/src/cbmc'
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -DHAVE_JAVA_BYTECODE -o cbmc_main.o cbmc_main.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -DHAVE_JAVA_BYTECODE -o cbmc_parseoptions.o cbmc_parseoptions.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -DHAVE_JAVA_BYTECODE -o bmc.o bmc.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -DHAVE_JAVA_BYTECODE -o dimacs.o dimacs.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -DHAVE_JAVA_BYTECODE -o cbmc_languages.o cbmc_languages.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -DHAVE_JAVA_BYTECODE -o counterexample_beautification.o counterexample_beautification.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -DHAVE_JAVA_BYTECODE -o bv_cbmc.o bv_cbmc.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -DHAVE_JAVA_BYTECODE -o symex_bmc.o symex_bmc.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -DHAVE_JAVA_BYTECODE -o show_vcc.o show_vcc.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -DHAVE_JAVA_BYTECODE -o cbmc_solvers.o cbmc_solvers.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -DHAVE_JAVA_BYTECODE -o xml_interface.o xml_interface.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -DHAVE_JAVA_BYTECODE -o cover.o cover.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -DHAVE_JAVA_BYTECODE -o all_claims.o all_claims.cpp
g++  -o cbmc ../ansi-c/ansi-c.a ../linking/linking.a ../big-int/big-int.a ../goto-programs/goto-programs.a ../goto-symex/goto-symex.a ../pointer-analysis/value_set.o ../pointer-analysis/dereference.o ../pointer-analysis/add_failed_symbols.o ../pointer-analysis/rewrite_index.o ../pointer-analysis/goto_program_dereference.o ../analyses/analyses.a ../langapi/langapi.a ../xmllang/xmllang.a ../assembler/assembler.a ../solvers/solvers.a ../util/util.a cbmc_main.o cbmc_parseoptions.o bmc.o dimacs.o cbmc_languages.o counterexample_beautification.o bv_cbmc.o symex_bmc.o show_vcc.o cbmc_solvers.o xml_interface.o cover.o all_claims.o ../cpp/cpp.a ../java_bytecode/java_bytecode.a -lminisat
make[3]: Leaving directory `/«PKGBUILDDIR»/src/cbmc'
## Entering goto-cc
/usr/bin/make  -C goto-cc
make[3]: Entering directory `/«PKGBUILDDIR»/src/goto-cc'
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -D HAVE_CPP -o goto_cc_main.o goto_cc_main.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -D HAVE_CPP -o goto_cc_mode.o goto_cc_mode.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -D HAVE_CPP -o gcc_mode.o gcc_mode.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -D HAVE_CPP -o get_base_name.o get_base_name.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -D HAVE_CPP -o gcc_cmdline.o gcc_cmdline.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -D HAVE_CPP -o ms_cl_cmdline.o ms_cl_cmdline.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -D HAVE_CPP -o ld_cmdline.o ld_cmdline.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -D HAVE_CPP -o compile.o compile.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -D HAVE_CPP -o armcc_cmdline.o armcc_cmdline.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -D HAVE_CPP -o run.o run.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -D HAVE_CPP -o goto_cc_languages.o goto_cc_languages.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -D HAVE_CPP -o goto_cc_cmdline.o goto_cc_cmdline.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -D HAVE_CPP -o ms_cl_mode.o ms_cl_mode.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -D HAVE_CPP -o armcc_mode.o armcc_mode.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -D HAVE_CPP -o cw_mode.o cw_mode.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -D HAVE_CPP -o ld_mode.o ld_mode.cpp
g++  -o goto-cc ../big-int/big-int.a ../goto-programs/goto-programs.a ../util/util.a ../linking/linking.a ../ansi-c/ansi-c.a ../xmllang/xmllang.a ../assembler/assembler.a ../langapi/langapi.a goto_cc_main.o goto_cc_mode.o gcc_mode.o get_base_name.o gcc_cmdline.o ms_cl_cmdline.o ld_cmdline.o compile.o armcc_cmdline.o run.o goto_cc_languages.o goto_cc_cmdline.o ms_cl_mode.o armcc_mode.o cw_mode.o ld_mode.o ../cpp/cpp.a 
make[3]: Leaving directory `/«PKGBUILDDIR»/src/goto-cc'
## Entering goto-instrument
/usr/bin/make  -C goto-instrument
make[3]: Entering directory `/«PKGBUILDDIR»/src/goto-instrument'
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o goto_instrument_main.o goto_instrument_main.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o goto_instrument_parseoptions.o goto_instrument_parseoptions.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o document_claims.o document_claims.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o goto_instrument_languages.o goto_instrument_languages.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o uninitialized.o uninitialized.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o full_slicer.o full_slicer.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o k_induction.o k_induction.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o object_id.o object_id.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o show_locations.o show_locations.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o points_to.o points_to.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o alignment_checks.o alignment_checks.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o race_check.o race_check.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o rw_set.o rw_set.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o nondet_volatile.o nondet_volatile.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o interrupt.o interrupt.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o function.o function.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o branch.o branch.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o mmio.o mmio.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o stack_depth.o stack_depth.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o nondet_static.o nondet_static.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o concurrency.o concurrency.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o dump_c.o dump_c.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o dot.o dot.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o havoc_loops.o havoc_loops.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o wmm/weak_memory.o wmm/weak_memory.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o wmm/fence.o wmm/fence.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o wmm/event_graph.o wmm/event_graph.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o wmm/goto2graph.o wmm/goto2graph.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o wmm/data_dp.o wmm/data_dp.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o wmm/abstract_event.o wmm/abstract_event.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o wmm/instrumenter_strategies.o wmm/instrumenter_strategies.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o wmm/cycle_collection.o wmm/cycle_collection.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o call_sequences.o call_sequences.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o unwind.o unwind.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o accelerate/accelerate.o accelerate/accelerate.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o accelerate/polynomial.o accelerate/polynomial.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o accelerate/scratch_program.o accelerate/scratch_program.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o accelerate/polynomial_accelerator.o accelerate/polynomial_accelerator.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o accelerate/util.o accelerate/util.cpp
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -DHAVE_CPP -o count_eloc.o count_eloc.cpp
g++  -o goto-instrument ../ansi-c/ansi-c.a ../linking/linking.a ../big-int/big-int.a ../goto-programs/goto-programs.a ../goto-symex/goto-symex.a ../assembler/assembler.a ../pointer-analysis/pointer-analysis.a ../analyses/analyses.a ../langapi/langapi.a ../util/util.a ../solvers/solvers.a goto_instrument_main.o goto_instrument_parseoptions.o document_claims.o goto_instrument_languages.o uninitialized.o full_slicer.o k_induction.o object_id.o show_locations.o points_to.o alignment_checks.o race_check.o rw_set.o nondet_volatile.o interrupt.o function.o branch.o mmio.o stack_depth.o nondet_static.o concurrency.o dump_c.o dot.o havoc_loops.o wmm/weak_memory.o wmm/fence.o wmm/event_graph.o wmm/goto2graph.o wmm/data_dp.o wmm/abstract_event.o wmm/instrumenter_strategies.o wmm/cycle_collection.o call_sequences.o unwind.o accelerate/accelerate.o accelerate/polynomial.o accelerate/scratch_program.o accelerate/polynomial_accelerator.o accelerate/util.o count_eloc.o ../cpp/cpp.a -lminisat
make[3]: Leaving directory `/«PKGBUILDDIR»/src/goto-instrument'
make[2]: Leaving directory `/«PKGBUILDDIR»/src'
make[1]: Leaving directory `/«PKGBUILDDIR»'
   debian/rules override_dh_auto_test
make[1]: Entering directory `/«PKGBUILDDIR»'
cd regression/ansi-c ; \
		if ! ../test.pl -c ../../../src/goto-cc/goto-cc ; then \
		  ../../debian/failed-tests-printer.pl ; \
			exit 1 ; \
		fi
Loading
  58 tests found

Running tests
  Running Assignment_to_typecast1  [OK]
  Running Builtins1  [OK]
  Running Defines1  [OK]
  Running Empty_Declaration1  [OK]
  Running Forward_Declaration1  [OK]
  Running Forward_Declaration2  [OK]
  Running Function_parameters1  [OK]
  Running Incomplete_Type1  [OK]
  Running Initializer_cast1  [OK]
  Running Lvalue1  [OK]
  Running MMX1  [OK]
  Running MMX2  [OK]
  Running Multiple  [OK]
  Running Qualifiers1  [OK]
  Running Recursive_Structure1  [OK]
  Running Struct_Bitfields1  [OK]
  Running Struct_Hierarchy1  [OK]
  Running Struct_Padding2  [OK]
  Running Struct_Padding3  [OK]
  Running Struct_Padding4  [OK]
  Running Struct_Padding5  [OK]
  Running Transparent_union1  [OK]
  Running Typecast_to_union1  [OK]
  Running Union_Initialization1  [OK]
  Running VS_extensions1  [OK]
  Running Zero_Initialization1  [OK]
  Running _Alignof1  [OK]
  Running _Bool1  [OK]
  Running _Generic1  [OK]
  Running _Static_assert1  [OK]
  Running arithmetic_right_shift1  [OK]
  Running asm1  [OK]
  Running asm2  [OK]
  Running character_literals1  [OK]
  Running envp1  [OK]
  Running extern1  [OK]
  Running extern2  [OK]
  Running float_constant1  [OK]
  Running for_scope1  [OK]
  Running gcc_attributes1  [SKIPPED]
  Running gcc_attributes2  [OK]
  Running gcc_types_compatible_p1  [OK]
  Running integer_constant1  [OK]
  Running integer_constant2  [OK]
  Running return_void  [OK]
  Running sizeof1  [OK]
  Running sizeof2  [OK]
  Running sizeof3  [OK]
  Running struct2  [OK]
  Running struct5  [OK]
  Running switch1  [OK]
  Running typedef1  [OK]
  Running typedef_code  [OK]
  Running typeof1  [OK]
  Running windows_h_VS_2005  [OK]
  Running windows_h_VS_2008  [OK]
  Running windows_h_VS_2010  [OK]
  Running windows_h_VS_2012  [OK]

All tests were successful, 1 test skipped
cd regression/cpp ; \
		if ! ../test.pl -c ../../../src/goto-cc/goto-cc ; then \
		  ../../debian/failed-tests-printer.pl ; \
			exit 1 ; \
		fi
Loading
  46 tests found

Running tests
  Running Address_of_Method2  [OK]
  Running Address_of_Method3  [OK]
  Running Constant1  [OK]
  Running Constant2  [OK]
  Running Constant3  [OK]
  Running Constant4  [OK]
  Running Friend2  [OK]
  Running Function_Bodies1  [OK]
  Running Function_Overloading1  [OK]
  Running Function_Overloading2  [OK]
  Running Method_qualifier1  [OK]
  Running ModeC1  [OK]
  Running ModeC2  [OK]
  Running Pointer_Conversion1  [OK]
  Running Resolver1  [OK]
  Running Resolver10  [OK]
  Running Resolver11  [OK]
  Running Resolver12  [OK]
  Running Resolver2  [OK]
  Running Resolver3  [OK]
  Running Resolver4  [OK]
  Running Scope1  [OK]
  Running Templates1  [OK]
  Running Templates2  [OK]
  Running Templates7  [OK]
  Running bitwise_and1  [OK]
  Running enum1  [OK]
  Running enum2  [OK]
  Running enum3  [SKIPPED]
  Running enum4  [OK]
  Running enum5  [SKIPPED]
  Running enum6  [OK]
  Running lvalue1  [OK]
  Running namespace4  [OK]
  Running sizeof1  [OK]
  Running sizeof2  [OK]
  Running static_assert1  [OK]
  Running typecast_ambiguity1  [OK]
  Running typecast_ambiguity2  [OK]
  Running union3  [OK]
  Running union4  [OK]
  Running union5  [OK]
  Running windows_h_VS_2005  [OK]
  Running windows_h_VS_2008  [OK]
  Running windows_h_VS_2010  [OK]
  Running windows_h_VS_2012  [OK]

All tests were successful, 2 tests skipped
cd regression/cbmc ; \
		if ! ../test.pl -c ../../../src/cbmc/cbmc ; then \
		  ../../debian/failed-tests-printer.pl ; \
			exit 1 ; \
		fi
Loading
  225 tests found

Running tests
  Running ASHR1  [OK]
  Running Address_of1  [OK]
  Running Anonymous_Struct1  [OK]
  Running Anonymous_Struct2  [OK]
  Running Anonymous_Struct3  [OK]
  Running Array_Initialization1  [OK]
  Running Array_Initialization2  [OK]
  Running Array_Initialization3  [OK]
  Running BV_Arithmetic1  [OK]
  Running BV_Arithmetic2  [OK]
  Running BV_Arithmetic3  [OK]
  Running BV_Arithmetic4  [OK]
  Running BV_Arithmetic5  [OK]
  Running BV_Arithmetic6  [OK]
  Running Bitfields1  [OK]
  Running Bool1  [OK]
  Running Boolean_Guards1  [OK]
  Running Computed-Goto1  [OK]
  Running Division1  [OK]
  Running Division2  [OK]
  Running Ellipsis1  [OK]
  Running Endianness1  [OK]
  Running Endianness2  [OK]
  Running Endianness3  [OK]
  Running Endianness4  [OK]
  Running Endianness5  [OK]
  Running Endianness6  [OK]
  Running Error_Label1  [OK]
  Running Exceptions1  [OK]
  Running Failing_Assert1  [OK]
  Running Fixedbv1  [OK]
  Running Fixedbv2  [OK]
  Running Fixedbv3  [OK]
  Running Fixedbv4  [OK]
  Running Fixedbv5  [OK]
  Running Fixedbv6  [OK]
  Running Fixedbv7  [OK]
  Running Float-Rounding1  [SKIPPED]
  Running Float-flags-no-simp1  [OK]
  Running Float-flags-simp1  [OK]
  Running Float-no-simp1  [OK]
  Running Float-no-simp2  [OK]
  Running Float-no-simp3  [OK]
  Running Float-no-simp4  [OK]
  Running Float-no-simp5  [OK]
  Running Float1  [OK]
  Running Float11  [OK]
  Running Float12  [OK]
  Running Float13  [OK]
  Running Float14  [OK]
  Running Float18  [OK]
  Running Float2  [OK]
  Running Float3  [OK]
  Running Float4  [OK]
  Running Float5  [OK]
  Running Float6  [OK]
  Running Float7  [OK]
  Running Float8  [OK]
  Running Float_lib1  [OK]
  Running Free1  [OK]
  Running Free2  [OK]
  Running Free3  [OK]
  Running Free4  [OK]
  Running Function-KnR1  [OK]
  Running Function1  [OK]
  Running Function10  [OK]
  Running Function11  [OK]
  Running Function12  [OK]
  Running Function2  [OK]
  Running Function3  [OK]
  Running Function4  [OK]
  Running Function5  [OK]
  Running Function6  [OK]
  Running Function7  [OK]
  Running Function8  [OK]
  Running Function9  [OK]
  Running Function_Parameters1  [OK]
  Running Function_Pointer1  [OK]
  Running Function_Pointer10  [OK]
  Running Function_Pointer11  [OK]
  Running Function_Pointer12  [OK]
  Running Function_Pointer13  [OK]
  Running Function_Pointer14  [OK]
  Running Function_Pointer15  [OK]
  Running Function_Pointer16  [OK]
  Running Function_Pointer2  [OK]
  Running Function_Pointer3  [OK]
  Running Function_Pointer4  [OK]
  Running Function_Pointer5  [OK]
  Running Function_Pointer6  [OK]
  Running Function_Pointer7  [OK]
  Running Function_Pointer8  [OK]
  Running Function_Pointer9  [OK]
  Running Global_Initialization1  [OK]
  Running Initialization1  [OK]
  Running Initialization2  [OK]
  Running Linking1  [OK]
  Running Linking2  [OK]
  Running Linking3  [OK]
  Running Linking4  [OK]
  Running Local_out_of_scope1  [SKIPPED]
  Running Mod1  [OK]
  Running Mod2  [OK]
  Running Multi_Dimensional_Array1  [OK]
  Running Multi_Dimensional_Array2  [OK]
  Running Multi_Dimensional_Array3  [OK]
  Running Multi_Dimensional_Array4  [OK]
  Running Multi_Dimensional_Array5  [OK]
  Running Negation1  [OK]
  Running Overflow_Addition1  [OK]
  Running Overflow_Multiplication1  [OK]
  Running Pointer_Arithmetic1  [OK]
  Running Pointer_Arithmetic10  [OK]
  Running Pointer_Arithmetic11  [OK]
  Running Pointer_Arithmetic2  [OK]
  Running Pointer_Arithmetic3  [OK]
  Running Pointer_Arithmetic4  [OK]
  Running Pointer_Arithmetic5  [OK]
  Running Pointer_Arithmetic6  [OK]
  Running Pointer_Arithmetic7  [OK]
  Running Pointer_Arithmetic8  [OK]
  Running Pointer_Arithmetic9  [OK]
  Running Pointer_byte_extract1  [OK]
  Running Pointer_difference1  [OK]
  Running Promotion1  [OK]
  Running Promotion2  [OK]
  Running Recursion1  [OK]
  Running Recursion2  [OK]
  Running Recursion3  [OK]
  Running Recursion4  [OK]
  Running Sideeffects1  [OK]
  Running Sideeffects2  [OK]
  Running Sideeffects3  [OK]
  Running Sideeffects4  [OK]
  Running Sideeffects5  [OK]
  Running Sideeffects6  [OK]
  Running Static2  [OK]
  Running Static_Functions1  [OK]
  Running String1  [OK]
  Running String2  [OK]
  Running String3  [SKIPPED]
  Running String4  [OK]
  Running String5  [OK]
  Running String6  [OK]
  Running String7  [OK]
  Running String_Literal1  [OK]
  Running Struct_Bytewise1  [OK]
  Running Struct_Bytewise2  [OK]
  Running Struct_Initialization1  [OK]
  Running Struct_Initialization10  [OK]
  Running Struct_Initialization2  [OK]
  Running Struct_Initialization3  [OK]
  Running Struct_Initialization4  [OK]
  Running Struct_Initialization5  [OK]
  Running Struct_Initialization6  [OK]
  Running Struct_Initialization7  [OK]
  Running Struct_Initialization8  [SKIPPED]
  Running Struct_Initialization9  [OK]
  Running Struct_Padding1  [OK]
  Running Typecast1  [OK]
  Running Undefined_Function1  [OK]
  Running Unwinding_Locality1  [OK]
  Running Visual_Studio_Types1  [OK]
  Running Visual_Studio_Types2  [OK]
  Running Zero_Initialization1  [OK]
  Running __func__1  [OK]
  Running abs1  [OK]
  Running argv1  [OK]
  Running character_handling1  [OK]
  Running complex1  [OK]
  Running const_ptr1  [OK]
  Running enum1  [OK]
  Running enum2  [OK]
  Running enum3  [OK]
  Running exit1  [OK]
  Running extern_initialization1  [OK]
  Running extern_initialization2  [OK]
  Running for-break1  [OK]
  Running for1  [OK]
  Running for2  [OK]
  Running for3  [OK]
  Running function_option1  [OK]
  Running gcc_conditional_expr1  [OK]
  Running gcc_local_label1  [OK]
  Running gcc_statement_expression1  [OK]
  Running gcc_statement_expression2  [OK]
  Running gcc_statement_expression3  [OK]
  Running gcc_vector1  [OK]
  Running goto1  [OK]
  Running goto2  [OK]
  Running goto3  [OK]
  Running goto4  [OK]
  Running if1  [OK]
  Running if2  [OK]
  Running if3  [OK]
  Running if4  [OK]
  Running inline1  [OK]
  Running noop1  [OK]
  Running offsetof1  [OK]
  Running pipe1  [OK]
  Running return1  [OK]
  Running return3  [OK]
  Running return4  [OK]
  Running return5  [OK]
  Running struct1  [OK]
  Running struct3  [OK]
  Running struct4  [OK]
  Running struct6  [OK]
  Running struct7  [OK]
  Running struct8  [OK]
  Running switch1  [OK]
  Running switch2  [OK]
  Running switch3  [OK]
  Running switch4  [OK]
  Running switch5  [OK]
  Running switch6  [OK]
  Running union1  [OK]
  Running union2  [OK]
  Running union3  [OK]
  Running union4  [OK]
  Running unsigned_char1  [OK]
  Running va_list1  [OK]
  Running va_list2  [SKIPPED]
  Running void_ifthenelse  [OK]
  Running while1  [OK]

All tests were successful, 5 tests skipped
cd regression/cbmc-concurrency ; \
		if ! ../test.pl -c ../../../src/cbmc/cbmc ; then \
		  ../../debian/failed-tests-printer.pl ; \
			exit 1 ; \
		fi
Loading
  20 tests found

Running tests
  Running assume1  [OK]
  Running assume2  [OK]
  Running atomic_section_sc1  [OK]
  Running atomic_section_sc2  [OK]
  Running conditional_spawn1  [OK]
  Running if1  [OK]
  Running malloc1  [OK]
  Running mutex1  [OK]
  Running mutex2  [OK]
  Running pthread_join1  [OK]
  Running sc1  [OK]
  Running sc2  [OK]
  Running sc3  [OK]
  Running sc4  [OK]
  Running sc5  [OK]
  Running sc6  [OK]
  Running sc7  [OK]
  Running sc8  [OK]
  Running svcomp13_fib_bench_longer_safe  [OK]
  Running svcomp13_fib_bench_longer_unsafe  [OK]

All tests were successful
make[1]: Leaving directory `/«PKGBUILDDIR»'
 fakeroot debian/rules binary-arch
dh binary-arch --parallel
   dh_testroot -a -O--parallel
   dh_prep -a -O--parallel
   dh_installdirs -a -O--parallel
   dh_auto_install -a -O--parallel
   dh_install -a -O--parallel
   dh_installdocs -a -O--parallel
   dh_installchangelogs -a -O--parallel
   dh_installman -a -O--parallel
   dh_perl -a -O--parallel
   dh_link -a -O--parallel
   dh_compress -a -O--parallel
   dh_fixperms -a -O--parallel
   dh_strip -a -O--parallel
   dh_makeshlibs -a -O--parallel
   dh_shlibdeps -a -O--parallel
   dh_installdeb -a -O--parallel
   dh_gencontrol -a -O--parallel
dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe
   dh_md5sums -a -O--parallel
   dh_builddeb -a -O--parallel
dpkg-deb: building package `cbmc' in `../cbmc_4.4-2_armhf.deb'.
 dpkg-genchanges -B -mRaspbian nitrogen6x test autobuilder <root@raspbian.org> >../cbmc_4.4-2_armhf.changes
dpkg-genchanges: arch-specific upload - not including arch-independent packages
dpkg-genchanges: binary-only upload - not including any source code
 dpkg-source --after-build cbmc-4.4
dpkg-buildpackage: binary only upload (no source included)
────────────────────────────────────────────────────────────────────────────────
Build finished at 20130815-0208

Finished
────────

I: Built successfully

┌──────────────────────────────────────────────────────────────────────────────┐
│ Changes                                                                      │
└──────────────────────────────────────────────────────────────────────────────┘


cbmc_4.4-2_armhf.changes:
─────────────────────────

Format: 1.8
Date: Wed, 10 Jul 2013 22:56:58 +0100
Source: cbmc
Binary: cbmc
Architecture: armhf
Version: 4.4-2
Distribution: jessie-staging
Urgency: low
Maintainer: Raspbian nitrogen6x test autobuilder <root@raspbian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description: 
 cbmc       - bounded model checker for C and C++ programs
Changes: 
 cbmc (4.4-2) unstable; urgency=low
 .
   * armhf requires __ARM_PCS_VFP to be defined
Checksums-Sha1: 
 26df1819800cb1a6b7d0b33880eccd5f38e3184e 5047750 cbmc_4.4-2_armhf.deb
Checksums-Sha256: 
 d87b62500c2a9e95565e806cada746bb7ad6484b51621f3e6a205f3667c743a0 5047750 cbmc_4.4-2_armhf.deb
Files: 
 3813e390ed9c7c3e57126edd151a4fcf 5047750 science extra cbmc_4.4-2_armhf.deb

┌──────────────────────────────────────────────────────────────────────────────┐
│ Package contents                                                             │
└──────────────────────────────────────────────────────────────────────────────┘


cbmc_4.4-2_armhf.deb
────────────────────

 new debian package, version 2.0.
 size 5047750 bytes: control archive=732 bytes.
     495 bytes,    13 lines      control              
     420 bytes,     7 lines      md5sums              
 Package: cbmc
 Version: 4.4-2
 Architecture: armhf
 Maintainer: Michael Tautschnig <mt@debian.org>
 Installed-Size: 11169
 Depends: gcc, libc6 (>= 2.4), libgcc1 (>= 1:4.4.0), libstdc++6 (>= 4.6), minisat
 Section: science
 Priority: extra
 Homepage: http://www.cprover.org/cbmc/
 Description: bounded model checker for C and C++ programs
  CBMC generates traces that demonstrate how an assertion can be violated, or
  proves that the assertion cannot be violated within a given number of loop
  iterations.

drwxr-xr-x root/root         0 2013-08-15 02:07 ./
drwxr-xr-x root/root         0 2013-08-15 02:07 ./usr/
drwxr-xr-x root/root         0 2013-08-15 02:07 ./usr/bin/
-rwxr-xr-x root/root   4152460 2013-08-15 02:07 ./usr/bin/cbmc
-rwxr-xr-x root/root   2643772 2013-08-15 02:07 ./usr/bin/goto-cc
-rwxr-xr-x root/root   4631728 2013-08-15 02:07 ./usr/bin/goto-instrument
drwxr-xr-x root/root         0 2013-08-15 02:07 ./usr/share/
drwxr-xr-x root/root         0 2013-08-15 02:07 ./usr/share/doc/
drwxr-xr-x root/root         0 2013-08-15 02:07 ./usr/share/doc/cbmc/
-rw-r--r-- root/root      2809 2012-09-19 11:17 ./usr/share/doc/cbmc/copyright
-rw-r--r-- root/root      1674 2013-07-10 21:57 ./usr/share/doc/cbmc/changelog.Debian.gz
-rw-r--r-- root/root       954 2013-01-13 12:31 ./usr/share/doc/cbmc/changelog.gz
drwxr-xr-x root/root         0 2013-08-15 02:07 ./usr/share/man/
drwxr-xr-x root/root         0 2013-08-15 02:07 ./usr/share/man/man1/
-rw-r--r-- root/root      2616 2013-08-15 02:07 ./usr/share/man/man1/cbmc.1.gz
lrwxrwxrwx root/root         0 2013-08-15 02:07 ./usr/share/man/man1/goto-instrument.1.gz -> cbmc.1.gz
lrwxrwxrwx root/root         0 2013-08-15 02:07 ./usr/share/man/man1/goto-cc.1.gz -> cbmc.1.gz


┌──────────────────────────────────────────────────────────────────────────────┐
│ Post Build                                                                   │
└──────────────────────────────────────────────────────────────────────────────┘


┌──────────────────────────────────────────────────────────────────────────────┐
│ Cleanup                                                                      │
└──────────────────────────────────────────────────────────────────────────────┘

Purging /«BUILDDIR»
Not cleaning session: cloned chroot in use

┌──────────────────────────────────────────────────────────────────────────────┐
│ Summary                                                                      │
└──────────────────────────────────────────────────────────────────────────────┘

Build Architecture: armhf
Build-Space: 780904
Build-Time: 5935
Distribution: jessie-staging
Host Architecture: armhf
Install-Time: 197
Job: cbmc_4.4-2
Machine Architecture: armhf
Package: cbmc
Package-Time: 6322
Source-Version: 4.4-2
Space: 780904
Status: successful
Version: 4.4-2
────────────────────────────────────────────────────────────────────────────────
Finished at 20130815-0208
Build needed 01:45:22, 780904k disc space