sbuild (Debian sbuild) 0.62.6 (07 Dec 2011) on build01.raspbian.lan ╔══════════════════════════════════════════════════════════════════════════════╗ ║ cbmc 4.1-1.2 (armhf) 02 Jun 2012 08:38 ║ ╚══════════════════════════════════════════════════════════════════════════════╝ Package: cbmc Version: 4.1-1.2 Source Version: 4.1-1.2 Distribution: testing Architecture: armhf I: NOTICE: Log filtering will replace 'build/cbmc-cNnU86/cbmc-4.1' with '«PKGBUILDDIR»' I: NOTICE: Log filtering will replace 'build/cbmc-cNnU86' with '«BUILDDIR»' I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/testing-armhf-sbuild-964b0337-96b8-49f9-a441-351ad4857af1' with '«CHROOT»' ┌──────────────────────────────────────────────────────────────────────────────┐ │ Update chroot │ └──────────────────────────────────────────────────────────────────────────────┘ Hit http://repo.raspbian.lan testing InRelease Hit http://repo.raspbian.lan testing/main Sources Hit http://repo.raspbian.lan testing/main armhf Packages Ign http://repo.raspbian.lan testing/main Translation-en Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Fetch source files │ └──────────────────────────────────────────────────────────────────────────────┘ Check APT ───────── Checking available source versions... Download source files with APT ────────────────────────────── Reading package lists... Building dependency tree... Reading state information... Need to get 923 kB of source archives. Get:1 http://repo.raspbian.lan/raspbian/ testing/main cbmc 4.1-1.2 (dsc) [1706 B] Get:2 http://repo.raspbian.lan/raspbian/ testing/main cbmc 4.1-1.2 (tar) [917 kB] Get:3 http://repo.raspbian.lan/raspbian/ testing/main cbmc 4.1-1.2 (diff) [4930 B] Fetched 923 kB in 0s (3176 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-s4_spP/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 8 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 ... 10652 files and directories currently installed.) Unpacking sbuild-build-depends-core-dummy (from .../sbuild-build-depends-core-dummy.deb) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... Merged Build-Depends: libc6-dev | libc-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), debhelper (>= 9), minisat (>= 1:2.2.1-2), zlib1g-dev, flex, bison Filtered Build-Depends: 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-o_vsjg/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 html2text intltool-debian libbison-dev libcroco3 libffi5 libglib2.0-0 libmagic1 libpcre3 libpipeline1 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 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 html2text intltool-debian libbison-dev libcroco3 libffi5 libglib2.0-0 libmagic1 libpcre3 libpipeline1 libunistring0 libxml2 m4 man-db minisat po-debconf sbuild-build-depends-cbmc-dummy zlib1g-dev 0 upgraded, 25 newly installed, 0 to remove and 8 not upgraded. Need to get 129 kB/11.2 MB of archives. After this operation, 28.4 MB of additional disk space will be used. Get:1 http://repo.raspbian.lan/raspbian/ testing/main minisat armhf 1:2.2.1-3 [129 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 129 kB in 0s (1865 kB/s) Selecting previously unselected package libpcre3:armhf. (Reading database ... 10652 files and directories currently installed.) Unpacking libpcre3:armhf (from .../libpcre3_1%3a8.30-5_armhf.deb) ... Selecting previously unselected package libpipeline1:armhf. Unpacking libpipeline1:armhf (from .../libpipeline1_1.2.1-1_armhf.deb) ... Selecting previously unselected package libmagic1:armhf. Unpacking libmagic1:armhf (from .../libmagic1_5.11-1_armhf.deb) ... Selecting previously unselected package libxml2:armhf. Unpacking libxml2:armhf (from .../libxml2_2.7.8.dfsg-9.1_armhf.deb) ... Selecting previously unselected package m4. Unpacking m4 (from .../archives/m4_1.4.16-3_armhf.deb) ... Selecting previously unselected package flex. Unpacking flex (from .../flex_2.5.35-10_armhf.deb) ... Selecting previously unselected package libffi5:armhf. Unpacking libffi5:armhf (from .../libffi5_3.0.10-3+b3_armhf.deb) ... Selecting previously unselected package libglib2.0-0:armhf. Unpacking libglib2.0-0:armhf (from .../libglib2.0-0_2.32.3-1_armhf.deb) ... Selecting previously unselected package libcroco3:armhf. Unpacking libcroco3:armhf (from .../libcroco3_0.6.5-1_armhf.deb) ... Selecting previously unselected package libunistring0:armhf. Unpacking libunistring0:armhf (from .../libunistring0_0.9.3-5_armhf.deb) ... Selecting previously unselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_9.0.2_armhf.deb) ... Selecting previously unselected package groff-base. Unpacking groff-base (from .../groff-base_1.21-7_armhf.deb) ... Selecting previously unselected package man-db. Unpacking man-db (from .../man-db_2.6.1-2_armhf.deb) ... Selecting previously unselected package file. Unpacking file (from .../archives/file_5.11-1_armhf.deb) ... Selecting previously unselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.1.1-5+rpi1_armhf.deb) ... Selecting previously unselected package libbison-dev:armhf. Unpacking libbison-dev:armhf (from .../libbison-dev_1%3a2.5.dfsg-2.1_armhf.deb) ... Selecting previously unselected package bison. Unpacking bison (from .../bison_1%3a2.5.dfsg-2.1_armhf.deb) ... Selecting previously unselected package html2text. Unpacking html2text (from .../html2text_1.3.2a-15_armhf.deb) ... Selecting previously unselected package gettext. Unpacking gettext (from .../gettext_0.18.1.1-5+rpi1_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.20120419_all.deb) ... Selecting previously unselected package zlib1g-dev:armhf. Unpacking zlib1g-dev:armhf (from .../zlib1g-dev_1%3a1.2.7.dfsg-1_armhf.deb) ... Selecting previously unselected package minisat. Unpacking minisat (from .../minisat_1%3a2.2.1-3_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 libpcre3:armhf (1:8.30-5) ... Setting up libpipeline1:armhf (1.2.1-1) ... Setting up libmagic1:armhf (5.11-1) ... Setting up libxml2:armhf (2.7.8.dfsg-9.1) ... Setting up m4 (1.4.16-3) ... Setting up flex (2.5.35-10) ... Setting up libffi5:armhf (3.0.10-3+b3) ... Setting up libglib2.0-0:armhf (2.32.3-1) ... No schema files found: doing nothing. Setting up libcroco3:armhf (0.6.5-1) ... Setting up libunistring0:armhf (0.9.3-5) ... Setting up bsdmainutils (9.0.2) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode. update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode. Setting up groff-base (1.21-7) ... Setting up man-db (2.6.1-2) ... Building database of manual pages ... Setting up file (5.11-1) ... Setting up gettext-base (0.18.1.1-5+rpi1) ... Setting up libbison-dev:armhf (1:2.5.dfsg-2.1) ... Setting up bison (1:2.5.dfsg-2.1) ... update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode. Setting up html2text (1.3.2a-15) ... Setting up gettext (0.18.1.1-5+rpi1) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu2) ... Setting up debhelper (9.20120419) ... Setting up zlib1g-dev:armhf (1:1.2.7.dfsg-1) ... Setting up minisat (1:2.2.1-3) ... Setting up sbuild-build-depends-cbmc-dummy (0.invalid.0) ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build environment │ └──────────────────────────────────────────────────────────────────────────────┘ Kernel: Linux 3.2.0-2-mx5 armhf (armv7l) Toolchain package versions: binutils_2.22-6 dpkg-dev_1.16.3 g++-4.6_4.6.3-1.1+rpi2 gcc-4.6_4.6.3-1.1+rpi2 libc6-dev_2.13-32 libstdc++6_4.7.0-1.1+rpi libstdc++6-4.6-dev_4.6.3-1.1+rpi2 linux-libc-dev_3.2.12-1 Package versions: apt_0.9.3 base-files_6.7 base-passwd_3.5.24 bash_4.2-2 binutils_2.22-6 bison_1:2.5.dfsg-2.1 bsdmainutils_9.0.2 bsdutils_1:2.20.1-4 build-essential_11.5+b1 bzip2_1.0.6-1 coreutils_8.13-3.2 cpp_4:4.6.2-4 cpp-4.6_4.6.3-1.1+rpi2 dash_0.5.7-3 debconf_1.5.43 debfoster_2.7-1.1 debhelper_9.20120419 debian-archive-keyring_2012.3 debianutils_4.3 diffutils_1:3.2-6 dpkg_1.16.3 dpkg-dev_1.16.3 e2fslibs_1.42.2-2 e2fsprogs_1.42.2-2 fakeroot_1.18.3-1 file_5.11-1 findutils_4.4.2-4 flex_2.5.35-10 g++_4:4.6.2-4 g++-4.6_4.6.3-1.1+rpi2 gcc_4:4.6.2-4 gcc-4.4-base_4.4.7-1.1+rpi1 gcc-4.5-base_4.5.3-12+rpi1 gcc-4.6_4.6.3-1.1+rpi2 gcc-4.6-base_4.6.3-1.1+rpi2 gcc-4.7-base_4.7.0-1.1+rpi gettext_0.18.1.1-5+rpi1 gettext-base_0.18.1.1-5+rpi1 gnupg_1.4.12-4 gpgv_1.4.12-4 grep_2.12-2 groff-base_1.21-7 gzip_1.4-5 hostname_3.11 html2text_1.3.2a-15 initscripts_2.88dsf-22.1 insserv_1.14.0-3 intltool-debian_0.35.0+20060710.1 libacl1_2.2.51-7 libapt-pkg4.12_0.9.3+rpi1 libattr1_1:2.4.46-7 libbison-dev_1:2.5.dfsg-2.1 libblkid1_2.20.1-4 libbz2-1.0_1.0.6-1 libc-bin_2.13-32 libc-dev-bin_2.13-32 libc6_2.13-32 libc6-dev_2.13-32 libclass-isa-perl_0.36-3 libcomerr2_1.42.2-2 libcroco3_0.6.5-1 libdb5.1_5.1.29-1 libdpkg-perl_1.16.3 libffi5_3.0.10-3+b3 libfile-fcntllock-perl_0.14-1 libgc1c2_1:7.1-8 libgcc1_1:4.7.0-1.1+rpi libgdbm3_1.8.3-10 libglib2.0-0_2.32.3-1 libgmp10_2:5.0.5+dfsg-1.1 libgomp1_4.7.0-1.1+rpi liblocale-gettext-perl_1.05-7 liblzma5_5.1.1alpha+20110809-3 libmagic1_5.11-1 libmount1_2.20.1-4 libmpc2_0.9-4 libmpfr4_3.1.0-5 libncurses5_5.9-7 libncursesw5_5.9-7 libpam-modules_1.1.3-7.1 libpam-modules-bin_1.1.3-7.1 libpam-runtime_1.1.3-7.1 libpam0g_1.1.3-7.1 libpcre3_1:8.30-5 libpipeline1_1.2.1-1 libreadline6_6.2-8 libselinux1_2.1.9-2 libsemanage-common_2.1.6-2 libsemanage1_2.1.6-2 libsepol1_2.1.4-3 libslang2_2.2.4-10 libss2_1.42.2-2 libstdc++6_4.7.0-1.1+rpi libstdc++6-4.6-dev_4.6.3-1.1+rpi2 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-7 libunistring0_0.9.3-5 libusb-0.1-4_2:0.1.12-20 libustr-1.0-1_1.0.4-2 libuuid1_2.20.1-5 libxml2_2.7.8.dfsg-9.1 linux-libc-dev_3.2.12-1 login_1:4.1.5-1 lsb-base_4.1+Debian4 m4_1.4.16-3 make_3.81-8.2 man-db_2.6.1-2 mawk_1.3.3-17 minisat_1:2.2.1-3 mount_2.20.1-4 multiarch-support_2.13-32 ncurses-base_5.9-7 ncurses-bin_5.9-7 passwd_1:4.1.5-1 patch_2.6.1-3 perl_5.14.2-11 perl-base_5.14.2-11 perl-modules_5.14.2-11 po-debconf_1.0.16+nmu2 readline-common_6.2-8 sbuild-build-depends-cbmc-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.2.1-9 sensible-utils_0.0.7 sysv-rc_2.88dsf-22.1 sysvinit_2.88dsf-22.1 sysvinit-utils_2.88dsf-22.1 tar_1.26-4 tzdata_2012c-1 ucf_3.0025+nmu3 util-linux_2.20.1-4 xz-utils_5.1.1alpha+20110809-3 zlib1g_1:1.2.7.dfsg-1 zlib1g-dev_1:1.2.7.dfsg-1 ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build │ └──────────────────────────────────────────────────────────────────────────────┘ Unpack source ───────────── gpgv: keyblock resource `/sbuild-nonexistent/.gnupg/trustedkeys.gpg': file open error gpgv: Signature made Sun May 20 05:57:48 2012 UTC using RSA key ID 7FD863FE gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./cbmc_4.1-1.2.dsc dpkg-source: info: extracting cbmc in cbmc-4.1 dpkg-source: info: unpacking cbmc_4.1.orig.tar.gz dpkg-source: info: unpacking cbmc_4.1-1.2.debian.tar.gz dpkg-source: info: applying top-makefile dpkg-source: info: applying minisat-debian dpkg-source: info: applying fix-FTBFS-with-gcc-4.7.patch Check disc space ──────────────── Sufficient free space for build User Environment ──────────────── HOME=/sbuild-nonexistent LOGNAME=buildd PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/X11R6/bin:/usr/games SCHROOT_CHROOT_NAME=testing-armhf-sbuild SCHROOT_COMMAND=env SCHROOT_GID=108 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=testing-armhf-sbuild-964b0337-96b8-49f9-a441-351ad4857af1 SCHROOT_UID=106 SCHROOT_USER=buildd SHELL=/bin/sh USER=buildd dpkg-buildpackage ───────────────── dpkg-buildpackage: source package cbmc dpkg-buildpackage: source version 4.1-1.2 dpkg-source --before-build cbmc-4.1 dpkg-buildpackage: host architecture armhf fakeroot debian/rules clean dh clean --parallel dh_testdir -O--parallel dh_auto_clean -O--parallel make[1]: Entering directory `/«PKGBUILDDIR»' make -C src clean make[2]: Entering directory `/«PKGBUILDDIR»/src' if [ -e ansi-c/. ] ; then \ make -C ansi-c clean ; \ fi make[3]: Entering directory `/«PKGBUILDDIR»/src/ansi-c' rm -f c_typecast.o y.tab.o lex.yy.o ansi_c_parser.o expr2c.o ansi_c_language.o c_sizeof.o c_main.o c_types.o trans_unit.o ansi_c_typecheck.o c_link.o c_preprocess.o c_link_type_eq.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 internal_additions.o padding.o ansi_c_declaration.o designator.o concatenate_strings.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 y.tab.d lex.yy.d ansi_c_parser.d expr2c.d ansi_c_language.d c_sizeof.d c_main.d c_types.d trans_unit.d ansi_c_typecheck.d c_link.d c_preprocess.d c_link_type_eq.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 internal_additions.d padding.d ansi_c_declaration.d designator.d concatenate_strings.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 y.tab.h y.tab.cpp lex.yy.cpp y.tab.cpp.output y.output library/converter cprover_library.inc make[3]: Leaving directory `/«PKGBUILDDIR»/src/ansi-c' if [ -e big-int/. ] ; then \ make -C big-int clean ; \ fi make[3]: Entering directory `/«PKGBUILDDIR»/src/big-int' rm -f \ \ bigint-test.o bigint-func.o bigint.o \ bigint-test.d bigint-func.d bigint.d \ test-bigint make[3]: Leaving directory `/«PKGBUILDDIR»/src/big-int' if [ -e cbmc/. ] ; then \ make -C cbmc clean ; \ fi make[3]: Entering directory `/«PKGBUILDDIR»/src/cbmc' rm -f main.o parseoptions.o bmc.o dimacs.o languages.o bv_cbmc.o symex_bmc.o show_vcc.o cbmc_solvers.o xml_interface.o counterexample_beautification.o counterexample_beautification_greedy.o counterexample_beautification_pbs.o \ main.d parseoptions.d bmc.d dimacs.d languages.d bv_cbmc.d symex_bmc.d show_vcc.d cbmc_solvers.d xml_interface.d counterexample_beautification.d counterexample_beautification_greedy.d counterexample_beautification_pbs.d \ \ \ cbmc make[3]: Leaving directory `/«PKGBUILDDIR»/src/cbmc' if [ -e cpp/. ] ; then \ make -C cpp clean ; \ fi make[3]: Entering directory `/«PKGBUILDDIR»/src/cpp' rm -f cpp_id.o cpp_language.o expr2cpp.o cpp_parser.o 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_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 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_final.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_id.d cpp_language.d expr2cpp.d cpp_parser.d 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_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 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_final.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.a lex.yy.cpp y.tab.cpp.output make[3]: Leaving directory `/«PKGBUILDDIR»/src/cpp' if [ -e goto-cc/. ] ; then \ make -C goto-cc clean ; \ fi make[3]: Entering directory `/«PKGBUILDDIR»/src/goto-cc' rm -f goto-cc.o cmdline_options.o get_base_name.o gcc_cmdline.o ms_cl_cmdline.o compile.o armcc_cmdline.o languages.o goto_cc_cmdline.o xml_binaries/xml_irep_hashing.o xml_binaries/xml_symbol_hashing.o xml_binaries/xml_symbol.o xml_binaries/xml_goto_function.o xml_binaries/xml_goto_function_hashing.o xml_binaries/xml_goto_program.o xml_binaries/xml_goto_program_hashing.o xml_binaries/read_goto_object.o \ goto-cc.d cmdline_options.d get_base_name.d gcc_cmdline.d ms_cl_cmdline.d compile.d armcc_cmdline.d languages.d goto_cc_cmdline.d xml_binaries/xml_irep_hashing.d xml_binaries/xml_symbol_hashing.d xml_binaries/xml_symbol.d xml_binaries/xml_goto_function.d xml_binaries/xml_goto_function_hashing.d xml_binaries/xml_goto_program.d xml_binaries/xml_goto_program_hashing.d xml_binaries/read_goto_object.d \ \ \ goto-cc make[3]: Leaving directory `/«PKGBUILDDIR»/src/goto-cc' if [ -e goto-instrument/. ] ; then \ make -C goto-instrument clean ; \ fi make[3]: Entering directory `/«PKGBUILDDIR»/src/goto-instrument' rm -f main.o parseoptions.o document_claims.o languages.o uninitialized.o uninitialized_domain.o full_slicer.o object_id.o show_locations.o points_to.o alignment_checks.o race_check.o rw_set.o weak_memory.o nondet_volatile.o interrupt.o mmio.o stack_depth.o nondet_static.o \ main.d parseoptions.d document_claims.d languages.d uninitialized.d uninitialized_domain.d full_slicer.d object_id.d show_locations.d points_to.d alignment_checks.d race_check.d rw_set.d weak_memory.d nondet_volatile.d interrupt.d mmio.d stack_depth.d nondet_static.d \ \ \ goto-instrument make[3]: Leaving directory `/«PKGBUILDDIR»/src/goto-instrument' if [ -e goto-programs/. ] ; then \ make -C goto-programs clean ; \ fi make[3]: Entering directory `/«PKGBUILDDIR»/src/goto-programs' rm -f goto_convert.o goto_function.o goto_main.o goto_sideeffects.o goto_program.o basic_blocks.o goto_check.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 invariant_set.o invariant_propagation.o read_goto_binary.o invariant_set_domain.o static_analysis.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_numbers.o pointer_arithmetic.o goto_program_template.o write_goto_binary.o remove_unreachable.o remove_unused_functions.o dynamic_memory.o dump_c.o wp.o goto_rw.o goto_clean_expr.o safety_checker.o compute_called_functions.o link_to_library.o \ goto_convert.d goto_function.d goto_main.d goto_sideeffects.d goto_program.d basic_blocks.d goto_check.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 invariant_set.d invariant_propagation.d read_goto_binary.d invariant_set_domain.d static_analysis.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_numbers.d pointer_arithmetic.d goto_program_template.d write_goto_binary.d remove_unreachable.d remove_unused_functions.d dynamic_memory.d dump_c.d wp.d goto_rw.d goto_clean_expr.d safety_checker.d compute_called_functions.d link_to_library.d \ \ \ goto-programs.a test_wp make[3]: Leaving directory `/«PKGBUILDDIR»/src/goto-programs' if [ -e floatbv/. ] ; then \ make -C floatbv clean ; \ fi make[3]: Entering directory `/«PKGBUILDDIR»/src/floatbv' rm -f float_utils.o \ float_utils.d \ \ \ floatbv.a float_utils_test make[3]: Leaving directory `/«PKGBUILDDIR»/src/floatbv' if [ -e goto-symex/. ] ; then \ make -C goto-symex clean ; \ fi make[3]: Entering directory `/«PKGBUILDDIR»/src/goto-symex' rm -f symex_target.o symex_target_equation.o basic_symex.o symex_main.o goto_trace.o build_goto_trace.o symex_function.o goto_symex_state.o symex_dereference.o symex_goto.o builtin_functions.o slice.o symex_other.o slice_by_trace.o xml_goto_trace.o symex_decl.o precondition.o postcondition.o symex_clean_expr.o symex_dereference_state.o vcd_goto_trace.o auto_objects.o symex_catch.o \ symex_target.d symex_target_equation.d basic_symex.d symex_main.d goto_trace.d build_goto_trace.d symex_function.d goto_symex_state.d symex_dereference.d symex_goto.d builtin_functions.d slice.d symex_other.d slice_by_trace.d xml_goto_trace.d symex_decl.d precondition.d postcondition.d symex_clean_expr.d symex_dereference_state.d vcd_goto_trace.d auto_objects.d symex_catch.d \ \ \ goto-symex.a make[3]: Leaving directory `/«PKGBUILDDIR»/src/goto-symex' if [ -e langapi/. ] ; then \ make -C langapi clean ; \ fi 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' if [ -e pointer-analysis/. ] ; then \ make -C pointer-analysis clean ; \ fi 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' if [ -e solvers/. ] ; then \ make -C solvers clean ; \ fi 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/aig.o prop/aig_prop.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/sat_minimizer.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_union.o flattening/flatten_byte_operators.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/aig.d prop/aig_prop.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/sat_minimizer.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_union.d flattening/flatten_byte_operators.d \ \ \ solvers.a make[3]: Leaving directory `/«PKGBUILDDIR»/src/solvers' if [ -e util/. ] ; then \ make -C util clean ; \ fi make[3]: Entering directory `/«PKGBUILDDIR»/src/util' rm -f arith_tools.o base_type.o cmdline.o config.o context.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 str_getline.o strstream2string.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 type_eq.o guard.o array_name.o gcd.o message_stream.o substitute.o decision_procedure.o union_find.o pretty_names.o xml.o xml_irep.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 irep_ids.o byte_operators.o string2int.o file_util.o \ arith_tools.d base_type.d cmdline.d config.d context.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 str_getline.d strstream2string.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 type_eq.d guard.d array_name.d gcd.d message_stream.d substitute.d decision_procedure.d union_find.d pretty_names.d xml.d xml_irep.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 irep_ids.d byte_operators.d string2int.d file_util.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' if [ -e xmllang/. ] ; then \ make -C xmllang clean ; \ fi make[3]: Entering directory `/«PKGBUILDDIR»/src/xmllang' rm -f xml_language.o xml_parser.o y.tab.o lex.yy.o xml_typecheck.o xml_parse_tree.o \ xml_language.d xml_parser.d y.tab.d lex.yy.d xml_typecheck.d xml_parse_tree.d \ \ \ xmllang.a y.tab.h y.tab.cpp lex.yy.cpp y.tab.cpp.output y.output make[3]: Leaving directory `/«PKGBUILDDIR»/src/xmllang' make[2]: Leaving directory `/«PKGBUILDDIR»/src' 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 dh_auto_build -a -O--parallel make[1]: Entering directory `/«PKGBUILDDIR»' make -C src make[2]: Entering directory `/«PKGBUILDDIR»/src' ## Entering big-int make -C big-int make[3]: Entering directory `/«PKGBUILDDIR»/src/big-int' g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -o bigint-test.o bigint-test.cc g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -o bigint-func.o bigint-func.cc g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -o bigint.o bigint.cc g++ -o test-bigint bigint-test.o bigint-func.o bigint.o make[3]: Leaving directory `/«PKGBUILDDIR»/src/big-int' ## Entering util make -C util make[3]: Entering directory `/«PKGBUILDDIR»/src/util' g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o irep_ids_convert.o irep_ids_convert.cpp g++ -o irep_ids_convert irep_ids_convert.o ../big-int/bigint.o ./irep_ids_convert header < irep_ids.txt > irep_ids.h g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o arith_tools.o arith_tools.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o base_type.o base_type.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o cmdline.o cmdline.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o config.o config.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o context.o context.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o expr.o expr.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o expr_util.o expr_util.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o i2string.o i2string.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o irep.o irep.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o language.o language.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o lispexpr.o lispexpr.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o lispirep.o lispirep.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o location.o location.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o message.o message.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o language_file.o language_file.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o mp_arith.o mp_arith.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o namespace.o namespace.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o parseoptions.o parseoptions.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o rename.o rename.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o replace_expr.o replace_expr.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o threeval.o threeval.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o typecheck.o typecheck.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o graph.o graph.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o type.o type.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o cnf_simplify.o cnf_simplify.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o str_getline.o str_getline.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o strstream2string.o strstream2string.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o bitvector.o bitvector.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o parser.o parser.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o map_util.o map_util.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o replace_symbol.o replace_symbol.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o actuals.o actuals.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o get_module.o get_module.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o string_hash.o string_hash.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o string_container.o string_container.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o identifier.o identifier.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o rational.o rational.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o options.o options.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o c_misc.o c_misc.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o simplify_expr.o simplify_expr.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o dstring.o dstring.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o find_symbols.o find_symbols.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o rational_tools.o rational_tools.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o ui_message.o ui_message.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o simplify_utils.o simplify_utils.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o time_stopping.o time_stopping.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o symbol.o symbol.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o irep_hash_container.o irep_hash_container.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o type_eq.o type_eq.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o guard.o guard.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o array_name.o array_name.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o gcd.o gcd.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o message_stream.o message_stream.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o substitute.o substitute.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o decision_procedure.o decision_procedure.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o union_find.o union_find.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o pretty_names.o pretty_names.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o xml.o xml.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o xml_irep.o xml_irep.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o std_types.o std_types.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o std_code.o std_code.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o format_constant.o format_constant.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o find_macros.o find_macros.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o ref_expr_set.o ref_expr_set.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o std_expr.o std_expr.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o irep_serialization.o irep_serialization.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o symbol_serialization.o symbol_serialization.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o fixedbv.o fixedbv.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o ieee_float.o ieee_float.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o signal_catcher.o signal_catcher.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o pointer_offset_size.o pointer_offset_size.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o bv_arithmetic.o bv_arithmetic.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o tempdir.o tempdir.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o tempfile.o tempfile.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o timer.o timer.cpp ./irep_ids_convert table < irep_ids.txt > irep_ids.inc g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o irep_ids.o irep_ids.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o byte_operators.o byte_operators.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o string2int.o string2int.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o file_util.o file_util.cpp ld -r -o util.a arith_tools.o base_type.o cmdline.o config.o context.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 str_getline.o strstream2string.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 type_eq.o guard.o array_name.o gcd.o message_stream.o substitute.o decision_procedure.o union_find.o pretty_names.o xml.o xml_irep.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 irep_ids.o byte_operators.o string2int.o file_util.o g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I . -DHAVE_FLOATBV -o ieee_float_test.o ieee_float_test.cpp g++ -o ieee_float_test ieee_float_test.o util.a ../big-int/bigint.o make[3]: Leaving directory `/«PKGBUILDDIR»/src/util' ## Entering langapi make -C langapi make[3]: Entering directory `/«PKGBUILDDIR»/src/langapi' g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o mode.o mode.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o language_ui.o language_ui.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o languages.o languages.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -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 make -C cpp make[3]: Entering directory `/«PKGBUILDDIR»/src/cpp' g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_id.o cpp_id.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_language.o cpp_language.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o expr2cpp.o expr2cpp.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_parser.o cpp_parser.cpp flex -Pyycpp -olex.yy.cpp scanner.l g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o lex.yy.o lex.yy.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_typecheck.o cpp_typecheck.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_convert_type.o cpp_convert_type.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_typecheck_expr.o cpp_typecheck_expr.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_typecheck_code.o cpp_typecheck_code.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_typecheck_type.o cpp_typecheck_type.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o parse.o parse.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_parse_tree.o cpp_parse_tree.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_token_buffer.o cpp_token_buffer.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_typecheck_fargs.o cpp_typecheck_fargs.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_typecheck_resolve.o cpp_typecheck_resolve.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_util.o cpp_util.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_typecheck_function.o cpp_typecheck_function.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_typecheck_namespace.o cpp_typecheck_namespace.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_name.o cpp_name.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_is_pod.o cpp_is_pod.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_scope.o cpp_scope.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_typecheck_find_constructor.o cpp_typecheck_find_constructor.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o template_map.o template_map.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_scopes.o cpp_scopes.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_declarator.o cpp_declarator.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_instantiate_template.o cpp_instantiate_template.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o internal_additions.o internal_additions.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_type2name.o cpp_type2name.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_typecheck_linkage_spec.o cpp_typecheck_linkage_spec.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_typecheck_template.o cpp_typecheck_template.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_typecheck_function_bodies.o cpp_typecheck_function_bodies.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_typecheck_initializer.o cpp_typecheck_initializer.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_typecheck_compound_type.o cpp_typecheck_compound_type.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_constructor.o cpp_constructor.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_destructor.o cpp_destructor.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_final.o cpp_final.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_typecheck_conversions.o cpp_typecheck_conversions.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_typecheck_declaration.o cpp_typecheck_declaration.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_declarator_converter.o cpp_declarator_converter.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_declaration.o cpp_declaration.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_namespace_spec.o cpp_namespace_spec.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_typecheck_using.o cpp_typecheck_using.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_exception_id.o cpp_exception_id.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_typecheck_enum_type.o cpp_typecheck_enum_type.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_typecheck_bases.o cpp_typecheck_bases.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_typecheck_constructor.o cpp_typecheck_constructor.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D CPP_SYSTEMC_EXTENSION -o cpp_typecheck_virtual_table.o cpp_typecheck_virtual_table.cpp ld -r -o cpp.a cpp_id.o cpp_language.o expr2cpp.o cpp_parser.o 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_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 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_final.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 make[3]: Leaving directory `/«PKGBUILDDIR»/src/cpp' ## Entering ansi-c make -C ansi-c make[3]: Entering directory `/«PKGBUILDDIR»/src/ansi-c' g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o c_typecast.o c_typecast.cpp bison -y -v $flags -pyyansi_c -d parser.y -o y.tab.cpp if [ -e y.tab.hpp ] ; then mv y.tab.hpp y.tab.h ; else \ mv y.tab.cpp.h y.tab.h ; fi g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o y.tab.o y.tab.cpp flex -Pyyansi_c -olex.yy.cpp scanner.l g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o lex.yy.o lex.yy.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o ansi_c_parser.o ansi_c_parser.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o expr2c.o expr2c.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o ansi_c_language.o ansi_c_language.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o c_sizeof.o c_sizeof.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o c_main.o c_main.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o c_types.o c_types.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o trans_unit.o trans_unit.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o ansi_c_typecheck.o ansi_c_typecheck.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o c_link.o c_link.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o c_preprocess.o c_preprocess.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o c_link_type_eq.o c_link_type_eq.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o c_typecheck_base.o c_typecheck_base.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o c_typecheck_initializer.o c_typecheck_initializer.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o c_typecheck_typecast.o c_typecheck_typecast.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o c_typecheck_code.o c_typecheck_code.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o c_typecheck_expr.o c_typecheck_expr.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o c_typecheck_type.o c_typecheck_type.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o string_constant.o string_constant.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o c_qualifiers.o c_qualifiers.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o c_typecheck_argc_argv.o c_typecheck_argc_argv.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o ansi_c_parse_tree.o ansi_c_parse_tree.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o preprocessor_line.o preprocessor_line.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o ansi_c_convert.o ansi_c_convert.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o ansi_c_convert_type.o ansi_c_convert_type.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o type2name.o type2name.cpp g++ -o library/converter library/converter.cpp cat library/*.c | library/converter > cprover_library.inc g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o cprover_library.o cprover_library.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o anonymous_member.o anonymous_member.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o printf_formatter.o printf_formatter.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o internal_additions.o internal_additions.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o padding.o padding.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o ansi_c_declaration.o ansi_c_declaration.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o designator.o designator.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o concatenate_strings.o concatenate_strings.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o literals/parse_float.o literals/parse_float.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o literals/unescape_string.o literals/unescape_string.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o literals/convert_float_literal.o literals/convert_float_literal.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o literals/convert_character_literal.o literals/convert_character_literal.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o literals/convert_integer_literal.o literals/convert_integer_literal.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o literals/convert_string_literal.o literals/convert_string_literal.cpp ld -r -o ansi-c.a c_typecast.o y.tab.o lex.yy.o ansi_c_parser.o expr2c.o ansi_c_language.o c_sizeof.o c_main.o c_types.o trans_unit.o ansi_c_typecheck.o c_link.o c_preprocess.o c_link_type_eq.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 internal_additions.o padding.o ansi_c_declaration.o designator.o concatenate_strings.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 make -C xmllang make[3]: Entering directory `/«PKGBUILDDIR»/src/xmllang' g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o xml_language.o xml_language.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o xml_parser.o xml_parser.cpp bison -y -v $flags -pyyxml -d parser.y -o y.tab.cpp if [ -e y.tab.hpp ] ; then mv y.tab.hpp y.tab.h ; else \ mv y.tab.cpp.h y.tab.h ; fi g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o y.tab.o y.tab.cpp flex -Pyyxml -olex.yy.cpp scanner.l g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o lex.yy.o lex.yy.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o xml_typecheck.o xml_typecheck.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o xml_parse_tree.o xml_parse_tree.cpp ld -r -o xmllang.a xml_language.o xml_parser.o y.tab.o lex.yy.o xml_typecheck.o xml_parse_tree.o make[3]: Leaving directory `/«PKGBUILDDIR»/src/xmllang' ## Entering floatbv make -C floatbv make[3]: Entering directory `/«PKGBUILDDIR»/src/floatbv' g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o float_utils.o float_utils.cpp ld -r -o floatbv.a float_utils.o make[3]: Leaving directory `/«PKGBUILDDIR»/src/floatbv' ## Entering solvers make -C solvers make[3]: Entering directory `/«PKGBUILDDIR»/src/solvers' g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o sat/satcheck_minisat2.o sat/satcheck_minisat2.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o sat/cnf.o sat/cnf.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o sat/dimacs_cnf.o sat/dimacs_cnf.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o sat/cnf_clause_list.o sat/cnf_clause_list.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o sat/pbs_dimacs_cnf.o sat/pbs_dimacs_cnf.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o sat/read_dimacs_cnf.o sat/read_dimacs_cnf.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o sat/resolution_proof.o sat/resolution_proof.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o sat/satcheck.o sat/satcheck.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o qbf/qdimacs_cnf.o qbf/qdimacs_cnf.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o qbf/qbf_quantor.o qbf/qbf_quantor.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o qbf/qbf_skizzo.o qbf/qbf_skizzo.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o qbf/qdimacs_core.o qbf/qdimacs_core.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o qbf/qbf_qube.o qbf/qbf_qube.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o qbf/qbf_qube_core.o qbf/qbf_qube_core.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o prop/prop.o prop/prop.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o prop/prop_conv.o prop/prop_conv.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o prop/prop_conv_store.o prop/prop_conv_store.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o prop/aig_formula.o prop/aig_formula.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o prop/aig.o prop/aig.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o prop/aig_prop.o prop/aig_prop.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o cvc/cvc_prop.o cvc/cvc_prop.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o cvc/cvc_conv.o cvc/cvc_conv.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o cvc/cvc_dec.o cvc/cvc_dec.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o smt1/smt1_dec.o smt1/smt1_dec.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o smt1/smt1_prop.o smt1/smt1_prop.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o smt1/smt1_conv.o smt1/smt1_conv.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o smt2/smt2_dec.o smt2/smt2_dec.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o smt2/smt2_prop.o smt2/smt2_prop.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o smt2/smt2_conv.o smt2/smt2_conv.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o dplib/dplib_conv.o dplib/dplib_conv.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o dplib/dplib_dec.o dplib/dplib_dec.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o dplib/dplib_prop.o dplib/dplib_prop.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/equality.o flattening/equality.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/arrays.o flattening/arrays.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/functions.o flattening/functions.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/sat_minimizer.o flattening/sat_minimizer.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_width.o flattening/boolbv_width.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv.o flattening/boolbv.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_constraint_select_one.o flattening/boolbv_constraint_select_one.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/bv_pointers.o flattening/bv_pointers.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/bv_utils.o flattening/bv_utils.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_abs.o flattening/boolbv_abs.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_with.o flattening/boolbv_with.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_typecast.o flattening/boolbv_typecast.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_index.o flattening/boolbv_index.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_member.o flattening/boolbv_member.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_if.o flattening/boolbv_if.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_byte_extract.o flattening/boolbv_byte_extract.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_add_sub.o flattening/boolbv_add_sub.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_mult.o flattening/boolbv_mult.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_constant.o flattening/boolbv_constant.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_extractbit.o flattening/boolbv_extractbit.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_bv_rel.o flattening/boolbv_bv_rel.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_shift.o flattening/boolbv_shift.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_case.o flattening/boolbv_case.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_cond.o flattening/boolbv_cond.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_concatenation.o flattening/boolbv_concatenation.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_div.o flattening/boolbv_div.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_mod.o flattening/boolbv_mod.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_extractbits.o flattening/boolbv_extractbits.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_replication.o flattening/boolbv_replication.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_reduction.o flattening/boolbv_reduction.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_overflow.o flattening/boolbv_overflow.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_get.o flattening/boolbv_get.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_bitwise.o flattening/boolbv_bitwise.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_equality.o flattening/boolbv_equality.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_unary_minus.o flattening/boolbv_unary_minus.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_ieee_float_rel.o flattening/boolbv_ieee_float_rel.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/pointer_logic.o flattening/pointer_logic.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_quantifier.o flattening/boolbv_quantifier.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_struct.o flattening/boolbv_struct.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_byte_update.o flattening/boolbv_byte_update.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_array_of.o flattening/boolbv_array_of.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_map.o flattening/boolbv_map.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_type.o flattening/boolbv_type.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/boolbv_union.o flattening/boolbv_union.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I /usr/include/minisat -I ../util -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DHAVE_FLOATBV -o flattening/flatten_byte_operators.o flattening/flatten_byte_operators.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/aig.o prop/aig_prop.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/sat_minimizer.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_union.o flattening/flatten_byte_operators.o ../floatbv/floatbv.a make[3]: Leaving directory `/«PKGBUILDDIR»/src/solvers' ## Entering goto-symex make -C goto-symex make[3]: Entering directory `/«PKGBUILDDIR»/src/goto-symex' g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o symex_target.o symex_target.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o symex_target_equation.o symex_target_equation.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o basic_symex.o basic_symex.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o symex_main.o symex_main.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o goto_trace.o goto_trace.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o build_goto_trace.o build_goto_trace.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o symex_function.o symex_function.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o goto_symex_state.o goto_symex_state.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o symex_dereference.o symex_dereference.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o symex_goto.o symex_goto.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o builtin_functions.o builtin_functions.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o slice.o slice.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o symex_other.o symex_other.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o slice_by_trace.o slice_by_trace.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o xml_goto_trace.o xml_goto_trace.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o symex_decl.o symex_decl.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o precondition.o precondition.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o postcondition.o postcondition.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o symex_clean_expr.o symex_clean_expr.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o symex_dereference_state.o symex_dereference_state.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o vcd_goto_trace.o vcd_goto_trace.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o auto_objects.o auto_objects.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o symex_catch.o symex_catch.cpp ld -r -o goto-symex.a symex_target.o symex_target_equation.o basic_symex.o symex_main.o goto_trace.o build_goto_trace.o symex_function.o goto_symex_state.o symex_dereference.o symex_goto.o builtin_functions.o slice.o symex_other.o slice_by_trace.o xml_goto_trace.o symex_decl.o precondition.o postcondition.o symex_clean_expr.o symex_dereference_state.o vcd_goto_trace.o auto_objects.o symex_catch.o make[3]: Leaving directory `/«PKGBUILDDIR»/src/goto-symex' ## Entering pointer-analysis make -C pointer-analysis make[3]: Entering directory `/«PKGBUILDDIR»/src/pointer-analysis' g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o value_set.o value_set.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o goto_program_dereference.o goto_program_dereference.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o value_set_analysis.o value_set_analysis.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o dereference.o dereference.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o pointer_offset_sum.o pointer_offset_sum.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o add_failed_symbols.o add_failed_symbols.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o show_value_sets.o show_value_sets.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o value_set_domain.o value_set_domain.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o rewrite_index.o rewrite_index.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o value_set_analysis_fi.o value_set_analysis_fi.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o value_set_fi.o value_set_fi.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o value_set_domain_fi.o value_set_domain_fi.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o value_set_analysis_fivr.o value_set_analysis_fivr.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o value_set_fivr.o value_set_fivr.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o value_set_domain_fivr.o value_set_domain_fivr.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o value_set_analysis_fivrns.o value_set_analysis_fivrns.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o value_set_fivrns.o value_set_fivrns.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -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 make -C goto-programs make[3]: Entering directory `/«PKGBUILDDIR»/src/goto-programs' g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o goto_convert.o goto_convert.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o goto_function.o goto_function.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o goto_main.o goto_main.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o goto_sideeffects.o goto_sideeffects.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o goto_program.o goto_program.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o basic_blocks.o basic_blocks.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o goto_check.o goto_check.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o remove_function_pointers.o remove_function_pointers.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o goto_functions.o goto_functions.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o goto_inline.o goto_inline.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o remove_skip.o remove_skip.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o goto_convert_functions.o goto_convert_functions.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o string_instrumentation.o string_instrumentation.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o builtin_functions.o builtin_functions.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o show_claims.o show_claims.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o destructor.o destructor.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o set_claims.o set_claims.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o reachability_slicer.o reachability_slicer.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o invariant_set.o invariant_set.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o invariant_propagation.o invariant_propagation.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o read_goto_binary.o read_goto_binary.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o invariant_set_domain.o invariant_set_domain.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o static_analysis.o static_analysis.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o string_abstraction.o string_abstraction.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o goto_program_serialization.o goto_program_serialization.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o goto_function_serialization.o goto_function_serialization.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o read_bin_goto_object.o read_bin_goto_object.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o goto_program_irep.o goto_program_irep.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o interpreter.o interpreter.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o interpreter_evaluate.o interpreter_evaluate.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o flow_insensitive_analysis.o flow_insensitive_analysis.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o format_strings.o format_strings.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o loop_numbers.o loop_numbers.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o pointer_arithmetic.o pointer_arithmetic.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o goto_program_template.o goto_program_template.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o write_goto_binary.o write_goto_binary.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o remove_unreachable.o remove_unreachable.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o remove_unused_functions.o remove_unused_functions.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o dynamic_memory.o dynamic_memory.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o dump_c.o dump_c.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o wp.o wp.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o goto_rw.o goto_rw.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o goto_clean_expr.o goto_clean_expr.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o safety_checker.o safety_checker.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o compute_called_functions.o compute_called_functions.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o link_to_library.o link_to_library.cpp ld -r -o goto-programs.a goto_convert.o goto_function.o goto_main.o goto_sideeffects.o goto_program.o basic_blocks.o goto_check.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 invariant_set.o invariant_propagation.o read_goto_binary.o invariant_set_domain.o static_analysis.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_numbers.o pointer_arithmetic.o goto_program_template.o write_goto_binary.o remove_unreachable.o remove_unused_functions.o dynamic_memory.o dump_c.o wp.o goto_rw.o goto_clean_expr.o safety_checker.o compute_called_functions.o link_to_library.o make[3]: Leaving directory `/«PKGBUILDDIR»/src/goto-programs' ## Entering cbmc make -C cbmc make[3]: Entering directory `/«PKGBUILDDIR»/src/cbmc' g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -DHAVE_CPP -o main.o main.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -DHAVE_CPP -o parseoptions.o parseoptions.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -DHAVE_CPP -o bmc.o bmc.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -DHAVE_CPP -o dimacs.o dimacs.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -DHAVE_CPP -o languages.o languages.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -DHAVE_CPP -o bv_cbmc.o bv_cbmc.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -DHAVE_CPP -o symex_bmc.o symex_bmc.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -DHAVE_CPP -o show_vcc.o show_vcc.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -DHAVE_CPP -o cbmc_solvers.o cbmc_solvers.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -DHAVE_CPP -o xml_interface.o xml_interface.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -DHAVE_CPP -o counterexample_beautification.o counterexample_beautification.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -DHAVE_CPP -o counterexample_beautification_greedy.o counterexample_beautification_greedy.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -DHAVE_CPP -o counterexample_beautification_pbs.o counterexample_beautification_pbs.cpp g++ -o cbmc ../ansi-c/ansi-c.a ../big-int/bigint.o ../goto-programs/goto-programs.a ../goto-symex/goto-symex.a ../pointer-analysis/pointer-analysis.a ../langapi/langapi.a ../xmllang/xmllang.a ../solvers/solvers.a ../util/util.a main.o parseoptions.o bmc.o dimacs.o languages.o bv_cbmc.o symex_bmc.o show_vcc.o cbmc_solvers.o xml_interface.o counterexample_beautification.o counterexample_beautification_greedy.o counterexample_beautification_pbs.o ../cpp/cpp.a -lminisat make[3]: Leaving directory `/«PKGBUILDDIR»/src/cbmc' ## Entering goto-cc make -C goto-cc make[3]: Entering directory `/«PKGBUILDDIR»/src/goto-cc' g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D HAVE_CPP -o goto-cc.o goto-cc.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D HAVE_CPP -o cmdline_options.o cmdline_options.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D HAVE_CPP -o get_base_name.o get_base_name.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D HAVE_CPP -o gcc_cmdline.o gcc_cmdline.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D HAVE_CPP -o ms_cl_cmdline.o ms_cl_cmdline.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D HAVE_CPP -o compile.o compile.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D HAVE_CPP -o armcc_cmdline.o armcc_cmdline.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D HAVE_CPP -o languages.o languages.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D HAVE_CPP -o goto_cc_cmdline.o goto_cc_cmdline.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D HAVE_CPP -o xml_binaries/xml_irep_hashing.o xml_binaries/xml_irep_hashing.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D HAVE_CPP -o xml_binaries/xml_symbol_hashing.o xml_binaries/xml_symbol_hashing.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D HAVE_CPP -o xml_binaries/xml_symbol.o xml_binaries/xml_symbol.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D HAVE_CPP -o xml_binaries/xml_goto_function.o xml_binaries/xml_goto_function.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D HAVE_CPP -o xml_binaries/xml_goto_function_hashing.o xml_binaries/xml_goto_function_hashing.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D HAVE_CPP -o xml_binaries/xml_goto_program.o xml_binaries/xml_goto_program.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D HAVE_CPP -o xml_binaries/xml_goto_program_hashing.o xml_binaries/xml_goto_program_hashing.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -D HAVE_CPP -o xml_binaries/read_goto_object.o xml_binaries/read_goto_object.cpp g++ -o goto-cc ../big-int/bigint.o ../goto-programs/goto-programs.a ../pointer-analysis/pointer-analysis.a ../util/util.a ../ansi-c/ansi-c.a ../xmllang/xmllang.a ../langapi/langapi.a goto-cc.o cmdline_options.o get_base_name.o gcc_cmdline.o ms_cl_cmdline.o compile.o armcc_cmdline.o languages.o goto_cc_cmdline.o xml_binaries/xml_irep_hashing.o xml_binaries/xml_symbol_hashing.o xml_binaries/xml_symbol.o xml_binaries/xml_goto_function.o xml_binaries/xml_goto_function_hashing.o xml_binaries/xml_goto_program.o xml_binaries/xml_goto_program_hashing.o xml_binaries/read_goto_object.o ../cpp/cpp.a make[3]: Leaving directory `/«PKGBUILDDIR»/src/goto-cc' ## Entering goto-instrument make -C goto-instrument make[3]: Entering directory `/«PKGBUILDDIR»/src/goto-instrument' g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -DHAVE_CPP -o main.o main.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -DHAVE_CPP -o parseoptions.o parseoptions.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -DHAVE_CPP -o document_claims.o document_claims.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -DHAVE_CPP -o languages.o languages.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -DHAVE_CPP -o uninitialized.o uninitialized.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -DHAVE_CPP -o uninitialized_domain.o uninitialized_domain.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -DHAVE_CPP -o full_slicer.o full_slicer.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -DHAVE_CPP -o object_id.o object_id.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -DHAVE_CPP -o show_locations.o show_locations.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -DHAVE_CPP -o points_to.o points_to.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -DHAVE_CPP -o alignment_checks.o alignment_checks.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -DHAVE_CPP -o race_check.o race_check.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -DHAVE_CPP -o rw_set.o rw_set.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -DHAVE_CPP -o weak_memory.o weak_memory.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -DHAVE_CPP -o nondet_volatile.o nondet_volatile.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -DHAVE_CPP -o interrupt.o interrupt.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -DHAVE_CPP -o mmio.o mmio.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -DHAVE_CPP -o stack_depth.o stack_depth.cpp g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -DHAVE_CPP -o nondet_static.o nondet_static.cpp g++ -o goto-instrument ../ansi-c/ansi-c.a ../big-int/bigint.o ../goto-programs/goto-programs.a ../goto-symex/goto-symex.a ../pointer-analysis/pointer-analysis.a ../langapi/langapi.a ../util/util.a main.o parseoptions.o document_claims.o languages.o uninitialized.o uninitialized_domain.o full_slicer.o object_id.o show_locations.o points_to.o alignment_checks.o race_check.o rw_set.o weak_memory.o nondet_volatile.o interrupt.o mmio.o stack_depth.o nondet_static.o ../cpp/cpp.a make[3]: Leaving directory `/«PKGBUILDDIR»/src/goto-instrument' make[2]: Leaving directory `/«PKGBUILDDIR»/src' make[1]: Leaving directory `/«PKGBUILDDIR»' dh_auto_test -a -O--parallel 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_installexamples -a -O--parallel dh_installman -a -O--parallel dh_installcatalogs -a -O--parallel dh_installcron -a -O--parallel dh_installdebconf -a -O--parallel dh_installemacsen -a -O--parallel dh_installifupdown -a -O--parallel dh_installinfo -a -O--parallel dh_installinit -a -O--parallel dh_installmenu -a -O--parallel dh_installmime -a -O--parallel dh_installmodules -a -O--parallel dh_installlogcheck -a -O--parallel dh_installlogrotate -a -O--parallel dh_installpam -a -O--parallel dh_installppp -a -O--parallel dh_installudev -a -O--parallel dh_installwm -a -O--parallel dh_installxfonts -a -O--parallel dh_installgsettings -a -O--parallel dh_bugfiles -a -O--parallel dh_ucf -a -O--parallel dh_lintian -a -O--parallel dh_gconf -a -O--parallel dh_icons -a -O--parallel dh_perl -a -O--parallel dh_usrlocal -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 dpkg-shlibdeps: warning: debian/cbmc/usr/bin/cbmc contains an unresolvable reference to symbol __aeabi_unwind_cpp_pr1@GCC_3.5: it's probably a plugin. dpkg-shlibdeps: warning: debian/cbmc/usr/bin/goto-instrument contains an unresolvable reference to symbol __aeabi_unwind_cpp_pr1@GCC_3.5: it's probably a plugin. dpkg-shlibdeps: warning: debian/cbmc/usr/bin/goto-cc contains an unresolvable reference to symbol __aeabi_unwind_cpp_pr1@GCC_3.5: it's probably a plugin. dh_installdeb -a -O--parallel dh_gencontrol -a -O--parallel dh_md5sums -a -O--parallel dh_builddeb -a -O--parallel dpkg-deb: building package `cbmc' in `../cbmc_4.1-1.2_armhf.deb'. dpkg-genchanges -B -mbuildd >../cbmc_4.1-1.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.1 dpkg-buildpackage: binary only upload (no source included) ──────────────────────────────────────────────────────────────────────────────── Build finished at 20120602-1004 Finished ──────── I: Built successfully ┌──────────────────────────────────────────────────────────────────────────────┐ │ Changes │ └──────────────────────────────────────────────────────────────────────────────┘ cbmc_4.1-1.2_armhf.changes: ─────────────────────────── Format: 1.8 Date: Sun, 20 May 2012 07:55:28 +0200 Source: cbmc Binary: cbmc Architecture: armhf Version: 4.1-1.2 Distribution: testing Urgency: low Maintainer: buildd Changed-By: Salvatore Bonaccorso Description: cbmc - bounded model checker for C and C++ programs Closes: 673579 Changes: cbmc (4.1-1.2) unstable; urgency=low . * Non-maintainer upload. * Update fix-FTBFS-with-gcc-4.7.patch patch. Fix FTBFS with gcc 4.7 on kfreebsd and hurd. Thanks to Steven Chamberlain for the patch. (Closes: #673579) Checksums-Sha1: b26b9e2cdf629fd72221fd737ab26f8c0533eb39 4301116 cbmc_4.1-1.2_armhf.deb Checksums-Sha256: 2a269477b34f1004c23bea85a24576de416dfadd538431c5d4bc315e57d8cd3b 4301116 cbmc_4.1-1.2_armhf.deb Files: 2949fe8af2c3f34362043fc0b326ccea 4301116 science extra cbmc_4.1-1.2_armhf.deb ┌──────────────────────────────────────────────────────────────────────────────┐ │ Package contents │ └──────────────────────────────────────────────────────────────────────────────┘ cbmc_4.1-1.2_armhf.deb ────────────────────── new debian package, version 2.0. size 4301116 bytes: control archive= 676 bytes. 500 bytes, 13 lines control 291 bytes, 5 lines md5sums Package: cbmc Version: 4.1-1.2 Architecture: armhf Maintainer: Michael Tautschnig Installed-Size: 9202 Depends: gcc, libc6 (>= 2.13-28), 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 2012-06-02 10:03 ./ drwxr-xr-x root/root 0 2012-06-02 10:03 ./usr/ drwxr-xr-x root/root 0 2012-06-02 10:03 ./usr/share/ drwxr-xr-x root/root 0 2012-06-02 10:03 ./usr/share/doc/ drwxr-xr-x root/root 0 2012-06-02 10:03 ./usr/share/doc/cbmc/ -rw-r--r-- root/root 892 2012-05-19 22:56 ./usr/share/doc/cbmc/changelog.Debian.gz -rw-r--r-- root/root 3580 2012-05-19 22:56 ./usr/share/doc/cbmc/copyright drwxr-xr-x root/root 0 2012-06-02 10:03 ./usr/bin/ -rwxr-xr-x root/root 2784800 2012-06-02 10:03 ./usr/bin/goto-cc -rwxr-xr-x root/root 3619112 2012-06-02 10:03 ./usr/bin/cbmc -rwxr-xr-x root/root 2984792 2012-06-02 10:03 ./usr/bin/goto-instrument ┌──────────────────────────────────────────────────────────────────────────────┐ │ Post Build │ └──────────────────────────────────────────────────────────────────────────────┘ ┌──────────────────────────────────────────────────────────────────────────────┐ │ Cleanup │ └──────────────────────────────────────────────────────────────────────────────┘ Purging /«BUILDDIR» Reading package lists... Building dependency tree... Reading state information... 0 upgraded, 0 newly installed, 0 to remove and 8 not upgraded. Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: bison* bsdmainutils* debhelper* file* flex* gettext* gettext-base* groff-base* html2text* intltool-debian* libbison-dev* libcroco3* libffi5* libglib2.0-0* libmagic1* libpcre3* libpipeline1* libunistring0* libxml2* m4* man-db* minisat* po-debconf* sbuild-build-depends-cbmc-dummy* sbuild-build-depends-core-dummy* zlib1g-dev* 0 upgraded, 0 newly installed, 26 to remove and 8 not upgraded. After this operation, 28.4 MB disk space will be freed. (Reading database ... 12299 files and directories currently installed.) Removing sbuild-build-depends-cbmc-dummy ... Removing bison ... Removing debhelper ... Removing man-db ... Purging configuration files for man-db ... Removing bsdmainutils ... Purging configuration files for bsdmainutils ... Removing file ... Removing flex ... Removing po-debconf ... Removing intltool-debian ... Removing gettext ... Removing gettext-base ... Removing groff-base ... Purging configuration files for groff-base ... Removing html2text ... Purging configuration files for html2text ... Removing libbison-dev:armhf ... Removing libcroco3:armhf ... Purging configuration files for libcroco3:armhf ... Removing libglib2.0-0:armhf ... Purging configuration files for libglib2.0-0:armhf ... Removing libffi5:armhf ... Purging configuration files for libffi5:armhf ... Removing libmagic1:armhf ... Purging configuration files for libmagic1:armhf ... Removing libpcre3:armhf ... Purging configuration files for libpcre3:armhf ... Removing libpipeline1:armhf ... Purging configuration files for libpipeline1:armhf ... Removing libunistring0:armhf ... Purging configuration files for libunistring0:armhf ... Removing libxml2:armhf ... Purging configuration files for libxml2:armhf ... Removing m4 ... Removing minisat ... Purging configuration files for minisat ... Removing sbuild-build-depends-core-dummy ... Removing zlib1g-dev:armhf ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Summary │ └──────────────────────────────────────────────────────────────────────────────┘ Architecture: armhf Build-Space: 579840 Build-Time: 5080 Distribution: testing Install-Time: 67 Job: cbmc_4.1-1.2 Package: cbmc Package-Time: 5166 Source-Version: 4.1-1.2 Space: 579840 Status: successful Version: 4.1-1.2 ──────────────────────────────────────────────────────────────────────────────── Finished at 20120602-1004 Build needed 01:26:06, 579840k disc space