DC-Build-Header: mona 1.4-13-3 / Sun Sep 11 13:54:40 +0200 2011 sbuild (Debian sbuild) 0.62.2 (05 Apr 2011) on talc-100.nancy.grid5000.fr ╔══════════════════════════════════════════════════════════════════════════════╗ ║ mona 1.4-13-3 (amd64) 11 Sep 2011 13:54 ║ ╚══════════════════════════════════════════════════════════════════════════════╝ Package: mona Version: 1.4-13-3 Source Version: 1.4-13-3 Distribution: lsid64c Architecture: amd64 ┌──────────────────────────────────────────────────────────────────────────────┐ │ Update chroot │ └──────────────────────────────────────────────────────────────────────────────┘ Ign http://localhost sid InRelease Hit http://localhost sid Release.gpg Hit http://localhost sid Release Ign http://localhost sid/main Sources/DiffIndex Ign http://localhost sid/main amd64 Packages/DiffIndex Ign http://localhost sid/main TranslationIndex Hit http://localhost sid/main Sources Hit http://localhost sid/main amd64 Packages Ign http://localhost sid/main Translation-en Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: binutils cpp-4.6 g++-4.6 gcc-4.6 gcc-4.6-base libc-bin libc-dev-bin libc6 libc6-dev libgcc1 libgomp1 libquadmath0 libstdc++6 libstdc++6-4.6-dev multiarch-support 15 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 34.4 MB of archives. After this operation, 1073 kB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libc6-dev libc-dev-bin libgomp1 gcc-4.6-base libgcc1 cpp-4.6 libquadmath0 libstdc++6-4.6-dev g++-4.6 gcc-4.6 libstdc++6 binutils libc-bin libc6 multiarch-support Authentication warning overridden. Get:1 http://localhost/debian/ sid/main libc6-dev amd64 2.13-20 [2637 kB] Get:2 http://localhost/debian/ sid/main libc-dev-bin amd64 2.13-20 [217 kB] Get:3 http://localhost/debian/ sid/main libgomp1 amd64 4.6.1-10 [25.7 kB] Get:4 http://localhost/debian/ sid/main gcc-4.6-base amd64 4.6.1-10 [135 kB] Get:5 http://localhost/debian/ sid/main libgcc1 amd64 1:4.6.1-10 [42.9 kB] Get:6 http://localhost/debian/ sid/main cpp-4.6 amd64 4.6.1-10 [4816 kB] Get:7 http://localhost/debian/ sid/main libquadmath0 amd64 4.6.1-10 [126 kB] Get:8 http://localhost/debian/ sid/main libstdc++6-4.6-dev amd64 4.6.1-10 [1660 kB] Get:9 http://localhost/debian/ sid/main g++-4.6 amd64 4.6.1-10 [6952 kB] Get:10 http://localhost/debian/ sid/main gcc-4.6 amd64 4.6.1-10 [7303 kB] Get:11 http://localhost/debian/ sid/main libstdc++6 amd64 4.6.1-10 [337 kB] Get:12 http://localhost/debian/ sid/main binutils amd64 2.21.53.20110910-1 [4844 kB] Get:13 http://localhost/debian/ sid/main libc-bin amd64 2.13-20 [819 kB] Get:14 http://localhost/debian/ sid/main libc6 amd64 2.13-20 [4323 kB] Get:15 http://localhost/debian/ sid/main multiarch-support amd64 2.13-20 [141 kB] Preconfiguring packages ... Fetched 34.4 MB in 0s (51.5 MB/s) (Reading database ... 10788 files and directories currently installed.) Preparing to replace libc6-dev 2.13-18 (using .../libc6-dev_2.13-20_amd64.deb) ... Unpacking replacement libc6-dev ... Preparing to replace libc-dev-bin 2.13-18 (using .../libc-dev-bin_2.13-20_amd64.deb) ... Unpacking replacement libc-dev-bin ... Preparing to replace libgomp1 4.6.1-9 (using .../libgomp1_4.6.1-10_amd64.deb) ... Unpacking replacement libgomp1 ... Preparing to replace gcc-4.6-base 4.6.1-9 (using .../gcc-4.6-base_4.6.1-10_amd64.deb) ... Unpacking replacement gcc-4.6-base ... Setting up gcc-4.6-base (4.6.1-10) ... (Reading database ... 10788 files and directories currently installed.) Preparing to replace libgcc1 1:4.6.1-9 (using .../libgcc1_1%3a4.6.1-10_amd64.deb) ... Unpacking replacement libgcc1 ... Setting up libgcc1 (1:4.6.1-10) ... (Reading database ... 10788 files and directories currently installed.) Preparing to replace cpp-4.6 4.6.1-9 (using .../cpp-4.6_4.6.1-10_amd64.deb) ... Unpacking replacement cpp-4.6 ... Preparing to replace libquadmath0 4.6.1-9 (using .../libquadmath0_4.6.1-10_amd64.deb) ... Unpacking replacement libquadmath0 ... Preparing to replace libstdc++6-4.6-dev 4.6.1-9 (using .../libstdc++6-4.6-dev_4.6.1-10_amd64.deb) ... Unpacking replacement libstdc++6-4.6-dev ... Preparing to replace g++-4.6 4.6.1-9 (using .../g++-4.6_4.6.1-10_amd64.deb) ... Unpacking replacement g++-4.6 ... Preparing to replace gcc-4.6 4.6.1-9 (using .../gcc-4.6_4.6.1-10_amd64.deb) ... Unpacking replacement gcc-4.6 ... Preparing to replace libstdc++6 4.6.1-9 (using .../libstdc++6_4.6.1-10_amd64.deb) ... Unpacking replacement libstdc++6 ... Setting up libstdc++6 (4.6.1-10) ... (Reading database ... 10801 files and directories currently installed.) Preparing to replace binutils 2.21.53.20110823-3 (using .../binutils_2.21.53.20110910-1_amd64.deb) ... Unpacking replacement binutils ... Preparing to replace libc-bin 2.13-18 (using .../libc-bin_2.13-20_amd64.deb) ... Unpacking replacement libc-bin ... Setting up libc-bin (2.13-20) ... (Reading database ... 10801 files and directories currently installed.) Preparing to replace libc6 2.13-18 (using .../libc6_2.13-20_amd64.deb) ... Unpacking replacement libc6 ... Setting up libc6 (2.13-20) ... (Reading database ... 10801 files and directories currently installed.) Preparing to replace multiarch-support 2.13-18 (using .../multiarch-support_2.13-20_amd64.deb) ... Unpacking replacement multiarch-support ... Setting up multiarch-support (2.13-20) ... Setting up libc-dev-bin (2.13-20) ... Setting up libc6-dev (2.13-20) ... Setting up libgomp1 (4.6.1-10) ... Setting up cpp-4.6 (4.6.1-10) ... Setting up libquadmath0 (4.6.1-10) ... Setting up binutils (2.21.53.20110910-1) ... Setting up gcc-4.6 (4.6.1-10) ... Setting up libstdc++6-4.6-dev (4.6.1-10) ... Setting up g++-4.6 (4.6.1-10) ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Fetch source files │ └──────────────────────────────────────────────────────────────────────────────┘ Check APT ───────── Checking available source versions... Download source files with APT ────────────────────────────── Reading package lists... Building dependency tree... Reading state information... NOTICE: 'mona' packaging is maintained in the 'Git' version control system at: git://git.debian.org/git/debian-science/packages/mona.git Need to get 626 kB of source archives. Get:1 http://localhost/debian/ sid/main mona 1.4-13-3 (dsc) [1275 B] Get:2 http://localhost/debian/ sid/main mona 1.4-13-3 (tar) [618 kB] Get:3 http://localhost/debian/ sid/main mona 1.4-13-3 (diff) [6456 B] Fetched 626 kB in 0s (3097 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 `/build/mona-3hahTL/resolver-jOn0kf/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 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 0 B/702 B of archives. After this operation, 0 B of additional disk space will be used. WARNING: The following packages cannot be authenticated! sbuild-build-depends-core-dummy Authentication warning overridden. Selecting previously deselected package sbuild-build-depends-core-dummy. (Reading database ... 10801 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) ... Cannot open /var/lib/schroot/mount/lsid64c-b9338557-9186-4158-b2bf-1a4bd96074a8/etc/lsb-release: No such file or directory Merged Build-Depends: base-files, base-passwd, bash, coreutils, dash, debianutils, diffutils, dpkg, e2fsprogs, findutils, grep, gzip, hostname, ncurses-base, ncurses-bin, perl-base, sed, login, sysvinit-utils, sysvinit, tar, bsdutils, mount, util-linux, libc6-dev | libc-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), debhelper (>= 7.0), bison, flex, autotools-dev, chrpath Filtered Build-Depends: base-files, base-passwd, bash, coreutils, dash, debianutils, diffutils, dpkg, e2fsprogs, findutils, grep, gzip, hostname, ncurses-base, ncurses-bin, perl-base, sed, login, sysvinit-utils, sysvinit, tar, bsdutils, mount, util-linux, libc6-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), debhelper (>= 7.0), bison, flex, autotools-dev, chrpath dpkg-deb: building package `sbuild-build-depends-mona-dummy' in `/build/mona-3hahTL/resolver-lmhxRg/apt_archive/sbuild-build-depends-mona-dummy.deb'. OK Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Install mona build dependencies (apt-based resolver) │ └──────────────────────────────────────────────────────────────────────────────┘ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: autotools-dev bison bsdmainutils chrpath debhelper file flex gettext gettext-base groff-base html2text intltool-debian libcroco3 libglib2.0-0 libmagic1 libpcre3 libpipeline1 libunistring0 libxml2 m4 man-db po-debconf Suggested packages: bison-doc wamerican wordlist whois vacation dh-make gettext-doc groff 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: autotools-dev bison bsdmainutils chrpath debhelper file flex gettext gettext-base groff-base html2text intltool-debian libcroco3 libglib2.0-0 libmagic1 libpcre3 libpipeline1 libunistring0 libxml2 m4 man-db po-debconf sbuild-build-depends-mona-dummy 0 upgraded, 23 newly installed, 0 to remove and 0 not upgraded. Need to get 10.5 MB/10.5 MB of archives. After this operation, 31.2 MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libpipeline1 libpcre3 m4 flex bsdmainutils groff-base man-db libmagic1 file gettext-base libxml2 autotools-dev bison chrpath html2text libglib2.0-0 libcroco3 libunistring0 gettext intltool-debian po-debconf debhelper sbuild-build-depends-mona-dummy Authentication warning overridden. Get:1 http://localhost/debian/ sid/main libpipeline1 amd64 1.2.0-3 [37.9 kB] Get:2 http://localhost/debian/ sid/main libpcre3 amd64 8.12-4 [225 kB] Get:3 http://localhost/debian/ sid/main m4 amd64 1.4.16-2 [259 kB] Get:4 http://localhost/debian/ sid/main flex amd64 2.5.35-10 [332 kB] Get:5 http://localhost/debian/ sid/main bsdmainutils amd64 8.2.3 [208 kB] Get:6 http://localhost/debian/ sid/main groff-base amd64 1.21-6 [1150 kB] Get:7 http://localhost/debian/ sid/main man-db amd64 2.6.0.2-2 [1023 kB] Get:8 http://localhost/debian/ sid/main libmagic1 amd64 5.08-1 [246 kB] Get:9 http://localhost/debian/ sid/main file amd64 5.08-1 [51.7 kB] Get:10 http://localhost/debian/ sid/main gettext-base amd64 0.18.1.1-4 [154 kB] Get:11 http://localhost/debian/ sid/main libxml2 amd64 2.7.8.dfsg-4 [892 kB] Get:12 http://localhost/debian/ sid/main autotools-dev all 20110511.1 [73.8 kB] Get:13 http://localhost/debian/ sid/main bison amd64 1:2.4.1.dfsg-3 [579 kB] Get:14 http://localhost/debian/ sid/main chrpath amd64 0.13-2 [13.9 kB] Get:15 http://localhost/debian/ sid/main html2text amd64 1.3.2a-15 [103 kB] Get:16 http://localhost/debian/ sid/main libglib2.0-0 amd64 2.28.6-1 [1648 kB] Get:17 http://localhost/debian/ sid/main libcroco3 amd64 0.6.2-1 [125 kB] Get:18 http://localhost/debian/ sid/main libunistring0 amd64 0.9.3-4 [437 kB] Get:19 http://localhost/debian/ sid/main gettext amd64 0.18.1.1-4 [2079 kB] Get:20 http://localhost/debian/ sid/main intltool-debian all 0.35.0+20060710.1 [30.8 kB] Get:21 http://localhost/debian/ sid/main po-debconf all 1.0.16+nmu1 [223 kB] Get:22 http://localhost/debian/ sid/main debhelper all 8.9.6 [562 kB] Preconfiguring packages ... Fetched 10.5 MB in 0s (11.7 MB/s) Selecting previously deselected package libpipeline1. (Reading database ... 10801 files and directories currently installed.) Unpacking libpipeline1 (from .../libpipeline1_1.2.0-3_amd64.deb) ... Selecting previously deselected package libpcre3. Unpacking libpcre3 (from .../libpcre3_8.12-4_amd64.deb) ... Selecting previously deselected package m4. Unpacking m4 (from .../archives/m4_1.4.16-2_amd64.deb) ... Selecting previously deselected package flex. Unpacking flex (from .../flex_2.5.35-10_amd64.deb) ... Selecting previously deselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_8.2.3_amd64.deb) ... Selecting previously deselected package groff-base. Unpacking groff-base (from .../groff-base_1.21-6_amd64.deb) ... Selecting previously deselected package man-db. Unpacking man-db (from .../man-db_2.6.0.2-2_amd64.deb) ... Selecting previously deselected package libmagic1. Unpacking libmagic1 (from .../libmagic1_5.08-1_amd64.deb) ... Selecting previously deselected package file. Unpacking file (from .../archives/file_5.08-1_amd64.deb) ... Selecting previously deselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.1.1-4_amd64.deb) ... Selecting previously deselected package libxml2. Unpacking libxml2 (from .../libxml2_2.7.8.dfsg-4_amd64.deb) ... Selecting previously deselected package autotools-dev. Unpacking autotools-dev (from .../autotools-dev_20110511.1_all.deb) ... Selecting previously deselected package bison. Unpacking bison (from .../bison_1%3a2.4.1.dfsg-3_amd64.deb) ... Selecting previously deselected package chrpath. Unpacking chrpath (from .../chrpath_0.13-2_amd64.deb) ... Selecting previously deselected package html2text. Unpacking html2text (from .../html2text_1.3.2a-15_amd64.deb) ... Selecting previously deselected package libglib2.0-0. Unpacking libglib2.0-0 (from .../libglib2.0-0_2.28.6-1_amd64.deb) ... Selecting previously deselected package libcroco3. Unpacking libcroco3 (from .../libcroco3_0.6.2-1_amd64.deb) ... Selecting previously deselected package libunistring0. Unpacking libunistring0 (from .../libunistring0_0.9.3-4_amd64.deb) ... Selecting previously deselected package gettext. Unpacking gettext (from .../gettext_0.18.1.1-4_amd64.deb) ... Selecting previously deselected package intltool-debian. Unpacking intltool-debian (from .../intltool-debian_0.35.0+20060710.1_all.deb) ... Selecting previously deselected package po-debconf. Unpacking po-debconf (from .../po-debconf_1.0.16+nmu1_all.deb) ... Selecting previously deselected package debhelper. Unpacking debhelper (from .../debhelper_8.9.6_all.deb) ... Selecting previously deselected package sbuild-build-depends-mona-dummy. Unpacking sbuild-build-depends-mona-dummy (from .../sbuild-build-depends-mona-dummy.deb) ... Processing triggers for install-info ... Setting up libpipeline1 (1.2.0-3) ... Setting up libpcre3 (8.12-4) ... Setting up m4 (1.4.16-2) ... Setting up flex (2.5.35-10) ... Setting up bsdmainutils (8.2.3) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode. update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode. Setting up groff-base (1.21-6) ... Setting up man-db (2.6.0.2-2) ... Building database of manual pages ... Setting up libmagic1 (5.08-1) ... Setting up file (5.08-1) ... Setting up gettext-base (0.18.1.1-4) ... Setting up libxml2 (2.7.8.dfsg-4) ... Setting up autotools-dev (20110511.1) ... Setting up bison (1:2.4.1.dfsg-3) ... update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode. Setting up chrpath (0.13-2) ... Setting up html2text (1.3.2a-15) ... Setting up libglib2.0-0 (2.28.6-1) ... No schema files found: doing nothing. Setting up libcroco3 (0.6.2-1) ... Setting up libunistring0 (0.9.3-4) ... Setting up gettext (0.18.1.1-4) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu1) ... Setting up debhelper (8.9.6) ... Setting up sbuild-build-depends-mona-dummy (0.invalid.0) ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build environment │ └──────────────────────────────────────────────────────────────────────────────┘ Kernel: Linux 2.6.32-5-amd64 amd64 (x86_64) Toolchain package versions: binutils_2.21.53.20110910-1 dpkg-dev_1.16.0.3 g++-4.6_4.6.1-10 gcc-4.6_4.6.1-10 libc6-dev_2.13-20 libstdc++6_4.6.1-10 libstdc++6-4.6-dev_4.6.1-10 linux-libc-dev_3.0.0-3 Package versions: apt_0.8.15.6 apt-utils_0.8.15.6 autotools-dev_20110511.1 base-files_6.5 base-passwd_3.5.23 bash_4.1-3 binutils_2.21.53.20110910-1 bison_1:2.4.1.dfsg-3 bsdmainutils_8.2.3 bsdutils_1:2.19.1-5 build-essential_11.5 bzip2_1.0.5-7 chrpath_0.13-2 clang_2.9-11 coreutils_8.5-1 cpp_4:4.6.1-2 cpp-4.6_4.6.1-10 dash_0.5.7-1 debconf_1.5.41 debfoster_2.7-1.1 debhelper_8.9.6 debian-archive-keyring_2010.08.28 debianutils_4.0.2 diffutils_1:3.0-1 dpkg_1.16.0.3 dpkg-dev_1.16.0.3 e2fslibs_1.42~WIP-2011-07-02-1 e2fsprogs_1.42~WIP-2011-07-02-1 fakeroot_1.18-1 file_5.08-1 findutils_4.4.2-1+b1 flex_2.5.35-10 g++_4:4.6.1-2 g++-4.6_4.6.1-10 gcc_4:4.6.1-2 gcc-4.6_4.6.1-10 gcc-4.6-base_4.6.1-10 gettext_0.18.1.1-4 gettext-base_0.18.1.1-4 gnupg_1.4.11-3 gpgv_1.4.11-3 grep_2.9-2 groff-base_1.21-6 gzip_1.4-1 hostname_3.06 html2text_1.3.2a-15 initscripts_2.88dsf-13.11 insserv_1.14.0-2.1 install-info_4.13a.dfsg.1-8 intltool-debian_0.35.0+20060710.1 less_444-1 libacl1_2.2.51-3 libattr1_1:2.4.46-3 libblkid1_2.19.1-5 libbz2-1.0_1.0.5-7 libc-bin_2.13-20 libc-dev-bin_2.13-20 libc6_2.13-20 libc6-dev_2.13-20 libcomerr2_1.42~WIP-2011-07-02-1 libcroco3_0.6.2-1 libdb5.1_5.1.25-11 libdpkg-perl_1.16.0.3 libffi5_3.0.10~rc10-3 libgc1c2_1:7.1-8 libgcc1_1:4.6.1-10 libgdbm3_1.8.3-10 libglib2.0-0_2.28.6-1 libgmp10_2:5.0.2+dfsg-1 libgomp1_4.6.1-10 libllvm2.9_2.9+dfsg-3 liblzma2_5.1.1alpha+20110809-2 libmagic1_5.08-1 libmount1_2.19.1-5 libmpc2_0.9-3 libmpfr4_3.0.1-6 libncurses5_5.9-1 libncursesw5_5.9-1 libpam-modules_1.1.3-2 libpam-modules-bin_1.1.3-2 libpam-runtime_1.1.3-2 libpam0g_1.1.3-2 libpcre3_8.12-4 libpipeline1_1.2.0-3 libquadmath0_4.6.1-10 libreadline6_6.2-4 libselinux1_2.1.0-1 libsepol1_2.1.0-1.1 libslang2_2.2.4-3 libss2_1.42~WIP-2011-07-02-1 libstdc++6_4.6.1-10 libstdc++6-4.6-dev_4.6.1-10 libtimedate-perl_1.2000-1 libunistring0_0.9.3-4 libusb-0.1-4_2:0.1.12-19 libuuid1_2.19.1-5 libxml2_2.7.8.dfsg-4 linux-libc-dev_3.0.0-3 login_1:4.1.4.2+svn3283-3 lsb-base_3.2-28 m4_1.4.16-2 make_3.81-8.1 man-db_2.6.0.2-2 mawk_1.3.3-15 mount_2.19.1-5 multiarch-support_2.13-20 ncurses-base_5.9-1 ncurses-bin_5.9-1 nvi_1.81.6-8.2 passwd_1:4.1.4.2+svn3283-3 patch_2.6.1-2 perl_5.12.4-4 perl-base_5.12.4-4 perl-modules_5.12.4-4 po-debconf_1.0.16+nmu1 readline-common_6.2-4 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-mona-dummy_0.invalid.0 sed_4.2.1-9 sensible-utils_0.0.6 sysv-rc_2.88dsf-13.11 sysvinit_2.88dsf-13.11 sysvinit-utils_2.88dsf-13.11 tar_1.26-2 tzdata_2011i-2 util-linux_2.19.1-5 xz-utils_5.1.1alpha+20110809-2 zlib1g_1:1.2.3.4.dfsg-3 ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build │ └──────────────────────────────────────────────────────────────────────────────┘ Unpack source ───────────── gpgv: keyblock resource `/var/lib/sbuild/.gnupg/trustedkeys.gpg': file open error gpgv: Signature made Thu May 12 00:17:35 2011 CEST using DSA key ID E0BA04C1 gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./mona_1.4-13-3.dsc dpkg-source: info: extracting mona in mona-1.4-13 dpkg-source: info: unpacking mona_1.4-13.orig.tar.gz dpkg-source: info: unpacking mona_1.4-13-3.debian.tar.gz Check disc space ──────────────── Sufficient free space for build dpkg-buildpackage ───────────────── dpkg-buildpackage: export CFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export CPPFLAGS from dpkg-buildflags (origin: vendor): dpkg-buildpackage: export CXXFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export FFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export LDFLAGS from dpkg-buildflags (origin: vendor): dpkg-buildpackage: source package mona dpkg-buildpackage: source version 1.4-13-3 dpkg-source --before-build mona-1.4-13 dpkg-buildpackage: host architecture amd64 fakeroot debian/rules clean dh_testdir dh_testroot (cd config;\ [ ! -h config.guess ] || mv config.guess.upstream config.guess;\ [ ! -h config.sub ] || mv config.sub.upstream config.sub) if [ -e makefile ]; then /usr/bin/make distclean; fi rm build-stamp rm: cannot remove `build-stamp': No such file or directory make: [clean1] Error 1 (ignored) dh_clean dpkg-source -b mona-1.4-13 dpkg-source: info: using source format `3.0 (quilt)' dpkg-source: info: building mona using existing ./mona_1.4-13.orig.tar.gz dpkg-source: info: building mona in mona_1.4-13-3.debian.tar.gz dpkg-source: info: building mona in mona_1.4-13-3.dsc debian/rules build dh_testdir (cd config;\ [ -h config.guess ] || { mv config.guess config.guess.upstream; \ ln -s /usr/share/misc/config.guess; };\ [ -h config.sub ] || { mv config.sub config.sub.upstream; \ ln -s /usr/share/misc/config.sub; }) ./configure --prefix=/usr CFLAGS=-O3 CXXFLAGS=-O3 checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for gawk... no checking for mawk... mawk checking whether make sets $(MAKE)... yes checking for gcc... gcc checking for C compiler default output file name... a.out checking whether the C compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ANSI C... none needed checking for style of include used by make... GNU checking dependency style of gcc... gcc3 checking for g++... g++ checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking dependency style of g++... gcc3 checking for a BSD-compatible install... /usr/bin/install -c checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking for a sed that does not truncate output... /bin/sed checking for egrep... grep -E checking for ld used by gcc... /usr/bin/ld checking if the linker (/usr/bin/ld) is GNU ld... yes checking for /usr/bin/ld option to reload object files... -r checking for BSD-compatible nm... /usr/bin/nm -B checking whether ln -s works... yes checking how to recognise dependent libraries... pass_all checking how to run the C preprocessor... gcc -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking dlfcn.h usability... yes checking dlfcn.h presence... yes checking for dlfcn.h... yes checking how to run the C++ preprocessor... g++ -E checking for g77... no checking for f77... no checking for xlf... no checking for frt... no checking for pgf77... no checking for fort77... no checking for fl32... no checking for af77... no checking for f90... no checking for xlf90... no checking for pgf90... no checking for epcf90... no checking for f95... no checking for fort... no checking for xlf95... no checking for ifc... no checking for efc... no checking for pgf95... no checking for lf95... no checking for gfortran... no checking whether we are using the GNU Fortran 77 compiler... no checking whether accepts -g... no checking the maximum length of command line arguments... 32768 checking command to parse /usr/bin/nm -B output from gcc object... ok checking for objdir... .libs checking for ar... ar checking for ranlib... ranlib checking for strip... strip checking if gcc supports -fno-rtti -fno-exceptions... yes checking for gcc option to produce PIC... -fPIC checking if gcc PIC flag -fPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking whether the gcc linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes configure: creating libtool appending configuration tag "CXX" to libtool checking for ld used by g++... /usr/bin/ld -m elf_x86_64 checking if the linker (/usr/bin/ld -m elf_x86_64) is GNU ld... yes checking whether the g++ linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC checking if g++ PIC flag -fPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking whether the g++ linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate appending configuration tag "F77" to libtool checking for bison... bison -y checking for flex... flex checking for yywrap in -lfl... yes checking lex output file root... lex.yy checking whether yytext is a pointer... yes checking Win32 compiler... no checking for ANSI C header files... (cached) yes checking for stdlib.h... (cached) yes checking for string.h... (cached) yes checking sys/time.h usability... yes checking sys/time.h presence... yes checking for sys/time.h... yes checking for unistd.h... (cached) yes checking for an ANSI C-conforming const... yes checking for inline... inline checking for size_t... yes checking return type of signal handlers... void checking for stdlib.h... (cached) yes checking for GNU libc compatible malloc... yes checking for working memcmp... yes checking for stdlib.h... (cached) yes checking for unistd.h... (cached) yes checking for getpagesize... yes checking for working mmap... yes checking for alarm... yes checking for memset... yes checking for mkdir... yes configure: creating ./config.status config.status: creating mona.spec config.status: creating makefile config.status: creating config/makefile config.status: creating Mem/makefile config.status: creating BDD/makefile config.status: creating DFA/makefile config.status: creating GTA/makefile config.status: creating Front/makefile config.status: creating Lib/makefile config.status: creating Examples/makefile config.status: creating config.h config.status: config.h is unchanged config.status: executing depfiles commands /usr/bin/make CFLAGS=-O3 CXXFLAGS=-O3 make[1]: Entering directory `/build/mona-3hahTL/mona-1.4-13' /usr/bin/make all-recursive make[2]: Entering directory `/build/mona-3hahTL/mona-1.4-13' Making all in config make[3]: Entering directory `/build/mona-3hahTL/mona-1.4-13/config' make[3]: Nothing to be done for `all'. make[3]: Leaving directory `/build/mona-3hahTL/mona-1.4-13/config' Making all in Mem make[3]: Entering directory `/build/mona-3hahTL/mona-1.4-13/Mem' if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT dlmalloc.lo -MD -MP -MF ".deps/dlmalloc.Tpo" -c -o dlmalloc.lo dlmalloc.c; \ then mv -f ".deps/dlmalloc.Tpo" ".deps/dlmalloc.Plo"; else rm -f ".deps/dlmalloc.Tpo"; exit 1; fi mkdir .libs gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT dlmalloc.lo -MD -MP -MF .deps/dlmalloc.Tpo -c dlmalloc.c -fPIC -DPIC -o .libs/dlmalloc.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT dlmalloc.lo -MD -MP -MF .deps/dlmalloc.Tpo -c dlmalloc.c -o dlmalloc.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT mem.lo -MD -MP -MF ".deps/mem.Tpo" -c -o mem.lo mem.c; \ then mv -f ".deps/mem.Tpo" ".deps/mem.Plo"; else rm -f ".deps/mem.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT mem.lo -MD -MP -MF .deps/mem.Tpo -c mem.c -fPIC -DPIC -o .libs/mem.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT mem.lo -MD -MP -MF .deps/mem.Tpo -c mem.c -o mem.o >/dev/null 2>&1 /bin/bash ../libtool --tag=CC --mode=link gcc -O3 -o libmonamem.la -rpath /usr/lib -version-info 1:4 dlmalloc.lo mem.lo gcc -shared .libs/dlmalloc.o .libs/mem.o -Wl,-soname -Wl,libmonamem.so.1 -o .libs/libmonamem.so.1.0.4 (cd .libs && rm -f libmonamem.so.1 && ln -s libmonamem.so.1.0.4 libmonamem.so.1) (cd .libs && rm -f libmonamem.so && ln -s libmonamem.so.1.0.4 libmonamem.so) ar cru .libs/libmonamem.a dlmalloc.o mem.o ranlib .libs/libmonamem.a creating libmonamem.la (cd .libs && rm -f libmonamem.la && ln -s ../libmonamem.la libmonamem.la) make[3]: Leaving directory `/build/mona-3hahTL/mona-1.4-13/Mem' Making all in BDD make[3]: Entering directory `/build/mona-3hahTL/mona-1.4-13/BDD' if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd.lo -MD -MP -MF ".deps/bdd.Tpo" -c -o bdd.lo bdd.c; \ then mv -f ".deps/bdd.Tpo" ".deps/bdd.Plo"; else rm -f ".deps/bdd.Tpo"; exit 1; fi mkdir .libs gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd.lo -MD -MP -MF .deps/bdd.Tpo -c bdd.c -fPIC -DPIC -o .libs/bdd.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd.lo -MD -MP -MF .deps/bdd.Tpo -c bdd.c -o bdd.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_cache.lo -MD -MP -MF ".deps/bdd_cache.Tpo" -c -o bdd_cache.lo bdd_cache.c; \ then mv -f ".deps/bdd_cache.Tpo" ".deps/bdd_cache.Plo"; else rm -f ".deps/bdd_cache.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_cache.lo -MD -MP -MF .deps/bdd_cache.Tpo -c bdd_cache.c -fPIC -DPIC -o .libs/bdd_cache.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_cache.lo -MD -MP -MF .deps/bdd_cache.Tpo -c bdd_cache.c -o bdd_cache.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_double.lo -MD -MP -MF ".deps/bdd_double.Tpo" -c -o bdd_double.lo bdd_double.c; \ then mv -f ".deps/bdd_double.Tpo" ".deps/bdd_double.Plo"; else rm -f ".deps/bdd_double.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_double.lo -MD -MP -MF .deps/bdd_double.Tpo -c bdd_double.c -fPIC -DPIC -o .libs/bdd_double.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_double.lo -MD -MP -MF .deps/bdd_double.Tpo -c bdd_double.c -o bdd_double.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_dump.lo -MD -MP -MF ".deps/bdd_dump.Tpo" -c -o bdd_dump.lo bdd_dump.c; \ then mv -f ".deps/bdd_dump.Tpo" ".deps/bdd_dump.Plo"; else rm -f ".deps/bdd_dump.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_dump.lo -MD -MP -MF .deps/bdd_dump.Tpo -c bdd_dump.c -fPIC -DPIC -o .libs/bdd_dump.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_dump.lo -MD -MP -MF .deps/bdd_dump.Tpo -c bdd_dump.c -o bdd_dump.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_external.lo -MD -MP -MF ".deps/bdd_external.Tpo" -c -o bdd_external.lo bdd_external.c; \ then mv -f ".deps/bdd_external.Tpo" ".deps/bdd_external.Plo"; else rm -f ".deps/bdd_external.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_external.lo -MD -MP -MF .deps/bdd_external.Tpo -c bdd_external.c -fPIC -DPIC -o .libs/bdd_external.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_external.lo -MD -MP -MF .deps/bdd_external.Tpo -c bdd_external.c -o bdd_external.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_manager.lo -MD -MP -MF ".deps/bdd_manager.Tpo" -c -o bdd_manager.lo bdd_manager.c; \ then mv -f ".deps/bdd_manager.Tpo" ".deps/bdd_manager.Plo"; else rm -f ".deps/bdd_manager.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_manager.lo -MD -MP -MF .deps/bdd_manager.Tpo -c bdd_manager.c -fPIC -DPIC -o .libs/bdd_manager.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_manager.lo -MD -MP -MF .deps/bdd_manager.Tpo -c bdd_manager.c -o bdd_manager.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_trace.lo -MD -MP -MF ".deps/bdd_trace.Tpo" -c -o bdd_trace.lo bdd_trace.c; \ then mv -f ".deps/bdd_trace.Tpo" ".deps/bdd_trace.Plo"; else rm -f ".deps/bdd_trace.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_trace.lo -MD -MP -MF .deps/bdd_trace.Tpo -c bdd_trace.c -fPIC -DPIC -o .libs/bdd_trace.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_trace.lo -MD -MP -MF .deps/bdd_trace.Tpo -c bdd_trace.c -o bdd_trace.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT hash.lo -MD -MP -MF ".deps/hash.Tpo" -c -o hash.lo hash.c; \ then mv -f ".deps/hash.Tpo" ".deps/hash.Plo"; else rm -f ".deps/hash.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT hash.lo -MD -MP -MF .deps/hash.Tpo -c hash.c -fPIC -DPIC -o .libs/hash.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT hash.lo -MD -MP -MF .deps/hash.Tpo -c hash.c -o hash.o >/dev/null 2>&1 /bin/bash ../libtool --tag=CC --mode=link gcc -O3 -o libmonabdd.la -rpath /usr/lib -version-info 1:4 bdd.lo bdd_cache.lo bdd_double.lo bdd_dump.lo bdd_external.lo bdd_manager.lo bdd_trace.lo hash.lo ../Mem/libmonamem.la gcc -shared .libs/bdd.o .libs/bdd_cache.o .libs/bdd_double.o .libs/bdd_dump.o .libs/bdd_external.o .libs/bdd_manager.o .libs/bdd_trace.o .libs/hash.o -Wl,--rpath -Wl,/build/mona-3hahTL/mona-1.4-13/Mem/.libs -Wl,--rpath -Wl,/usr/lib ../Mem/.libs/libmonamem.so -Wl,-soname -Wl,libmonabdd.so.1 -o .libs/libmonabdd.so.1.0.4 (cd .libs && rm -f libmonabdd.so.1 && ln -s libmonabdd.so.1.0.4 libmonabdd.so.1) (cd .libs && rm -f libmonabdd.so && ln -s libmonabdd.so.1.0.4 libmonabdd.so) ar cru .libs/libmonabdd.a bdd.o bdd_cache.o bdd_double.o bdd_dump.o bdd_external.o bdd_manager.o bdd_trace.o hash.o ranlib .libs/libmonabdd.a creating libmonabdd.la (cd .libs && rm -f libmonabdd.la && ln -s ../libmonabdd.la libmonabdd.la) make[3]: Leaving directory `/build/mona-3hahTL/mona-1.4-13/BDD' Making all in DFA make[3]: Entering directory `/build/mona-3hahTL/mona-1.4-13/DFA' if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-analyze.lo -MD -MP -MF ".deps/libmonadfa_la-analyze.Tpo" -c -o libmonadfa_la-analyze.lo `test -f 'analyze.c' || echo './'`analyze.c; \ then mv -f ".deps/libmonadfa_la-analyze.Tpo" ".deps/libmonadfa_la-analyze.Plo"; else rm -f ".deps/libmonadfa_la-analyze.Tpo"; exit 1; fi mkdir .libs gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-analyze.lo -MD -MP -MF .deps/libmonadfa_la-analyze.Tpo -c analyze.c -fPIC -DPIC -o .libs/libmonadfa_la-analyze.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-analyze.lo -MD -MP -MF .deps/libmonadfa_la-analyze.Tpo -c analyze.c -o libmonadfa_la-analyze.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-basic.lo -MD -MP -MF ".deps/libmonadfa_la-basic.Tpo" -c -o libmonadfa_la-basic.lo `test -f 'basic.c' || echo './'`basic.c; \ then mv -f ".deps/libmonadfa_la-basic.Tpo" ".deps/libmonadfa_la-basic.Plo"; else rm -f ".deps/libmonadfa_la-basic.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-basic.lo -MD -MP -MF .deps/libmonadfa_la-basic.Tpo -c basic.c -fPIC -DPIC -o .libs/libmonadfa_la-basic.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-basic.lo -MD -MP -MF .deps/libmonadfa_la-basic.Tpo -c basic.c -o libmonadfa_la-basic.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-dfa.lo -MD -MP -MF ".deps/libmonadfa_la-dfa.Tpo" -c -o libmonadfa_la-dfa.lo `test -f 'dfa.c' || echo './'`dfa.c; \ then mv -f ".deps/libmonadfa_la-dfa.Tpo" ".deps/libmonadfa_la-dfa.Plo"; else rm -f ".deps/libmonadfa_la-dfa.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-dfa.lo -MD -MP -MF .deps/libmonadfa_la-dfa.Tpo -c dfa.c -fPIC -DPIC -o .libs/libmonadfa_la-dfa.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-dfa.lo -MD -MP -MF .deps/libmonadfa_la-dfa.Tpo -c dfa.c -o libmonadfa_la-dfa.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-external.lo -MD -MP -MF ".deps/libmonadfa_la-external.Tpo" -c -o libmonadfa_la-external.lo `test -f 'external.c' || echo './'`external.c; \ then mv -f ".deps/libmonadfa_la-external.Tpo" ".deps/libmonadfa_la-external.Plo"; else rm -f ".deps/libmonadfa_la-external.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-external.lo -MD -MP -MF .deps/libmonadfa_la-external.Tpo -c external.c -fPIC -DPIC -o .libs/libmonadfa_la-external.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-external.lo -MD -MP -MF .deps/libmonadfa_la-external.Tpo -c external.c -o libmonadfa_la-external.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-makebasic.lo -MD -MP -MF ".deps/libmonadfa_la-makebasic.Tpo" -c -o libmonadfa_la-makebasic.lo `test -f 'makebasic.c' || echo './'`makebasic.c; \ then mv -f ".deps/libmonadfa_la-makebasic.Tpo" ".deps/libmonadfa_la-makebasic.Plo"; else rm -f ".deps/libmonadfa_la-makebasic.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-makebasic.lo -MD -MP -MF .deps/libmonadfa_la-makebasic.Tpo -c makebasic.c -fPIC -DPIC -o .libs/libmonadfa_la-makebasic.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-makebasic.lo -MD -MP -MF .deps/libmonadfa_la-makebasic.Tpo -c makebasic.c -o libmonadfa_la-makebasic.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-minimize.lo -MD -MP -MF ".deps/libmonadfa_la-minimize.Tpo" -c -o libmonadfa_la-minimize.lo `test -f 'minimize.c' || echo './'`minimize.c; \ then mv -f ".deps/libmonadfa_la-minimize.Tpo" ".deps/libmonadfa_la-minimize.Plo"; else rm -f ".deps/libmonadfa_la-minimize.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-minimize.lo -MD -MP -MF .deps/libmonadfa_la-minimize.Tpo -c minimize.c -fPIC -DPIC -o .libs/libmonadfa_la-minimize.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-minimize.lo -MD -MP -MF .deps/libmonadfa_la-minimize.Tpo -c minimize.c -o libmonadfa_la-minimize.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-prefix.lo -MD -MP -MF ".deps/libmonadfa_la-prefix.Tpo" -c -o libmonadfa_la-prefix.lo `test -f 'prefix.c' || echo './'`prefix.c; \ then mv -f ".deps/libmonadfa_la-prefix.Tpo" ".deps/libmonadfa_la-prefix.Plo"; else rm -f ".deps/libmonadfa_la-prefix.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-prefix.lo -MD -MP -MF .deps/libmonadfa_la-prefix.Tpo -c prefix.c -fPIC -DPIC -o .libs/libmonadfa_la-prefix.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-prefix.lo -MD -MP -MF .deps/libmonadfa_la-prefix.Tpo -c prefix.c -o libmonadfa_la-prefix.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-printdfa.lo -MD -MP -MF ".deps/libmonadfa_la-printdfa.Tpo" -c -o libmonadfa_la-printdfa.lo `test -f 'printdfa.c' || echo './'`printdfa.c; \ then mv -f ".deps/libmonadfa_la-printdfa.Tpo" ".deps/libmonadfa_la-printdfa.Plo"; else rm -f ".deps/libmonadfa_la-printdfa.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-printdfa.lo -MD -MP -MF .deps/libmonadfa_la-printdfa.Tpo -c printdfa.c -fPIC -DPIC -o .libs/libmonadfa_la-printdfa.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-printdfa.lo -MD -MP -MF .deps/libmonadfa_la-printdfa.Tpo -c printdfa.c -o libmonadfa_la-printdfa.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-product.lo -MD -MP -MF ".deps/libmonadfa_la-product.Tpo" -c -o libmonadfa_la-product.lo `test -f 'product.c' || echo './'`product.c; \ then mv -f ".deps/libmonadfa_la-product.Tpo" ".deps/libmonadfa_la-product.Plo"; else rm -f ".deps/libmonadfa_la-product.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-product.lo -MD -MP -MF .deps/libmonadfa_la-product.Tpo -c product.c -fPIC -DPIC -o .libs/libmonadfa_la-product.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-product.lo -MD -MP -MF .deps/libmonadfa_la-product.Tpo -c product.c -o libmonadfa_la-product.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-project.lo -MD -MP -MF ".deps/libmonadfa_la-project.Tpo" -c -o libmonadfa_la-project.lo `test -f 'project.c' || echo './'`project.c; \ then mv -f ".deps/libmonadfa_la-project.Tpo" ".deps/libmonadfa_la-project.Plo"; else rm -f ".deps/libmonadfa_la-project.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-project.lo -MD -MP -MF .deps/libmonadfa_la-project.Tpo -c project.c -fPIC -DPIC -o .libs/libmonadfa_la-project.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-project.lo -MD -MP -MF .deps/libmonadfa_la-project.Tpo -c project.c -o libmonadfa_la-project.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-quotient.lo -MD -MP -MF ".deps/libmonadfa_la-quotient.Tpo" -c -o libmonadfa_la-quotient.lo `test -f 'quotient.c' || echo './'`quotient.c; \ then mv -f ".deps/libmonadfa_la-quotient.Tpo" ".deps/libmonadfa_la-quotient.Plo"; else rm -f ".deps/libmonadfa_la-quotient.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-quotient.lo -MD -MP -MF .deps/libmonadfa_la-quotient.Tpo -c quotient.c -fPIC -DPIC -o .libs/libmonadfa_la-quotient.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-quotient.lo -MD -MP -MF .deps/libmonadfa_la-quotient.Tpo -c quotient.c -o libmonadfa_la-quotient.o >/dev/null 2>&1 /bin/bash ../libtool --tag=CC --mode=link gcc -O3 -o libmonadfa.la -rpath /usr/lib -version-info 1:4 libmonadfa_la-analyze.lo libmonadfa_la-basic.lo libmonadfa_la-dfa.lo libmonadfa_la-external.lo libmonadfa_la-makebasic.lo libmonadfa_la-minimize.lo libmonadfa_la-prefix.lo libmonadfa_la-printdfa.lo libmonadfa_la-product.lo libmonadfa_la-project.lo libmonadfa_la-quotient.lo ../Mem/libmonamem.la ../BDD/libmonabdd.la gcc -shared .libs/libmonadfa_la-analyze.o .libs/libmonadfa_la-basic.o .libs/libmonadfa_la-dfa.o .libs/libmonadfa_la-external.o .libs/libmonadfa_la-makebasic.o .libs/libmonadfa_la-minimize.o .libs/libmonadfa_la-prefix.o .libs/libmonadfa_la-printdfa.o .libs/libmonadfa_la-product.o .libs/libmonadfa_la-project.o .libs/libmonadfa_la-quotient.o -Wl,--rpath -Wl,/build/mona-3hahTL/mona-1.4-13/Mem/.libs -Wl,--rpath -Wl,/build/mona-3hahTL/mona-1.4-13/BDD/.libs -Wl,--rpath -Wl,/usr/lib -L/build/mona-3hahTL/mona-1.4-13/Mem/.libs ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so -Wl,-soname -Wl,libmonadfa.so.1 -o .libs/libmonadfa.so.1.0.4 (cd .libs && rm -f libmonadfa.so.1 && ln -s libmonadfa.so.1.0.4 libmonadfa.so.1) (cd .libs && rm -f libmonadfa.so && ln -s libmonadfa.so.1.0.4 libmonadfa.so) ar cru .libs/libmonadfa.a libmonadfa_la-analyze.o libmonadfa_la-basic.o libmonadfa_la-dfa.o libmonadfa_la-external.o libmonadfa_la-makebasic.o libmonadfa_la-minimize.o libmonadfa_la-prefix.o libmonadfa_la-printdfa.o libmonadfa_la-product.o libmonadfa_la-project.o libmonadfa_la-quotient.o ranlib .libs/libmonadfa.a creating libmonadfa.la (cd .libs && rm -f libmonadfa.la && ln -s ../libmonadfa.la libmonadfa.la) make[3]: Leaving directory `/build/mona-3hahTL/mona-1.4-13/DFA' Making all in GTA make[3]: Entering directory `/build/mona-3hahTL/mona-1.4-13/GTA' if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-analyze.lo -MD -MP -MF ".deps/libmonagta_la-analyze.Tpo" -c -o libmonagta_la-analyze.lo `test -f 'analyze.c' || echo './'`analyze.c; \ then mv -f ".deps/libmonagta_la-analyze.Tpo" ".deps/libmonagta_la-analyze.Plo"; else rm -f ".deps/libmonagta_la-analyze.Tpo"; exit 1; fi mkdir .libs gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-analyze.lo -MD -MP -MF .deps/libmonagta_la-analyze.Tpo -c analyze.c -fPIC -DPIC -o .libs/libmonagta_la-analyze.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-analyze.lo -MD -MP -MF .deps/libmonagta_la-analyze.Tpo -c analyze.c -o libmonagta_la-analyze.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-analyze_acceptance.lo -MD -MP -MF ".deps/libmonagta_la-analyze_acceptance.Tpo" -c -o libmonagta_la-analyze_acceptance.lo `test -f 'analyze_acceptance.c' || echo './'`analyze_acceptance.c; \ then mv -f ".deps/libmonagta_la-analyze_acceptance.Tpo" ".deps/libmonagta_la-analyze_acceptance.Plo"; else rm -f ".deps/libmonagta_la-analyze_acceptance.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-analyze_acceptance.lo -MD -MP -MF .deps/libmonagta_la-analyze_acceptance.Tpo -c analyze_acceptance.c -fPIC -DPIC -o .libs/libmonagta_la-analyze_acceptance.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-analyze_acceptance.lo -MD -MP -MF .deps/libmonagta_la-analyze_acceptance.Tpo -c analyze_acceptance.c -o libmonagta_la-analyze_acceptance.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-basic.lo -MD -MP -MF ".deps/libmonagta_la-basic.Tpo" -c -o libmonagta_la-basic.lo `test -f 'basic.c' || echo './'`basic.c; \ then mv -f ".deps/libmonagta_la-basic.Tpo" ".deps/libmonagta_la-basic.Plo"; else rm -f ".deps/libmonagta_la-basic.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-basic.lo -MD -MP -MF .deps/libmonagta_la-basic.Tpo -c basic.c -fPIC -DPIC -o .libs/libmonagta_la-basic.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-basic.lo -MD -MP -MF .deps/libmonagta_la-basic.Tpo -c basic.c -o libmonagta_la-basic.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-copy.lo -MD -MP -MF ".deps/libmonagta_la-copy.Tpo" -c -o libmonagta_la-copy.lo `test -f 'copy.c' || echo './'`copy.c; \ then mv -f ".deps/libmonagta_la-copy.Tpo" ".deps/libmonagta_la-copy.Plo"; else rm -f ".deps/libmonagta_la-copy.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-copy.lo -MD -MP -MF .deps/libmonagta_la-copy.Tpo -c copy.c -fPIC -DPIC -o .libs/libmonagta_la-copy.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-copy.lo -MD -MP -MF .deps/libmonagta_la-copy.Tpo -c copy.c -o libmonagta_la-copy.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-dyn.lo -MD -MP -MF ".deps/libmonagta_la-dyn.Tpo" -c -o libmonagta_la-dyn.lo `test -f 'dyn.c' || echo './'`dyn.c; \ then mv -f ".deps/libmonagta_la-dyn.Tpo" ".deps/libmonagta_la-dyn.Plo"; else rm -f ".deps/libmonagta_la-dyn.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-dyn.lo -MD -MP -MF .deps/libmonagta_la-dyn.Tpo -c dyn.c -fPIC -DPIC -o .libs/libmonagta_la-dyn.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-dyn.lo -MD -MP -MF .deps/libmonagta_la-dyn.Tpo -c dyn.c -o libmonagta_la-dyn.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-external.lo -MD -MP -MF ".deps/libmonagta_la-external.Tpo" -c -o libmonagta_la-external.lo `test -f 'external.c' || echo './'`external.c; \ then mv -f ".deps/libmonagta_la-external.Tpo" ".deps/libmonagta_la-external.Plo"; else rm -f ".deps/libmonagta_la-external.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-external.lo -MD -MP -MF .deps/libmonagta_la-external.Tpo -c external.c -fPIC -DPIC -o .libs/libmonagta_la-external.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-external.lo -MD -MP -MF .deps/libmonagta_la-external.Tpo -c external.c -o libmonagta_la-external.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-gta.lo -MD -MP -MF ".deps/libmonagta_la-gta.Tpo" -c -o libmonagta_la-gta.lo `test -f 'gta.c' || echo './'`gta.c; \ then mv -f ".deps/libmonagta_la-gta.Tpo" ".deps/libmonagta_la-gta.Plo"; else rm -f ".deps/libmonagta_la-gta.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-gta.lo -MD -MP -MF .deps/libmonagta_la-gta.Tpo -c gta.c -fPIC -DPIC -o .libs/libmonagta_la-gta.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-gta.lo -MD -MP -MF .deps/libmonagta_la-gta.Tpo -c gta.c -o libmonagta_la-gta.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-makebasic.lo -MD -MP -MF ".deps/libmonagta_la-makebasic.Tpo" -c -o libmonagta_la-makebasic.lo `test -f 'makebasic.c' || echo './'`makebasic.c; \ then mv -f ".deps/libmonagta_la-makebasic.Tpo" ".deps/libmonagta_la-makebasic.Plo"; else rm -f ".deps/libmonagta_la-makebasic.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-makebasic.lo -MD -MP -MF .deps/libmonagta_la-makebasic.Tpo -c makebasic.c -fPIC -DPIC -o .libs/libmonagta_la-makebasic.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-makebasic.lo -MD -MP -MF .deps/libmonagta_la-makebasic.Tpo -c makebasic.c -o libmonagta_la-makebasic.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-minimize.lo -MD -MP -MF ".deps/libmonagta_la-minimize.Tpo" -c -o libmonagta_la-minimize.lo `test -f 'minimize.c' || echo './'`minimize.c; \ then mv -f ".deps/libmonagta_la-minimize.Tpo" ".deps/libmonagta_la-minimize.Plo"; else rm -f ".deps/libmonagta_la-minimize.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-minimize.lo -MD -MP -MF .deps/libmonagta_la-minimize.Tpo -c minimize.c -fPIC -DPIC -o .libs/libmonagta_la-minimize.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-minimize.lo -MD -MP -MF .deps/libmonagta_la-minimize.Tpo -c minimize.c -o libmonagta_la-minimize.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-negation.lo -MD -MP -MF ".deps/libmonagta_la-negation.Tpo" -c -o libmonagta_la-negation.lo `test -f 'negation.c' || echo './'`negation.c; \ then mv -f ".deps/libmonagta_la-negation.Tpo" ".deps/libmonagta_la-negation.Plo"; else rm -f ".deps/libmonagta_la-negation.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-negation.lo -MD -MP -MF .deps/libmonagta_la-negation.Tpo -c negation.c -fPIC -DPIC -o .libs/libmonagta_la-negation.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-negation.lo -MD -MP -MF .deps/libmonagta_la-negation.Tpo -c negation.c -o libmonagta_la-negation.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-pairhash.lo -MD -MP -MF ".deps/libmonagta_la-pairhash.Tpo" -c -o libmonagta_la-pairhash.lo `test -f 'pairhash.c' || echo './'`pairhash.c; \ then mv -f ".deps/libmonagta_la-pairhash.Tpo" ".deps/libmonagta_la-pairhash.Plo"; else rm -f ".deps/libmonagta_la-pairhash.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-pairhash.lo -MD -MP -MF .deps/libmonagta_la-pairhash.Tpo -c pairhash.c -fPIC -DPIC -o .libs/libmonagta_la-pairhash.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-pairhash.lo -MD -MP -MF .deps/libmonagta_la-pairhash.Tpo -c pairhash.c -o libmonagta_la-pairhash.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-printgta.lo -MD -MP -MF ".deps/libmonagta_la-printgta.Tpo" -c -o libmonagta_la-printgta.lo `test -f 'printgta.c' || echo './'`printgta.c; \ then mv -f ".deps/libmonagta_la-printgta.Tpo" ".deps/libmonagta_la-printgta.Plo"; else rm -f ".deps/libmonagta_la-printgta.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-printgta.lo -MD -MP -MF .deps/libmonagta_la-printgta.Tpo -c printgta.c -fPIC -DPIC -o .libs/libmonagta_la-printgta.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-printgta.lo -MD -MP -MF .deps/libmonagta_la-printgta.Tpo -c printgta.c -o libmonagta_la-printgta.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-product.lo -MD -MP -MF ".deps/libmonagta_la-product.Tpo" -c -o libmonagta_la-product.lo `test -f 'product.c' || echo './'`product.c; \ then mv -f ".deps/libmonagta_la-product.Tpo" ".deps/libmonagta_la-product.Plo"; else rm -f ".deps/libmonagta_la-product.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-product.lo -MD -MP -MF .deps/libmonagta_la-product.Tpo -c product.c -fPIC -DPIC -o .libs/libmonagta_la-product.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-product.lo -MD -MP -MF .deps/libmonagta_la-product.Tpo -c product.c -o libmonagta_la-product.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-project.lo -MD -MP -MF ".deps/libmonagta_la-project.Tpo" -c -o libmonagta_la-project.lo `test -f 'project.c' || echo './'`project.c; \ then mv -f ".deps/libmonagta_la-project.Tpo" ".deps/libmonagta_la-project.Plo"; else rm -f ".deps/libmonagta_la-project.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-project.lo -MD -MP -MF .deps/libmonagta_la-project.Tpo -c project.c -fPIC -DPIC -o .libs/libmonagta_la-project.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-project.lo -MD -MP -MF .deps/libmonagta_la-project.Tpo -c project.c -o libmonagta_la-project.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-projset.lo -MD -MP -MF ".deps/libmonagta_la-projset.Tpo" -c -o libmonagta_la-projset.lo `test -f 'projset.c' || echo './'`projset.c; \ then mv -f ".deps/libmonagta_la-projset.Tpo" ".deps/libmonagta_la-projset.Plo"; else rm -f ".deps/libmonagta_la-projset.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-projset.lo -MD -MP -MF .deps/libmonagta_la-projset.Tpo -c projset.c -fPIC -DPIC -o .libs/libmonagta_la-projset.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-projset.lo -MD -MP -MF .deps/libmonagta_la-projset.Tpo -c projset.c -o libmonagta_la-projset.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-reachable.lo -MD -MP -MF ".deps/libmonagta_la-reachable.Tpo" -c -o libmonagta_la-reachable.lo `test -f 'reachable.c' || echo './'`reachable.c; \ then mv -f ".deps/libmonagta_la-reachable.Tpo" ".deps/libmonagta_la-reachable.Plo"; else rm -f ".deps/libmonagta_la-reachable.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-reachable.lo -MD -MP -MF .deps/libmonagta_la-reachable.Tpo -c reachable.c -fPIC -DPIC -o .libs/libmonagta_la-reachable.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-reachable.lo -MD -MP -MF .deps/libmonagta_la-reachable.Tpo -c reachable.c -o libmonagta_la-reachable.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-replace_indices.lo -MD -MP -MF ".deps/libmonagta_la-replace_indices.Tpo" -c -o libmonagta_la-replace_indices.lo `test -f 'replace_indices.c' || echo './'`replace_indices.c; \ then mv -f ".deps/libmonagta_la-replace_indices.Tpo" ".deps/libmonagta_la-replace_indices.Plo"; else rm -f ".deps/libmonagta_la-replace_indices.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-replace_indices.lo -MD -MP -MF .deps/libmonagta_la-replace_indices.Tpo -c replace_indices.c -fPIC -DPIC -o .libs/libmonagta_la-replace_indices.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-replace_indices.lo -MD -MP -MF .deps/libmonagta_la-replace_indices.Tpo -c replace_indices.c -o libmonagta_la-replace_indices.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-restrict.lo -MD -MP -MF ".deps/libmonagta_la-restrict.Tpo" -c -o libmonagta_la-restrict.lo `test -f 'restrict.c' || echo './'`restrict.c; \ then mv -f ".deps/libmonagta_la-restrict.Tpo" ".deps/libmonagta_la-restrict.Plo"; else rm -f ".deps/libmonagta_la-restrict.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-restrict.lo -MD -MP -MF .deps/libmonagta_la-restrict.Tpo -c restrict.c -fPIC -DPIC -o .libs/libmonagta_la-restrict.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-restrict.lo -MD -MP -MF .deps/libmonagta_la-restrict.Tpo -c restrict.c -o libmonagta_la-restrict.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-subsets.lo -MD -MP -MF ".deps/libmonagta_la-subsets.Tpo" -c -o libmonagta_la-subsets.lo `test -f 'subsets.c' || echo './'`subsets.c; \ then mv -f ".deps/libmonagta_la-subsets.Tpo" ".deps/libmonagta_la-subsets.Plo"; else rm -f ".deps/libmonagta_la-subsets.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-subsets.lo -MD -MP -MF .deps/libmonagta_la-subsets.Tpo -c subsets.c -fPIC -DPIC -o .libs/libmonagta_la-subsets.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-subsets.lo -MD -MP -MF .deps/libmonagta_la-subsets.Tpo -c subsets.c -o libmonagta_la-subsets.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-types.lo -MD -MP -MF ".deps/libmonagta_la-types.Tpo" -c -o libmonagta_la-types.lo `test -f 'types.c' || echo './'`types.c; \ then mv -f ".deps/libmonagta_la-types.Tpo" ".deps/libmonagta_la-types.Plo"; else rm -f ".deps/libmonagta_la-types.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-types.lo -MD -MP -MF .deps/libmonagta_la-types.Tpo -c types.c -fPIC -DPIC -o .libs/libmonagta_la-types.o types.c:205:10: warning: format string is not a string literal (potentially insecure) [-Wformat-security] printf(treetypes[type].variantName[v]); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ types.c:313:14: warning: format string is not a string literal (potentially insecure) [-Wformat-security] printf(path); ^~~~ types.c:388:14: warning: format string is not a string literal (potentially insecure) [-Wformat-security] printf(path); ^~~~ 3 warnings generated. gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-types.lo -MD -MP -MF .deps/libmonagta_la-types.Tpo -c types.c -o libmonagta_la-types.o >/dev/null 2>&1 /bin/bash ../libtool --tag=CC --mode=link gcc -O3 -o libmonagta.la -rpath /usr/lib -version-info 1:4 libmonagta_la-analyze.lo libmonagta_la-analyze_acceptance.lo libmonagta_la-basic.lo libmonagta_la-copy.lo libmonagta_la-dyn.lo libmonagta_la-external.lo libmonagta_la-gta.lo libmonagta_la-makebasic.lo libmonagta_la-minimize.lo libmonagta_la-negation.lo libmonagta_la-pairhash.lo libmonagta_la-printgta.lo libmonagta_la-product.lo libmonagta_la-project.lo libmonagta_la-projset.lo libmonagta_la-reachable.lo libmonagta_la-replace_indices.lo libmonagta_la-restrict.lo libmonagta_la-subsets.lo libmonagta_la-types.lo ../Mem/libmonamem.la ../BDD/libmonabdd.la gcc -shared .libs/libmonagta_la-analyze.o .libs/libmonagta_la-analyze_acceptance.o .libs/libmonagta_la-basic.o .libs/libmonagta_la-copy.o .libs/libmonagta_la-dyn.o .libs/libmonagta_la-external.o .libs/libmonagta_la-gta.o .libs/libmonagta_la-makebasic.o .libs/libmonagta_la-minimize.o .libs/libmonagta_la-negation.o .libs/libmonagta_la-pairhash.o .libs/libmonagta_la-printgta.o .libs/libmonagta_la-product.o .libs/libmonagta_la-project.o .libs/libmonagta_la-projset.o .libs/libmonagta_la-reachable.o .libs/libmonagta_la-replace_indices.o .libs/libmonagta_la-restrict.o .libs/libmonagta_la-subsets.o .libs/libmonagta_la-types.o -Wl,--rpath -Wl,/build/mona-3hahTL/mona-1.4-13/Mem/.libs -Wl,--rpath -Wl,/build/mona-3hahTL/mona-1.4-13/BDD/.libs -Wl,--rpath -Wl,/usr/lib -L/build/mona-3hahTL/mona-1.4-13/Mem/.libs ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so -Wl,-soname -Wl,libmonagta.so.1 -o .libs/libmonagta.so.1.0.4 (cd .libs && rm -f libmonagta.so.1 && ln -s libmonagta.so.1.0.4 libmonagta.so.1) (cd .libs && rm -f libmonagta.so && ln -s libmonagta.so.1.0.4 libmonagta.so) ar cru .libs/libmonagta.a libmonagta_la-analyze.o libmonagta_la-analyze_acceptance.o libmonagta_la-basic.o libmonagta_la-copy.o libmonagta_la-dyn.o libmonagta_la-external.o libmonagta_la-gta.o libmonagta_la-makebasic.o libmonagta_la-minimize.o libmonagta_la-negation.o libmonagta_la-pairhash.o libmonagta_la-printgta.o libmonagta_la-product.o libmonagta_la-project.o libmonagta_la-projset.o libmonagta_la-reachable.o libmonagta_la-replace_indices.o libmonagta_la-restrict.o libmonagta_la-subsets.o libmonagta_la-types.o ranlib .libs/libmonagta.a creating libmonagta.la (cd .libs && rm -f libmonagta.la && ln -s ../libmonagta.la libmonagta.la) make[3]: Leaving directory `/build/mona-3hahTL/mona-1.4-13/GTA' Making all in Front make[3]: Entering directory `/build/mona-3hahTL/mona-1.4-13/Front' /usr/bin/make all-am make[4]: Entering directory `/build/mona-3hahTL/mona-1.4-13/Front' if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-ast.o -MD -MP -MF ".deps/mona-ast.Tpo" -c -o mona-ast.o `test -f 'ast.cpp' || echo './'`ast.cpp; \ then mv -f ".deps/mona-ast.Tpo" ".deps/mona-ast.Po"; else rm -f ".deps/mona-ast.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-astdump.o -MD -MP -MF ".deps/mona-astdump.Tpo" -c -o mona-astdump.o `test -f 'astdump.cpp' || echo './'`astdump.cpp; \ then mv -f ".deps/mona-astdump.Tpo" ".deps/mona-astdump.Po"; else rm -f ".deps/mona-astdump.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-code.o -MD -MP -MF ".deps/mona-code.Tpo" -c -o mona-code.o `test -f 'code.cpp' || echo './'`code.cpp; \ then mv -f ".deps/mona-code.Tpo" ".deps/mona-code.Po"; else rm -f ".deps/mona-code.Tpo"; exit 1; fi code.cpp:294:34: warning: & has lower precedence than >; > will be evaluated first [-Wparentheses] if ((kind==cEq1 || kind==cEq2) & id1 > id2) { // exploit relation symmetry ^~~~~~~~~~~ code.cpp:294:34: note: place parentheses around the & expression to evaluate it first if ((kind==cEq1 || kind==cEq2) & id1 > id2) { // exploit relation symmetry ^ ( ) code.cpp:294:34: note: place parentheses around the > expression to silence this warning if ((kind==cEq1 || kind==cEq2) & id1 > id2) { // exploit relation symmetry ^ ( ) code.cpp:350:42: warning: & has lower precedence than >; > will be evaluated first [-Wparentheses] if ((kind==cEqUnion || kind==cEqInter) & id2 > id3) { // exploit symmetry ^~~~~~~~~~~ code.cpp:350:42: note: place parentheses around the & expression to evaluate it first if ((kind==cEqUnion || kind==cEqInter) & id2 > id3) { // exploit symmetry ^ ( ) code.cpp:350:42: note: place parentheses around the > expression to silence this warning if ((kind==cEqUnion || kind==cEqInter) & id2 > id3) { // exploit symmetry ^ ( ) 2 warnings generated. if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-codedump.o -MD -MP -MF ".deps/mona-codedump.Tpo" -c -o mona-codedump.o `test -f 'codedump.cpp' || echo './'`codedump.cpp; \ then mv -f ".deps/mona-codedump.Tpo" ".deps/mona-codedump.Po"; else rm -f ".deps/mona-codedump.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-codesubst.o -MD -MP -MF ".deps/mona-codesubst.Tpo" -c -o mona-codesubst.o `test -f 'codesubst.cpp' || echo './'`codesubst.cpp; \ then mv -f ".deps/mona-codesubst.Tpo" ".deps/mona-codesubst.Po"; else rm -f ".deps/mona-codesubst.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-codetable.o -MD -MP -MF ".deps/mona-codetable.Tpo" -c -o mona-codetable.o `test -f 'codetable.cpp' || echo './'`codetable.cpp; \ then mv -f ".deps/mona-codetable.Tpo" ".deps/mona-codetable.Po"; else rm -f ".deps/mona-codetable.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-freevars.o -MD -MP -MF ".deps/mona-freevars.Tpo" -c -o mona-freevars.o `test -f 'freevars.cpp' || echo './'`freevars.cpp; \ then mv -f ".deps/mona-freevars.Tpo" ".deps/mona-freevars.Po"; else rm -f ".deps/mona-freevars.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-ident.o -MD -MP -MF ".deps/mona-ident.Tpo" -c -o mona-ident.o `test -f 'ident.cpp' || echo './'`ident.cpp; \ then mv -f ".deps/mona-ident.Tpo" ".deps/mona-ident.Po"; else rm -f ".deps/mona-ident.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-lib.o -MD -MP -MF ".deps/mona-lib.Tpo" -c -o mona-lib.o `test -f 'lib.cpp' || echo './'`lib.cpp; \ then mv -f ".deps/mona-lib.Tpo" ".deps/mona-lib.Po"; else rm -f ".deps/mona-lib.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-makeguide.o -MD -MP -MF ".deps/mona-makeguide.Tpo" -c -o mona-makeguide.o `test -f 'makeguide.cpp' || echo './'`makeguide.cpp; \ then mv -f ".deps/mona-makeguide.Tpo" ".deps/mona-makeguide.Po"; else rm -f ".deps/mona-makeguide.Tpo"; exit 1; fi makeguide.cpp:50:24: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] Name name = Name("", dummyPos); ^ makeguide.cpp:56:47: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] typedUnivs2guide(univs->size(), univs, 0, ""); ^ makeguide.cpp:157:24: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] Name name = Name("", dummyPos); ^ makeguide.cpp:165:24: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] Name name = Name("", dummyPos); ^ makeguide.cpp:218:50: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] univ, symbolTable.lookupSymbol(typeId), ""); ^ makeguide.cpp:262:43: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] GuideFunc *g = makeStateSpace(ssname, "", &leftpos, &rightpos, SS_ORLEAF); ^ makeguide.cpp:316:25: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] univ, c->type, ""); ^ 7 warnings generated. if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-mona.o -MD -MP -MF ".deps/mona-mona.Tpo" -c -o mona-mona.o `test -f 'mona.cpp' || echo './'`mona.cpp; \ then mv -f ".deps/mona-mona.Tpo" ".deps/mona-mona.Po"; else rm -f ".deps/mona-mona.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-offsets.o -MD -MP -MF ".deps/mona-offsets.Tpo" -c -o mona-offsets.o `test -f 'offsets.cpp' || echo './'`offsets.cpp; \ then mv -f ".deps/mona-offsets.Tpo" ".deps/mona-offsets.Po"; else rm -f ".deps/mona-offsets.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-parser.o -MD -MP -MF ".deps/mona-parser.Tpo" -c -o mona-parser.o `test -f 'parser.cpp' || echo './'`parser.cpp; \ then mv -f ".deps/mona-parser.Tpo" ".deps/mona-parser.Po"; else rm -f ".deps/mona-parser.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-predlib.o -MD -MP -MF ".deps/mona-predlib.Tpo" -c -o mona-predlib.o `test -f 'predlib.cpp' || echo './'`predlib.cpp; \ then mv -f ".deps/mona-predlib.Tpo" ".deps/mona-predlib.Po"; else rm -f ".deps/mona-predlib.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-printline.o -MD -MP -MF ".deps/mona-printline.Tpo" -c -o mona-printline.o `test -f 'printline.cpp' || echo './'`printline.cpp; \ then mv -f ".deps/mona-printline.Tpo" ".deps/mona-printline.Po"; else rm -f ".deps/mona-printline.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-reduce.o -MD -MP -MF ".deps/mona-reduce.Tpo" -c -o mona-reduce.o `test -f 'reduce.cpp' || echo './'`reduce.cpp; \ then mv -f ".deps/mona-reduce.Tpo" ".deps/mona-reduce.Po"; else rm -f ".deps/mona-reduce.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-scanner.o -MD -MP -MF ".deps/mona-scanner.Tpo" -c -o mona-scanner.o `test -f 'scanner.cpp' || echo './'`scanner.cpp; \ then mv -f ".deps/mona-scanner.Tpo" ".deps/mona-scanner.Po"; else rm -f ".deps/mona-scanner.Tpo"; exit 1; fi scanner.lpp:73:14: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] char *file = ""; ^ 1 warning generated. if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-signature.o -MD -MP -MF ".deps/mona-signature.Tpo" -c -o mona-signature.o `test -f 'signature.cpp' || echo './'`signature.cpp; \ then mv -f ".deps/mona-signature.Tpo" ".deps/mona-signature.Po"; else rm -f ".deps/mona-signature.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-st_dfa.o -MD -MP -MF ".deps/mona-st_dfa.Tpo" -c -o mona-st_dfa.o `test -f 'st_dfa.cpp' || echo './'`st_dfa.cpp; \ then mv -f ".deps/mona-st_dfa.Tpo" ".deps/mona-st_dfa.Po"; else rm -f ".deps/mona-st_dfa.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-st_gta.o -MD -MP -MF ".deps/mona-st_gta.Tpo" -c -o mona-st_gta.o `test -f 'st_gta.cpp' || echo './'`st_gta.cpp; \ then mv -f ".deps/mona-st_gta.Tpo" ".deps/mona-st_gta.Po"; else rm -f ".deps/mona-st_gta.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-symboltable.o -MD -MP -MF ".deps/mona-symboltable.Tpo" -c -o mona-symboltable.o `test -f 'symboltable.cpp' || echo './'`symboltable.cpp; \ then mv -f ".deps/mona-symboltable.Tpo" ".deps/mona-symboltable.Po"; else rm -f ".deps/mona-symboltable.Tpo"; exit 1; fi symboltable.cpp:551:14: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] type = "var0"; ^ symboltable.cpp:554:14: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] type = "var1"; ^ symboltable.cpp:557:14: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] type = "var2"; ^ symboltable.cpp:560:14: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] type = "tree"; ^ symboltable.cpp:563:14: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] type = "par0"; ^ symboltable.cpp:566:14: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] type = "par1"; ^ symboltable.cpp:569:14: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] type = "par2"; ^ symboltable.cpp:572:14: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] type = "par univ"; ^ symboltable.cpp:575:14: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] type = "univ"; ^ symboltable.cpp:578:14: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] type = "pred/macro"; ^ symboltable.cpp:581:14: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] type = "const"; ^ symboltable.cpp:584:14: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] type = "statespace"; ^ symboltable.cpp:587:14: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] type = "type"; ^ 13 warnings generated. if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-timer.o -MD -MP -MF ".deps/mona-timer.Tpo" -c -o mona-timer.o `test -f 'timer.cpp' || echo './'`timer.cpp; \ then mv -f ".deps/mona-timer.Tpo" ".deps/mona-timer.Po"; else rm -f ".deps/mona-timer.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-untyped.o -MD -MP -MF ".deps/mona-untyped.Tpo" -c -o mona-untyped.o `test -f 'untyped.cpp' || echo './'`untyped.cpp; \ then mv -f ".deps/mona-untyped.Tpo" ".deps/mona-untyped.Po"; else rm -f ".deps/mona-untyped.Tpo"; exit 1; fi untyped.cpp:1856:13: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] title = ""; ^ 1 warning generated. /bin/bash ../libtool --tag=CXX --mode=link g++ -O3 -o mona mona-ast.o mona-astdump.o mona-code.o mona-codedump.o mona-codesubst.o mona-codetable.o mona-freevars.o mona-ident.o mona-lib.o mona-makeguide.o mona-mona.o mona-offsets.o mona-parser.o mona-predlib.o mona-printline.o mona-reduce.o mona-scanner.o mona-signature.o mona-st_dfa.o mona-st_gta.o mona-symboltable.o mona-timer.o mona-untyped.o ../Mem/libmonamem.la ../BDD/libmonabdd.la ../DFA/libmonadfa.la ../GTA/libmonagta.la mkdir .libs g++ -O3 -o .libs/mona mona-ast.o mona-astdump.o mona-code.o mona-codedump.o mona-codesubst.o mona-codetable.o mona-freevars.o mona-ident.o mona-lib.o mona-makeguide.o mona-mona.o mona-offsets.o mona-parser.o mona-predlib.o mona-printline.o mona-reduce.o mona-scanner.o mona-signature.o mona-st_dfa.o mona-st_gta.o mona-symboltable.o mona-timer.o mona-untyped.o ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so ../DFA/.libs/libmonadfa.so ../GTA/.libs/libmonagta.so /build/mona-3hahTL/mona-1.4-13/BDD/.libs/libmonabdd.so /build/mona-3hahTL/mona-1.4-13/Mem/.libs/libmonamem.so -Wl,--rpath -Wl,/usr/lib ../DFA/.libs/libmonadfa.so: undefined reference to `make_loop' ../BDD/.libs/libmonabdd.so: undefined reference to `insert_cache' clang: error: linker command failed with exit code 1 (use -v to see invocation) make[4]: *** [mona] Error 1 make[4]: Leaving directory `/build/mona-3hahTL/mona-1.4-13/Front' make[3]: *** [all] Error 2 make[3]: Leaving directory `/build/mona-3hahTL/mona-1.4-13/Front' make[2]: *** [all-recursive] Error 1 make[2]: Leaving directory `/build/mona-3hahTL/mona-1.4-13' make[1]: *** [all] Error 2 make[1]: Leaving directory `/build/mona-3hahTL/mona-1.4-13' make: *** [build-stamp] Error 2 dpkg-buildpackage: error: debian/rules build gave error exit status 2 ──────────────────────────────────────────────────────────────────────────────── Build finished at 20110911-1355 Finished ──────── E: Build failure (dpkg-buildpackage died) ┌──────────────────────────────────────────────────────────────────────────────┐ │ Cleanup │ └──────────────────────────────────────────────────────────────────────────────┘ Purging /var/lib/schroot/mount/lsid64c-b9338557-9186-4158-b2bf-1a4bd96074a8/build/mona-3hahTL Not cleaning session: cloned chroot in use ┌──────────────────────────────────────────────────────────────────────────────┐ │ Summary │ └──────────────────────────────────────────────────────────────────────────────┘ Architecture: amd64 Build-Space: 7528 Build-Time: 54 Distribution: lsid64c Fail-Stage: build Install-Time: 10 Job: mona_1.4-13-3 Package: mona Package-Time: 78 Source-Version: 1.4-13-3 Space: 7528 Status: attempted Version: 1.4-13-3 ──────────────────────────────────────────────────────────────────────────────── Finished at 20110911-1355 Build needed 00:01:18, 7528k disc space DC-Message: Failed, but took only 80.224338. Retrying, you never know. Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Requested exclusive mode, but other builds running. Requested exclusive mode, but other builds running. Requested exclusive mode, but other builds running. Requested exclusive mode, but other builds running. Requested exclusive mode, but other builds running. Requested exclusive mode, but other builds running. Requested exclusive mode, but other builds running. Requested exclusive mode, but other builds running. Requested exclusive mode, but other builds running. Requested exclusive mode, but other builds running. Requested exclusive mode, but other builds running. Requested exclusive mode, but other builds running. Requested exclusive mode, but other builds running. Requested exclusive mode, but other builds running. Requested exclusive mode, but other builds running. Requested exclusive mode, but other builds running. Requested exclusive mode, but other builds running. Requested exclusive mode, but other builds running. Requested exclusive mode, but other builds running. Requested exclusive mode, but other builds running. sbuild (Debian sbuild) 0.62.2 (05 Apr 2011) on talc-100.nancy.grid5000.fr ╔══════════════════════════════════════════════════════════════════════════════╗ ║ mona 1.4-13-3 (amd64) 11 Sep 2011 14:14 ║ ╚══════════════════════════════════════════════════════════════════════════════╝ Package: mona Version: 1.4-13-3 Source Version: 1.4-13-3 Distribution: lsid64c Architecture: amd64 ┌──────────────────────────────────────────────────────────────────────────────┐ │ Update chroot │ └──────────────────────────────────────────────────────────────────────────────┘ Ign http://localhost sid InRelease Hit http://localhost sid Release.gpg Hit http://localhost sid Release Ign http://localhost sid/main Sources/DiffIndex Ign http://localhost sid/main amd64 Packages/DiffIndex Ign http://localhost sid/main TranslationIndex Hit http://localhost sid/main Sources Hit http://localhost sid/main amd64 Packages Ign http://localhost sid/main Translation-en Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: binutils cpp-4.6 g++-4.6 gcc-4.6 gcc-4.6-base libc-bin libc-dev-bin libc6 libc6-dev libgcc1 libgomp1 libquadmath0 libstdc++6 libstdc++6-4.6-dev multiarch-support 15 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 34.4 MB of archives. After this operation, 1073 kB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libc6-dev libc-dev-bin libgomp1 gcc-4.6-base libgcc1 cpp-4.6 libquadmath0 libstdc++6-4.6-dev g++-4.6 gcc-4.6 libstdc++6 binutils libc-bin libc6 multiarch-support Authentication warning overridden. Get:1 http://localhost/debian/ sid/main libc6-dev amd64 2.13-20 [2637 kB] Get:2 http://localhost/debian/ sid/main libc-dev-bin amd64 2.13-20 [217 kB] Get:3 http://localhost/debian/ sid/main libgomp1 amd64 4.6.1-10 [25.7 kB] Get:4 http://localhost/debian/ sid/main gcc-4.6-base amd64 4.6.1-10 [135 kB] Get:5 http://localhost/debian/ sid/main libgcc1 amd64 1:4.6.1-10 [42.9 kB] Get:6 http://localhost/debian/ sid/main cpp-4.6 amd64 4.6.1-10 [4816 kB] Get:7 http://localhost/debian/ sid/main libquadmath0 amd64 4.6.1-10 [126 kB] Get:8 http://localhost/debian/ sid/main libstdc++6-4.6-dev amd64 4.6.1-10 [1660 kB] Get:9 http://localhost/debian/ sid/main g++-4.6 amd64 4.6.1-10 [6952 kB] Get:10 http://localhost/debian/ sid/main gcc-4.6 amd64 4.6.1-10 [7303 kB] Get:11 http://localhost/debian/ sid/main libstdc++6 amd64 4.6.1-10 [337 kB] Get:12 http://localhost/debian/ sid/main binutils amd64 2.21.53.20110910-1 [4844 kB] Get:13 http://localhost/debian/ sid/main libc-bin amd64 2.13-20 [819 kB] Get:14 http://localhost/debian/ sid/main libc6 amd64 2.13-20 [4323 kB] Get:15 http://localhost/debian/ sid/main multiarch-support amd64 2.13-20 [141 kB] Preconfiguring packages ... Fetched 34.4 MB in 0s (62.5 MB/s) (Reading database ... 10788 files and directories currently installed.) Preparing to replace libc6-dev 2.13-18 (using .../libc6-dev_2.13-20_amd64.deb) ... Unpacking replacement libc6-dev ... Preparing to replace libc-dev-bin 2.13-18 (using .../libc-dev-bin_2.13-20_amd64.deb) ... Unpacking replacement libc-dev-bin ... Preparing to replace libgomp1 4.6.1-9 (using .../libgomp1_4.6.1-10_amd64.deb) ... Unpacking replacement libgomp1 ... Preparing to replace gcc-4.6-base 4.6.1-9 (using .../gcc-4.6-base_4.6.1-10_amd64.deb) ... Unpacking replacement gcc-4.6-base ... Setting up gcc-4.6-base (4.6.1-10) ... (Reading database ... 10788 files and directories currently installed.) Preparing to replace libgcc1 1:4.6.1-9 (using .../libgcc1_1%3a4.6.1-10_amd64.deb) ... Unpacking replacement libgcc1 ... Setting up libgcc1 (1:4.6.1-10) ... (Reading database ... 10788 files and directories currently installed.) Preparing to replace cpp-4.6 4.6.1-9 (using .../cpp-4.6_4.6.1-10_amd64.deb) ... Unpacking replacement cpp-4.6 ... Preparing to replace libquadmath0 4.6.1-9 (using .../libquadmath0_4.6.1-10_amd64.deb) ... Unpacking replacement libquadmath0 ... Preparing to replace libstdc++6-4.6-dev 4.6.1-9 (using .../libstdc++6-4.6-dev_4.6.1-10_amd64.deb) ... Unpacking replacement libstdc++6-4.6-dev ... Preparing to replace g++-4.6 4.6.1-9 (using .../g++-4.6_4.6.1-10_amd64.deb) ... Unpacking replacement g++-4.6 ... Preparing to replace gcc-4.6 4.6.1-9 (using .../gcc-4.6_4.6.1-10_amd64.deb) ... Unpacking replacement gcc-4.6 ... Preparing to replace libstdc++6 4.6.1-9 (using .../libstdc++6_4.6.1-10_amd64.deb) ... Unpacking replacement libstdc++6 ... Setting up libstdc++6 (4.6.1-10) ... (Reading database ... 10801 files and directories currently installed.) Preparing to replace binutils 2.21.53.20110823-3 (using .../binutils_2.21.53.20110910-1_amd64.deb) ... Unpacking replacement binutils ... Preparing to replace libc-bin 2.13-18 (using .../libc-bin_2.13-20_amd64.deb) ... Unpacking replacement libc-bin ... Setting up libc-bin (2.13-20) ... (Reading database ... 10801 files and directories currently installed.) Preparing to replace libc6 2.13-18 (using .../libc6_2.13-20_amd64.deb) ... Unpacking replacement libc6 ... Setting up libc6 (2.13-20) ... (Reading database ... 10801 files and directories currently installed.) Preparing to replace multiarch-support 2.13-18 (using .../multiarch-support_2.13-20_amd64.deb) ... Unpacking replacement multiarch-support ... Setting up multiarch-support (2.13-20) ... Setting up libc-dev-bin (2.13-20) ... Setting up libc6-dev (2.13-20) ... Setting up libgomp1 (4.6.1-10) ... Setting up cpp-4.6 (4.6.1-10) ... Setting up libquadmath0 (4.6.1-10) ... Setting up binutils (2.21.53.20110910-1) ... Setting up gcc-4.6 (4.6.1-10) ... Setting up libstdc++6-4.6-dev (4.6.1-10) ... Setting up g++-4.6 (4.6.1-10) ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Fetch source files │ └──────────────────────────────────────────────────────────────────────────────┘ Check APT ───────── Checking available source versions... Download source files with APT ────────────────────────────── Reading package lists... Building dependency tree... Reading state information... NOTICE: 'mona' packaging is maintained in the 'Git' version control system at: git://git.debian.org/git/debian-science/packages/mona.git Need to get 626 kB of source archives. Get:1 http://localhost/debian/ sid/main mona 1.4-13-3 (dsc) [1275 B] Get:2 http://localhost/debian/ sid/main mona 1.4-13-3 (tar) [618 kB] Get:3 http://localhost/debian/ sid/main mona 1.4-13-3 (diff) [6456 B] Fetched 626 kB in 0s (36.2 MB/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 `/build/mona-3on124/resolver-46CMtO/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 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 0 B/702 B of archives. After this operation, 0 B of additional disk space will be used. WARNING: The following packages cannot be authenticated! sbuild-build-depends-core-dummy Authentication warning overridden. Selecting previously deselected package sbuild-build-depends-core-dummy. (Reading database ... 10801 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) ... Cannot open /var/lib/schroot/mount/lsid64c-83ccfdab-e02b-4bb3-a4d7-4bdf24b2fedf/etc/lsb-release: No such file or directory Merged Build-Depends: base-files, base-passwd, bash, coreutils, dash, debianutils, diffutils, dpkg, e2fsprogs, findutils, grep, gzip, hostname, ncurses-base, ncurses-bin, perl-base, sed, login, sysvinit-utils, sysvinit, tar, bsdutils, mount, util-linux, libc6-dev | libc-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), debhelper (>= 7.0), bison, flex, autotools-dev, chrpath Filtered Build-Depends: base-files, base-passwd, bash, coreutils, dash, debianutils, diffutils, dpkg, e2fsprogs, findutils, grep, gzip, hostname, ncurses-base, ncurses-bin, perl-base, sed, login, sysvinit-utils, sysvinit, tar, bsdutils, mount, util-linux, libc6-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), debhelper (>= 7.0), bison, flex, autotools-dev, chrpath dpkg-deb: building package `sbuild-build-depends-mona-dummy' in `/build/mona-3on124/resolver-3R6mBc/apt_archive/sbuild-build-depends-mona-dummy.deb'. OK Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Install mona build dependencies (apt-based resolver) │ └──────────────────────────────────────────────────────────────────────────────┘ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: autotools-dev bison bsdmainutils chrpath debhelper file flex gettext gettext-base groff-base html2text intltool-debian libcroco3 libglib2.0-0 libmagic1 libpcre3 libpipeline1 libunistring0 libxml2 m4 man-db po-debconf Suggested packages: bison-doc wamerican wordlist whois vacation dh-make gettext-doc groff 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: autotools-dev bison bsdmainutils chrpath debhelper file flex gettext gettext-base groff-base html2text intltool-debian libcroco3 libglib2.0-0 libmagic1 libpcre3 libpipeline1 libunistring0 libxml2 m4 man-db po-debconf sbuild-build-depends-mona-dummy 0 upgraded, 23 newly installed, 0 to remove and 0 not upgraded. Need to get 10.5 MB/10.5 MB of archives. After this operation, 31.2 MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libpipeline1 libpcre3 m4 flex bsdmainutils groff-base man-db libmagic1 file gettext-base libxml2 autotools-dev bison chrpath html2text libglib2.0-0 libcroco3 libunistring0 gettext intltool-debian po-debconf debhelper sbuild-build-depends-mona-dummy Authentication warning overridden. Get:1 http://localhost/debian/ sid/main libpipeline1 amd64 1.2.0-3 [37.9 kB] Get:2 http://localhost/debian/ sid/main libpcre3 amd64 8.12-4 [225 kB] Get:3 http://localhost/debian/ sid/main m4 amd64 1.4.16-2 [259 kB] Get:4 http://localhost/debian/ sid/main flex amd64 2.5.35-10 [332 kB] Get:5 http://localhost/debian/ sid/main bsdmainutils amd64 8.2.3 [208 kB] Get:6 http://localhost/debian/ sid/main groff-base amd64 1.21-6 [1150 kB] Get:7 http://localhost/debian/ sid/main man-db amd64 2.6.0.2-2 [1023 kB] Get:8 http://localhost/debian/ sid/main libmagic1 amd64 5.08-1 [246 kB] Get:9 http://localhost/debian/ sid/main file amd64 5.08-1 [51.7 kB] Get:10 http://localhost/debian/ sid/main gettext-base amd64 0.18.1.1-4 [154 kB] Get:11 http://localhost/debian/ sid/main libxml2 amd64 2.7.8.dfsg-4 [892 kB] Get:12 http://localhost/debian/ sid/main autotools-dev all 20110511.1 [73.8 kB] Get:13 http://localhost/debian/ sid/main bison amd64 1:2.4.1.dfsg-3 [579 kB] Get:14 http://localhost/debian/ sid/main chrpath amd64 0.13-2 [13.9 kB] Get:15 http://localhost/debian/ sid/main html2text amd64 1.3.2a-15 [103 kB] Get:16 http://localhost/debian/ sid/main libglib2.0-0 amd64 2.28.6-1 [1648 kB] Get:17 http://localhost/debian/ sid/main libcroco3 amd64 0.6.2-1 [125 kB] Get:18 http://localhost/debian/ sid/main libunistring0 amd64 0.9.3-4 [437 kB] Get:19 http://localhost/debian/ sid/main gettext amd64 0.18.1.1-4 [2079 kB] Get:20 http://localhost/debian/ sid/main intltool-debian all 0.35.0+20060710.1 [30.8 kB] Get:21 http://localhost/debian/ sid/main po-debconf all 1.0.16+nmu1 [223 kB] Get:22 http://localhost/debian/ sid/main debhelper all 8.9.6 [562 kB] Preconfiguring packages ... Fetched 10.5 MB in 0s (59.4 MB/s) Selecting previously deselected package libpipeline1. (Reading database ... 10801 files and directories currently installed.) Unpacking libpipeline1 (from .../libpipeline1_1.2.0-3_amd64.deb) ... Selecting previously deselected package libpcre3. Unpacking libpcre3 (from .../libpcre3_8.12-4_amd64.deb) ... Selecting previously deselected package m4. Unpacking m4 (from .../archives/m4_1.4.16-2_amd64.deb) ... Selecting previously deselected package flex. Unpacking flex (from .../flex_2.5.35-10_amd64.deb) ... Selecting previously deselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_8.2.3_amd64.deb) ... Selecting previously deselected package groff-base. Unpacking groff-base (from .../groff-base_1.21-6_amd64.deb) ... Selecting previously deselected package man-db. Unpacking man-db (from .../man-db_2.6.0.2-2_amd64.deb) ... Selecting previously deselected package libmagic1. Unpacking libmagic1 (from .../libmagic1_5.08-1_amd64.deb) ... Selecting previously deselected package file. Unpacking file (from .../archives/file_5.08-1_amd64.deb) ... Selecting previously deselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.1.1-4_amd64.deb) ... Selecting previously deselected package libxml2. Unpacking libxml2 (from .../libxml2_2.7.8.dfsg-4_amd64.deb) ... Selecting previously deselected package autotools-dev. Unpacking autotools-dev (from .../autotools-dev_20110511.1_all.deb) ... Selecting previously deselected package bison. Unpacking bison (from .../bison_1%3a2.4.1.dfsg-3_amd64.deb) ... Selecting previously deselected package chrpath. Unpacking chrpath (from .../chrpath_0.13-2_amd64.deb) ... Selecting previously deselected package html2text. Unpacking html2text (from .../html2text_1.3.2a-15_amd64.deb) ... Selecting previously deselected package libglib2.0-0. Unpacking libglib2.0-0 (from .../libglib2.0-0_2.28.6-1_amd64.deb) ... Selecting previously deselected package libcroco3. Unpacking libcroco3 (from .../libcroco3_0.6.2-1_amd64.deb) ... Selecting previously deselected package libunistring0. Unpacking libunistring0 (from .../libunistring0_0.9.3-4_amd64.deb) ... Selecting previously deselected package gettext. Unpacking gettext (from .../gettext_0.18.1.1-4_amd64.deb) ... Selecting previously deselected package intltool-debian. Unpacking intltool-debian (from .../intltool-debian_0.35.0+20060710.1_all.deb) ... Selecting previously deselected package po-debconf. Unpacking po-debconf (from .../po-debconf_1.0.16+nmu1_all.deb) ... Selecting previously deselected package debhelper. Unpacking debhelper (from .../debhelper_8.9.6_all.deb) ... Selecting previously deselected package sbuild-build-depends-mona-dummy. Unpacking sbuild-build-depends-mona-dummy (from .../sbuild-build-depends-mona-dummy.deb) ... Processing triggers for install-info ... Setting up libpipeline1 (1.2.0-3) ... Setting up libpcre3 (8.12-4) ... Setting up m4 (1.4.16-2) ... Setting up flex (2.5.35-10) ... Setting up bsdmainutils (8.2.3) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode. update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode. Setting up groff-base (1.21-6) ... Setting up man-db (2.6.0.2-2) ... Building database of manual pages ... Setting up libmagic1 (5.08-1) ... Setting up file (5.08-1) ... Setting up gettext-base (0.18.1.1-4) ... Setting up libxml2 (2.7.8.dfsg-4) ... Setting up autotools-dev (20110511.1) ... Setting up bison (1:2.4.1.dfsg-3) ... update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode. Setting up chrpath (0.13-2) ... Setting up html2text (1.3.2a-15) ... Setting up libglib2.0-0 (2.28.6-1) ... No schema files found: doing nothing. Setting up libcroco3 (0.6.2-1) ... Setting up libunistring0 (0.9.3-4) ... Setting up gettext (0.18.1.1-4) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu1) ... Setting up debhelper (8.9.6) ... Setting up sbuild-build-depends-mona-dummy (0.invalid.0) ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build environment │ └──────────────────────────────────────────────────────────────────────────────┘ Kernel: Linux 2.6.32-5-amd64 amd64 (x86_64) Toolchain package versions: binutils_2.21.53.20110910-1 dpkg-dev_1.16.0.3 g++-4.6_4.6.1-10 gcc-4.6_4.6.1-10 libc6-dev_2.13-20 libstdc++6_4.6.1-10 libstdc++6-4.6-dev_4.6.1-10 linux-libc-dev_3.0.0-3 Package versions: apt_0.8.15.6 apt-utils_0.8.15.6 autotools-dev_20110511.1 base-files_6.5 base-passwd_3.5.23 bash_4.1-3 binutils_2.21.53.20110910-1 bison_1:2.4.1.dfsg-3 bsdmainutils_8.2.3 bsdutils_1:2.19.1-5 build-essential_11.5 bzip2_1.0.5-7 chrpath_0.13-2 clang_2.9-11 coreutils_8.5-1 cpp_4:4.6.1-2 cpp-4.6_4.6.1-10 dash_0.5.7-1 debconf_1.5.41 debfoster_2.7-1.1 debhelper_8.9.6 debian-archive-keyring_2010.08.28 debianutils_4.0.2 diffutils_1:3.0-1 dpkg_1.16.0.3 dpkg-dev_1.16.0.3 e2fslibs_1.42~WIP-2011-07-02-1 e2fsprogs_1.42~WIP-2011-07-02-1 fakeroot_1.18-1 file_5.08-1 findutils_4.4.2-1+b1 flex_2.5.35-10 g++_4:4.6.1-2 g++-4.6_4.6.1-10 gcc_4:4.6.1-2 gcc-4.6_4.6.1-10 gcc-4.6-base_4.6.1-10 gettext_0.18.1.1-4 gettext-base_0.18.1.1-4 gnupg_1.4.11-3 gpgv_1.4.11-3 grep_2.9-2 groff-base_1.21-6 gzip_1.4-1 hostname_3.06 html2text_1.3.2a-15 initscripts_2.88dsf-13.11 insserv_1.14.0-2.1 install-info_4.13a.dfsg.1-8 intltool-debian_0.35.0+20060710.1 less_444-1 libacl1_2.2.51-3 libattr1_1:2.4.46-3 libblkid1_2.19.1-5 libbz2-1.0_1.0.5-7 libc-bin_2.13-20 libc-dev-bin_2.13-20 libc6_2.13-20 libc6-dev_2.13-20 libcomerr2_1.42~WIP-2011-07-02-1 libcroco3_0.6.2-1 libdb5.1_5.1.25-11 libdpkg-perl_1.16.0.3 libffi5_3.0.10~rc10-3 libgc1c2_1:7.1-8 libgcc1_1:4.6.1-10 libgdbm3_1.8.3-10 libglib2.0-0_2.28.6-1 libgmp10_2:5.0.2+dfsg-1 libgomp1_4.6.1-10 libllvm2.9_2.9+dfsg-3 liblzma2_5.1.1alpha+20110809-2 libmagic1_5.08-1 libmount1_2.19.1-5 libmpc2_0.9-3 libmpfr4_3.0.1-6 libncurses5_5.9-1 libncursesw5_5.9-1 libpam-modules_1.1.3-2 libpam-modules-bin_1.1.3-2 libpam-runtime_1.1.3-2 libpam0g_1.1.3-2 libpcre3_8.12-4 libpipeline1_1.2.0-3 libquadmath0_4.6.1-10 libreadline6_6.2-4 libselinux1_2.1.0-1 libsepol1_2.1.0-1.1 libslang2_2.2.4-3 libss2_1.42~WIP-2011-07-02-1 libstdc++6_4.6.1-10 libstdc++6-4.6-dev_4.6.1-10 libtimedate-perl_1.2000-1 libunistring0_0.9.3-4 libusb-0.1-4_2:0.1.12-19 libuuid1_2.19.1-5 libxml2_2.7.8.dfsg-4 linux-libc-dev_3.0.0-3 login_1:4.1.4.2+svn3283-3 lsb-base_3.2-28 m4_1.4.16-2 make_3.81-8.1 man-db_2.6.0.2-2 mawk_1.3.3-15 mount_2.19.1-5 multiarch-support_2.13-20 ncurses-base_5.9-1 ncurses-bin_5.9-1 nvi_1.81.6-8.2 passwd_1:4.1.4.2+svn3283-3 patch_2.6.1-2 perl_5.12.4-4 perl-base_5.12.4-4 perl-modules_5.12.4-4 po-debconf_1.0.16+nmu1 readline-common_6.2-4 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-mona-dummy_0.invalid.0 sed_4.2.1-9 sensible-utils_0.0.6 sysv-rc_2.88dsf-13.11 sysvinit_2.88dsf-13.11 sysvinit-utils_2.88dsf-13.11 tar_1.26-2 tzdata_2011i-2 util-linux_2.19.1-5 xz-utils_5.1.1alpha+20110809-2 zlib1g_1:1.2.3.4.dfsg-3 ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build │ └──────────────────────────────────────────────────────────────────────────────┘ Unpack source ───────────── gpgv: keyblock resource `/var/lib/sbuild/.gnupg/trustedkeys.gpg': file open error gpgv: Signature made Thu May 12 00:17:35 2011 CEST using DSA key ID E0BA04C1 gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./mona_1.4-13-3.dsc dpkg-source: info: extracting mona in mona-1.4-13 dpkg-source: info: unpacking mona_1.4-13.orig.tar.gz dpkg-source: info: unpacking mona_1.4-13-3.debian.tar.gz Check disc space ──────────────── Sufficient free space for build dpkg-buildpackage ───────────────── dpkg-buildpackage: export CFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export CPPFLAGS from dpkg-buildflags (origin: vendor): dpkg-buildpackage: export CXXFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export FFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export LDFLAGS from dpkg-buildflags (origin: vendor): dpkg-buildpackage: source package mona dpkg-buildpackage: source version 1.4-13-3 dpkg-source --before-build mona-1.4-13 dpkg-buildpackage: host architecture amd64 fakeroot debian/rules clean dh_testdir dh_testroot (cd config;\ [ ! -h config.guess ] || mv config.guess.upstream config.guess;\ [ ! -h config.sub ] || mv config.sub.upstream config.sub) if [ -e makefile ]; then /usr/bin/make distclean; fi rm build-stamp rm: cannot remove `build-stamp': No such file or directory make: [clean1] Error 1 (ignored) dh_clean dpkg-source -b mona-1.4-13 dpkg-source: info: using source format `3.0 (quilt)' dpkg-source: info: building mona using existing ./mona_1.4-13.orig.tar.gz dpkg-source: info: building mona in mona_1.4-13-3.debian.tar.gz dpkg-source: info: building mona in mona_1.4-13-3.dsc debian/rules build dh_testdir (cd config;\ [ -h config.guess ] || { mv config.guess config.guess.upstream; \ ln -s /usr/share/misc/config.guess; };\ [ -h config.sub ] || { mv config.sub config.sub.upstream; \ ln -s /usr/share/misc/config.sub; }) ./configure --prefix=/usr CFLAGS=-O3 CXXFLAGS=-O3 checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for gawk... no checking for mawk... mawk checking whether make sets $(MAKE)... yes checking for gcc... gcc checking for C compiler default output file name... a.out checking whether the C compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ANSI C... none needed checking for style of include used by make... GNU checking dependency style of gcc... gcc3 checking for g++... g++ checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking dependency style of g++... gcc3 checking for a BSD-compatible install... /usr/bin/install -c checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking for a sed that does not truncate output... /bin/sed checking for egrep... grep -E checking for ld used by gcc... /usr/bin/ld checking if the linker (/usr/bin/ld) is GNU ld... yes checking for /usr/bin/ld option to reload object files... -r checking for BSD-compatible nm... /usr/bin/nm -B checking whether ln -s works... yes checking how to recognise dependent libraries... pass_all checking how to run the C preprocessor... gcc -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking dlfcn.h usability... yes checking dlfcn.h presence... yes checking for dlfcn.h... yes checking how to run the C++ preprocessor... g++ -E checking for g77... no checking for f77... no checking for xlf... no checking for frt... no checking for pgf77... no checking for fort77... no checking for fl32... no checking for af77... no checking for f90... no checking for xlf90... no checking for pgf90... no checking for epcf90... no checking for f95... no checking for fort... no checking for xlf95... no checking for ifc... no checking for efc... no checking for pgf95... no checking for lf95... no checking for gfortran... no checking whether we are using the GNU Fortran 77 compiler... no checking whether accepts -g... no checking the maximum length of command line arguments... 32768 checking command to parse /usr/bin/nm -B output from gcc object... ok checking for objdir... .libs checking for ar... ar checking for ranlib... ranlib checking for strip... strip checking if gcc supports -fno-rtti -fno-exceptions... yes checking for gcc option to produce PIC... -fPIC checking if gcc PIC flag -fPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking whether the gcc linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes configure: creating libtool appending configuration tag "CXX" to libtool checking for ld used by g++... /usr/bin/ld -m elf_x86_64 checking if the linker (/usr/bin/ld -m elf_x86_64) is GNU ld... yes checking whether the g++ linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC checking if g++ PIC flag -fPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking whether the g++ linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate appending configuration tag "F77" to libtool checking for bison... bison -y checking for flex... flex checking for yywrap in -lfl... yes checking lex output file root... lex.yy checking whether yytext is a pointer... yes checking Win32 compiler... no checking for ANSI C header files... (cached) yes checking for stdlib.h... (cached) yes checking for string.h... (cached) yes checking sys/time.h usability... yes checking sys/time.h presence... yes checking for sys/time.h... yes checking for unistd.h... (cached) yes checking for an ANSI C-conforming const... yes checking for inline... inline checking for size_t... yes checking return type of signal handlers... void checking for stdlib.h... (cached) yes checking for GNU libc compatible malloc... yes checking for working memcmp... yes checking for stdlib.h... (cached) yes checking for unistd.h... (cached) yes checking for getpagesize... yes checking for working mmap... yes checking for alarm... yes checking for memset... yes checking for mkdir... yes configure: creating ./config.status config.status: creating mona.spec config.status: creating makefile config.status: creating config/makefile config.status: creating Mem/makefile config.status: creating BDD/makefile config.status: creating DFA/makefile config.status: creating GTA/makefile config.status: creating Front/makefile config.status: creating Lib/makefile config.status: creating Examples/makefile config.status: creating config.h config.status: config.h is unchanged config.status: executing depfiles commands /usr/bin/make CFLAGS=-O3 CXXFLAGS=-O3 make[1]: Entering directory `/build/mona-3on124/mona-1.4-13' /usr/bin/make all-recursive make[2]: Entering directory `/build/mona-3on124/mona-1.4-13' Making all in config make[3]: Entering directory `/build/mona-3on124/mona-1.4-13/config' make[3]: Nothing to be done for `all'. make[3]: Leaving directory `/build/mona-3on124/mona-1.4-13/config' Making all in Mem make[3]: Entering directory `/build/mona-3on124/mona-1.4-13/Mem' if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT dlmalloc.lo -MD -MP -MF ".deps/dlmalloc.Tpo" -c -o dlmalloc.lo dlmalloc.c; \ then mv -f ".deps/dlmalloc.Tpo" ".deps/dlmalloc.Plo"; else rm -f ".deps/dlmalloc.Tpo"; exit 1; fi mkdir .libs gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT dlmalloc.lo -MD -MP -MF .deps/dlmalloc.Tpo -c dlmalloc.c -fPIC -DPIC -o .libs/dlmalloc.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT dlmalloc.lo -MD -MP -MF .deps/dlmalloc.Tpo -c dlmalloc.c -o dlmalloc.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT mem.lo -MD -MP -MF ".deps/mem.Tpo" -c -o mem.lo mem.c; \ then mv -f ".deps/mem.Tpo" ".deps/mem.Plo"; else rm -f ".deps/mem.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT mem.lo -MD -MP -MF .deps/mem.Tpo -c mem.c -fPIC -DPIC -o .libs/mem.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT mem.lo -MD -MP -MF .deps/mem.Tpo -c mem.c -o mem.o >/dev/null 2>&1 /bin/bash ../libtool --tag=CC --mode=link gcc -O3 -o libmonamem.la -rpath /usr/lib -version-info 1:4 dlmalloc.lo mem.lo gcc -shared .libs/dlmalloc.o .libs/mem.o -Wl,-soname -Wl,libmonamem.so.1 -o .libs/libmonamem.so.1.0.4 (cd .libs && rm -f libmonamem.so.1 && ln -s libmonamem.so.1.0.4 libmonamem.so.1) (cd .libs && rm -f libmonamem.so && ln -s libmonamem.so.1.0.4 libmonamem.so) ar cru .libs/libmonamem.a dlmalloc.o mem.o ranlib .libs/libmonamem.a creating libmonamem.la (cd .libs && rm -f libmonamem.la && ln -s ../libmonamem.la libmonamem.la) make[3]: Leaving directory `/build/mona-3on124/mona-1.4-13/Mem' Making all in BDD make[3]: Entering directory `/build/mona-3on124/mona-1.4-13/BDD' if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd.lo -MD -MP -MF ".deps/bdd.Tpo" -c -o bdd.lo bdd.c; \ then mv -f ".deps/bdd.Tpo" ".deps/bdd.Plo"; else rm -f ".deps/bdd.Tpo"; exit 1; fi mkdir .libs gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd.lo -MD -MP -MF .deps/bdd.Tpo -c bdd.c -fPIC -DPIC -o .libs/bdd.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd.lo -MD -MP -MF .deps/bdd.Tpo -c bdd.c -o bdd.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_cache.lo -MD -MP -MF ".deps/bdd_cache.Tpo" -c -o bdd_cache.lo bdd_cache.c; \ then mv -f ".deps/bdd_cache.Tpo" ".deps/bdd_cache.Plo"; else rm -f ".deps/bdd_cache.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_cache.lo -MD -MP -MF .deps/bdd_cache.Tpo -c bdd_cache.c -fPIC -DPIC -o .libs/bdd_cache.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_cache.lo -MD -MP -MF .deps/bdd_cache.Tpo -c bdd_cache.c -o bdd_cache.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_double.lo -MD -MP -MF ".deps/bdd_double.Tpo" -c -o bdd_double.lo bdd_double.c; \ then mv -f ".deps/bdd_double.Tpo" ".deps/bdd_double.Plo"; else rm -f ".deps/bdd_double.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_double.lo -MD -MP -MF .deps/bdd_double.Tpo -c bdd_double.c -fPIC -DPIC -o .libs/bdd_double.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_double.lo -MD -MP -MF .deps/bdd_double.Tpo -c bdd_double.c -o bdd_double.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_dump.lo -MD -MP -MF ".deps/bdd_dump.Tpo" -c -o bdd_dump.lo bdd_dump.c; \ then mv -f ".deps/bdd_dump.Tpo" ".deps/bdd_dump.Plo"; else rm -f ".deps/bdd_dump.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_dump.lo -MD -MP -MF .deps/bdd_dump.Tpo -c bdd_dump.c -fPIC -DPIC -o .libs/bdd_dump.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_dump.lo -MD -MP -MF .deps/bdd_dump.Tpo -c bdd_dump.c -o bdd_dump.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_external.lo -MD -MP -MF ".deps/bdd_external.Tpo" -c -o bdd_external.lo bdd_external.c; \ then mv -f ".deps/bdd_external.Tpo" ".deps/bdd_external.Plo"; else rm -f ".deps/bdd_external.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_external.lo -MD -MP -MF .deps/bdd_external.Tpo -c bdd_external.c -fPIC -DPIC -o .libs/bdd_external.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_external.lo -MD -MP -MF .deps/bdd_external.Tpo -c bdd_external.c -o bdd_external.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_manager.lo -MD -MP -MF ".deps/bdd_manager.Tpo" -c -o bdd_manager.lo bdd_manager.c; \ then mv -f ".deps/bdd_manager.Tpo" ".deps/bdd_manager.Plo"; else rm -f ".deps/bdd_manager.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_manager.lo -MD -MP -MF .deps/bdd_manager.Tpo -c bdd_manager.c -fPIC -DPIC -o .libs/bdd_manager.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_manager.lo -MD -MP -MF .deps/bdd_manager.Tpo -c bdd_manager.c -o bdd_manager.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_trace.lo -MD -MP -MF ".deps/bdd_trace.Tpo" -c -o bdd_trace.lo bdd_trace.c; \ then mv -f ".deps/bdd_trace.Tpo" ".deps/bdd_trace.Plo"; else rm -f ".deps/bdd_trace.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_trace.lo -MD -MP -MF .deps/bdd_trace.Tpo -c bdd_trace.c -fPIC -DPIC -o .libs/bdd_trace.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT bdd_trace.lo -MD -MP -MF .deps/bdd_trace.Tpo -c bdd_trace.c -o bdd_trace.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT hash.lo -MD -MP -MF ".deps/hash.Tpo" -c -o hash.lo hash.c; \ then mv -f ".deps/hash.Tpo" ".deps/hash.Plo"; else rm -f ".deps/hash.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT hash.lo -MD -MP -MF .deps/hash.Tpo -c hash.c -fPIC -DPIC -o .libs/hash.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -O3 -MT hash.lo -MD -MP -MF .deps/hash.Tpo -c hash.c -o hash.o >/dev/null 2>&1 /bin/bash ../libtool --tag=CC --mode=link gcc -O3 -o libmonabdd.la -rpath /usr/lib -version-info 1:4 bdd.lo bdd_cache.lo bdd_double.lo bdd_dump.lo bdd_external.lo bdd_manager.lo bdd_trace.lo hash.lo ../Mem/libmonamem.la gcc -shared .libs/bdd.o .libs/bdd_cache.o .libs/bdd_double.o .libs/bdd_dump.o .libs/bdd_external.o .libs/bdd_manager.o .libs/bdd_trace.o .libs/hash.o -Wl,--rpath -Wl,/build/mona-3on124/mona-1.4-13/Mem/.libs -Wl,--rpath -Wl,/usr/lib ../Mem/.libs/libmonamem.so -Wl,-soname -Wl,libmonabdd.so.1 -o .libs/libmonabdd.so.1.0.4 (cd .libs && rm -f libmonabdd.so.1 && ln -s libmonabdd.so.1.0.4 libmonabdd.so.1) (cd .libs && rm -f libmonabdd.so && ln -s libmonabdd.so.1.0.4 libmonabdd.so) ar cru .libs/libmonabdd.a bdd.o bdd_cache.o bdd_double.o bdd_dump.o bdd_external.o bdd_manager.o bdd_trace.o hash.o ranlib .libs/libmonabdd.a creating libmonabdd.la (cd .libs && rm -f libmonabdd.la && ln -s ../libmonabdd.la libmonabdd.la) make[3]: Leaving directory `/build/mona-3on124/mona-1.4-13/BDD' Making all in DFA make[3]: Entering directory `/build/mona-3on124/mona-1.4-13/DFA' if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-analyze.lo -MD -MP -MF ".deps/libmonadfa_la-analyze.Tpo" -c -o libmonadfa_la-analyze.lo `test -f 'analyze.c' || echo './'`analyze.c; \ then mv -f ".deps/libmonadfa_la-analyze.Tpo" ".deps/libmonadfa_la-analyze.Plo"; else rm -f ".deps/libmonadfa_la-analyze.Tpo"; exit 1; fi mkdir .libs gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-analyze.lo -MD -MP -MF .deps/libmonadfa_la-analyze.Tpo -c analyze.c -fPIC -DPIC -o .libs/libmonadfa_la-analyze.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-analyze.lo -MD -MP -MF .deps/libmonadfa_la-analyze.Tpo -c analyze.c -o libmonadfa_la-analyze.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-basic.lo -MD -MP -MF ".deps/libmonadfa_la-basic.Tpo" -c -o libmonadfa_la-basic.lo `test -f 'basic.c' || echo './'`basic.c; \ then mv -f ".deps/libmonadfa_la-basic.Tpo" ".deps/libmonadfa_la-basic.Plo"; else rm -f ".deps/libmonadfa_la-basic.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-basic.lo -MD -MP -MF .deps/libmonadfa_la-basic.Tpo -c basic.c -fPIC -DPIC -o .libs/libmonadfa_la-basic.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-basic.lo -MD -MP -MF .deps/libmonadfa_la-basic.Tpo -c basic.c -o libmonadfa_la-basic.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-dfa.lo -MD -MP -MF ".deps/libmonadfa_la-dfa.Tpo" -c -o libmonadfa_la-dfa.lo `test -f 'dfa.c' || echo './'`dfa.c; \ then mv -f ".deps/libmonadfa_la-dfa.Tpo" ".deps/libmonadfa_la-dfa.Plo"; else rm -f ".deps/libmonadfa_la-dfa.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-dfa.lo -MD -MP -MF .deps/libmonadfa_la-dfa.Tpo -c dfa.c -fPIC -DPIC -o .libs/libmonadfa_la-dfa.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-dfa.lo -MD -MP -MF .deps/libmonadfa_la-dfa.Tpo -c dfa.c -o libmonadfa_la-dfa.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-external.lo -MD -MP -MF ".deps/libmonadfa_la-external.Tpo" -c -o libmonadfa_la-external.lo `test -f 'external.c' || echo './'`external.c; \ then mv -f ".deps/libmonadfa_la-external.Tpo" ".deps/libmonadfa_la-external.Plo"; else rm -f ".deps/libmonadfa_la-external.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-external.lo -MD -MP -MF .deps/libmonadfa_la-external.Tpo -c external.c -fPIC -DPIC -o .libs/libmonadfa_la-external.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-external.lo -MD -MP -MF .deps/libmonadfa_la-external.Tpo -c external.c -o libmonadfa_la-external.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-makebasic.lo -MD -MP -MF ".deps/libmonadfa_la-makebasic.Tpo" -c -o libmonadfa_la-makebasic.lo `test -f 'makebasic.c' || echo './'`makebasic.c; \ then mv -f ".deps/libmonadfa_la-makebasic.Tpo" ".deps/libmonadfa_la-makebasic.Plo"; else rm -f ".deps/libmonadfa_la-makebasic.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-makebasic.lo -MD -MP -MF .deps/libmonadfa_la-makebasic.Tpo -c makebasic.c -fPIC -DPIC -o .libs/libmonadfa_la-makebasic.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-makebasic.lo -MD -MP -MF .deps/libmonadfa_la-makebasic.Tpo -c makebasic.c -o libmonadfa_la-makebasic.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-minimize.lo -MD -MP -MF ".deps/libmonadfa_la-minimize.Tpo" -c -o libmonadfa_la-minimize.lo `test -f 'minimize.c' || echo './'`minimize.c; \ then mv -f ".deps/libmonadfa_la-minimize.Tpo" ".deps/libmonadfa_la-minimize.Plo"; else rm -f ".deps/libmonadfa_la-minimize.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-minimize.lo -MD -MP -MF .deps/libmonadfa_la-minimize.Tpo -c minimize.c -fPIC -DPIC -o .libs/libmonadfa_la-minimize.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-minimize.lo -MD -MP -MF .deps/libmonadfa_la-minimize.Tpo -c minimize.c -o libmonadfa_la-minimize.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-prefix.lo -MD -MP -MF ".deps/libmonadfa_la-prefix.Tpo" -c -o libmonadfa_la-prefix.lo `test -f 'prefix.c' || echo './'`prefix.c; \ then mv -f ".deps/libmonadfa_la-prefix.Tpo" ".deps/libmonadfa_la-prefix.Plo"; else rm -f ".deps/libmonadfa_la-prefix.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-prefix.lo -MD -MP -MF .deps/libmonadfa_la-prefix.Tpo -c prefix.c -fPIC -DPIC -o .libs/libmonadfa_la-prefix.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-prefix.lo -MD -MP -MF .deps/libmonadfa_la-prefix.Tpo -c prefix.c -o libmonadfa_la-prefix.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-printdfa.lo -MD -MP -MF ".deps/libmonadfa_la-printdfa.Tpo" -c -o libmonadfa_la-printdfa.lo `test -f 'printdfa.c' || echo './'`printdfa.c; \ then mv -f ".deps/libmonadfa_la-printdfa.Tpo" ".deps/libmonadfa_la-printdfa.Plo"; else rm -f ".deps/libmonadfa_la-printdfa.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-printdfa.lo -MD -MP -MF .deps/libmonadfa_la-printdfa.Tpo -c printdfa.c -fPIC -DPIC -o .libs/libmonadfa_la-printdfa.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-printdfa.lo -MD -MP -MF .deps/libmonadfa_la-printdfa.Tpo -c printdfa.c -o libmonadfa_la-printdfa.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-product.lo -MD -MP -MF ".deps/libmonadfa_la-product.Tpo" -c -o libmonadfa_la-product.lo `test -f 'product.c' || echo './'`product.c; \ then mv -f ".deps/libmonadfa_la-product.Tpo" ".deps/libmonadfa_la-product.Plo"; else rm -f ".deps/libmonadfa_la-product.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-product.lo -MD -MP -MF .deps/libmonadfa_la-product.Tpo -c product.c -fPIC -DPIC -o .libs/libmonadfa_la-product.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-product.lo -MD -MP -MF .deps/libmonadfa_la-product.Tpo -c product.c -o libmonadfa_la-product.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-project.lo -MD -MP -MF ".deps/libmonadfa_la-project.Tpo" -c -o libmonadfa_la-project.lo `test -f 'project.c' || echo './'`project.c; \ then mv -f ".deps/libmonadfa_la-project.Tpo" ".deps/libmonadfa_la-project.Plo"; else rm -f ".deps/libmonadfa_la-project.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-project.lo -MD -MP -MF .deps/libmonadfa_la-project.Tpo -c project.c -fPIC -DPIC -o .libs/libmonadfa_la-project.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-project.lo -MD -MP -MF .deps/libmonadfa_la-project.Tpo -c project.c -o libmonadfa_la-project.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-quotient.lo -MD -MP -MF ".deps/libmonadfa_la-quotient.Tpo" -c -o libmonadfa_la-quotient.lo `test -f 'quotient.c' || echo './'`quotient.c; \ then mv -f ".deps/libmonadfa_la-quotient.Tpo" ".deps/libmonadfa_la-quotient.Plo"; else rm -f ".deps/libmonadfa_la-quotient.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-quotient.lo -MD -MP -MF .deps/libmonadfa_la-quotient.Tpo -c quotient.c -fPIC -DPIC -o .libs/libmonadfa_la-quotient.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonadfa_la-quotient.lo -MD -MP -MF .deps/libmonadfa_la-quotient.Tpo -c quotient.c -o libmonadfa_la-quotient.o >/dev/null 2>&1 /bin/bash ../libtool --tag=CC --mode=link gcc -O3 -o libmonadfa.la -rpath /usr/lib -version-info 1:4 libmonadfa_la-analyze.lo libmonadfa_la-basic.lo libmonadfa_la-dfa.lo libmonadfa_la-external.lo libmonadfa_la-makebasic.lo libmonadfa_la-minimize.lo libmonadfa_la-prefix.lo libmonadfa_la-printdfa.lo libmonadfa_la-product.lo libmonadfa_la-project.lo libmonadfa_la-quotient.lo ../Mem/libmonamem.la ../BDD/libmonabdd.la gcc -shared .libs/libmonadfa_la-analyze.o .libs/libmonadfa_la-basic.o .libs/libmonadfa_la-dfa.o .libs/libmonadfa_la-external.o .libs/libmonadfa_la-makebasic.o .libs/libmonadfa_la-minimize.o .libs/libmonadfa_la-prefix.o .libs/libmonadfa_la-printdfa.o .libs/libmonadfa_la-product.o .libs/libmonadfa_la-project.o .libs/libmonadfa_la-quotient.o -Wl,--rpath -Wl,/build/mona-3on124/mona-1.4-13/Mem/.libs -Wl,--rpath -Wl,/build/mona-3on124/mona-1.4-13/BDD/.libs -Wl,--rpath -Wl,/usr/lib -L/build/mona-3on124/mona-1.4-13/Mem/.libs ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so -Wl,-soname -Wl,libmonadfa.so.1 -o .libs/libmonadfa.so.1.0.4 (cd .libs && rm -f libmonadfa.so.1 && ln -s libmonadfa.so.1.0.4 libmonadfa.so.1) (cd .libs && rm -f libmonadfa.so && ln -s libmonadfa.so.1.0.4 libmonadfa.so) ar cru .libs/libmonadfa.a libmonadfa_la-analyze.o libmonadfa_la-basic.o libmonadfa_la-dfa.o libmonadfa_la-external.o libmonadfa_la-makebasic.o libmonadfa_la-minimize.o libmonadfa_la-prefix.o libmonadfa_la-printdfa.o libmonadfa_la-product.o libmonadfa_la-project.o libmonadfa_la-quotient.o ranlib .libs/libmonadfa.a creating libmonadfa.la (cd .libs && rm -f libmonadfa.la && ln -s ../libmonadfa.la libmonadfa.la) make[3]: Leaving directory `/build/mona-3on124/mona-1.4-13/DFA' Making all in GTA make[3]: Entering directory `/build/mona-3on124/mona-1.4-13/GTA' if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-analyze.lo -MD -MP -MF ".deps/libmonagta_la-analyze.Tpo" -c -o libmonagta_la-analyze.lo `test -f 'analyze.c' || echo './'`analyze.c; \ then mv -f ".deps/libmonagta_la-analyze.Tpo" ".deps/libmonagta_la-analyze.Plo"; else rm -f ".deps/libmonagta_la-analyze.Tpo"; exit 1; fi mkdir .libs gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-analyze.lo -MD -MP -MF .deps/libmonagta_la-analyze.Tpo -c analyze.c -fPIC -DPIC -o .libs/libmonagta_la-analyze.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-analyze.lo -MD -MP -MF .deps/libmonagta_la-analyze.Tpo -c analyze.c -o libmonagta_la-analyze.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-analyze_acceptance.lo -MD -MP -MF ".deps/libmonagta_la-analyze_acceptance.Tpo" -c -o libmonagta_la-analyze_acceptance.lo `test -f 'analyze_acceptance.c' || echo './'`analyze_acceptance.c; \ then mv -f ".deps/libmonagta_la-analyze_acceptance.Tpo" ".deps/libmonagta_la-analyze_acceptance.Plo"; else rm -f ".deps/libmonagta_la-analyze_acceptance.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-analyze_acceptance.lo -MD -MP -MF .deps/libmonagta_la-analyze_acceptance.Tpo -c analyze_acceptance.c -fPIC -DPIC -o .libs/libmonagta_la-analyze_acceptance.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-analyze_acceptance.lo -MD -MP -MF .deps/libmonagta_la-analyze_acceptance.Tpo -c analyze_acceptance.c -o libmonagta_la-analyze_acceptance.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-basic.lo -MD -MP -MF ".deps/libmonagta_la-basic.Tpo" -c -o libmonagta_la-basic.lo `test -f 'basic.c' || echo './'`basic.c; \ then mv -f ".deps/libmonagta_la-basic.Tpo" ".deps/libmonagta_la-basic.Plo"; else rm -f ".deps/libmonagta_la-basic.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-basic.lo -MD -MP -MF .deps/libmonagta_la-basic.Tpo -c basic.c -fPIC -DPIC -o .libs/libmonagta_la-basic.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-basic.lo -MD -MP -MF .deps/libmonagta_la-basic.Tpo -c basic.c -o libmonagta_la-basic.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-copy.lo -MD -MP -MF ".deps/libmonagta_la-copy.Tpo" -c -o libmonagta_la-copy.lo `test -f 'copy.c' || echo './'`copy.c; \ then mv -f ".deps/libmonagta_la-copy.Tpo" ".deps/libmonagta_la-copy.Plo"; else rm -f ".deps/libmonagta_la-copy.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-copy.lo -MD -MP -MF .deps/libmonagta_la-copy.Tpo -c copy.c -fPIC -DPIC -o .libs/libmonagta_la-copy.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-copy.lo -MD -MP -MF .deps/libmonagta_la-copy.Tpo -c copy.c -o libmonagta_la-copy.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-dyn.lo -MD -MP -MF ".deps/libmonagta_la-dyn.Tpo" -c -o libmonagta_la-dyn.lo `test -f 'dyn.c' || echo './'`dyn.c; \ then mv -f ".deps/libmonagta_la-dyn.Tpo" ".deps/libmonagta_la-dyn.Plo"; else rm -f ".deps/libmonagta_la-dyn.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-dyn.lo -MD -MP -MF .deps/libmonagta_la-dyn.Tpo -c dyn.c -fPIC -DPIC -o .libs/libmonagta_la-dyn.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-dyn.lo -MD -MP -MF .deps/libmonagta_la-dyn.Tpo -c dyn.c -o libmonagta_la-dyn.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-external.lo -MD -MP -MF ".deps/libmonagta_la-external.Tpo" -c -o libmonagta_la-external.lo `test -f 'external.c' || echo './'`external.c; \ then mv -f ".deps/libmonagta_la-external.Tpo" ".deps/libmonagta_la-external.Plo"; else rm -f ".deps/libmonagta_la-external.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-external.lo -MD -MP -MF .deps/libmonagta_la-external.Tpo -c external.c -fPIC -DPIC -o .libs/libmonagta_la-external.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-external.lo -MD -MP -MF .deps/libmonagta_la-external.Tpo -c external.c -o libmonagta_la-external.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-gta.lo -MD -MP -MF ".deps/libmonagta_la-gta.Tpo" -c -o libmonagta_la-gta.lo `test -f 'gta.c' || echo './'`gta.c; \ then mv -f ".deps/libmonagta_la-gta.Tpo" ".deps/libmonagta_la-gta.Plo"; else rm -f ".deps/libmonagta_la-gta.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-gta.lo -MD -MP -MF .deps/libmonagta_la-gta.Tpo -c gta.c -fPIC -DPIC -o .libs/libmonagta_la-gta.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-gta.lo -MD -MP -MF .deps/libmonagta_la-gta.Tpo -c gta.c -o libmonagta_la-gta.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-makebasic.lo -MD -MP -MF ".deps/libmonagta_la-makebasic.Tpo" -c -o libmonagta_la-makebasic.lo `test -f 'makebasic.c' || echo './'`makebasic.c; \ then mv -f ".deps/libmonagta_la-makebasic.Tpo" ".deps/libmonagta_la-makebasic.Plo"; else rm -f ".deps/libmonagta_la-makebasic.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-makebasic.lo -MD -MP -MF .deps/libmonagta_la-makebasic.Tpo -c makebasic.c -fPIC -DPIC -o .libs/libmonagta_la-makebasic.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-makebasic.lo -MD -MP -MF .deps/libmonagta_la-makebasic.Tpo -c makebasic.c -o libmonagta_la-makebasic.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-minimize.lo -MD -MP -MF ".deps/libmonagta_la-minimize.Tpo" -c -o libmonagta_la-minimize.lo `test -f 'minimize.c' || echo './'`minimize.c; \ then mv -f ".deps/libmonagta_la-minimize.Tpo" ".deps/libmonagta_la-minimize.Plo"; else rm -f ".deps/libmonagta_la-minimize.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-minimize.lo -MD -MP -MF .deps/libmonagta_la-minimize.Tpo -c minimize.c -fPIC -DPIC -o .libs/libmonagta_la-minimize.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-minimize.lo -MD -MP -MF .deps/libmonagta_la-minimize.Tpo -c minimize.c -o libmonagta_la-minimize.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-negation.lo -MD -MP -MF ".deps/libmonagta_la-negation.Tpo" -c -o libmonagta_la-negation.lo `test -f 'negation.c' || echo './'`negation.c; \ then mv -f ".deps/libmonagta_la-negation.Tpo" ".deps/libmonagta_la-negation.Plo"; else rm -f ".deps/libmonagta_la-negation.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-negation.lo -MD -MP -MF .deps/libmonagta_la-negation.Tpo -c negation.c -fPIC -DPIC -o .libs/libmonagta_la-negation.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-negation.lo -MD -MP -MF .deps/libmonagta_la-negation.Tpo -c negation.c -o libmonagta_la-negation.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-pairhash.lo -MD -MP -MF ".deps/libmonagta_la-pairhash.Tpo" -c -o libmonagta_la-pairhash.lo `test -f 'pairhash.c' || echo './'`pairhash.c; \ then mv -f ".deps/libmonagta_la-pairhash.Tpo" ".deps/libmonagta_la-pairhash.Plo"; else rm -f ".deps/libmonagta_la-pairhash.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-pairhash.lo -MD -MP -MF .deps/libmonagta_la-pairhash.Tpo -c pairhash.c -fPIC -DPIC -o .libs/libmonagta_la-pairhash.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-pairhash.lo -MD -MP -MF .deps/libmonagta_la-pairhash.Tpo -c pairhash.c -o libmonagta_la-pairhash.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-printgta.lo -MD -MP -MF ".deps/libmonagta_la-printgta.Tpo" -c -o libmonagta_la-printgta.lo `test -f 'printgta.c' || echo './'`printgta.c; \ then mv -f ".deps/libmonagta_la-printgta.Tpo" ".deps/libmonagta_la-printgta.Plo"; else rm -f ".deps/libmonagta_la-printgta.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-printgta.lo -MD -MP -MF .deps/libmonagta_la-printgta.Tpo -c printgta.c -fPIC -DPIC -o .libs/libmonagta_la-printgta.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-printgta.lo -MD -MP -MF .deps/libmonagta_la-printgta.Tpo -c printgta.c -o libmonagta_la-printgta.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-product.lo -MD -MP -MF ".deps/libmonagta_la-product.Tpo" -c -o libmonagta_la-product.lo `test -f 'product.c' || echo './'`product.c; \ then mv -f ".deps/libmonagta_la-product.Tpo" ".deps/libmonagta_la-product.Plo"; else rm -f ".deps/libmonagta_la-product.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-product.lo -MD -MP -MF .deps/libmonagta_la-product.Tpo -c product.c -fPIC -DPIC -o .libs/libmonagta_la-product.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-product.lo -MD -MP -MF .deps/libmonagta_la-product.Tpo -c product.c -o libmonagta_la-product.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-project.lo -MD -MP -MF ".deps/libmonagta_la-project.Tpo" -c -o libmonagta_la-project.lo `test -f 'project.c' || echo './'`project.c; \ then mv -f ".deps/libmonagta_la-project.Tpo" ".deps/libmonagta_la-project.Plo"; else rm -f ".deps/libmonagta_la-project.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-project.lo -MD -MP -MF .deps/libmonagta_la-project.Tpo -c project.c -fPIC -DPIC -o .libs/libmonagta_la-project.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-project.lo -MD -MP -MF .deps/libmonagta_la-project.Tpo -c project.c -o libmonagta_la-project.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-projset.lo -MD -MP -MF ".deps/libmonagta_la-projset.Tpo" -c -o libmonagta_la-projset.lo `test -f 'projset.c' || echo './'`projset.c; \ then mv -f ".deps/libmonagta_la-projset.Tpo" ".deps/libmonagta_la-projset.Plo"; else rm -f ".deps/libmonagta_la-projset.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-projset.lo -MD -MP -MF .deps/libmonagta_la-projset.Tpo -c projset.c -fPIC -DPIC -o .libs/libmonagta_la-projset.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-projset.lo -MD -MP -MF .deps/libmonagta_la-projset.Tpo -c projset.c -o libmonagta_la-projset.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-reachable.lo -MD -MP -MF ".deps/libmonagta_la-reachable.Tpo" -c -o libmonagta_la-reachable.lo `test -f 'reachable.c' || echo './'`reachable.c; \ then mv -f ".deps/libmonagta_la-reachable.Tpo" ".deps/libmonagta_la-reachable.Plo"; else rm -f ".deps/libmonagta_la-reachable.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-reachable.lo -MD -MP -MF .deps/libmonagta_la-reachable.Tpo -c reachable.c -fPIC -DPIC -o .libs/libmonagta_la-reachable.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-reachable.lo -MD -MP -MF .deps/libmonagta_la-reachable.Tpo -c reachable.c -o libmonagta_la-reachable.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-replace_indices.lo -MD -MP -MF ".deps/libmonagta_la-replace_indices.Tpo" -c -o libmonagta_la-replace_indices.lo `test -f 'replace_indices.c' || echo './'`replace_indices.c; \ then mv -f ".deps/libmonagta_la-replace_indices.Tpo" ".deps/libmonagta_la-replace_indices.Plo"; else rm -f ".deps/libmonagta_la-replace_indices.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-replace_indices.lo -MD -MP -MF .deps/libmonagta_la-replace_indices.Tpo -c replace_indices.c -fPIC -DPIC -o .libs/libmonagta_la-replace_indices.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-replace_indices.lo -MD -MP -MF .deps/libmonagta_la-replace_indices.Tpo -c replace_indices.c -o libmonagta_la-replace_indices.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-restrict.lo -MD -MP -MF ".deps/libmonagta_la-restrict.Tpo" -c -o libmonagta_la-restrict.lo `test -f 'restrict.c' || echo './'`restrict.c; \ then mv -f ".deps/libmonagta_la-restrict.Tpo" ".deps/libmonagta_la-restrict.Plo"; else rm -f ".deps/libmonagta_la-restrict.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-restrict.lo -MD -MP -MF .deps/libmonagta_la-restrict.Tpo -c restrict.c -fPIC -DPIC -o .libs/libmonagta_la-restrict.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-restrict.lo -MD -MP -MF .deps/libmonagta_la-restrict.Tpo -c restrict.c -o libmonagta_la-restrict.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-subsets.lo -MD -MP -MF ".deps/libmonagta_la-subsets.Tpo" -c -o libmonagta_la-subsets.lo `test -f 'subsets.c' || echo './'`subsets.c; \ then mv -f ".deps/libmonagta_la-subsets.Tpo" ".deps/libmonagta_la-subsets.Plo"; else rm -f ".deps/libmonagta_la-subsets.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-subsets.lo -MD -MP -MF .deps/libmonagta_la-subsets.Tpo -c subsets.c -fPIC -DPIC -o .libs/libmonagta_la-subsets.o gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-subsets.lo -MD -MP -MF .deps/libmonagta_la-subsets.Tpo -c subsets.c -o libmonagta_la-subsets.o >/dev/null 2>&1 if /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-types.lo -MD -MP -MF ".deps/libmonagta_la-types.Tpo" -c -o libmonagta_la-types.lo `test -f 'types.c' || echo './'`types.c; \ then mv -f ".deps/libmonagta_la-types.Tpo" ".deps/libmonagta_la-types.Plo"; else rm -f ".deps/libmonagta_la-types.Tpo"; exit 1; fi gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-types.lo -MD -MP -MF .deps/libmonagta_la-types.Tpo -c types.c -fPIC -DPIC -o .libs/libmonagta_la-types.o types.c:205:10: warning: format string is not a string literal (potentially insecure) [-Wformat-security] printf(treetypes[type].variantName[v]); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ types.c:313:14: warning: format string is not a string literal (potentially insecure) [-Wformat-security] printf(path); ^~~~ types.c:388:14: warning: format string is not a string literal (potentially insecure) [-Wformat-security] printf(path); ^~~~ 3 warnings generated. gcc -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT libmonagta_la-types.lo -MD -MP -MF .deps/libmonagta_la-types.Tpo -c types.c -o libmonagta_la-types.o >/dev/null 2>&1 /bin/bash ../libtool --tag=CC --mode=link gcc -O3 -o libmonagta.la -rpath /usr/lib -version-info 1:4 libmonagta_la-analyze.lo libmonagta_la-analyze_acceptance.lo libmonagta_la-basic.lo libmonagta_la-copy.lo libmonagta_la-dyn.lo libmonagta_la-external.lo libmonagta_la-gta.lo libmonagta_la-makebasic.lo libmonagta_la-minimize.lo libmonagta_la-negation.lo libmonagta_la-pairhash.lo libmonagta_la-printgta.lo libmonagta_la-product.lo libmonagta_la-project.lo libmonagta_la-projset.lo libmonagta_la-reachable.lo libmonagta_la-replace_indices.lo libmonagta_la-restrict.lo libmonagta_la-subsets.lo libmonagta_la-types.lo ../Mem/libmonamem.la ../BDD/libmonabdd.la gcc -shared .libs/libmonagta_la-analyze.o .libs/libmonagta_la-analyze_acceptance.o .libs/libmonagta_la-basic.o .libs/libmonagta_la-copy.o .libs/libmonagta_la-dyn.o .libs/libmonagta_la-external.o .libs/libmonagta_la-gta.o .libs/libmonagta_la-makebasic.o .libs/libmonagta_la-minimize.o .libs/libmonagta_la-negation.o .libs/libmonagta_la-pairhash.o .libs/libmonagta_la-printgta.o .libs/libmonagta_la-product.o .libs/libmonagta_la-project.o .libs/libmonagta_la-projset.o .libs/libmonagta_la-reachable.o .libs/libmonagta_la-replace_indices.o .libs/libmonagta_la-restrict.o .libs/libmonagta_la-subsets.o .libs/libmonagta_la-types.o -Wl,--rpath -Wl,/build/mona-3on124/mona-1.4-13/Mem/.libs -Wl,--rpath -Wl,/build/mona-3on124/mona-1.4-13/BDD/.libs -Wl,--rpath -Wl,/usr/lib -L/build/mona-3on124/mona-1.4-13/Mem/.libs ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so -Wl,-soname -Wl,libmonagta.so.1 -o .libs/libmonagta.so.1.0.4 (cd .libs && rm -f libmonagta.so.1 && ln -s libmonagta.so.1.0.4 libmonagta.so.1) (cd .libs && rm -f libmonagta.so && ln -s libmonagta.so.1.0.4 libmonagta.so) ar cru .libs/libmonagta.a libmonagta_la-analyze.o libmonagta_la-analyze_acceptance.o libmonagta_la-basic.o libmonagta_la-copy.o libmonagta_la-dyn.o libmonagta_la-external.o libmonagta_la-gta.o libmonagta_la-makebasic.o libmonagta_la-minimize.o libmonagta_la-negation.o libmonagta_la-pairhash.o libmonagta_la-printgta.o libmonagta_la-product.o libmonagta_la-project.o libmonagta_la-projset.o libmonagta_la-reachable.o libmonagta_la-replace_indices.o libmonagta_la-restrict.o libmonagta_la-subsets.o libmonagta_la-types.o ranlib .libs/libmonagta.a creating libmonagta.la (cd .libs && rm -f libmonagta.la && ln -s ../libmonagta.la libmonagta.la) make[3]: Leaving directory `/build/mona-3on124/mona-1.4-13/GTA' Making all in Front make[3]: Entering directory `/build/mona-3on124/mona-1.4-13/Front' /usr/bin/make all-am make[4]: Entering directory `/build/mona-3on124/mona-1.4-13/Front' if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-ast.o -MD -MP -MF ".deps/mona-ast.Tpo" -c -o mona-ast.o `test -f 'ast.cpp' || echo './'`ast.cpp; \ then mv -f ".deps/mona-ast.Tpo" ".deps/mona-ast.Po"; else rm -f ".deps/mona-ast.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-astdump.o -MD -MP -MF ".deps/mona-astdump.Tpo" -c -o mona-astdump.o `test -f 'astdump.cpp' || echo './'`astdump.cpp; \ then mv -f ".deps/mona-astdump.Tpo" ".deps/mona-astdump.Po"; else rm -f ".deps/mona-astdump.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-code.o -MD -MP -MF ".deps/mona-code.Tpo" -c -o mona-code.o `test -f 'code.cpp' || echo './'`code.cpp; \ then mv -f ".deps/mona-code.Tpo" ".deps/mona-code.Po"; else rm -f ".deps/mona-code.Tpo"; exit 1; fi code.cpp:294:34: warning: & has lower precedence than >; > will be evaluated first [-Wparentheses] if ((kind==cEq1 || kind==cEq2) & id1 > id2) { // exploit relation symmetry ^~~~~~~~~~~ code.cpp:294:34: note: place parentheses around the & expression to evaluate it first if ((kind==cEq1 || kind==cEq2) & id1 > id2) { // exploit relation symmetry ^ ( ) code.cpp:294:34: note: place parentheses around the > expression to silence this warning if ((kind==cEq1 || kind==cEq2) & id1 > id2) { // exploit relation symmetry ^ ( ) code.cpp:350:42: warning: & has lower precedence than >; > will be evaluated first [-Wparentheses] if ((kind==cEqUnion || kind==cEqInter) & id2 > id3) { // exploit symmetry ^~~~~~~~~~~ code.cpp:350:42: note: place parentheses around the & expression to evaluate it first if ((kind==cEqUnion || kind==cEqInter) & id2 > id3) { // exploit symmetry ^ ( ) code.cpp:350:42: note: place parentheses around the > expression to silence this warning if ((kind==cEqUnion || kind==cEqInter) & id2 > id3) { // exploit symmetry ^ ( ) 2 warnings generated. if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-codedump.o -MD -MP -MF ".deps/mona-codedump.Tpo" -c -o mona-codedump.o `test -f 'codedump.cpp' || echo './'`codedump.cpp; \ then mv -f ".deps/mona-codedump.Tpo" ".deps/mona-codedump.Po"; else rm -f ".deps/mona-codedump.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-codesubst.o -MD -MP -MF ".deps/mona-codesubst.Tpo" -c -o mona-codesubst.o `test -f 'codesubst.cpp' || echo './'`codesubst.cpp; \ then mv -f ".deps/mona-codesubst.Tpo" ".deps/mona-codesubst.Po"; else rm -f ".deps/mona-codesubst.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-codetable.o -MD -MP -MF ".deps/mona-codetable.Tpo" -c -o mona-codetable.o `test -f 'codetable.cpp' || echo './'`codetable.cpp; \ then mv -f ".deps/mona-codetable.Tpo" ".deps/mona-codetable.Po"; else rm -f ".deps/mona-codetable.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-freevars.o -MD -MP -MF ".deps/mona-freevars.Tpo" -c -o mona-freevars.o `test -f 'freevars.cpp' || echo './'`freevars.cpp; \ then mv -f ".deps/mona-freevars.Tpo" ".deps/mona-freevars.Po"; else rm -f ".deps/mona-freevars.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-ident.o -MD -MP -MF ".deps/mona-ident.Tpo" -c -o mona-ident.o `test -f 'ident.cpp' || echo './'`ident.cpp; \ then mv -f ".deps/mona-ident.Tpo" ".deps/mona-ident.Po"; else rm -f ".deps/mona-ident.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-lib.o -MD -MP -MF ".deps/mona-lib.Tpo" -c -o mona-lib.o `test -f 'lib.cpp' || echo './'`lib.cpp; \ then mv -f ".deps/mona-lib.Tpo" ".deps/mona-lib.Po"; else rm -f ".deps/mona-lib.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-makeguide.o -MD -MP -MF ".deps/mona-makeguide.Tpo" -c -o mona-makeguide.o `test -f 'makeguide.cpp' || echo './'`makeguide.cpp; \ then mv -f ".deps/mona-makeguide.Tpo" ".deps/mona-makeguide.Po"; else rm -f ".deps/mona-makeguide.Tpo"; exit 1; fi makeguide.cpp:50:24: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] Name name = Name("", dummyPos); ^ makeguide.cpp:56:47: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] typedUnivs2guide(univs->size(), univs, 0, ""); ^ makeguide.cpp:157:24: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] Name name = Name("", dummyPos); ^ makeguide.cpp:165:24: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] Name name = Name("", dummyPos); ^ makeguide.cpp:218:50: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] univ, symbolTable.lookupSymbol(typeId), ""); ^ makeguide.cpp:262:43: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] GuideFunc *g = makeStateSpace(ssname, "", &leftpos, &rightpos, SS_ORLEAF); ^ makeguide.cpp:316:25: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] univ, c->type, ""); ^ 7 warnings generated. if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-mona.o -MD -MP -MF ".deps/mona-mona.Tpo" -c -o mona-mona.o `test -f 'mona.cpp' || echo './'`mona.cpp; \ then mv -f ".deps/mona-mona.Tpo" ".deps/mona-mona.Po"; else rm -f ".deps/mona-mona.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-offsets.o -MD -MP -MF ".deps/mona-offsets.Tpo" -c -o mona-offsets.o `test -f 'offsets.cpp' || echo './'`offsets.cpp; \ then mv -f ".deps/mona-offsets.Tpo" ".deps/mona-offsets.Po"; else rm -f ".deps/mona-offsets.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-parser.o -MD -MP -MF ".deps/mona-parser.Tpo" -c -o mona-parser.o `test -f 'parser.cpp' || echo './'`parser.cpp; \ then mv -f ".deps/mona-parser.Tpo" ".deps/mona-parser.Po"; else rm -f ".deps/mona-parser.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-predlib.o -MD -MP -MF ".deps/mona-predlib.Tpo" -c -o mona-predlib.o `test -f 'predlib.cpp' || echo './'`predlib.cpp; \ then mv -f ".deps/mona-predlib.Tpo" ".deps/mona-predlib.Po"; else rm -f ".deps/mona-predlib.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-printline.o -MD -MP -MF ".deps/mona-printline.Tpo" -c -o mona-printline.o `test -f 'printline.cpp' || echo './'`printline.cpp; \ then mv -f ".deps/mona-printline.Tpo" ".deps/mona-printline.Po"; else rm -f ".deps/mona-printline.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-reduce.o -MD -MP -MF ".deps/mona-reduce.Tpo" -c -o mona-reduce.o `test -f 'reduce.cpp' || echo './'`reduce.cpp; \ then mv -f ".deps/mona-reduce.Tpo" ".deps/mona-reduce.Po"; else rm -f ".deps/mona-reduce.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-scanner.o -MD -MP -MF ".deps/mona-scanner.Tpo" -c -o mona-scanner.o `test -f 'scanner.cpp' || echo './'`scanner.cpp; \ then mv -f ".deps/mona-scanner.Tpo" ".deps/mona-scanner.Po"; else rm -f ".deps/mona-scanner.Tpo"; exit 1; fi scanner.lpp:73:14: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] char *file = ""; ^ 1 warning generated. if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-signature.o -MD -MP -MF ".deps/mona-signature.Tpo" -c -o mona-signature.o `test -f 'signature.cpp' || echo './'`signature.cpp; \ then mv -f ".deps/mona-signature.Tpo" ".deps/mona-signature.Po"; else rm -f ".deps/mona-signature.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-st_dfa.o -MD -MP -MF ".deps/mona-st_dfa.Tpo" -c -o mona-st_dfa.o `test -f 'st_dfa.cpp' || echo './'`st_dfa.cpp; \ then mv -f ".deps/mona-st_dfa.Tpo" ".deps/mona-st_dfa.Po"; else rm -f ".deps/mona-st_dfa.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-st_gta.o -MD -MP -MF ".deps/mona-st_gta.Tpo" -c -o mona-st_gta.o `test -f 'st_gta.cpp' || echo './'`st_gta.cpp; \ then mv -f ".deps/mona-st_gta.Tpo" ".deps/mona-st_gta.Po"; else rm -f ".deps/mona-st_gta.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-symboltable.o -MD -MP -MF ".deps/mona-symboltable.Tpo" -c -o mona-symboltable.o `test -f 'symboltable.cpp' || echo './'`symboltable.cpp; \ then mv -f ".deps/mona-symboltable.Tpo" ".deps/mona-symboltable.Po"; else rm -f ".deps/mona-symboltable.Tpo"; exit 1; fi symboltable.cpp:551:14: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] type = "var0"; ^ symboltable.cpp:554:14: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] type = "var1"; ^ symboltable.cpp:557:14: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] type = "var2"; ^ symboltable.cpp:560:14: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] type = "tree"; ^ symboltable.cpp:563:14: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] type = "par0"; ^ symboltable.cpp:566:14: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] type = "par1"; ^ symboltable.cpp:569:14: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] type = "par2"; ^ symboltable.cpp:572:14: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] type = "par univ"; ^ symboltable.cpp:575:14: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] type = "univ"; ^ symboltable.cpp:578:14: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] type = "pred/macro"; ^ symboltable.cpp:581:14: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] type = "const"; ^ symboltable.cpp:584:14: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] type = "statespace"; ^ symboltable.cpp:587:14: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] type = "type"; ^ 13 warnings generated. if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-timer.o -MD -MP -MF ".deps/mona-timer.Tpo" -c -o mona-timer.o `test -f 'timer.cpp' || echo './'`timer.cpp; \ then mv -f ".deps/mona-timer.Tpo" ".deps/mona-timer.Po"; else rm -f ".deps/mona-timer.Tpo"; exit 1; fi if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I ../BDD -O3 -MT mona-untyped.o -MD -MP -MF ".deps/mona-untyped.Tpo" -c -o mona-untyped.o `test -f 'untyped.cpp' || echo './'`untyped.cpp; \ then mv -f ".deps/mona-untyped.Tpo" ".deps/mona-untyped.Po"; else rm -f ".deps/mona-untyped.Tpo"; exit 1; fi untyped.cpp:1856:13: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] title = ""; ^ 1 warning generated. /bin/bash ../libtool --tag=CXX --mode=link g++ -O3 -o mona mona-ast.o mona-astdump.o mona-code.o mona-codedump.o mona-codesubst.o mona-codetable.o mona-freevars.o mona-ident.o mona-lib.o mona-makeguide.o mona-mona.o mona-offsets.o mona-parser.o mona-predlib.o mona-printline.o mona-reduce.o mona-scanner.o mona-signature.o mona-st_dfa.o mona-st_gta.o mona-symboltable.o mona-timer.o mona-untyped.o ../Mem/libmonamem.la ../BDD/libmonabdd.la ../DFA/libmonadfa.la ../GTA/libmonagta.la mkdir .libs g++ -O3 -o .libs/mona mona-ast.o mona-astdump.o mona-code.o mona-codedump.o mona-codesubst.o mona-codetable.o mona-freevars.o mona-ident.o mona-lib.o mona-makeguide.o mona-mona.o mona-offsets.o mona-parser.o mona-predlib.o mona-printline.o mona-reduce.o mona-scanner.o mona-signature.o mona-st_dfa.o mona-st_gta.o mona-symboltable.o mona-timer.o mona-untyped.o ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so ../DFA/.libs/libmonadfa.so ../GTA/.libs/libmonagta.so /build/mona-3on124/mona-1.4-13/BDD/.libs/libmonabdd.so /build/mona-3on124/mona-1.4-13/Mem/.libs/libmonamem.so -Wl,--rpath -Wl,/usr/lib ../DFA/.libs/libmonadfa.so: undefined reference to `make_loop' ../BDD/.libs/libmonabdd.so: undefined reference to `insert_cache' clang: error: linker command failed with exit code 1 (use -v to see invocation) make[4]: *** [mona] Error 1 make[3]: *** [all] Error 2 make[4]: Leaving directory `/build/mona-3on124/mona-1.4-13/Front' make[3]: Leaving directory `/build/mona-3on124/mona-1.4-13/Front' make[2]: *** [all-recursive] Error 1 make[2]: Leaving directory `/build/mona-3on124/mona-1.4-13' make[1]: *** [all] Error 2 make[1]: Leaving directory `/build/mona-3on124/mona-1.4-13' make: *** [build-stamp] Error 2 dpkg-buildpackage: error: debian/rules build gave error exit status 2 ──────────────────────────────────────────────────────────────────────────────── Build finished at 20110911-1414 Finished ──────── E: Build failure (dpkg-buildpackage died) ┌──────────────────────────────────────────────────────────────────────────────┐ │ Cleanup │ └──────────────────────────────────────────────────────────────────────────────┘ Purging /var/lib/schroot/mount/lsid64c-83ccfdab-e02b-4bb3-a4d7-4bdf24b2fedf/build/mona-3on124 Not cleaning session: cloned chroot in use ┌──────────────────────────────────────────────────────────────────────────────┐ │ Summary │ └──────────────────────────────────────────────────────────────────────────────┘ Architecture: amd64 Build-Space: 7528 Build-Time: 34 Distribution: lsid64c Fail-Stage: build Install-Time: 4 Job: mona_1.4-13-3 Package: mona Package-Time: 48 Source-Version: 1.4-13-3 Space: 7528 Status: attempted Version: 1.4-13-3 ──────────────────────────────────────────────────────────────────────────────── Finished at 20110911-1414 Build needed 00:00:48, 7528k disc space DC-Build-Status: Failed 1210.47402s ### Content of /var/log/daemon.log ### Sep 11 10:47:57 talc-100 approx: Concurrent download of debian/dists/sid/Release.gpg is taking too long Sep 11 10:48:24 talc-100 approx: Concurrent download of debian/dists/sid/Release is taking too long Sep 11 10:48:28 talc-100 approx: Concurrent download of debian/dists/sid/Release.gpg is taking too long Sep 11 10:48:44 talc-100 approx: Concurrent download of debian/dists/sid/Release is taking too long Sep 11 10:48:55 talc-100 approx: Concurrent download of debian/dists/sid/Release.gpg is taking too long Sep 11 10:48:56 talc-100 approx: Concurrent download of debian/dists/sid/Release is taking too long Sep 11 10:48:56 talc-100 approx: Concurrent download of debian/dists/sid/main/i18n/Translation-en.bz2 is taking too long Sep 11 10:49:07 talc-100 approx: Concurrent download of debian/dists/sid/Release is taking too long Sep 11 10:49:16 talc-100 approx: Concurrent download of debian/dists/sid/main/source/Sources.xz is taking too long Sep 11 10:49:19 talc-100 approx: Concurrent download of debian/dists/sid/main/i18n/Index is taking too long Sep 11 10:49:30 talc-100 approx: Concurrent download of debian/dists/sid/main/i18n/Index is taking too long Sep 11 10:49:31 talc-100 approx: Concurrent download of debian/dists/sid/main/binary-amd64/Packages.xz is taking too long Sep 11 10:49:41 talc-100 approx: Concurrent download of debian/dists/sid/main/i18n/Index is taking too long Sep 11 10:49:52 talc-100 approx: Concurrent download of debian/dists/sid/main/i18n/Index is taking too long Sep 11 10:50:03 talc-100 approx: Concurrent download of debian/dists/sid/main/i18n/Index is taking too long Sep 11 10:50:14 talc-100 approx: Concurrent download of debian/dists/sid/main/i18n/Index is taking too long Sep 11 10:50:25 talc-100 approx: Concurrent download of debian/dists/sid/main/i18n/Index is taking too long Sep 11 10:50:49 talc-100 approx: Concurrent download of debian/dists/sid/main/i18n/Translation-en is taking too long Sep 11 10:51:05 talc-100 approx: Concurrent download of debian/dists/sid/main/i18n/Translation-en is taking too long Sep 11 10:51:05 talc-100 approx: Concurrent download of debian/dists/sid/main/binary-amd64/Packages.xz is taking too long Sep 11 10:51:16 talc-100 approx: Concurrent download of debian/dists/sid/main/binary-amd64/Packages.xz is taking too long Sep 11 10:51:34 talc-100 approx: Concurrent download of debian/dists/sid/main/i18n/Translation-en.xz is taking too long Sep 11 12:07:55 talc-100 approx: Nethttpd: Broken pipe Sep 11 12:07:55 talc-100 approx: Nethttpd: Broken pipe Sep 11 12:08:38 talc-100 approx: Nethttpd: Broken pipe Sep 11 12:10:04 talc-100 approx: Nethttpd: Broken pipe ### End of content of /var/log/daemon.log ### DC-Time-Estimation: 1210.47402 versus expected 77 (r/m: 14.7204418181818 ; m: 77.0)