Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/m/mona/mona_1.4-18-1_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/mona-1.4-18-1tj8ll0gb/mona_1.4-18-1_amd64.buildinfo Get source package info: mona=1.4-18-1 Source URL: http://snapshot.notset.fr/mr/package/mona/1.4-18-1/srcfiles?fileinfo=1 env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=autoconf=2.71-2 automake=1:1.16.5-1 autopoint=0.21-4 autotools-dev=20180224.1+nmu1 base-files=12 base-passwd=3.5.52 bash=5.1-3+b2 binutils=2.37-7 binutils-common=2.37-7 binutils-x86-64-linux-gnu=2.37-7 bison=2:3.8.2+dfsg-1 bsdextrautils=2.37.2-4 bsdutils=1:2.37.2-4 build-essential=12.9 bzip2=1.0.8-4 coreutils=8.32-4+b1 cpp=4:11.2.0-2 cpp-11=11.2.0-9 dash=0.5.11+git20210120+802ebd4-1 debconf=1.5.77 debhelper=13.5.2 debianutils=5.5-1 dh-autoreconf=20 dh-strip-nondeterminism=1.12.0-2 diffutils=1:3.7-5 dpkg=1.20.9 dpkg-dev=1.20.9 dwz=0.14-1 file=1:5.39-3 findutils=4.8.0-1 flex=2.6.4-8 g++=4:11.2.0-2 g++-11=11.2.0-9 gcc=4:11.2.0-2 gcc-11=11.2.0-9 gcc-11-base=11.2.0-9 gettext=0.21-4 gettext-base=0.21-4 grep=3.7-1 groff-base=1.22.4-7 gzip=1.10-4 hostname=3.23 init-system-helpers=1.60 intltool-debian=0.35.0+20060710.5 libacl1=2.3.1-1 libarchive-zip-perl=1.68-1 libasan6=11.2.0-9 libatomic1=11.2.0-9 libattr1=1:2.5.1-1 libaudit-common=1:3.0.6-1 libaudit1=1:3.0.6-1 libbinutils=2.37-7 libblkid1=2.37.2-4 libbz2-1.0=1.0.8-4 libc-bin=2.32-4 libc-dev-bin=2.32-4 libc6=2.32-4 libc6-dev=2.32-4 libcap-ng0=0.7.9-2.2+b1 libcap2=1:2.44-1 libcc1-0=11.2.0-9 libcom-err2=1.46.4-1 libcrypt-dev=1:4.4.25-2 libcrypt1=1:4.4.25-2 libctf-nobfd0=2.37-7 libctf0=2.37-7 libdb5.3=5.3.28+dfsg1-0.8 libdebconfclient0=0.260 libdebhelper-perl=13.5.2 libdpkg-perl=1.20.9 libelf1=0.185-2 libfile-stripnondeterminism-perl=1.12.0-2 libgcc-11-dev=11.2.0-9 libgcc-s1=11.2.0-9 libgcrypt20=1.9.4-3+b1 libgdbm-compat4=1.22-1 libgdbm6=1.22-1 libgmp10=2:6.2.1+dfsg-2 libgomp1=11.2.0-9 libgpg-error0=1.42-3 libgssapi-krb5-2=1.18.3-7 libicu67=67.1-7 libisl23=0.24-2 libitm1=11.2.0-9 libk5crypto3=1.18.3-7 libkeyutils1=1.6.1-2 libkrb5-3=1.18.3-7 libkrb5support0=1.18.3-7 liblsan0=11.2.0-9 liblz4-1=1.9.3-2 liblzma5=5.2.5-2 libmagic-mgc=1:5.39-3 libmagic1=1:5.39-3 libmount1=2.37.2-4 libmpc3=1.2.1-1 libmpfr6=4.1.0-3 libnsl-dev=1.3.0-2 libnsl2=1.3.0-2 libpam-modules=1.4.0-10 libpam-modules-bin=1.4.0-10 libpam-runtime=1.4.0-10 libpam0g=1.4.0-10 libpcre2-8-0=10.36-2 libpcre3=2:8.39-13 libperl5.32=5.32.1-6 libpipeline1=1.5.3-1 libquadmath0=11.2.0-9 libseccomp2=2.5.2-2 libselinux1=3.1-3 libsigsegv2=2.13-1 libsmartcols1=2.37.2-4 libssl1.1=1.1.1l-1 libstdc++-11-dev=11.2.0-9 libstdc++6=11.2.0-9 libsub-override-perl=0.09-2 libsystemd0=249.5-1 libtinfo6=6.2+20210905-1 libtirpc-common=1.3.2-2 libtirpc-dev=1.3.2-2 libtirpc3=1.3.2-2 libtool=2.4.6-15 libtsan0=11.2.0-9 libubsan1=11.2.0-9 libuchardet0=0.0.7-1 libudev1=249.5-1 libunistring2=0.9.10-6 libuuid1=2.37.2-4 libxml2=2.9.12+dfsg-5 libzstd1=1.4.8+dfsg-3 linux-libc-dev=5.14.12-1 login=1:4.8.1-1 lsb-base=11.1.0 m4=1.4.18-5 make=4.3-4.1 man-db=2.9.4-2 mawk=1.3.4.20200120-2 ncurses-base=6.2+20210905-1 ncurses-bin=6.2+20210905-1 patch=2.7.6-7 perl=5.32.1-6 perl-base=5.32.1-6 perl-modules-5.32=5.32.1-6 po-debconf=1.0.21+nmu1 rpcsvc-proto=1.4.2-4 sed=4.8-1 sensible-utils=0.0.17 sysvinit-utils=3.00-1 tar=1.34+dfsg-1 util-linux=2.37.2-4 xz-utils=5.2.5-2 zlib1g=1:1.2.11.dfsg-2 --variant=apt --aptopt=Acquire::Check-Valid-Until "false" --aptopt=Acquire::http::Dl-Limit "1000"; --aptopt=Acquire::https::Dl-Limit "1000"; --aptopt=Acquire::Retries "5"; --aptopt=APT::Get::allow-downgrades "true"; --keyring=/usr/share/keyrings/ --essential-hook=chroot "$1" sh -c "apt-get --yes install fakeroot util-linux" --essential-hook=copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ --essential-hook=chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20211025T025314Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20211025T025314Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20211116T090124Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20211021T154134Z/ unstable main' >> /etc/apt/sources.list && apt-get update" --customize-hook=chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash --customize-hook=chroot "$1" env sh -c "apt-get source --only-source -d mona=1.4-18-1 && mkdir -p /build/mona-w6eafV && dpkg-source --no-check -x /*.dsc /build/mona-w6eafV/mona-1.4-18 && chown -R builduser:builduser /build/mona-w6eafV" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/mona-w6eafV/mona-1.4-18 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1634933756" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/mona-w6eafV /tmp/mona-1.4-18-1tj8ll0gb bookworm /dev/null deb http://snapshot.notset.fr/archive/debian/20211021T154134Z unstable main I: automatically chosen mode: root I: chroot architecture amd64 is equal to the host's architecture I: automatically chosen format: null I: using /tmp/mmdebstrap.Q0k4wS4j2s as tempdir I: running apt-get update... I: downloading packages with apt... I: extracting archives... I: installing essential packages... I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "apt-get --yes install fakeroot util-linux"' exec /tmp/mmdebstrap.Q0k4wS4j2s Reading package lists... Building dependency tree... util-linux is already the newest version (2.37.2-4). The following NEW packages will be installed: fakeroot libfakeroot 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 134 kB of archives. After this operation, 397 kB of additional disk space will be used. Get:1 http://snapshot.notset.fr/archive/debian/20211021T154134Z unstable/main amd64 libfakeroot amd64 1.26-1 [47.3 kB] Get:2 http://snapshot.notset.fr/archive/debian/20211021T154134Z unstable/main amd64 fakeroot amd64 1.26-1 [87.1 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 134 kB in 0s (692 kB/s) Selecting previously unselected package libfakeroot:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 4666 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.26-1_amd64.deb ... Unpacking libfakeroot:amd64 (1.26-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.26-1_amd64.deb ... Unpacking fakeroot (1.26-1) ... Setting up libfakeroot:amd64 (1.26-1) ... Setting up fakeroot (1.26-1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.32-4) ... I: running special hook: copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20211025T025314Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20211025T025314Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20211116T090124Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20211021T154134Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.Q0k4wS4j2s Get:1 http://snapshot.notset.fr/archive/debian/20211025T025314Z bookworm InRelease [128 kB] Get:2 http://snapshot.notset.fr/archive/debian/20211116T090124Z unstable InRelease [165 kB] Hit:3 http://snapshot.notset.fr/archive/debian/20211021T154134Z unstable InRelease Ign:4 http://snapshot.notset.fr/archive/debian/20211025T025314Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20211025T025314Z bookworm/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20211025T025314Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20211025T025314Z bookworm/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20211025T025314Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20211025T025314Z bookworm/main amd64 Packages Get:4 http://snapshot.notset.fr/archive/debian/20211025T025314Z bookworm/main Sources [11.7 MB] Get:5 http://snapshot.notset.fr/archive/debian/20211025T025314Z bookworm/main amd64 Packages [11.2 MB] Ign:6 http://snapshot.notset.fr/archive/debian/20211116T090124Z unstable/main amd64 Packages Err:6 http://snapshot.notset.fr/archive/debian/20211116T090124Z unstable/main amd64 Packages 404 Not Found [IP: 10.13.0.253 80] Ign:6 http://snapshot.notset.fr/archive/debian/20211116T090124Z unstable/main amd64 Packages Get:6 http://snapshot.notset.fr/archive/debian/20211116T090124Z unstable/main amd64 Packages [12.0 MB] Fetched 35.2 MB in 29s (1207 kB/s) Reading package lists... I: installing remaining packages inside the chroot... I: running --customize-hook in shell: sh -c 'chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash' exec /tmp/mmdebstrap.Q0k4wS4j2s I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d mona=1.4-18-1 && mkdir -p /build/mona-w6eafV && dpkg-source --no-check -x /*.dsc /build/mona-w6eafV/mona-1.4-18 && chown -R builduser:builduser /build/mona-w6eafV"' exec /tmp/mmdebstrap.Q0k4wS4j2s Reading package lists... NOTICE: 'mona' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/science-team/mona.git Please use: git clone https://salsa.debian.org/science-team/mona.git to retrieve the latest (possibly unreleased) updates to the package. Need to get 662 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20211025T025314Z bookworm/main mona 1.4-18-1 (dsc) [1918 B] Get:2 http://snapshot.notset.fr/archive/debian/20211025T025314Z bookworm/main mona 1.4-18-1 (tar) [653 kB] Get:3 http://snapshot.notset.fr/archive/debian/20211025T025314Z bookworm/main mona 1.4-18-1 (diff) [6820 B] Fetched 662 kB in 1s (1222 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'mona_1.4-18-1.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting mona in /build/mona-w6eafV/mona-1.4-18 dpkg-source: info: unpacking mona_1.4-18.orig.tar.gz dpkg-source: info: unpacking mona_1.4-18-1.debian.tar.xz I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/mona-w6eafV/mona-1.4-18 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1634933756" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.Q0k4wS4j2s dpkg-buildpackage: info: source package mona dpkg-buildpackage: info: source version 1.4-18-1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Ralf Treinen dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 debian/rules clean dh clean dh_clean debian/rules binary-arch dh binary-arch dh_update_autotools_config -a dh_autoreconf -a libtoolize: putting auxiliary files in AC_CONFIG_AUX_DIR, 'config'. libtoolize: copying file 'config/ltmain.sh' libtoolize: putting macros in AC_CONFIG_MACRO_DIRS, 'm4'. libtoolize: copying file 'm4/libtool.m4' libtoolize: copying file 'm4/ltoptions.m4' libtoolize: copying file 'm4/ltsugar.m4' libtoolize: copying file 'm4/ltversion.m4' libtoolize: copying file 'm4/lt~obsolete.m4' libtoolize: Consider adding '-I m4' to ACLOCAL_AMFLAGS in Makefile.am. configure.ac:27: warning: AC_PROG_LEX without either yywrap or noyywrap is obsolete ./lib/autoconf/programs.m4:716: _AC_PROG_LEX is expanded from... ./lib/autoconf/programs.m4:709: AC_PROG_LEX is expanded from... aclocal.m4:728: AM_PROG_LEX is expanded from... configure.ac:27: the top level configure.ac:112: warning: The macro `AC_HEADER_STDC' is obsolete. configure.ac:112: You should run autoupdate. ./lib/autoconf/headers.m4:704: AC_HEADER_STDC is expanded from... configure.ac:112: the top level configure.ac:16: installing 'config/compile' configure.ac:9: installing 'config/missing' BDD/makefile.am: installing 'config/depcomp' dh_auto_configure -a ./configure --build=x86_64-linux-gnu --prefix=/usr --includedir=\${prefix}/include --mandir=\${prefix}/share/man --infodir=\${prefix}/share/info --sysconfdir=/etc --localstatedir=/var --disable-option-checking --disable-silent-rules --libdir=\${prefix}/lib/x86_64-linux-gnu --runstatedir=/run --disable-maintainer-mode --disable-dependency-tracking checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a race-free mkdir -p... /bin/mkdir -p checking for gawk... no checking for mawk... mawk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking whether make supports the include directive... yes (GNU style) checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether gcc accepts -g... yes checking for gcc option to enable C11 features... none needed checking whether gcc understands -c and -o together... yes checking dependency style of gcc... none checking for stdio.h... yes checking for stdlib.h... yes checking for string.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for strings.h... yes checking for sys/stat.h... yes checking for sys/types.h... yes checking for unistd.h... yes checking for wchar.h... yes checking for minix/config.h... no checking for sys/param.h... yes checking whether it is safe to define __EXTENSIONS__... yes checking whether _XOPEN_SOURCE should be defined... no checking for special C compiler options needed for large files... no checking for _FILE_OFFSET_BITS value needed for large files... no checking for gcc... (cached) gcc checking whether the compiler supports GNU C... (cached) yes checking whether gcc accepts -g... (cached) yes checking for gcc option to enable C11 features... (cached) none needed checking whether gcc understands -c and -o together... (cached) yes checking dependency style of gcc... (cached) none checking for g++... g++ checking whether the compiler supports GNU C++... yes checking whether g++ accepts -g... yes checking for g++ option to enable C++11 features... none needed checking dependency style of g++... none checking for ar... ar checking the archiver (ar) interface... ar checking for bison... bison -y checking for flex... flex checking for lex output file root... lex.yy checking for lex library... none needed checking for library containing yywrap... no checking whether yytext is a pointer... yes checking build system type... x86_64-pc-linux-gnu checking host system type... x86_64-pc-linux-gnu checking how to print strings... printf checking for a sed that does not truncate output... /bin/sed checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking for fgrep... /bin/grep -F checking for ld used by gcc... /usr/bin/ld checking if the linker (/usr/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking whether ln -s works... yes checking the maximum length of command line arguments... 1572864 checking how to convert x86_64-pc-linux-gnu file names to x86_64-pc-linux-gnu format... func_convert_file_noop checking how to convert x86_64-pc-linux-gnu file names to toolchain format... func_convert_file_noop checking for /usr/bin/ld option to reload object files... -r checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for archiver @FILE support... @ checking for strip... strip checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from gcc object... ok checking for sysroot... no checking for a working dd... /bin/dd checking how to truncate binary pipes... /bin/dd bs=4096 count=1 checking for mt... no checking if : is a manifest tool... no checking for dlfcn.h... yes checking for objdir... .libs checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC -DPIC checking if gcc PIC flag -fPIC -DPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking if gcc supports -c -o file.o... (cached) 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 checking how to run the C++ preprocessor... g++ -E 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 -DPIC checking if g++ PIC flag -fPIC -DPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking if g++ supports -c -o file.o... (cached) yes checking whether the g++ linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking Win32 compiler... no checking for egrep... (cached) /bin/grep -E checking for stdlib.h... (cached) yes checking for string.h... (cached) 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 for GNU libc compatible malloc... yes checking for working memcmp... yes checking for getpagesize... yes checking for working mmap... yes checking for alarm... yes checking for memset... yes checking for mkdir... yes checking that generated files are newer than configure... done 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: executing depfiles commands config.status: executing libtool commands dh_auto_build -a make -j10 make[1]: Entering directory '/build/mona-w6eafV/mona-1.4-18' make all-recursive make[2]: Entering directory '/build/mona-w6eafV/mona-1.4-18' Making all in config make[3]: Entering directory '/build/mona-w6eafV/mona-1.4-18/config' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/build/mona-w6eafV/mona-1.4-18/config' Making all in Mem make[3]: Entering directory '/build/mona-w6eafV/mona-1.4-18/Mem' /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o dlmalloc.lo dlmalloc.c /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mem.lo mem.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c dlmalloc.c -fPIC -DPIC -o .libs/dlmalloc.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c mem.c -fPIC -DPIC -o .libs/mem.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c dlmalloc.c -o dlmalloc.o >/dev/null 2>&1 libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c mem.c -o mem.o >/dev/null 2>&1 /bin/bash ../libtool --tag=CC --mode=link gcc -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -o libmonamem.la -rpath /usr/lib/x86_64-linux-gnu dlmalloc.lo mem.lo libtool: link: gcc -shared -fPIC -DPIC .libs/dlmalloc.o .libs/mem.o -g -O2 -fstack-protector-strong -O3 -Wl,-z -Wl,relro -Wl,-soname -Wl,libmonamem.so.1 -o .libs/libmonamem.so.1.0.4 libtool: link: (cd ".libs" && rm -f "libmonamem.so.1" && ln -s "libmonamem.so.1.0.4" "libmonamem.so.1") libtool: link: (cd ".libs" && rm -f "libmonamem.so" && ln -s "libmonamem.so.1.0.4" "libmonamem.so") libtool: link: ar cr .libs/libmonamem.a dlmalloc.o mem.o libtool: link: ranlib .libs/libmonamem.a libtool: link: ( cd ".libs" && rm -f "libmonamem.la" && ln -s "../libmonamem.la" "libmonamem.la" ) make[3]: Leaving directory '/build/mona-w6eafV/mona-1.4-18/Mem' Making all in BDD make[3]: Entering directory '/build/mona-w6eafV/mona-1.4-18/BDD' /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd.lo bdd.c /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_cache.lo bdd_cache.c /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_double.lo bdd_double.c /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_dump.lo bdd_dump.c /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_external.lo bdd_external.c /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_manager.lo bdd_manager.c /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_trace.lo bdd_trace.c /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o hash.lo hash.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd.c -fPIC -DPIC -o .libs/bdd.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_cache.c -fPIC -DPIC -o .libs/bdd_cache.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_double.c -fPIC -DPIC -o .libs/bdd_double.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_dump.c -fPIC -DPIC -o .libs/bdd_dump.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_external.c -fPIC -DPIC -o .libs/bdd_external.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c hash.c -fPIC -DPIC -o .libs/hash.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_manager.c -fPIC -DPIC -o .libs/bdd_manager.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_trace.c -fPIC -DPIC -o .libs/bdd_trace.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_cache.c -o bdd_cache.o >/dev/null 2>&1 libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_external.c -o bdd_external.o >/dev/null 2>&1 libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_dump.c -o bdd_dump.o >/dev/null 2>&1 libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_double.c -o bdd_double.o >/dev/null 2>&1 libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c hash.c -o hash.o >/dev/null 2>&1 libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_trace.c -o bdd_trace.o >/dev/null 2>&1 libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_manager.c -o bdd_manager.o >/dev/null 2>&1 libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd.c -o bdd.o >/dev/null 2>&1 /bin/bash ../libtool --tag=CC --mode=link gcc -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -o libmonabdd.la -rpath /usr/lib/x86_64-linux-gnu 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 libtool: link: gcc -shared -fPIC -DPIC .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-w6eafV/mona-1.4-18/Mem/.libs ../Mem/.libs/libmonamem.so -g -O2 -fstack-protector-strong -O3 -Wl,-z -Wl,relro -Wl,-soname -Wl,libmonabdd.so.1 -o .libs/libmonabdd.so.1.0.4 libtool: link: (cd ".libs" && rm -f "libmonabdd.so.1" && ln -s "libmonabdd.so.1.0.4" "libmonabdd.so.1") libtool: link: (cd ".libs" && rm -f "libmonabdd.so" && ln -s "libmonabdd.so.1.0.4" "libmonabdd.so") libtool: link: ar cr .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 libtool: link: ranlib .libs/libmonabdd.a libtool: link: ( cd ".libs" && rm -f "libmonabdd.la" && ln -s "../libmonabdd.la" "libmonabdd.la" ) make[3]: Leaving directory '/build/mona-w6eafV/mona-1.4-18/BDD' Making all in DFA make[3]: Entering directory '/build/mona-w6eafV/mona-1.4-18/DFA' /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-analyze.lo `test -f 'analyze.c' || echo './'`analyze.c /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-basic.lo `test -f 'basic.c' || echo './'`basic.c /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-dfa.lo `test -f 'dfa.c' || echo './'`dfa.c /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-external.lo `test -f 'external.c' || echo './'`external.c /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-makebasic.lo `test -f 'makebasic.c' || echo './'`makebasic.c /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-minimize.lo `test -f 'minimize.c' || echo './'`minimize.c /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-prefix.lo `test -f 'prefix.c' || echo './'`prefix.c /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-printdfa.lo `test -f 'printdfa.c' || echo './'`printdfa.c /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-product.lo `test -f 'product.c' || echo './'`product.c /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-project.lo `test -f 'project.c' || echo './'`project.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c makebasic.c -fPIC -DPIC -o .libs/libmonadfa_la-makebasic.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c external.c -fPIC -DPIC -o .libs/libmonadfa_la-external.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c analyze.c -fPIC -DPIC -o .libs/libmonadfa_la-analyze.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c printdfa.c -fPIC -DPIC -o .libs/libmonadfa_la-printdfa.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c product.c -fPIC -DPIC -o .libs/libmonadfa_la-product.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c dfa.c -fPIC -DPIC -o .libs/libmonadfa_la-dfa.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c basic.c -fPIC -DPIC -o .libs/libmonadfa_la-basic.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c prefix.c -fPIC -DPIC -o .libs/libmonadfa_la-prefix.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c minimize.c -fPIC -DPIC -o .libs/libmonadfa_la-minimize.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c project.c -fPIC -DPIC -o .libs/libmonadfa_la-project.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c minimize.c -o libmonadfa_la-minimize.o >/dev/null 2>&1 libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c prefix.c -o libmonadfa_la-prefix.o >/dev/null 2>&1 libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c dfa.c -o libmonadfa_la-dfa.o >/dev/null 2>&1 libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c external.c -o libmonadfa_la-external.o >/dev/null 2>&1 libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c product.c -o libmonadfa_la-product.o >/dev/null 2>&1 libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c project.c -o libmonadfa_la-project.o >/dev/null 2>&1 /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-quotient.lo `test -f 'quotient.c' || echo './'`quotient.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c makebasic.c -o libmonadfa_la-makebasic.o >/dev/null 2>&1 libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c analyze.c -o libmonadfa_la-analyze.o >/dev/null 2>&1 libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c printdfa.c -o libmonadfa_la-printdfa.o >/dev/null 2>&1 libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c quotient.c -fPIC -DPIC -o .libs/libmonadfa_la-quotient.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c basic.c -o libmonadfa_la-basic.o >/dev/null 2>&1 libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c quotient.c -o libmonadfa_la-quotient.o >/dev/null 2>&1 /bin/bash ../libtool --tag=CC --mode=link gcc -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -o libmonadfa.la -rpath /usr/lib/x86_64-linux-gnu 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 libtool: link: gcc -shared -fPIC -DPIC .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-w6eafV/mona-1.4-18/Mem/.libs -Wl,-rpath -Wl,/build/mona-w6eafV/mona-1.4-18/BDD/.libs ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so -g -O2 -fstack-protector-strong -O3 -Wl,-z -Wl,relro -Wl,-soname -Wl,libmonadfa.so.1 -o .libs/libmonadfa.so.1.0.4 libtool: link: (cd ".libs" && rm -f "libmonadfa.so.1" && ln -s "libmonadfa.so.1.0.4" "libmonadfa.so.1") libtool: link: (cd ".libs" && rm -f "libmonadfa.so" && ln -s "libmonadfa.so.1.0.4" "libmonadfa.so") libtool: link: ar cr .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 libtool: link: ranlib .libs/libmonadfa.a libtool: link: ( cd ".libs" && rm -f "libmonadfa.la" && ln -s "../libmonadfa.la" "libmonadfa.la" ) make[3]: Leaving directory '/build/mona-w6eafV/mona-1.4-18/DFA' Making all in GTA make[3]: Entering directory '/build/mona-w6eafV/mona-1.4-18/GTA' /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-analyze.lo `test -f 'analyze.c' || echo './'`analyze.c /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-analyze_acceptance.lo `test -f 'analyze_acceptance.c' || echo './'`analyze_acceptance.c /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-basic.lo `test -f 'basic.c' || echo './'`basic.c /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-copy.lo `test -f 'copy.c' || echo './'`copy.c /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-dyn.lo `test -f 'dyn.c' || echo './'`dyn.c /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-external.lo `test -f 'external.c' || echo './'`external.c /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-gta.lo `test -f 'gta.c' || echo './'`gta.c /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-makebasic.lo `test -f 'makebasic.c' || echo './'`makebasic.c /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-minimize.lo `test -f 'minimize.c' || echo './'`minimize.c /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-negation.lo `test -f 'negation.c' || echo './'`negation.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c minimize.c -fPIC -DPIC -o .libs/libmonagta_la-minimize.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c basic.c -fPIC -DPIC -o .libs/libmonagta_la-basic.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c analyze_acceptance.c -fPIC -DPIC -o .libs/libmonagta_la-analyze_acceptance.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c dyn.c -fPIC -DPIC -o .libs/libmonagta_la-dyn.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c analyze.c -fPIC -DPIC -o .libs/libmonagta_la-analyze.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c external.c -fPIC -DPIC -o .libs/libmonagta_la-external.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c gta.c -fPIC -DPIC -o .libs/libmonagta_la-gta.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c negation.c -fPIC -DPIC -o .libs/libmonagta_la-negation.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c makebasic.c -fPIC -DPIC -o .libs/libmonagta_la-makebasic.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c copy.c -fPIC -DPIC -o .libs/libmonagta_la-copy.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c negation.c -o libmonagta_la-negation.o >/dev/null 2>&1 libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c dyn.c -o libmonagta_la-dyn.o >/dev/null 2>&1 /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-pairhash.lo `test -f 'pairhash.c' || echo './'`pairhash.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c copy.c -o libmonagta_la-copy.o >/dev/null 2>&1 libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c makebasic.c -o libmonagta_la-makebasic.o >/dev/null 2>&1 libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c gta.c -o libmonagta_la-gta.o >/dev/null 2>&1 /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-printgta.lo `test -f 'printgta.c' || echo './'`printgta.c /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-product.lo `test -f 'product.c' || echo './'`product.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c pairhash.c -fPIC -DPIC -o .libs/libmonagta_la-pairhash.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c minimize.c -o libmonagta_la-minimize.o >/dev/null 2>&1 /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-project.lo `test -f 'project.c' || echo './'`project.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c printgta.c -fPIC -DPIC -o .libs/libmonagta_la-printgta.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c product.c -fPIC -DPIC -o .libs/libmonagta_la-product.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c analyze_acceptance.c -o libmonagta_la-analyze_acceptance.o >/dev/null 2>&1 libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c pairhash.c -o libmonagta_la-pairhash.o >/dev/null 2>&1 libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c analyze.c -o libmonagta_la-analyze.o >/dev/null 2>&1 libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c project.c -fPIC -DPIC -o .libs/libmonagta_la-project.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c printgta.c -o libmonagta_la-printgta.o >/dev/null 2>&1 libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c external.c -o libmonagta_la-external.o >/dev/null 2>&1 /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-projset.lo `test -f 'projset.c' || echo './'`projset.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c product.c -o libmonagta_la-product.o >/dev/null 2>&1 /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-reachable.lo `test -f 'reachable.c' || echo './'`reachable.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c project.c -o libmonagta_la-project.o >/dev/null 2>&1 libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c projset.c -fPIC -DPIC -o .libs/libmonagta_la-projset.o /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-replace_indices.lo `test -f 'replace_indices.c' || echo './'`replace_indices.c /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-restrict.lo `test -f 'restrict.c' || echo './'`restrict.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c reachable.c -fPIC -DPIC -o .libs/libmonagta_la-reachable.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c projset.c -o libmonagta_la-projset.o >/dev/null 2>&1 libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c basic.c -o libmonagta_la-basic.o >/dev/null 2>&1 libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c replace_indices.c -fPIC -DPIC -o .libs/libmonagta_la-replace_indices.o /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-subsets.lo `test -f 'subsets.c' || echo './'`subsets.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c restrict.c -fPIC -DPIC -o .libs/libmonagta_la-restrict.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c restrict.c -o libmonagta_la-restrict.o >/dev/null 2>&1 /bin/bash ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-types.lo `test -f 'types.c' || echo './'`types.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c subsets.c -fPIC -DPIC -o .libs/libmonagta_la-subsets.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c replace_indices.c -o libmonagta_la-replace_indices.o >/dev/null 2>&1 libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c types.c -fPIC -DPIC -o .libs/libmonagta_la-types.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c reachable.c -o libmonagta_la-reachable.o >/dev/null 2>&1 libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c subsets.c -o libmonagta_la-subsets.o >/dev/null 2>&1 libtool: compile: gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c types.c -o libmonagta_la-types.o >/dev/null 2>&1 /bin/bash ../libtool --tag=CC --mode=link gcc -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -o libmonagta.la -rpath /usr/lib/x86_64-linux-gnu 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 libtool: link: gcc -shared -fPIC -DPIC .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-w6eafV/mona-1.4-18/Mem/.libs -Wl,-rpath -Wl,/build/mona-w6eafV/mona-1.4-18/BDD/.libs ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so -g -O2 -fstack-protector-strong -O3 -Wl,-z -Wl,relro -Wl,-soname -Wl,libmonagta.so.1 -o .libs/libmonagta.so.1.0.4 libtool: link: (cd ".libs" && rm -f "libmonagta.so.1" && ln -s "libmonagta.so.1.0.4" "libmonagta.so.1") libtool: link: (cd ".libs" && rm -f "libmonagta.so" && ln -s "libmonagta.so.1.0.4" "libmonagta.so") libtool: link: ar cr .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 libtool: link: ranlib .libs/libmonagta.a libtool: link: ( cd ".libs" && rm -f "libmonagta.la" && ln -s "../libmonagta.la" "libmonagta.la" ) make[3]: Leaving directory '/build/mona-w6eafV/mona-1.4-18/GTA' Making all in Front make[3]: Entering directory '/build/mona-w6eafV/mona-1.4-18/Front' /bin/bash ../config/ylwrap scanner.lpp lex.yy.c scanner.cpp -- flex -l /bin/bash ../config/ylwrap parser.ypp y.tab.c parser.cpp y.tab.h `echo parser.cpp | sed -e s/cc$/hh/ -e s/cpp$/hpp/ -e s/cxx$/hxx/ -e s/c++$/h++/ -e s/c$/h/` y.output parser.output -- bison -y -d updating parser.hpp make all-am make[4]: Entering directory '/build/mona-w6eafV/mona-1.4-18/Front' g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-ast.o `test -f 'ast.cpp' || echo './'`ast.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-astdump.o `test -f 'astdump.cpp' || echo './'`astdump.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-code.o `test -f 'code.cpp' || echo './'`code.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-codedump.o `test -f 'codedump.cpp' || echo './'`codedump.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-codesubst.o `test -f 'codesubst.cpp' || echo './'`codesubst.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-codetable.o `test -f 'codetable.cpp' || echo './'`codetable.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-freevars.o `test -f 'freevars.cpp' || echo './'`freevars.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-ident.o `test -f 'ident.cpp' || echo './'`ident.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-lib.o `test -f 'lib.cpp' || echo './'`lib.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-makeguide.o `test -f 'makeguide.cpp' || echo './'`makeguide.cpp cc1plus: warning: command-line option ‘-fgnu89-inline’ is valid for C/ObjC but not for C++ cc1plus: warning: command-line option ‘-fgnu89-inline’ is valid for C/ObjC but not for C++ cc1plus: warning: command-line option ‘-fgnu89-inline’ is valid for C/ObjC but not for C++ cc1plus: warning: command-line option ‘-fgnu89-inline’ is valid for C/ObjC but not for C++ cc1plus: warning: command-line option ‘-fgnu89-inline’ is valid for C/ObjC but not for C++ cc1plus: warning: command-line option ‘-fgnu89-inline’ is valid for C/ObjC but not for C++ cc1plus: warning: command-line option ‘-fgnu89-inline’ is valid for C/ObjC but not for C++ cc1plus: warning: command-line option ‘-fgnu89-inline’ is valid for C/ObjC but not for C++ cc1plus: warning: command-line option ‘-fgnu89-inline’ is valid for C/ObjC but not for C++ cc1plus: warning: command-line option ‘-fgnu89-inline’ is valid for C/ObjC but not for C++ g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-mona.o `test -f 'mona.cpp' || echo './'`mona.cpp cc1plus: warning: command-line option ‘-fgnu89-inline’ is valid for C/ObjC but not for C++ g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-offsets.o `test -f 'offsets.cpp' || echo './'`offsets.cpp cc1plus: warning: command-line option ‘-fgnu89-inline’ is valid for C/ObjC but not for C++ g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-parser.o `test -f 'parser.cpp' || echo './'`parser.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-predlib.o `test -f 'predlib.cpp' || echo './'`predlib.cpp cc1plus: warning: command-line option ‘-fgnu89-inline’ is valid for C/ObjC but not for C++ cc1plus: warning: command-line option ‘-fgnu89-inline’ is valid for C/ObjC but not for C++ g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-printline.o `test -f 'printline.cpp' || echo './'`printline.cpp g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-reduce.o `test -f 'reduce.cpp' || echo './'`reduce.cpp cc1plus: warning: command-line option ‘-fgnu89-inline’ is valid for C/ObjC but not for C++ cc1plus: warning: command-line option ‘-fgnu89-inline’ is valid for C/ObjC but not for C++ g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-scanner.o `test -f 'scanner.cpp' || echo './'`scanner.cpp cc1plus: warning: command-line option ‘-fgnu89-inline’ is valid for C/ObjC but not for C++ g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-signature.o `test -f 'signature.cpp' || echo './'`signature.cpp cc1plus: warning: command-line option ‘-fgnu89-inline’ is valid for C/ObjC but not for C++ g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-st_dfa.o `test -f 'st_dfa.cpp' || echo './'`st_dfa.cpp cc1plus: warning: command-line option ‘-fgnu89-inline’ is valid for C/ObjC but not for C++ g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-st_gta.o `test -f 'st_gta.cpp' || echo './'`st_gta.cpp cc1plus: warning: command-line option ‘-fgnu89-inline’ is valid for C/ObjC but not for C++ g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-symboltable.o `test -f 'symboltable.cpp' || echo './'`symboltable.cpp cc1plus: warning: command-line option ‘-fgnu89-inline’ is valid for C/ObjC but not for C++ g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-timer.o `test -f 'timer.cpp' || echo './'`timer.cpp cc1plus: warning: command-line option ‘-fgnu89-inline’ is valid for C/ObjC but not for C++ g++ -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-untyped.o `test -f 'untyped.cpp' || echo './'`untyped.cpp cc1plus: warning: command-line option ‘-fgnu89-inline’ is valid for C/ObjC but not for C++ /bin/bash ../libtool --tag=CXX --mode=link g++ -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z,relro -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 libtool: link: g++ -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z -Wl,relro -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 make[4]: Leaving directory '/build/mona-w6eafV/mona-1.4-18/Front' make[3]: Leaving directory '/build/mona-w6eafV/mona-1.4-18/Front' Making all in Lib make[3]: Entering directory '/build/mona-w6eafV/mona-1.4-18/Lib' gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o dfa2dot.o dfa2dot.c gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o dfalib.o dfalib.c gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o gta2dot.o gta2dot.c gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o gtalib.o gtalib.c /bin/bash ../libtool --tag=CC --mode=link gcc -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z,relro -o dfa2dot dfa2dot.o dfalib.o libtool: link: gcc -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z -Wl,relro -o dfa2dot dfa2dot.o dfalib.o /bin/bash ../libtool --tag=CC --mode=link gcc -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z,relro -o gta2dot gta2dot.o gtalib.o libtool: link: gcc -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z -Wl,relro -o gta2dot gta2dot.o gtalib.o make[3]: Leaving directory '/build/mona-w6eafV/mona-1.4-18/Lib' Making all in Examples make[3]: Entering directory '/build/mona-w6eafV/mona-1.4-18/Examples' gcc -DHAVE_CONFIG_H -I. -I.. -I../Mem -I../BDD -I../DFA -I../GTA -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_example.o bdd_example.c gcc -DHAVE_CONFIG_H -I. -I.. -I../Mem -I../BDD -I../DFA -I../GTA -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o gta_example.o gta_example.c gcc -DHAVE_CONFIG_H -I. -I.. -I../Mem -I../BDD -I../DFA -I../GTA -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o presburger_transduction.o presburger_transduction.c gcc -DHAVE_CONFIG_H -I. -I.. -I../Mem -I../BDD -I../DFA -I../GTA -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o presburger_analysis.o presburger_analysis.c /bin/bash ../libtool --tag=CC --mode=link gcc -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z,relro -o presburger_transduction presburger_transduction.o ../Mem/libmonamem.la ../BDD/libmonabdd.la ../DFA/libmonadfa.la /bin/bash ../libtool --tag=CC --mode=link gcc -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z,relro -o bdd_example bdd_example.o ../Mem/libmonamem.la ../BDD/libmonabdd.la /bin/bash ../libtool --tag=CC --mode=link gcc -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z,relro -o presburger_analysis presburger_analysis.o ../Mem/libmonamem.la ../BDD/libmonabdd.la ../DFA/libmonadfa.la /bin/bash ../libtool --tag=CC --mode=link gcc -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z,relro -o gta_example gta_example.o ../Mem/libmonamem.la ../BDD/libmonabdd.la ../GTA/libmonagta.la libtool: link: gcc -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z -Wl,relro -o .libs/bdd_example bdd_example.o ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so libtool: link: gcc -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z -Wl,relro -o .libs/presburger_transduction presburger_transduction.o ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so ../DFA/.libs/libmonadfa.so libtool: link: gcc -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z -Wl,relro -o .libs/presburger_analysis presburger_analysis.o ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so ../DFA/.libs/libmonadfa.so libtool: link: gcc -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z -Wl,relro -o .libs/gta_example gta_example.o ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so ../GTA/.libs/libmonagta.so make[3]: Leaving directory '/build/mona-w6eafV/mona-1.4-18/Examples' make[3]: Entering directory '/build/mona-w6eafV/mona-1.4-18' make[3]: Leaving directory '/build/mona-w6eafV/mona-1.4-18' make[2]: Leaving directory '/build/mona-w6eafV/mona-1.4-18' make[1]: Leaving directory '/build/mona-w6eafV/mona-1.4-18' dh: command-omitted: The call to "dh_auto_test -a" was omitted due to "DEB_BUILD_OPTIONS=nocheck" create-stamp debian/debhelper-build-stamp dh_prep -a dh_installdirs -a dh_auto_install --destdir=debian/mona/ -a make -j1 install DESTDIR=/build/mona-w6eafV/mona-1.4-18/debian/mona AM_UPDATE_INFO_DIR=no make[1]: Entering directory '/build/mona-w6eafV/mona-1.4-18' Making install in config make[2]: Entering directory '/build/mona-w6eafV/mona-1.4-18/config' make[3]: Entering directory '/build/mona-w6eafV/mona-1.4-18/config' make[3]: Nothing to be done for 'install-exec-am'. make[3]: Nothing to be done for 'install-data-am'. make[3]: Leaving directory '/build/mona-w6eafV/mona-1.4-18/config' make[2]: Leaving directory '/build/mona-w6eafV/mona-1.4-18/config' Making install in Mem make[2]: Entering directory '/build/mona-w6eafV/mona-1.4-18/Mem' make[3]: Entering directory '/build/mona-w6eafV/mona-1.4-18/Mem' /bin/mkdir -p '/build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu' /bin/bash ../libtool --mode=install /usr/bin/install -c libmonamem.la '/build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu' libtool: install: /usr/bin/install -c .libs/libmonamem.so.1.0.4 /build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu/libmonamem.so.1.0.4 libtool: install: (cd /build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu && { ln -s -f libmonamem.so.1.0.4 libmonamem.so.1 || { rm -f libmonamem.so.1 && ln -s libmonamem.so.1.0.4 libmonamem.so.1; }; }) libtool: install: (cd /build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu && { ln -s -f libmonamem.so.1.0.4 libmonamem.so || { rm -f libmonamem.so && ln -s libmonamem.so.1.0.4 libmonamem.so; }; }) libtool: install: /usr/bin/install -c .libs/libmonamem.lai /build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu/libmonamem.la libtool: install: /usr/bin/install -c .libs/libmonamem.a /build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu/libmonamem.a libtool: install: chmod 644 /build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu/libmonamem.a libtool: install: ranlib /build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu/libmonamem.a libtool: warning: remember to run 'libtool --finish /usr/lib/x86_64-linux-gnu' /bin/mkdir -p '/build/mona-w6eafV/mona-1.4-18/debian/mona/usr/include/mona' /usr/bin/install -c -m 644 dlmalloc.h gnuc.h mem.h '/build/mona-w6eafV/mona-1.4-18/debian/mona/usr/include/mona' make[3]: Leaving directory '/build/mona-w6eafV/mona-1.4-18/Mem' make[2]: Leaving directory '/build/mona-w6eafV/mona-1.4-18/Mem' Making install in BDD make[2]: Entering directory '/build/mona-w6eafV/mona-1.4-18/BDD' make[3]: Entering directory '/build/mona-w6eafV/mona-1.4-18/BDD' /bin/mkdir -p '/build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu' /bin/bash ../libtool --mode=install /usr/bin/install -c libmonabdd.la '/build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu' libtool: warning: relinking 'libmonabdd.la' libtool: install: (cd /build/mona-w6eafV/mona-1.4-18/BDD; /bin/bash "/build/mona-w6eafV/mona-1.4-18/libtool" --tag CC --mode=relink gcc -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -o libmonabdd.la -rpath /usr/lib/x86_64-linux-gnu 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 -inst-prefix-dir /build/mona-w6eafV/mona-1.4-18/debian/mona) libtool: relink: gcc -shared -fPIC -DPIC .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 -L/build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu -L/usr/lib/x86_64-linux-gnu -lmonamem -g -O2 -fstack-protector-strong -O3 -Wl,-z -Wl,relro -Wl,-soname -Wl,libmonabdd.so.1 -o .libs/libmonabdd.so.1.0.4 libtool: install: /usr/bin/install -c .libs/libmonabdd.so.1.0.4T /build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu/libmonabdd.so.1.0.4 libtool: install: (cd /build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu && { ln -s -f libmonabdd.so.1.0.4 libmonabdd.so.1 || { rm -f libmonabdd.so.1 && ln -s libmonabdd.so.1.0.4 libmonabdd.so.1; }; }) libtool: install: (cd /build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu && { ln -s -f libmonabdd.so.1.0.4 libmonabdd.so || { rm -f libmonabdd.so && ln -s libmonabdd.so.1.0.4 libmonabdd.so; }; }) libtool: install: /usr/bin/install -c .libs/libmonabdd.lai /build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu/libmonabdd.la libtool: install: /usr/bin/install -c .libs/libmonabdd.a /build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu/libmonabdd.a libtool: install: chmod 644 /build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu/libmonabdd.a libtool: install: ranlib /build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu/libmonabdd.a libtool: warning: remember to run 'libtool --finish /usr/lib/x86_64-linux-gnu' /bin/mkdir -p '/build/mona-w6eafV/mona-1.4-18/debian/mona/usr/include/mona' /usr/bin/install -c -m 644 bdd.h '/build/mona-w6eafV/mona-1.4-18/debian/mona/usr/include/mona' make[3]: Leaving directory '/build/mona-w6eafV/mona-1.4-18/BDD' make[2]: Leaving directory '/build/mona-w6eafV/mona-1.4-18/BDD' Making install in DFA make[2]: Entering directory '/build/mona-w6eafV/mona-1.4-18/DFA' make[3]: Entering directory '/build/mona-w6eafV/mona-1.4-18/DFA' /bin/mkdir -p '/build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu' /bin/bash ../libtool --mode=install /usr/bin/install -c libmonadfa.la '/build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu' libtool: warning: relinking 'libmonadfa.la' libtool: install: (cd /build/mona-w6eafV/mona-1.4-18/DFA; /bin/bash "/build/mona-w6eafV/mona-1.4-18/libtool" --tag CC --mode=relink gcc -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -o libmonadfa.la -rpath /usr/lib/x86_64-linux-gnu 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 -inst-prefix-dir /build/mona-w6eafV/mona-1.4-18/debian/mona) libtool: relink: gcc -shared -fPIC -DPIC .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 -L/build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu -L/usr/lib/x86_64-linux-gnu -lmonamem -lmonabdd -g -O2 -fstack-protector-strong -O3 -Wl,-z -Wl,relro -Wl,-soname -Wl,libmonadfa.so.1 -o .libs/libmonadfa.so.1.0.4 libtool: install: /usr/bin/install -c .libs/libmonadfa.so.1.0.4T /build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu/libmonadfa.so.1.0.4 libtool: install: (cd /build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu && { ln -s -f libmonadfa.so.1.0.4 libmonadfa.so.1 || { rm -f libmonadfa.so.1 && ln -s libmonadfa.so.1.0.4 libmonadfa.so.1; }; }) libtool: install: (cd /build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu && { ln -s -f libmonadfa.so.1.0.4 libmonadfa.so || { rm -f libmonadfa.so && ln -s libmonadfa.so.1.0.4 libmonadfa.so; }; }) libtool: install: /usr/bin/install -c .libs/libmonadfa.lai /build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu/libmonadfa.la libtool: install: /usr/bin/install -c .libs/libmonadfa.a /build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu/libmonadfa.a libtool: install: chmod 644 /build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu/libmonadfa.a libtool: install: ranlib /build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu/libmonadfa.a libtool: warning: remember to run 'libtool --finish /usr/lib/x86_64-linux-gnu' /bin/mkdir -p '/build/mona-w6eafV/mona-1.4-18/debian/mona/usr/include/mona' /usr/bin/install -c -m 644 dfa.h '/build/mona-w6eafV/mona-1.4-18/debian/mona/usr/include/mona' make[3]: Leaving directory '/build/mona-w6eafV/mona-1.4-18/DFA' make[2]: Leaving directory '/build/mona-w6eafV/mona-1.4-18/DFA' Making install in GTA make[2]: Entering directory '/build/mona-w6eafV/mona-1.4-18/GTA' make[3]: Entering directory '/build/mona-w6eafV/mona-1.4-18/GTA' /bin/mkdir -p '/build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu' /bin/bash ../libtool --mode=install /usr/bin/install -c libmonagta.la '/build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu' libtool: warning: relinking 'libmonagta.la' libtool: install: (cd /build/mona-w6eafV/mona-1.4-18/GTA; /bin/bash "/build/mona-w6eafV/mona-1.4-18/libtool" --tag CC --mode=relink gcc -g -O2 -ffile-prefix-map=/build/mona-w6eafV/mona-1.4-18=. -fstack-protector-strong -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -o libmonagta.la -rpath /usr/lib/x86_64-linux-gnu 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 -inst-prefix-dir /build/mona-w6eafV/mona-1.4-18/debian/mona) libtool: relink: gcc -shared -fPIC -DPIC .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 -L/build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu -L/usr/lib/x86_64-linux-gnu -lmonamem -lmonabdd -g -O2 -fstack-protector-strong -O3 -Wl,-z -Wl,relro -Wl,-soname -Wl,libmonagta.so.1 -o .libs/libmonagta.so.1.0.4 libtool: install: /usr/bin/install -c .libs/libmonagta.so.1.0.4T /build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu/libmonagta.so.1.0.4 libtool: install: (cd /build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu && { ln -s -f libmonagta.so.1.0.4 libmonagta.so.1 || { rm -f libmonagta.so.1 && ln -s libmonagta.so.1.0.4 libmonagta.so.1; }; }) libtool: install: (cd /build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu && { ln -s -f libmonagta.so.1.0.4 libmonagta.so || { rm -f libmonagta.so && ln -s libmonagta.so.1.0.4 libmonagta.so; }; }) libtool: install: /usr/bin/install -c .libs/libmonagta.lai /build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu/libmonagta.la libtool: install: /usr/bin/install -c .libs/libmonagta.a /build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu/libmonagta.a libtool: install: chmod 644 /build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu/libmonagta.a libtool: install: ranlib /build/mona-w6eafV/mona-1.4-18/debian/mona/usr/lib/x86_64-linux-gnu/libmonagta.a libtool: warning: remember to run 'libtool --finish /usr/lib/x86_64-linux-gnu' /bin/mkdir -p '/build/mona-w6eafV/mona-1.4-18/debian/mona/usr/include/mona' /usr/bin/install -c -m 644 gta.h '/build/mona-w6eafV/mona-1.4-18/debian/mona/usr/include/mona' make[3]: Leaving directory '/build/mona-w6eafV/mona-1.4-18/GTA' make[2]: Leaving directory '/build/mona-w6eafV/mona-1.4-18/GTA' Making install in Front make[2]: Entering directory '/build/mona-w6eafV/mona-1.4-18/Front' make install-am make[3]: Entering directory '/build/mona-w6eafV/mona-1.4-18/Front' make[4]: Entering directory '/build/mona-w6eafV/mona-1.4-18/Front' /bin/mkdir -p '/build/mona-w6eafV/mona-1.4-18/debian/mona/usr/bin' /bin/bash ../libtool --mode=install /usr/bin/install -c mona '/build/mona-w6eafV/mona-1.4-18/debian/mona/usr/bin' libtool: warning: '../Mem/libmonamem.la' has not been installed in '/usr/lib/x86_64-linux-gnu' libtool: warning: '../BDD/libmonabdd.la' has not been installed in '/usr/lib/x86_64-linux-gnu' libtool: warning: '../DFA/libmonadfa.la' has not been installed in '/usr/lib/x86_64-linux-gnu' libtool: warning: '../GTA/libmonagta.la' has not been installed in '/usr/lib/x86_64-linux-gnu' libtool: install: /usr/bin/install -c .libs/mona /build/mona-w6eafV/mona-1.4-18/debian/mona/usr/bin/mona make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/build/mona-w6eafV/mona-1.4-18/Front' make[3]: Leaving directory '/build/mona-w6eafV/mona-1.4-18/Front' make[2]: Leaving directory '/build/mona-w6eafV/mona-1.4-18/Front' Making install in Lib make[2]: Entering directory '/build/mona-w6eafV/mona-1.4-18/Lib' make[3]: Entering directory '/build/mona-w6eafV/mona-1.4-18/Lib' /bin/mkdir -p '/build/mona-w6eafV/mona-1.4-18/debian/mona/usr/bin' /bin/bash ../libtool --mode=install /usr/bin/install -c dfa2dot gta2dot '/build/mona-w6eafV/mona-1.4-18/debian/mona/usr/bin' libtool: install: /usr/bin/install -c dfa2dot /build/mona-w6eafV/mona-1.4-18/debian/mona/usr/bin/dfa2dot libtool: install: /usr/bin/install -c gta2dot /build/mona-w6eafV/mona-1.4-18/debian/mona/usr/bin/gta2dot make[3]: Nothing to be done for 'install-data-am'. make[3]: Leaving directory '/build/mona-w6eafV/mona-1.4-18/Lib' make[2]: Leaving directory '/build/mona-w6eafV/mona-1.4-18/Lib' Making install in Examples make[2]: Entering directory '/build/mona-w6eafV/mona-1.4-18/Examples' make[3]: Entering directory '/build/mona-w6eafV/mona-1.4-18/Examples' make[3]: Nothing to be done for 'install-exec-am'. make[3]: Nothing to be done for 'install-data-am'. make[3]: Leaving directory '/build/mona-w6eafV/mona-1.4-18/Examples' make[2]: Leaving directory '/build/mona-w6eafV/mona-1.4-18/Examples' make[2]: Entering directory '/build/mona-w6eafV/mona-1.4-18' make[3]: Entering directory '/build/mona-w6eafV/mona-1.4-18' make[3]: Nothing to be done for 'install-exec-am'. /bin/mkdir -p '/build/mona-w6eafV/mona-1.4-18/debian/mona/usr/share' /usr/bin/install -c -m 644 mona-mode.el '/build/mona-w6eafV/mona-1.4-18/debian/mona/usr/share' /bin/mkdir -p '/build/mona-w6eafV/mona-1.4-18/debian/mona/usr/share/man/man1' /usr/bin/install -c -m 644 mona.1 '/build/mona-w6eafV/mona-1.4-18/debian/mona/usr/share/man/man1' /bin/mkdir -p '/build/mona-w6eafV/mona-1.4-18/debian/mona/usr/include/mona' /usr/bin/install -c -m 644 config.h '/build/mona-w6eafV/mona-1.4-18/debian/mona/usr/include/mona' make[3]: Leaving directory '/build/mona-w6eafV/mona-1.4-18' make[2]: Leaving directory '/build/mona-w6eafV/mona-1.4-18' make[1]: Leaving directory '/build/mona-w6eafV/mona-1.4-18' debian/rules override_dh_install make[1]: Entering directory '/build/mona-w6eafV/mona-1.4-18' rm debian/mona/usr/lib/*/*.la rm debian/mona/usr/share/mona-mode.el dh_install make[1]: Leaving directory '/build/mona-w6eafV/mona-1.4-18' dh_installdocs -a dh_installchangelogs -a debian/rules override_dh_installexamples make[1]: Entering directory '/build/mona-w6eafV/mona-1.4-18' make -C Examples clean make[2]: Entering directory '/build/mona-w6eafV/mona-1.4-18/Examples' rm -rf .libs _libs rm -f bdd_example gta_example presburger_transduction presburger_analysis rm -f *.o rm -f *.lo make[2]: Leaving directory '/build/mona-w6eafV/mona-1.4-18/Examples' dh_installexamples make[1]: Leaving directory '/build/mona-w6eafV/mona-1.4-18' dh_installman -a dh_installemacsen -a dh_lintian -a dh_perl -a dh_link -a dh_strip_nondeterminism -a dh_compress -a dh_fixperms -a dh_missing -a dh_dwz -a dwz: debian/mona/usr/bin/mona: DWARF compression not beneficial - old size 1239465 new size 1249507 dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dpkg-shlibdeps: warning: symbol guide used by debian/mona/usr/lib/x86_64-linux-gnu/libmonagta.so.1.0.4 found in none of the libraries dh_installdeb -a dh_gencontrol -a dh_md5sums -a dh_builddeb -a dpkg-deb: building package 'mona' in '../mona_1.4-18-1_amd64.deb'. dpkg-deb: building package 'mona-dbgsym' in '../mona-dbgsym_1.4-18-1_amd64.deb'. dpkg-genbuildinfo --build=any dpkg-genchanges --build=any >../mona_1.4-18-1_amd64.changes dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: running special hook: sync-out /build/mona-w6eafV /tmp/mona-1.4-18-1tj8ll0gb I: cleaning package lists and apt cache... I: removing tempdir /tmp/mmdebstrap.Q0k4wS4j2s... I: success in 2252.7926 seconds md5: mona-dbgsym_1.4-18-1_amd64.deb: OK md5: mona_1.4-18-1_amd64.deb: OK sha1: mona-dbgsym_1.4-18-1_amd64.deb: OK sha1: mona_1.4-18-1_amd64.deb: OK sha256: mona-dbgsym_1.4-18-1_amd64.deb: OK sha256: mona_1.4-18-1_amd64.deb: OK Checksums: OK