https://launchpad.net/ubuntu/+source/rumur/2020.04.05-1/+build/19219514 RUN: /usr/share/launchpad-buildd/bin/builder-prep Kernel version: Linux riscv64-qemu-lcy01-066 5.3.0-13-generic #14+riscv64.5-Ubuntu SMP Wed Nov 13 20:10:41 UTC 2019 riscv64 Buildd toolchain package versions: launchpad-buildd_188 python-lpbuildd_188 sbuild_0.79.0-1ubuntu1 git_1:2.25.1-1ubuntu1 dpkg-dev_1.19.7ubuntu2 python-debian_0.1.36build1. Syncing the system clock with the buildd NTP service... 28 Apr 04:48:14 ntpdate[398982]: adjust time server 10.211.37.1 offset -0.000024 sec RUN: /usr/share/launchpad-buildd/bin/in-target unpack-chroot --backend=chroot --series=groovy --arch=riscv64 PACKAGEBUILD-19219514 --image-type chroot /home/buildd/filecache-default/f3eb94e98b295919e6c8d0c40a2cb7b393a0119c Creating target for build PACKAGEBUILD-19219514 RUN: /usr/share/launchpad-buildd/bin/in-target mount-chroot --backend=chroot --series=groovy --arch=riscv64 PACKAGEBUILD-19219514 Starting target for build PACKAGEBUILD-19219514 RUN: /usr/share/launchpad-buildd/bin/in-target override-sources-list --backend=chroot --series=groovy --arch=riscv64 PACKAGEBUILD-19219514 'deb http://ftpmaster.internal/ubuntu groovy main universe' 'deb http://ftpmaster.internal/ubuntu groovy-security main universe' 'deb http://ftpmaster.internal/ubuntu groovy-updates main universe' 'deb http://ftpmaster.internal/ubuntu groovy-proposed main universe' Overriding sources.list in build-PACKAGEBUILD-19219514 RUN: /usr/share/launchpad-buildd/bin/in-target update-debian-chroot --backend=chroot --series=groovy --arch=riscv64 PACKAGEBUILD-19219514 Updating target for build PACKAGEBUILD-19219514 Get:1 http://ftpmaster.internal/ubuntu groovy InRelease [268 kB] Get:2 http://ftpmaster.internal/ubuntu groovy-security InRelease [89.1 kB] Get:3 http://ftpmaster.internal/ubuntu groovy-updates InRelease [89.1 kB] Get:4 http://ftpmaster.internal/ubuntu groovy-proposed InRelease [119 kB] Get:5 http://ftpmaster.internal/ubuntu groovy/main riscv64 Packages [880 kB] Get:6 http://ftpmaster.internal/ubuntu groovy/main Translation-en [506 kB] Get:7 http://ftpmaster.internal/ubuntu groovy/universe riscv64 Packages [7985 kB] Get:8 http://ftpmaster.internal/ubuntu groovy/universe Translation-en [5150 kB] Get:9 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 Packages [90.5 kB] Get:10 http://ftpmaster.internal/ubuntu groovy-proposed/main Translation-en [53.9 kB] Get:11 http://ftpmaster.internal/ubuntu groovy-proposed/universe riscv64 Packages [547 kB] Get:12 http://ftpmaster.internal/ubuntu groovy-proposed/universe Translation-en [534 kB] Fetched 16.3 MB in 27s (608 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: base-files cpp-9 dash debconf g++-9 gcc-10-base gcc-9 gcc-9-base libacl1 libatomic1 libcc1-0 libgcc-9-dev libgcc-s1 libgcc1 libgomp1 libgpm2 libidn2-0 libncursesw6 libperl5.30 libsqlite3-0 libssl1.1 libstdc++-9-dev libstdc++6 libsystemd0 libtinfo6 libudev1 make ncurses-base ncurses-bin openssl perl perl-base perl-modules-5.30 33 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 35.7 MB of archives. After this operation, 18.4 kB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu groovy/main riscv64 base-files riscv64 11ubuntu6 [59.6 kB] Get:2 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libperl5.30 riscv64 5.30.0-10 [3447 kB] Get:3 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 perl riscv64 5.30.0-10 [224 kB] Get:4 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 perl-base riscv64 5.30.0-10 [1419 kB] Get:5 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 perl-modules-5.30 all 5.30.0-10 [2738 kB] Get:6 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 debconf all 1.5.74 [121 kB] Get:7 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 dash riscv64 0.5.10.2-7 [82.0 kB] Get:8 http://ftpmaster.internal/ubuntu groovy/main riscv64 ncurses-bin riscv64 6.2-1 [166 kB] Get:9 http://ftpmaster.internal/ubuntu groovy/main riscv64 ncurses-base all 6.2-1 [18.7 kB] Get:10 http://ftpmaster.internal/ubuntu groovy/main riscv64 libsystemd0 riscv64 245.4-4ubuntu3 [243 kB] Get:11 http://ftpmaster.internal/ubuntu groovy/main riscv64 libatomic1 riscv64 10-20200425-1ubuntu2 [7484 B] Get:12 http://ftpmaster.internal/ubuntu groovy/main riscv64 gcc-10-base riscv64 10-20200425-1ubuntu2 [19.3 kB] Get:13 http://ftpmaster.internal/ubuntu groovy/main riscv64 libstdc++6 riscv64 10-20200425-1ubuntu2 [506 kB] Get:14 http://ftpmaster.internal/ubuntu groovy/main riscv64 libgomp1 riscv64 10-20200425-1ubuntu2 [83.4 kB] Get:15 http://ftpmaster.internal/ubuntu groovy/universe riscv64 libgcc1 riscv64 1:10-20200425-1ubuntu2 [40.4 kB] Get:16 http://ftpmaster.internal/ubuntu groovy/main riscv64 libcc1-0 riscv64 10-20200425-1ubuntu2 [38.4 kB] Get:17 http://ftpmaster.internal/ubuntu groovy/main riscv64 libgcc-s1 riscv64 10-20200425-1ubuntu2 [40.4 kB] Get:18 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libacl1 riscv64 2.2.53-7 [16.5 kB] Get:19 http://ftpmaster.internal/ubuntu groovy/main riscv64 libncursesw6 riscv64 6.2-1 [116 kB] Get:20 http://ftpmaster.internal/ubuntu groovy/main riscv64 libtinfo6 riscv64 6.2-1 [78.7 kB] Get:21 http://ftpmaster.internal/ubuntu groovy/main riscv64 libudev1 riscv64 245.4-4ubuntu3 [70.4 kB] Get:22 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libidn2-0 riscv64 2.3.0-1 [50.5 kB] Get:23 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libsqlite3-0 riscv64 3.31.1-5 [487 kB] Get:24 http://ftpmaster.internal/ubuntu groovy/main riscv64 libssl1.1 riscv64 1.1.1f-1ubuntu2 [967 kB] Get:25 http://ftpmaster.internal/ubuntu groovy/main riscv64 openssl riscv64 1.1.1f-1ubuntu2 [595 kB] Get:26 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 g++-9 riscv64 9.3.0-11ubuntu2 [6930 kB] Get:27 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 gcc-9 riscv64 9.3.0-11ubuntu2 [6789 kB] Get:28 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libstdc++-9-dev riscv64 9.3.0-11ubuntu2 [3681 kB] Get:29 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libgcc-9-dev riscv64 9.3.0-11ubuntu2 [404 kB] Get:30 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 cpp-9 riscv64 9.3.0-11ubuntu2 [6047 kB] Get:31 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 gcc-9-base riscv64 9.3.0-11ubuntu2 [19.4 kB] Get:32 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libgpm2 riscv64 1.20.7-6 [14.2 kB] Get:33 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 make riscv64 4.2.1-1.3 [152 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 35.7 MB in 7s (5270 kB/s) (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../base-files_11ubuntu6_riscv64.deb ... Unpacking base-files (11ubuntu6) over (11ubuntu5) ... Setting up base-files (11ubuntu6) ... Installing new version of config file /etc/issue ... Installing new version of config file /etc/issue.net ... Installing new version of config file /etc/lsb-release ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../libperl5.30_5.30.0-10_riscv64.deb ... Unpacking libperl5.30:riscv64 (5.30.0-10) over (5.30.0-9build1) ... Preparing to unpack .../perl_5.30.0-10_riscv64.deb ... Unpacking perl (5.30.0-10) over (5.30.0-9build1) ... Preparing to unpack .../perl-base_5.30.0-10_riscv64.deb ... Unpacking perl-base (5.30.0-10) over (5.30.0-9build1) ... Setting up perl-base (5.30.0-10) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../perl-modules-5.30_5.30.0-10_all.deb ... Unpacking perl-modules-5.30 (5.30.0-10) over (5.30.0-9build1) ... Preparing to unpack .../debconf_1.5.74_all.deb ... Unpacking debconf (1.5.74) over (1.5.73) ... Setting up debconf (1.5.74) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../dash_0.5.10.2-7_riscv64.deb ... Unpacking dash (0.5.10.2-7) over (0.5.10.2-6) ... Setting up dash (0.5.10.2-7) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../ncurses-bin_6.2-1_riscv64.deb ... Unpacking ncurses-bin (6.2-1) over (6.2-0ubuntu2) ... Setting up ncurses-bin (6.2-1) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../ncurses-base_6.2-1_all.deb ... Unpacking ncurses-base (6.2-1) over (6.2-0ubuntu2) ... Setting up ncurses-base (6.2-1) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../libsystemd0_245.4-4ubuntu3_riscv64.deb ... Unpacking libsystemd0:riscv64 (245.4-4ubuntu3) over (245.4-4ubuntu1) ... Setting up libsystemd0:riscv64 (245.4-4ubuntu3) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../libatomic1_10-20200425-1ubuntu2_riscv64.deb ... Unpacking libatomic1:riscv64 (10-20200425-1ubuntu2) over (10-20200411-0ubuntu1) ... Preparing to unpack .../gcc-10-base_10-20200425-1ubuntu2_riscv64.deb ... Unpacking gcc-10-base:riscv64 (10-20200425-1ubuntu2) over (10-20200411-0ubuntu1) ... Setting up gcc-10-base:riscv64 (10-20200425-1ubuntu2) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../libstdc++6_10-20200425-1ubuntu2_riscv64.deb ... Unpacking libstdc++6:riscv64 (10-20200425-1ubuntu2) over (10-20200411-0ubuntu1) ... Setting up libstdc++6:riscv64 (10-20200425-1ubuntu2) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../libgomp1_10-20200425-1ubuntu2_riscv64.deb ... Unpacking libgomp1:riscv64 (10-20200425-1ubuntu2) over (10-20200411-0ubuntu1) ... Preparing to unpack .../libgcc1_1%3a10-20200425-1ubuntu2_riscv64.deb ... Unpacking libgcc1 (1:10-20200425-1ubuntu2) over (1:10-20200411-0ubuntu1) ... Preparing to unpack .../libcc1-0_10-20200425-1ubuntu2_riscv64.deb ... Unpacking libcc1-0:riscv64 (10-20200425-1ubuntu2) over (10-20200411-0ubuntu1) ... Preparing to unpack .../libgcc-s1_10-20200425-1ubuntu2_riscv64.deb ... Unpacking libgcc-s1:riscv64 (10-20200425-1ubuntu2) over (10-20200411-0ubuntu1) ... Setting up libgcc-s1:riscv64 (10-20200425-1ubuntu2) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../libacl1_2.2.53-7_riscv64.deb ... Unpacking libacl1:riscv64 (2.2.53-7) over (2.2.53-6) ... Setting up libacl1:riscv64 (2.2.53-7) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../libncursesw6_6.2-1_riscv64.deb ... Unpacking libncursesw6:riscv64 (6.2-1) over (6.2-0ubuntu2) ... Preparing to unpack .../libtinfo6_6.2-1_riscv64.deb ... Unpacking libtinfo6:riscv64 (6.2-1) over (6.2-0ubuntu2) ... Setting up libtinfo6:riscv64 (6.2-1) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../libudev1_245.4-4ubuntu3_riscv64.deb ... Unpacking libudev1:riscv64 (245.4-4ubuntu3) over (245.4-4ubuntu1) ... Setting up libudev1:riscv64 (245.4-4ubuntu3) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../libidn2-0_2.3.0-1_riscv64.deb ... Unpacking libidn2-0:riscv64 (2.3.0-1) over (2.2.0-2) ... Setting up libidn2-0:riscv64 (2.3.0-1) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../00-libsqlite3-0_3.31.1-5_riscv64.deb ... Unpacking libsqlite3-0:riscv64 (3.31.1-5) over (3.31.1-4) ... Preparing to unpack .../01-libssl1.1_1.1.1f-1ubuntu2_riscv64.deb ... Unpacking libssl1.1:riscv64 (1.1.1f-1ubuntu2) over (1.1.1f-1ubuntu1) ... Preparing to unpack .../02-openssl_1.1.1f-1ubuntu2_riscv64.deb ... Unpacking openssl (1.1.1f-1ubuntu2) over (1.1.1f-1ubuntu1) ... Preparing to unpack .../03-g++-9_9.3.0-11ubuntu2_riscv64.deb ... Unpacking g++-9 (9.3.0-11ubuntu2) over (9.3.0-10ubuntu2) ... Preparing to unpack .../04-gcc-9_9.3.0-11ubuntu2_riscv64.deb ... Unpacking gcc-9 (9.3.0-11ubuntu2) over (9.3.0-10ubuntu2) ... Preparing to unpack .../05-libstdc++-9-dev_9.3.0-11ubuntu2_riscv64.deb ... Unpacking libstdc++-9-dev:riscv64 (9.3.0-11ubuntu2) over (9.3.0-10ubuntu2) ... Preparing to unpack .../06-libgcc-9-dev_9.3.0-11ubuntu2_riscv64.deb ... Unpacking libgcc-9-dev:riscv64 (9.3.0-11ubuntu2) over (9.3.0-10ubuntu2) ... Preparing to unpack .../07-cpp-9_9.3.0-11ubuntu2_riscv64.deb ... Unpacking cpp-9 (9.3.0-11ubuntu2) over (9.3.0-10ubuntu2) ... Preparing to unpack .../08-gcc-9-base_9.3.0-11ubuntu2_riscv64.deb ... Unpacking gcc-9-base:riscv64 (9.3.0-11ubuntu2) over (9.3.0-10ubuntu2) ... Preparing to unpack .../09-libgpm2_1.20.7-6_riscv64.deb ... Unpacking libgpm2:riscv64 (1.20.7-6) over (1.20.7-5) ... Preparing to unpack .../10-make_4.2.1-1.3_riscv64.deb ... Unpacking make (4.2.1-1.3) over (4.2.1-1.2) ... Setting up libgpm2:riscv64 (1.20.7-6) ... Setting up perl-modules-5.30 (5.30.0-10) ... Setting up libgcc1 (1:10-20200425-1ubuntu2) ... Setting up libssl1.1:riscv64 (1.1.1f-1ubuntu2) ... Setting up libsqlite3-0:riscv64 (3.31.1-5) ... Setting up libgomp1:riscv64 (10-20200425-1ubuntu2) ... Setting up make (4.2.1-1.3) ... Setting up libatomic1:riscv64 (10-20200425-1ubuntu2) ... Setting up libncursesw6:riscv64 (6.2-1) ... Setting up libperl5.30:riscv64 (5.30.0-10) ... Setting up openssl (1.1.1f-1ubuntu2) ... Setting up libcc1-0:riscv64 (10-20200425-1ubuntu2) ... Setting up gcc-9-base:riscv64 (9.3.0-11ubuntu2) ... Setting up libgcc-9-dev:riscv64 (9.3.0-11ubuntu2) ... Setting up perl (5.30.0-10) ... Setting up cpp-9 (9.3.0-11ubuntu2) ... Setting up gcc-9 (9.3.0-11ubuntu2) ... Setting up libstdc++-9-dev:riscv64 (9.3.0-11ubuntu2) ... Setting up g++-9 (9.3.0-11ubuntu2) ... Processing triggers for libc-bin (2.31-0ubuntu9) ... RUN: /usr/share/launchpad-buildd/bin/sbuild-package PACKAGEBUILD-19219514 riscv64 groovy-proposed -c chroot:build-PACKAGEBUILD-19219514 --arch=riscv64 --dist=groovy-proposed --nolog rumur_2020.04.05-1.dsc Initiating build PACKAGEBUILD-19219514 with 8 jobs across 8 processor cores. Kernel reported to sbuild: 5.3.0-13-generic #14+riscv64.5-Ubuntu SMP Wed Nov 13 20:10:41 UTC 2019 riscv64 sbuild (Debian sbuild) 0.79.0 (05 February 2020) on riscv64-qemu-lcy01-066 +==============================================================================+ | rumur 2020.04.05-1 (riscv64) Tue, 28 Apr 2020 04:51:44 +0000 | +==============================================================================+ Package: rumur Version: 2020.04.05-1 Source Version: 2020.04.05-1 Distribution: groovy-proposed Machine Architecture: riscv64 Host Architecture: riscv64 Build Architecture: riscv64 Build Type: any I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-19219514/chroot-autobuild' with '<>' I: NOTICE: Log filtering will replace 'build/rumur-7VYAlK/resolver-5hIE87' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- rumur_2020.04.05-1.dsc exists in .; copying to chroot I: NOTICE: Log filtering will replace 'build/rumur-7VYAlK/rumur-2020.04.05' with '<>' I: NOTICE: Log filtering will replace 'build/rumur-7VYAlK' with '<>' +------------------------------------------------------------------------------+ | Install package build dependencies | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: debhelper-compat (= 12), bison (>= 3.0), cmake (>= 3.1), flex (>= 2.5.35), libfl-dev, libgmp-dev, python3 (>= 3.6), strace, build-essential, fakeroot Filtered Build-Depends: debhelper-compat (= 12), bison (>= 3.0), cmake (>= 3.1), flex (>= 2.5.35), libfl-dev, libgmp-dev, python3 (>= 3.6), strace, build-essential, fakeroot dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/<>/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/<>/apt_archive ./ InRelease Get:2 copy:/<>/apt_archive ./ Release [957 B] Ign:3 copy:/<>/apt_archive ./ Release.gpg Get:4 copy:/<>/apt_archive ./ Sources [423 B] Get:5 copy:/<>/apt_archive ./ Packages [509 B] Fetched 1889 B in 0s (4617 B/s) Reading package lists... Reading package lists... Install main build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following package was automatically installed and is no longer required: libgpm2 Use 'apt autoremove' to remove it. The following additional packages will be installed: autoconf automake autopoint autotools-dev bison bsdmainutils cmake cmake-data debhelper dh-autoreconf dh-strip-nondeterminism dwz file flex gettext gettext-base groff-base intltool-debian libarchive-zip-perl libarchive13 libasn1-8-heimdal libbrotli1 libbsd0 libcroco3 libcurl4 libdebhelper-perl libelf1 libexpat1 libfile-stripnondeterminism-perl libfl-dev libfl2 libglib2.0-0 libgmp-dev libgmpxx4ldbl libgssapi-krb5-2 libgssapi3-heimdal libhcrypto4-heimdal libheimbase1-heimdal libheimntlm0-heimdal libhx509-5-heimdal libicu66 libjsoncpp1 libk5crypto3 libkeyutils1 libkrb5-26-heimdal libkrb5-3 libkrb5support0 libldap-2.4-2 libldap-common libmagic-mgc libmagic1 libmpdec2 libncurses6 libnghttp2-14 libpipeline1 libprocps8 libpsl5 libpython3-stdlib libpython3.8-minimal libpython3.8-stdlib librhash0 libroken18-heimdal librtmp1 libsasl2-2 libsasl2-modules-db libsigsegv2 libssh-4 libsub-override-perl libtool libuchardet0 libuv1 libwind0-heimdal libxml2 m4 man-db mime-support po-debconf procps python3 python3-minimal python3.8 python3.8-minimal strace tzdata Suggested packages: autoconf-archive gnu-standards autoconf-doc bison-doc wamerican | wordlist whois vacation cmake-doc ninja-build dh-make flex-doc gettext-doc libasprintf-dev libgettextpo-dev groff lrzip gmp-doc libgmp10-doc libmpfr-dev krb5-doc krb5-user libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less www-browser libmail-box-perl python3-doc python3-tk python3-venv python3.8-venv python3.8-doc binfmt-support Recommended packages: curl | wget | lynx libarchive-cpio-perl libglib2.0-data shared-mime-info xdg-user-dirs krb5-locales publicsuffix libsasl2-modules libltdl-dev libmail-sendmail-perl psmisc The following NEW packages will be installed: autoconf automake autopoint autotools-dev bison bsdmainutils cmake cmake-data debhelper dh-autoreconf dh-strip-nondeterminism dwz file flex gettext gettext-base groff-base intltool-debian libarchive-zip-perl libarchive13 libasn1-8-heimdal libbrotli1 libbsd0 libcroco3 libcurl4 libdebhelper-perl libelf1 libexpat1 libfile-stripnondeterminism-perl libfl-dev libfl2 libglib2.0-0 libgmp-dev libgmpxx4ldbl libgssapi-krb5-2 libgssapi3-heimdal libhcrypto4-heimdal libheimbase1-heimdal libheimntlm0-heimdal libhx509-5-heimdal libicu66 libjsoncpp1 libk5crypto3 libkeyutils1 libkrb5-26-heimdal libkrb5-3 libkrb5support0 libldap-2.4-2 libldap-common libmagic-mgc libmagic1 libmpdec2 libncurses6 libnghttp2-14 libpipeline1 libprocps8 libpsl5 libpython3-stdlib libpython3.8-minimal libpython3.8-stdlib librhash0 libroken18-heimdal librtmp1 libsasl2-2 libsasl2-modules-db libsigsegv2 libssh-4 libsub-override-perl libtool libuchardet0 libuv1 libwind0-heimdal libxml2 m4 man-db mime-support po-debconf procps python3 python3-minimal python3.8 python3.8-minimal sbuild-build-depends-main-dummy strace tzdata 0 upgraded, 85 newly installed, 0 to remove and 0 not upgraded. Need to get 31.7 MB of archives. After this operation, 128 MB of additional disk space will be used. Get:1 copy:/<>/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [932 B] Get:2 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpython3.8-minimal riscv64 3.8.2-1ubuntu1 [698 kB] Get:3 http://ftpmaster.internal/ubuntu groovy/main riscv64 libexpat1 riscv64 2.2.9-1build1 [68.8 kB] Get:4 http://ftpmaster.internal/ubuntu groovy/main riscv64 python3.8-minimal riscv64 3.8.2-1ubuntu1 [1447 kB] Get:5 http://ftpmaster.internal/ubuntu groovy/main riscv64 python3-minimal riscv64 3.8.2-0ubuntu2 [23.6 kB] Get:6 http://ftpmaster.internal/ubuntu groovy/main riscv64 mime-support all 3.64ubuntu1 [30.6 kB] Get:7 http://ftpmaster.internal/ubuntu groovy/main riscv64 libmpdec2 riscv64 2.4.2-3 [79.2 kB] Get:8 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpython3.8-stdlib riscv64 3.8.2-1ubuntu1 [1557 kB] Get:9 http://ftpmaster.internal/ubuntu groovy/main riscv64 python3.8 riscv64 3.8.2-1ubuntu1 [364 kB] Get:10 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpython3-stdlib riscv64 3.8.2-0ubuntu2 [7072 B] Get:11 http://ftpmaster.internal/ubuntu groovy/main riscv64 python3 riscv64 3.8.2-0ubuntu2 [47.6 kB] Get:12 http://ftpmaster.internal/ubuntu groovy/main riscv64 libbsd0 riscv64 0.10.0-1 [42.0 kB] Get:13 http://ftpmaster.internal/ubuntu groovy/main riscv64 bsdmainutils riscv64 11.1.2ubuntu3 [176 kB] Get:14 http://ftpmaster.internal/ubuntu groovy/main riscv64 libuchardet0 riscv64 0.0.6-3build1 [64.9 kB] Get:15 http://ftpmaster.internal/ubuntu groovy/main riscv64 groff-base riscv64 1.22.4-4build1 [816 kB] Get:16 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpipeline1 riscv64 1.5.2-2build1 [23.9 kB] Get:17 http://ftpmaster.internal/ubuntu groovy/main riscv64 man-db riscv64 2.9.1-1 [1075 kB] Get:18 http://ftpmaster.internal/ubuntu groovy/main riscv64 libsigsegv2 riscv64 2.12-2 [13.0 kB] Get:19 http://ftpmaster.internal/ubuntu groovy/main riscv64 m4 riscv64 1.4.18-4 [188 kB] Get:20 http://ftpmaster.internal/ubuntu groovy/main riscv64 flex riscv64 2.6.4-6.2 [300 kB] Get:21 http://ftpmaster.internal/ubuntu groovy/main riscv64 libncurses6 riscv64 6.2-1 [86.2 kB] Get:22 http://ftpmaster.internal/ubuntu groovy/main riscv64 libprocps8 riscv64 2:3.3.16-1ubuntu2 [29.8 kB] Get:23 http://ftpmaster.internal/ubuntu groovy/main riscv64 procps riscv64 2:3.3.16-1ubuntu2 [224 kB] Get:24 http://ftpmaster.internal/ubuntu groovy/main riscv64 libmagic-mgc riscv64 1:5.38-4 [218 kB] Get:25 http://ftpmaster.internal/ubuntu groovy/main riscv64 libmagic1 riscv64 1:5.38-4 [70.5 kB] Get:26 http://ftpmaster.internal/ubuntu groovy/main riscv64 file riscv64 1:5.38-4 [22.5 kB] Get:27 http://ftpmaster.internal/ubuntu groovy/main riscv64 libelf1 riscv64 0.176-1.1build1 [41.8 kB] Get:28 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libglib2.0-0 riscv64 2.64.2-1 [1123 kB] Get:29 http://ftpmaster.internal/ubuntu groovy/main riscv64 tzdata all 2019c-3ubuntu1 [294 kB] Get:30 http://ftpmaster.internal/ubuntu groovy/main riscv64 libicu66 riscv64 66.1-2ubuntu2 [8406 kB] Get:31 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxml2 riscv64 2.9.10+dfsg-5 [559 kB] Get:32 http://ftpmaster.internal/ubuntu groovy/main riscv64 gettext-base riscv64 0.19.8.1-10build1 [47.4 kB] Get:33 http://ftpmaster.internal/ubuntu groovy/main riscv64 libkrb5support0 riscv64 1.17-6ubuntu4 [28.3 kB] Get:34 http://ftpmaster.internal/ubuntu groovy/main riscv64 libk5crypto3 riscv64 1.17-6ubuntu4 [91.8 kB] Get:35 http://ftpmaster.internal/ubuntu groovy/main riscv64 libkeyutils1 riscv64 1.6.1-2ubuntu1 [9192 B] Get:36 http://ftpmaster.internal/ubuntu groovy/main riscv64 libkrb5-3 riscv64 1.17-6ubuntu4 [295 kB] Get:37 http://ftpmaster.internal/ubuntu groovy/main riscv64 libgssapi-krb5-2 riscv64 1.17-6ubuntu4 [107 kB] Get:38 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpsl5 riscv64 0.21.0-1ubuntu1 [50.5 kB] Get:39 http://ftpmaster.internal/ubuntu groovy/main riscv64 libuv1 riscv64 1.34.2-1ubuntu1 [69.5 kB] Get:40 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 strace riscv64 5.5-3ubuntu1 [258 kB] Get:41 http://ftpmaster.internal/ubuntu groovy/main riscv64 autoconf all 2.69-11.1 [321 kB] Get:42 http://ftpmaster.internal/ubuntu groovy/main riscv64 autotools-dev all 20180224.1 [39.6 kB] Get:43 http://ftpmaster.internal/ubuntu groovy/main riscv64 automake all 1:1.16.1-4ubuntu6 [522 kB] Get:44 http://ftpmaster.internal/ubuntu groovy/main riscv64 autopoint all 0.19.8.1-10build1 [412 kB] Get:45 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 bison riscv64 2:3.5.3+dfsg-1 [636 kB] Get:46 http://ftpmaster.internal/ubuntu groovy/main riscv64 cmake-data all 3.16.3-1ubuntu1 [1612 kB] Get:47 http://ftpmaster.internal/ubuntu groovy/main riscv64 libarchive13 riscv64 3.4.0-2ubuntu1 [302 kB] Get:48 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libbrotli1 riscv64 1.0.7-6.1 [279 kB] Get:49 http://ftpmaster.internal/ubuntu groovy/main riscv64 libroken18-heimdal riscv64 7.7.0+dfsg-1ubuntu1 [36.5 kB] Get:50 http://ftpmaster.internal/ubuntu groovy/main riscv64 libasn1-8-heimdal riscv64 7.7.0+dfsg-1ubuntu1 [145 kB] Get:51 http://ftpmaster.internal/ubuntu groovy/main riscv64 libheimbase1-heimdal riscv64 7.7.0+dfsg-1ubuntu1 [24.7 kB] Get:52 http://ftpmaster.internal/ubuntu groovy/main riscv64 libhcrypto4-heimdal riscv64 7.7.0+dfsg-1ubuntu1 [86.5 kB] Get:53 http://ftpmaster.internal/ubuntu groovy/main riscv64 libwind0-heimdal riscv64 7.7.0+dfsg-1ubuntu1 [47.0 kB] Get:54 http://ftpmaster.internal/ubuntu groovy/main riscv64 libhx509-5-heimdal riscv64 7.7.0+dfsg-1ubuntu1 [90.1 kB] Get:55 http://ftpmaster.internal/ubuntu groovy/main riscv64 libkrb5-26-heimdal riscv64 7.7.0+dfsg-1ubuntu1 [175 kB] Get:56 http://ftpmaster.internal/ubuntu groovy/main riscv64 libheimntlm0-heimdal riscv64 7.7.0+dfsg-1ubuntu1 [13.4 kB] Get:57 http://ftpmaster.internal/ubuntu groovy/main riscv64 libgssapi3-heimdal riscv64 7.7.0+dfsg-1ubuntu1 [83.3 kB] Get:58 http://ftpmaster.internal/ubuntu groovy/main riscv64 libsasl2-modules-db riscv64 2.1.27+dfsg-2 [13.7 kB] Get:59 http://ftpmaster.internal/ubuntu groovy/main riscv64 libsasl2-2 riscv64 2.1.27+dfsg-2 [45.2 kB] Get:60 http://ftpmaster.internal/ubuntu groovy/main riscv64 libldap-common all 2.4.49+dfsg-2ubuntu1 [17.3 kB] Get:61 http://ftpmaster.internal/ubuntu groovy/main riscv64 libldap-2.4-2 riscv64 2.4.49+dfsg-2ubuntu1 [137 kB] Get:62 http://ftpmaster.internal/ubuntu groovy/main riscv64 libnghttp2-14 riscv64 1.40.0-1build1 [70.9 kB] Get:63 http://ftpmaster.internal/ubuntu groovy/main riscv64 librtmp1 riscv64 2.4+20151223.gitfa8646d.1-2build1 [50.8 kB] Get:64 http://ftpmaster.internal/ubuntu groovy/main riscv64 libssh-4 riscv64 0.9.3-2ubuntu2 [147 kB] Get:65 http://ftpmaster.internal/ubuntu groovy/main riscv64 libcurl4 riscv64 7.68.0-1ubuntu2 [208 kB] Get:66 http://ftpmaster.internal/ubuntu groovy/main riscv64 libjsoncpp1 riscv64 1.7.4-3.1ubuntu2 [73.1 kB] Get:67 http://ftpmaster.internal/ubuntu groovy/main riscv64 librhash0 riscv64 1.3.9-1 [125 kB] Get:68 http://ftpmaster.internal/ubuntu groovy/main riscv64 cmake riscv64 3.16.3-1ubuntu1 [3642 kB] Get:69 http://ftpmaster.internal/ubuntu groovy/main riscv64 libtool all 2.4.6-14 [161 kB] Get:70 http://ftpmaster.internal/ubuntu groovy/main riscv64 dh-autoreconf all 19 [16.1 kB] Get:71 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libdebhelper-perl all 13ubuntu1 [62.5 kB] Get:72 http://ftpmaster.internal/ubuntu groovy/main riscv64 libarchive-zip-perl all 1.68-1 [90.2 kB] Get:73 http://ftpmaster.internal/ubuntu groovy/main riscv64 libsub-override-perl all 0.09-2 [9532 B] Get:74 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libfile-stripnondeterminism-perl all 1.8.0-1 [16.2 kB] Get:75 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 dh-strip-nondeterminism all 1.8.0-1 [5228 B] Get:76 http://ftpmaster.internal/ubuntu groovy/main riscv64 dwz riscv64 0.13-5 [147 kB] Get:77 http://ftpmaster.internal/ubuntu groovy/main riscv64 libcroco3 riscv64 0.6.13-1 [71.1 kB] Get:78 http://ftpmaster.internal/ubuntu groovy/main riscv64 gettext riscv64 0.19.8.1-10build1 [844 kB] Get:79 http://ftpmaster.internal/ubuntu groovy/main riscv64 intltool-debian all 0.35.0+20060710.5 [24.9 kB] Get:80 http://ftpmaster.internal/ubuntu groovy/main riscv64 po-debconf all 1.0.21 [233 kB] Get:81 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 debhelper all 13ubuntu1 [877 kB] Get:82 http://ftpmaster.internal/ubuntu groovy/main riscv64 libfl2 riscv64 2.6.4-6.2 [11.2 kB] Get:83 http://ftpmaster.internal/ubuntu groovy/main riscv64 libfl-dev riscv64 2.6.4-6.2 [6316 B] Get:84 http://ftpmaster.internal/ubuntu groovy/main riscv64 libgmpxx4ldbl riscv64 2:6.2.0+dfsg-4 [8712 B] Get:85 http://ftpmaster.internal/ubuntu groovy/main riscv64 libgmp-dev riscv64 2:6.2.0+dfsg-4 [693 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 31.7 MB in 6s (5703 kB/s) Selecting previously unselected package libpython3.8-minimal:riscv64. (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../libpython3.8-minimal_3.8.2-1ubuntu1_riscv64.deb ... Unpacking libpython3.8-minimal:riscv64 (3.8.2-1ubuntu1) ... Selecting previously unselected package libexpat1:riscv64. Preparing to unpack .../libexpat1_2.2.9-1build1_riscv64.deb ... Unpacking libexpat1:riscv64 (2.2.9-1build1) ... Selecting previously unselected package python3.8-minimal. Preparing to unpack .../python3.8-minimal_3.8.2-1ubuntu1_riscv64.deb ... Unpacking python3.8-minimal (3.8.2-1ubuntu1) ... Setting up libpython3.8-minimal:riscv64 (3.8.2-1ubuntu1) ... Setting up libexpat1:riscv64 (2.2.9-1build1) ... Setting up python3.8-minimal (3.8.2-1ubuntu1) ... Selecting previously unselected package python3-minimal. (Reading database ... 10108 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.8.2-0ubuntu2_riscv64.deb ... Unpacking python3-minimal (3.8.2-0ubuntu2) ... Selecting previously unselected package mime-support. Preparing to unpack .../1-mime-support_3.64ubuntu1_all.deb ... Unpacking mime-support (3.64ubuntu1) ... Selecting previously unselected package libmpdec2:riscv64. Preparing to unpack .../2-libmpdec2_2.4.2-3_riscv64.deb ... Unpacking libmpdec2:riscv64 (2.4.2-3) ... Selecting previously unselected package libpython3.8-stdlib:riscv64. Preparing to unpack .../3-libpython3.8-stdlib_3.8.2-1ubuntu1_riscv64.deb ... Unpacking libpython3.8-stdlib:riscv64 (3.8.2-1ubuntu1) ... Selecting previously unselected package python3.8. Preparing to unpack .../4-python3.8_3.8.2-1ubuntu1_riscv64.deb ... Unpacking python3.8 (3.8.2-1ubuntu1) ... Selecting previously unselected package libpython3-stdlib:riscv64. Preparing to unpack .../5-libpython3-stdlib_3.8.2-0ubuntu2_riscv64.deb ... Unpacking libpython3-stdlib:riscv64 (3.8.2-0ubuntu2) ... Setting up python3-minimal (3.8.2-0ubuntu2) ... Selecting previously unselected package python3. (Reading database ... 10510 files and directories currently installed.) Preparing to unpack .../00-python3_3.8.2-0ubuntu2_riscv64.deb ... Unpacking python3 (3.8.2-0ubuntu2) ... Selecting previously unselected package libbsd0:riscv64. Preparing to unpack .../01-libbsd0_0.10.0-1_riscv64.deb ... Unpacking libbsd0:riscv64 (0.10.0-1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../02-bsdmainutils_11.1.2ubuntu3_riscv64.deb ... Unpacking bsdmainutils (11.1.2ubuntu3) ... Selecting previously unselected package libuchardet0:riscv64. Preparing to unpack .../03-libuchardet0_0.0.6-3build1_riscv64.deb ... Unpacking libuchardet0:riscv64 (0.0.6-3build1) ... Selecting previously unselected package groff-base. Preparing to unpack .../04-groff-base_1.22.4-4build1_riscv64.deb ... Unpacking groff-base (1.22.4-4build1) ... Selecting previously unselected package libpipeline1:riscv64. Preparing to unpack .../05-libpipeline1_1.5.2-2build1_riscv64.deb ... Unpacking libpipeline1:riscv64 (1.5.2-2build1) ... Selecting previously unselected package man-db. Preparing to unpack .../06-man-db_2.9.1-1_riscv64.deb ... Unpacking man-db (2.9.1-1) ... Selecting previously unselected package libsigsegv2:riscv64. Preparing to unpack .../07-libsigsegv2_2.12-2_riscv64.deb ... Unpacking libsigsegv2:riscv64 (2.12-2) ... Selecting previously unselected package m4. Preparing to unpack .../08-m4_1.4.18-4_riscv64.deb ... Unpacking m4 (1.4.18-4) ... Selecting previously unselected package flex. Preparing to unpack .../09-flex_2.6.4-6.2_riscv64.deb ... Unpacking flex (2.6.4-6.2) ... Selecting previously unselected package libncurses6:riscv64. Preparing to unpack .../10-libncurses6_6.2-1_riscv64.deb ... Unpacking libncurses6:riscv64 (6.2-1) ... Selecting previously unselected package libprocps8:riscv64. Preparing to unpack .../11-libprocps8_2%3a3.3.16-1ubuntu2_riscv64.deb ... Unpacking libprocps8:riscv64 (2:3.3.16-1ubuntu2) ... Selecting previously unselected package procps. Preparing to unpack .../12-procps_2%3a3.3.16-1ubuntu2_riscv64.deb ... Unpacking procps (2:3.3.16-1ubuntu2) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../13-libmagic-mgc_1%3a5.38-4_riscv64.deb ... Unpacking libmagic-mgc (1:5.38-4) ... Selecting previously unselected package libmagic1:riscv64. Preparing to unpack .../14-libmagic1_1%3a5.38-4_riscv64.deb ... Unpacking libmagic1:riscv64 (1:5.38-4) ... Selecting previously unselected package file. Preparing to unpack .../15-file_1%3a5.38-4_riscv64.deb ... Unpacking file (1:5.38-4) ... Selecting previously unselected package libelf1:riscv64. Preparing to unpack .../16-libelf1_0.176-1.1build1_riscv64.deb ... Unpacking libelf1:riscv64 (0.176-1.1build1) ... Selecting previously unselected package libglib2.0-0:riscv64. Preparing to unpack .../17-libglib2.0-0_2.64.2-1_riscv64.deb ... Unpacking libglib2.0-0:riscv64 (2.64.2-1) ... Selecting previously unselected package tzdata. Preparing to unpack .../18-tzdata_2019c-3ubuntu1_all.deb ... Unpacking tzdata (2019c-3ubuntu1) ... Selecting previously unselected package libicu66:riscv64. Preparing to unpack .../19-libicu66_66.1-2ubuntu2_riscv64.deb ... Unpacking libicu66:riscv64 (66.1-2ubuntu2) ... Selecting previously unselected package libxml2:riscv64. Preparing to unpack .../20-libxml2_2.9.10+dfsg-5_riscv64.deb ... Unpacking libxml2:riscv64 (2.9.10+dfsg-5) ... Selecting previously unselected package gettext-base. Preparing to unpack .../21-gettext-base_0.19.8.1-10build1_riscv64.deb ... Unpacking gettext-base (0.19.8.1-10build1) ... Selecting previously unselected package libkrb5support0:riscv64. Preparing to unpack .../22-libkrb5support0_1.17-6ubuntu4_riscv64.deb ... Unpacking libkrb5support0:riscv64 (1.17-6ubuntu4) ... Selecting previously unselected package libk5crypto3:riscv64. Preparing to unpack .../23-libk5crypto3_1.17-6ubuntu4_riscv64.deb ... Unpacking libk5crypto3:riscv64 (1.17-6ubuntu4) ... Selecting previously unselected package libkeyutils1:riscv64. Preparing to unpack .../24-libkeyutils1_1.6.1-2ubuntu1_riscv64.deb ... Unpacking libkeyutils1:riscv64 (1.6.1-2ubuntu1) ... Selecting previously unselected package libkrb5-3:riscv64. Preparing to unpack .../25-libkrb5-3_1.17-6ubuntu4_riscv64.deb ... Unpacking libkrb5-3:riscv64 (1.17-6ubuntu4) ... Selecting previously unselected package libgssapi-krb5-2:riscv64. Preparing to unpack .../26-libgssapi-krb5-2_1.17-6ubuntu4_riscv64.deb ... Unpacking libgssapi-krb5-2:riscv64 (1.17-6ubuntu4) ... Selecting previously unselected package libpsl5:riscv64. Preparing to unpack .../27-libpsl5_0.21.0-1ubuntu1_riscv64.deb ... Unpacking libpsl5:riscv64 (0.21.0-1ubuntu1) ... Selecting previously unselected package libuv1:riscv64. Preparing to unpack .../28-libuv1_1.34.2-1ubuntu1_riscv64.deb ... Unpacking libuv1:riscv64 (1.34.2-1ubuntu1) ... Selecting previously unselected package strace. Preparing to unpack .../29-strace_5.5-3ubuntu1_riscv64.deb ... Unpacking strace (5.5-3ubuntu1) ... Selecting previously unselected package autoconf. Preparing to unpack .../30-autoconf_2.69-11.1_all.deb ... Unpacking autoconf (2.69-11.1) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../31-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../32-automake_1%3a1.16.1-4ubuntu6_all.deb ... Unpacking automake (1:1.16.1-4ubuntu6) ... Selecting previously unselected package autopoint. Preparing to unpack .../33-autopoint_0.19.8.1-10build1_all.deb ... Unpacking autopoint (0.19.8.1-10build1) ... Selecting previously unselected package bison. Preparing to unpack .../34-bison_2%3a3.5.3+dfsg-1_riscv64.deb ... Unpacking bison (2:3.5.3+dfsg-1) ... Selecting previously unselected package cmake-data. Preparing to unpack .../35-cmake-data_3.16.3-1ubuntu1_all.deb ... Unpacking cmake-data (3.16.3-1ubuntu1) ... Selecting previously unselected package libarchive13:riscv64. Preparing to unpack .../36-libarchive13_3.4.0-2ubuntu1_riscv64.deb ... Unpacking libarchive13:riscv64 (3.4.0-2ubuntu1) ... Selecting previously unselected package libbrotli1:riscv64. Preparing to unpack .../37-libbrotli1_1.0.7-6.1_riscv64.deb ... Unpacking libbrotli1:riscv64 (1.0.7-6.1) ... Selecting previously unselected package libroken18-heimdal:riscv64. Preparing to unpack .../38-libroken18-heimdal_7.7.0+dfsg-1ubuntu1_riscv64.deb ... Unpacking libroken18-heimdal:riscv64 (7.7.0+dfsg-1ubuntu1) ... Selecting previously unselected package libasn1-8-heimdal:riscv64. Preparing to unpack .../39-libasn1-8-heimdal_7.7.0+dfsg-1ubuntu1_riscv64.deb ... Unpacking libasn1-8-heimdal:riscv64 (7.7.0+dfsg-1ubuntu1) ... Selecting previously unselected package libheimbase1-heimdal:riscv64. Preparing to unpack .../40-libheimbase1-heimdal_7.7.0+dfsg-1ubuntu1_riscv64.deb ... Unpacking libheimbase1-heimdal:riscv64 (7.7.0+dfsg-1ubuntu1) ... Selecting previously unselected package libhcrypto4-heimdal:riscv64. Preparing to unpack .../41-libhcrypto4-heimdal_7.7.0+dfsg-1ubuntu1_riscv64.deb ... Unpacking libhcrypto4-heimdal:riscv64 (7.7.0+dfsg-1ubuntu1) ... Selecting previously unselected package libwind0-heimdal:riscv64. Preparing to unpack .../42-libwind0-heimdal_7.7.0+dfsg-1ubuntu1_riscv64.deb ... Unpacking libwind0-heimdal:riscv64 (7.7.0+dfsg-1ubuntu1) ... Selecting previously unselected package libhx509-5-heimdal:riscv64. Preparing to unpack .../43-libhx509-5-heimdal_7.7.0+dfsg-1ubuntu1_riscv64.deb ... Unpacking libhx509-5-heimdal:riscv64 (7.7.0+dfsg-1ubuntu1) ... Selecting previously unselected package libkrb5-26-heimdal:riscv64. Preparing to unpack .../44-libkrb5-26-heimdal_7.7.0+dfsg-1ubuntu1_riscv64.deb ... Unpacking libkrb5-26-heimdal:riscv64 (7.7.0+dfsg-1ubuntu1) ... Selecting previously unselected package libheimntlm0-heimdal:riscv64. Preparing to unpack .../45-libheimntlm0-heimdal_7.7.0+dfsg-1ubuntu1_riscv64.deb ... Unpacking libheimntlm0-heimdal:riscv64 (7.7.0+dfsg-1ubuntu1) ... Selecting previously unselected package libgssapi3-heimdal:riscv64. Preparing to unpack .../46-libgssapi3-heimdal_7.7.0+dfsg-1ubuntu1_riscv64.deb ... Unpacking libgssapi3-heimdal:riscv64 (7.7.0+dfsg-1ubuntu1) ... Selecting previously unselected package libsasl2-modules-db:riscv64. Preparing to unpack .../47-libsasl2-modules-db_2.1.27+dfsg-2_riscv64.deb ... Unpacking libsasl2-modules-db:riscv64 (2.1.27+dfsg-2) ... Selecting previously unselected package libsasl2-2:riscv64. Preparing to unpack .../48-libsasl2-2_2.1.27+dfsg-2_riscv64.deb ... Unpacking libsasl2-2:riscv64 (2.1.27+dfsg-2) ... Selecting previously unselected package libldap-common. Preparing to unpack .../49-libldap-common_2.4.49+dfsg-2ubuntu1_all.deb ... Unpacking libldap-common (2.4.49+dfsg-2ubuntu1) ... Selecting previously unselected package libldap-2.4-2:riscv64. Preparing to unpack .../50-libldap-2.4-2_2.4.49+dfsg-2ubuntu1_riscv64.deb ... Unpacking libldap-2.4-2:riscv64 (2.4.49+dfsg-2ubuntu1) ... Selecting previously unselected package libnghttp2-14:riscv64. Preparing to unpack .../51-libnghttp2-14_1.40.0-1build1_riscv64.deb ... Unpacking libnghttp2-14:riscv64 (1.40.0-1build1) ... Selecting previously unselected package librtmp1:riscv64. Preparing to unpack .../52-librtmp1_2.4+20151223.gitfa8646d.1-2build1_riscv64.deb ... Unpacking librtmp1:riscv64 (2.4+20151223.gitfa8646d.1-2build1) ... Selecting previously unselected package libssh-4:riscv64. Preparing to unpack .../53-libssh-4_0.9.3-2ubuntu2_riscv64.deb ... Unpacking libssh-4:riscv64 (0.9.3-2ubuntu2) ... Selecting previously unselected package libcurl4:riscv64. Preparing to unpack .../54-libcurl4_7.68.0-1ubuntu2_riscv64.deb ... Unpacking libcurl4:riscv64 (7.68.0-1ubuntu2) ... Selecting previously unselected package libjsoncpp1:riscv64. Preparing to unpack .../55-libjsoncpp1_1.7.4-3.1ubuntu2_riscv64.deb ... Unpacking libjsoncpp1:riscv64 (1.7.4-3.1ubuntu2) ... Selecting previously unselected package librhash0:riscv64. Preparing to unpack .../56-librhash0_1.3.9-1_riscv64.deb ... Unpacking librhash0:riscv64 (1.3.9-1) ... Selecting previously unselected package cmake. Preparing to unpack .../57-cmake_3.16.3-1ubuntu1_riscv64.deb ... Unpacking cmake (3.16.3-1ubuntu1) ... Selecting previously unselected package libtool. Preparing to unpack .../58-libtool_2.4.6-14_all.deb ... Unpacking libtool (2.4.6-14) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../59-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../60-libdebhelper-perl_13ubuntu1_all.deb ... Unpacking libdebhelper-perl (13ubuntu1) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../61-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../62-libsub-override-perl_0.09-2_all.deb ... Unpacking libsub-override-perl (0.09-2) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../63-libfile-stripnondeterminism-perl_1.8.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.8.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../64-dh-strip-nondeterminism_1.8.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.8.0-1) ... Selecting previously unselected package dwz. Preparing to unpack .../65-dwz_0.13-5_riscv64.deb ... Unpacking dwz (0.13-5) ... Selecting previously unselected package libcroco3:riscv64. Preparing to unpack .../66-libcroco3_0.6.13-1_riscv64.deb ... Unpacking libcroco3:riscv64 (0.6.13-1) ... Selecting previously unselected package gettext. Preparing to unpack .../67-gettext_0.19.8.1-10build1_riscv64.deb ... Unpacking gettext (0.19.8.1-10build1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../68-intltool-debian_0.35.0+20060710.5_all.deb ... Unpacking intltool-debian (0.35.0+20060710.5) ... Selecting previously unselected package po-debconf. Preparing to unpack .../69-po-debconf_1.0.21_all.deb ... Unpacking po-debconf (1.0.21) ... Selecting previously unselected package debhelper. Preparing to unpack .../70-debhelper_13ubuntu1_all.deb ... Unpacking debhelper (13ubuntu1) ... Selecting previously unselected package libfl2:riscv64. Preparing to unpack .../71-libfl2_2.6.4-6.2_riscv64.deb ... Unpacking libfl2:riscv64 (2.6.4-6.2) ... Selecting previously unselected package libfl-dev:riscv64. Preparing to unpack .../72-libfl-dev_2.6.4-6.2_riscv64.deb ... Unpacking libfl-dev:riscv64 (2.6.4-6.2) ... Selecting previously unselected package libgmpxx4ldbl:riscv64. Preparing to unpack .../73-libgmpxx4ldbl_2%3a6.2.0+dfsg-4_riscv64.deb ... Unpacking libgmpxx4ldbl:riscv64 (2:6.2.0+dfsg-4) ... Selecting previously unselected package libgmp-dev:riscv64. Preparing to unpack .../74-libgmp-dev_2%3a6.2.0+dfsg-4_riscv64.deb ... Unpacking libgmp-dev:riscv64 (2:6.2.0+dfsg-4) ... Selecting previously unselected package sbuild-build-depends-main-dummy. Preparing to unpack .../75-sbuild-build-depends-main-dummy_0.invalid.0_riscv64.deb ... Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ... Setting up libpipeline1:riscv64 (1.5.2-2build1) ... Setting up libkeyutils1:riscv64 (1.6.1-2ubuntu1) ... Setting up libpsl5:riscv64 (0.21.0-1ubuntu1) ... Setting up mime-support (3.64ubuntu1) ... Setting up libmagic-mgc (1:5.38-4) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libglib2.0-0:riscv64 (2.64.2-1) ... No schema files found: doing nothing. Setting up libdebhelper-perl (13ubuntu1) ... Setting up libbrotli1:riscv64 (1.0.7-6.1) ... Setting up libnghttp2-14:riscv64 (1.40.0-1build1) ... Setting up libmagic1:riscv64 (1:5.38-4) ... Setting up gettext-base (0.19.8.1-10build1) ... Setting up file (1:5.38-4) ... Setting up libldap-common (2.4.49+dfsg-2ubuntu1) ... Setting up libkrb5support0:riscv64 (1.17-6ubuntu4) ... Setting up libsasl2-modules-db:riscv64 (2.1.27+dfsg-2) ... Setting up tzdata (2019c-3ubuntu1) ... Current default time zone: 'Etc/UTC' Local time is now: Tue Apr 28 04:54:56 UTC 2020. Universal Time is now: Tue Apr 28 04:54:56 UTC 2020. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up autotools-dev (20180224.1) ... Setting up libgmpxx4ldbl:riscv64 (2:6.2.0+dfsg-4) ... Setting up libuv1:riscv64 (1.34.2-1ubuntu1) ... Setting up librtmp1:riscv64 (2.4+20151223.gitfa8646d.1-2build1) ... Setting up libncurses6:riscv64 (6.2-1) ... Setting up strace (5.5-3ubuntu1) ... Setting up libsigsegv2:riscv64 (2.12-2) ... Setting up autopoint (0.19.8.1-10build1) ... Setting up libfl2:riscv64 (2.6.4-6.2) ... Setting up libk5crypto3:riscv64 (1.17-6ubuntu4) ... Setting up libsasl2-2:riscv64 (2.1.27+dfsg-2) ... Setting up libroken18-heimdal:riscv64 (7.7.0+dfsg-1ubuntu1) ... Setting up librhash0:riscv64 (1.3.9-1) ... Setting up libuchardet0:riscv64 (0.0.6-3build1) ... Setting up libsub-override-perl (0.09-2) ... Setting up cmake-data (3.16.3-1ubuntu1) ... Setting up libkrb5-3:riscv64 (1.17-6ubuntu4) ... Setting up libmpdec2:riscv64 (2.4.2-3) ... Setting up libpython3.8-stdlib:riscv64 (3.8.2-1ubuntu1) ... Setting up python3.8 (3.8.2-1ubuntu1) ... Setting up libbsd0:riscv64 (0.10.0-1) ... Setting up libelf1:riscv64 (0.176-1.1build1) ... Setting up libprocps8:riscv64 (2:3.3.16-1ubuntu2) ... Setting up libjsoncpp1:riscv64 (1.7.4-3.1ubuntu2) ... Setting up libpython3-stdlib:riscv64 (3.8.2-0ubuntu2) ... Setting up libheimbase1-heimdal:riscv64 (7.7.0+dfsg-1ubuntu1) ... Setting up libfile-stripnondeterminism-perl (1.8.0-1) ... Setting up libgmp-dev:riscv64 (2:6.2.0+dfsg-4) ... Setting up libtool (2.4.6-14) ... Setting up libicu66:riscv64 (66.1-2ubuntu2) ... Setting up libasn1-8-heimdal:riscv64 (7.7.0+dfsg-1ubuntu1) ... Setting up m4 (1.4.18-4) ... Setting up python3 (3.8.2-0ubuntu2) ... Setting up libhcrypto4-heimdal:riscv64 (7.7.0+dfsg-1ubuntu1) ... Setting up libwind0-heimdal:riscv64 (7.7.0+dfsg-1ubuntu1) ... Setting up bsdmainutils (11.1.2ubuntu3) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode Setting up libgssapi-krb5-2:riscv64 (1.17-6ubuntu4) ... Setting up libssh-4:riscv64 (0.9.3-2ubuntu2) ... Setting up autoconf (2.69-11.1) ... Setting up dh-strip-nondeterminism (1.8.0-1) ... Setting up dwz (0.13-5) ... Setting up groff-base (1.22.4-4build1) ... Setting up procps (2:3.3.16-1ubuntu2) ... update-alternatives: using /usr/bin/w.procps to provide /usr/bin/w (w) in auto mode Setting up bison (2:3.5.3+dfsg-1) ... update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode Setting up libxml2:riscv64 (2.9.10+dfsg-5) ... Setting up automake (1:1.16.1-4ubuntu6) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up flex (2.6.4-6.2) ... Setting up libarchive13:riscv64 (3.4.0-2ubuntu1) ... Setting up libhx509-5-heimdal:riscv64 (7.7.0+dfsg-1ubuntu1) ... Setting up man-db (2.9.1-1) ... Not building database; man-db/auto-update is not 'true'. Setting up libfl-dev:riscv64 (2.6.4-6.2) ... Setting up libcroco3:riscv64 (0.6.13-1) ... Setting up libkrb5-26-heimdal:riscv64 (7.7.0+dfsg-1ubuntu1) ... Setting up gettext (0.19.8.1-10build1) ... Setting up libheimntlm0-heimdal:riscv64 (7.7.0+dfsg-1ubuntu1) ... Setting up intltool-debian (0.35.0+20060710.5) ... Setting up libgssapi3-heimdal:riscv64 (7.7.0+dfsg-1ubuntu1) ... Setting up po-debconf (1.0.21) ... Setting up libldap-2.4-2:riscv64 (2.4.49+dfsg-2ubuntu1) ... Setting up libcurl4:riscv64 (7.68.0-1ubuntu2) ... Setting up cmake (3.16.3-1ubuntu1) ... Setting up debhelper (13ubuntu1) ... Setting up dh-autoreconf (19) ... Setting up sbuild-build-depends-main-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.31-0ubuntu9) ... +------------------------------------------------------------------------------+ | Check architectures | +------------------------------------------------------------------------------+ Arch check ok (riscv64 included in any) +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 5.3.0-13-generic #14+riscv64.5-Ubuntu SMP Wed Nov 13 20:10:41 UTC 2019 riscv64 (riscv64) Toolchain package versions: binutils_2.34-6ubuntu1 dpkg-dev_1.19.7ubuntu3 g++-9_9.3.0-11ubuntu2 gcc-9_9.3.0-11ubuntu2 libc6-dev_2.31-0ubuntu9 libstdc++-9-dev_9.3.0-11ubuntu2 libstdc++6_10-20200425-1ubuntu2 linux-libc-dev_5.4.0-24.28 Package versions: adduser_3.118ubuntu2 advancecomp_2.1-2.1build1 apt_2.0.2 autoconf_2.69-11.1 automake_1:1.16.1-4ubuntu6 autopoint_0.19.8.1-10build1 autotools-dev_20180224.1 base-files_11ubuntu6 base-passwd_3.5.47 bash_5.0-6ubuntu1 binutils_2.34-6ubuntu1 binutils-common_2.34-6ubuntu1 binutils-riscv64-linux-gnu_2.34-6ubuntu1 bison_2:3.5.3+dfsg-1 bsdmainutils_11.1.2ubuntu3 bsdutils_1:2.34-0.1ubuntu9 build-essential_12.8ubuntu1 bzip2_1.0.8-2 ca-certificates_20190110ubuntu1 cmake_3.16.3-1ubuntu1 cmake-data_3.16.3-1ubuntu1 coreutils_8.30-3ubuntu2 cpp_4:9.3.0-1ubuntu2 cpp-9_9.3.0-11ubuntu2 dash_0.5.10.2-7 debconf_1.5.74 debhelper_13ubuntu1 debianutils_4.9.1 dh-autoreconf_19 dh-strip-nondeterminism_1.8.0-1 diffutils_1:3.7-3 dpkg_1.19.7ubuntu3 dpkg-dev_1.19.7ubuntu3 dwz_0.13-5 e2fsprogs_1.45.5-2ubuntu1 fakeroot_1.24-1 file_1:5.38-4 findutils_4.7.0-1ubuntu1 flex_2.6.4-6.2 g++_4:9.3.0-1ubuntu2 g++-9_9.3.0-11ubuntu2 gcc_4:9.3.0-1ubuntu2 gcc-10-base_10-20200425-1ubuntu2 gcc-8-base_8.4.0-3ubuntu2 gcc-9_9.3.0-11ubuntu2 gcc-9-base_9.3.0-11ubuntu2 gettext_0.19.8.1-10build1 gettext-base_0.19.8.1-10build1 gpg_2.2.19-3ubuntu2 gpg-agent_2.2.19-3ubuntu2 gpgconf_2.2.19-3ubuntu2 gpgv_2.2.19-3ubuntu2 grep_3.4-1 groff-base_1.22.4-4build1 gzip_1.10-0ubuntu4 hostname_3.23 init-system-helpers_1.57 intltool-debian_0.35.0+20060710.5 libacl1_2.2.53-7 libapt-pkg6.0_2.0.2 libarchive-zip-perl_1.68-1 libarchive13_3.4.0-2ubuntu1 libasn1-8-heimdal_7.7.0+dfsg-1ubuntu1 libassuan0_2.5.3-7ubuntu2 libatomic1_10-20200425-1ubuntu2 libattr1_1:2.4.48-5 libaudit-common_1:2.8.5-2ubuntu6 libaudit1_1:2.8.5-2ubuntu6 libbinutils_2.34-6ubuntu1 libblkid1_2.34-0.1ubuntu9 libbrotli1_1.0.7-6.1 libbsd0_0.10.0-1 libbz2-1.0_1.0.8-2 libc-bin_2.31-0ubuntu9 libc-dev-bin_2.31-0ubuntu9 libc6_2.31-0ubuntu9 libc6-dev_2.31-0ubuntu9 libcap-ng0_0.7.9-2.1build1 libcc1-0_10-20200425-1ubuntu2 libcom-err2_1.45.5-2ubuntu1 libcroco3_0.6.13-1 libcrypt-dev_1:4.4.10-10ubuntu4 libcrypt1_1:4.4.10-10ubuntu4 libctf-nobfd0_2.34-6ubuntu1 libctf0_2.34-6ubuntu1 libcurl4_7.68.0-1ubuntu2 libdb5.3_5.3.28+dfsg1-0.6ubuntu2 libdebconfclient0_0.251ubuntu1 libdebhelper-perl_13ubuntu1 libdpkg-perl_1.19.7ubuntu3 libelf1_0.176-1.1build1 libexpat1_2.2.9-1build1 libext2fs2_1.45.5-2ubuntu1 libfakeroot_1.24-1 libffi7_3.3-4 libfile-stripnondeterminism-perl_1.8.0-1 libfl-dev_2.6.4-6.2 libfl2_2.6.4-6.2 libgcc-9-dev_9.3.0-11ubuntu2 libgcc-s1_10-20200425-1ubuntu2 libgcc1_1:10-20200425-1ubuntu2 libgcrypt20_1.8.5-5ubuntu1 libgdbm-compat4_1.18.1-5 libgdbm6_1.18.1-5 libglib2.0-0_2.64.2-1 libgmp-dev_2:6.2.0+dfsg-4 libgmp10_2:6.2.0+dfsg-4 libgmpxx4ldbl_2:6.2.0+dfsg-4 libgnutls30_3.6.13-2ubuntu1 libgomp1_10-20200425-1ubuntu2 libgpg-error0_1.37-1 libgpm2_1.20.7-6 libgssapi-krb5-2_1.17-6ubuntu4 libgssapi3-heimdal_7.7.0+dfsg-1ubuntu1 libhcrypto4-heimdal_7.7.0+dfsg-1ubuntu1 libheimbase1-heimdal_7.7.0+dfsg-1ubuntu1 libheimntlm0-heimdal_7.7.0+dfsg-1ubuntu1 libhogweed5_3.5.1+really3.5.1-2 libhx509-5-heimdal_7.7.0+dfsg-1ubuntu1 libicu66_66.1-2ubuntu2 libidn2-0_2.3.0-1 libisl22_0.22.1-1 libjsoncpp1_1.7.4-3.1ubuntu2 libk5crypto3_1.17-6ubuntu4 libkeyutils1_1.6.1-2ubuntu1 libkrb5-26-heimdal_7.7.0+dfsg-1ubuntu1 libkrb5-3_1.17-6ubuntu4 libkrb5support0_1.17-6ubuntu4 libldap-2.4-2_2.4.49+dfsg-2ubuntu1 libldap-common_2.4.49+dfsg-2ubuntu1 liblocale-gettext-perl_1.07-4 liblockfile-bin_1.16-1.1 liblockfile1_1.16-1.1 liblz4-1_1.9.2-2 liblzma5_5.2.4-1 libmagic-mgc_1:5.38-4 libmagic1_1:5.38-4 libmount1_2.34-0.1ubuntu9 libmpc3_1.1.0-1 libmpdec2_2.4.2-3 libmpfr6_4.0.2-1 libncurses6_6.2-1 libncursesw6_6.2-1 libnettle7_3.5.1+really3.5.1-2 libnghttp2-14_1.40.0-1build1 libnpth0_1.6-1 libp11-kit0_0.23.20-1build1 libpam-modules_1.3.1-5ubuntu4 libpam-modules-bin_1.3.1-5ubuntu4 libpam-runtime_1.3.1-5ubuntu4 libpam0g_1.3.1-5ubuntu4 libpcre2-8-0_10.34-7 libpcre3_2:8.39-12build1 libperl5.30_5.30.0-10 libpipeline1_1.5.2-2build1 libpng16-16_1.6.37-2 libprocps8_2:3.3.16-1ubuntu2 libpsl5_0.21.0-1ubuntu1 libpython3-stdlib_3.8.2-0ubuntu2 libpython3.8-minimal_3.8.2-1ubuntu1 libpython3.8-stdlib_3.8.2-1ubuntu1 libreadline8_8.0-4 librhash0_1.3.9-1 libroken18-heimdal_7.7.0+dfsg-1ubuntu1 librtmp1_2.4+20151223.gitfa8646d.1-2build1 libsasl2-2_2.1.27+dfsg-2 libsasl2-modules-db_2.1.27+dfsg-2 libselinux1_3.0-1build2 libsemanage-common_3.0-1build2 libsemanage1_3.0-1build2 libsepol1_3.0-1 libsigsegv2_2.12-2 libsmartcols1_2.34-0.1ubuntu9 libsqlite3-0_3.31.1-5 libss2_1.45.5-2ubuntu1 libssh-4_0.9.3-2ubuntu2 libssl1.1_1.1.1f-1ubuntu2 libstdc++-9-dev_9.3.0-11ubuntu2 libstdc++6_10-20200425-1ubuntu2 libsub-override-perl_0.09-2 libsystemd0_245.4-4ubuntu3 libtasn1-6_4.16.0-2 libtext-charwidth-perl_0.04-10 libtext-iconv-perl_1.7-7 libtinfo6_6.2-1 libtool_2.4.6-14 libuchardet0_0.0.6-3build1 libudev1_245.4-4ubuntu3 libunistring2_0.9.10-2 libuuid1_2.34-0.1ubuntu9 libuv1_1.34.2-1ubuntu1 libwind0-heimdal_7.7.0+dfsg-1ubuntu1 libxml2_2.9.10+dfsg-5 libzstd1_1.4.4+dfsg-3 linux-libc-dev_5.4.0-24.28 lockfile-progs_0.1.18 login_1:4.8.1-1ubuntu5 logsave_1.45.5-2ubuntu1 lsb-base_11.1.0ubuntu2 m4_1.4.18-4 make_4.2.1-1.3 man-db_2.9.1-1 mawk_1.3.4.20200120-2 mime-support_3.64ubuntu1 mount_2.34-0.1ubuntu9 ncurses-base_6.2-1 ncurses-bin_6.2-1 openssl_1.1.1f-1ubuntu2 optipng_0.7.7-1 passwd_1:4.8.1-1ubuntu5 patch_2.7.6-6 perl_5.30.0-10 perl-base_5.30.0-10 perl-modules-5.30_5.30.0-10 pinentry-curses_1.1.0-3build1 pkgbinarymangler_144 po-debconf_1.0.21 policyrcd-script-zg2_0.1-3 procps_2:3.3.16-1ubuntu2 python3_3.8.2-0ubuntu2 python3-minimal_3.8.2-0ubuntu2 python3.8_3.8.2-1ubuntu1 python3.8-minimal_3.8.2-1ubuntu1 readline-common_8.0-4 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.7-1 sensible-utils_0.0.12+nmu1 strace_5.5-3ubuntu1 sysvinit-utils_2.96-2.1ubuntu1 tar_1.30+dfsg-7 tzdata_2019c-3ubuntu1 ubuntu-keyring_2020.02.11.2 util-linux_2.34-0.1ubuntu9 xz-utils_5.2.4-1 zlib1g_1:1.2.11.dfsg-2ubuntu1 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: rumur Binary: rumur Architecture: any Version: 2020.04.05-1 Maintainer: Matthew Fernandez Homepage: https://github.com/Smattr/rumur Standards-Version: 4.5.0 Vcs-Browser: https://github.com/Smattr/rumur.git Vcs-Git: https://github.com/Smattr/rumur.git -b packaging/debian Testsuite: autopkgtest Testsuite-Triggers: build-essential, libfl-dev, libgmp-dev, python3 Build-Depends: debhelper-compat (= 12), bison (>= 3.0), cmake (>= 3.1), flex (>= 2.5.35), libfl-dev, libgmp-dev, python3 (>= 3.6), strace Package-List: rumur deb devel optional arch=any Checksums-Sha1: dff9fca2accc5c22080ef2c31e83f476596c25ea 264556 rumur_2020.04.05.orig.tar.gz af924a712e03765367ce9c247da450b6465fefb6 4988 rumur_2020.04.05-1.debian.tar.xz Checksums-Sha256: 4764b8f800a702efd175ecd29960bca2c8d6fdfdf25ef4112aece4579615650b 264556 rumur_2020.04.05.orig.tar.gz 1653fc85b4cf00581c43a50c0917bdb04436dda87d0eda203b71573680d58953 4988 rumur_2020.04.05-1.debian.tar.xz Files: 4bf66eab13d4af2881c1ffba19041e61 264556 rumur_2020.04.05.orig.tar.gz 9d3607bec54b523b53900b9adb5a3dbf 4988 rumur_2020.04.05-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEkjZVexcMh/iCHArDweDZLphvfH4FAl6c94MACgkQweDZLphv fH5RIQ//SkMmotAm+/9RE33VLyYGk6ZPY/02x2zMO3uLHagPu2Y6UfH7kgGkiVwF u8DLzprI3bsy6usBzR3+9pm6vwQgaK8itthdjUrk1nf7//ULklNxAjcbohusYY50 H88tJb0XqfDuMSbTvFwUVafgfJY+VgeGOgbS2UZuFfJOsqFcE+JRJM0xkkQKPJte PJAzw5EBPCN/zfNp+mAWxrJwxyhWUKYDck79ZbhhlI8rbFGoXboEm4Z2ZRmvdof5 wVyzv46kiqNkJxKVoVGC0ZJ/0k2wIpCFgKID1Z+Q+3P43cKE3CY/npLMpKrAG63m 2mJOW74BkWwxNcO/SW3BkmvWx7m8XBHRZ0/AaZA+dkCnaUc8wN+OZEKkcin7oxLc WCAu/zgAg8Zjt9P0tjW5aiVRDMJtAqPYIf0JM04Gn6UIhx0YZFEB4pqTycbxS978 hMzwmM4pGzP5DkQ/NEVFL4EP5CF11eEGpxVXvSnwvB8Z9AXOGaASvrO07l+wOkbq PXAqd+VoKM+G30MnszMNsj9z+8nLkD1bCbFAq7ghn3iJ707dCEFpUCT7DWlGHFpH UXtiVnIAMl99wxfXcVxFSYm0t4A/rl7s1mw6A+TY7U2KRh7Gh/knHaMkGavCtllM emxIt1JNd4wN3L/Slbs2neI+m57FHCVfd5BEWMap5gXHx2XJGqI= =hSuX -----END PGP SIGNATURE----- gpgv: Signature made Mon Apr 20 01:14:43 2020 UTC gpgv: using RSA key 9236557B170C87F8821C0AC3C1E0D92E986F7C7E gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./rumur_2020.04.05-1.dsc dpkg-source: info: extracting rumur in /<> dpkg-source: info: unpacking rumur_2020.04.05.orig.tar.gz dpkg-source: info: unpacking rumur_2020.04.05-1.debian.tar.xz Check disk space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=parallel=8 HOME=/sbuild-nonexistent LANG=C.UTF-8 LC_ALL=C.UTF-8 LOGNAME=buildd PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SCHROOT_ALIAS_NAME=build-PACKAGEBUILD-19219514 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-19219514 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-19219514 SCHROOT_UID=2001 SCHROOT_USER=buildd SHELL=/bin/sh TERM=unknown USER=buildd V=1 dpkg-buildpackage ----------------- Command: dpkg-buildpackage -us -uc -mLaunchpad Build Daemon -B -rfakeroot dpkg-buildpackage: info: source package rumur dpkg-buildpackage: info: source version 2020.04.05-1 dpkg-buildpackage: info: source distribution unstable dpkg-source --before-build . dpkg-buildpackage: info: host architecture riscv64 debian/rules clean dh clean dh_clean debian/rules binary-arch dh binary-arch dh_update_autotools_config -a dh_autoreconf -a dh_auto_configure -a cd obj-riscv64-linux-gnu && cmake -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_BUILD_TYPE=None -DCMAKE_INSTALL_SYSCONFDIR=/etc -DCMAKE_INSTALL_LOCALSTATEDIR=/var -DCMAKE_EXPORT_NO_PACKAGE_REGISTRY=ON -DCMAKE_FIND_PACKAGE_NO_PACKAGE_REGISTRY=ON -DCMAKE_INSTALL_RUNSTATEDIR=/run "-GUnix Makefiles" -DCMAKE_VERBOSE_MAKEFILE=ON -DCMAKE_AUTOGEN_VERBOSE=ON -DCMAKE_INSTALL_LIBDIR=lib/riscv64-linux-gnu .. -- The CXX compiler identification is GNU 9.3.0 -- Check for working CXX compiler: /usr/bin/c++ -- Check for working CXX compiler: /usr/bin/c++ -- works -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Detecting CXX compile features -- Detecting CXX compile features - done -- Performing Test HAS_WARNING_CAST_QUAL -- Performing Test HAS_WARNING_CAST_QUAL - Success -- Performing Test HAS_WARNING_CAST_ALIGN -- Performing Test HAS_WARNING_CAST_ALIGN - Success -- Performing Test HAS_WARNING_STRICT_ALIASING_1 -- Performing Test HAS_WARNING_STRICT_ALIASING_1 - Success -- Performing Test HAS_WARNING_POINTER_ARITH -- Performing Test HAS_WARNING_POINTER_ARITH - Success -- Found BISON: /usr/bin/bison (found version "3.5.3") -- Found FLEX: /usr/bin/flex (found version "2.6.4") -- Performing Test HAS_WARNING_SIGN_COMPARE -- Performing Test HAS_WARNING_SIGN_COMPARE - Success -- Performing Test HAS_WARNING_REGISTER -- Performing Test HAS_WARNING_REGISTER - Success -- Performing Test HAS_WARNING_DEPRECATED_REGISTER -- Performing Test HAS_WARNING_DEPRECATED_REGISTER - Failed -- Configuring done -- Generating done CMake Warning: Manually-specified variables were not used by the project: CMAKE_AUTOGEN_VERBOSE CMAKE_EXPORT_NO_PACKAGE_REGISTRY -- Build files have been written to: /<>/obj-riscv64-linux-gnu dh_auto_build -a cd obj-riscv64-linux-gnu && make -j8 "INSTALL=install --strip-program=true" make[1]: Entering directory '/<>/obj-riscv64-linux-gnu' /usr/bin/cmake -S/<> -B/<>/obj-riscv64-linux-gnu --check-build-system CMakeFiles/Makefile.cmake 0 /usr/bin/cmake -E cmake_progress_start /<>/obj-riscv64-linux-gnu/CMakeFiles /<>/obj-riscv64-linux-gnu/CMakeFiles/progress.marks make -f CMakeFiles/Makefile2 all make[2]: Entering directory '/<>/obj-riscv64-linux-gnu' make -f librumur/CMakeFiles/librumur.dir/build.make librumur/CMakeFiles/librumur.dir/depend make -f murphi2c/CMakeFiles/man-murphi2c.dir/build.make murphi2c/CMakeFiles/man-murphi2c.dir/depend make -f murphi2murphi/CMakeFiles/man-murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/man-murphi2murphi.dir/depend make -f murphi2xml/CMakeFiles/man-murphi2xml.dir/build.make murphi2xml/CMakeFiles/man-murphi2xml.dir/depend make -f rumur/CMakeFiles/man-rumur.dir/build.make rumur/CMakeFiles/man-rumur.dir/depend make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' cd /<>/obj-riscv64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<> /<>/murphi2murphi /<>/obj-riscv64-linux-gnu /<>/obj-riscv64-linux-gnu/murphi2murphi /<>/obj-riscv64-linux-gnu/murphi2murphi/CMakeFiles/man-murphi2murphi.dir/DependInfo.cmake --color= make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' cd /<>/obj-riscv64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<> /<>/murphi2xml /<>/obj-riscv64-linux-gnu /<>/obj-riscv64-linux-gnu/murphi2xml /<>/obj-riscv64-linux-gnu/murphi2xml/CMakeFiles/man-murphi2xml.dir/DependInfo.cmake --color= make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' cd /<>/obj-riscv64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<> /<>/murphi2c /<>/obj-riscv64-linux-gnu /<>/obj-riscv64-linux-gnu/murphi2c /<>/obj-riscv64-linux-gnu/murphi2c/CMakeFiles/man-murphi2c.dir/DependInfo.cmake --color= make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' cd /<>/obj-riscv64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<> /<>/rumur /<>/obj-riscv64-linux-gnu /<>/obj-riscv64-linux-gnu/rumur /<>/obj-riscv64-linux-gnu/rumur/CMakeFiles/man-rumur.dir/DependInfo.cmake --color= Scanning dependencies of target man-murphi2murphi make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' [ 1%] [BISON][parser] Building parser with bison 3.5.3 make -f murphi2murphi/CMakeFiles/man-murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/man-murphi2murphi.dir/build cd /<>/librumur && /usr/bin/bison --warnings=all -d -o /<>/obj-riscv64-linux-gnu/librumur/parser.yy.cc src/parser.yy [ 2%] Generating always_run Scanning dependencies of target man-murphi2c [ 3%] [FLEX][lexer] Building scanner with flex 2.6.4 make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' cd /<>/obj-riscv64-linux-gnu/librumur && /usr/bin/env true make -f murphi2c/CMakeFiles/man-murphi2c.dir/build.make murphi2c/CMakeFiles/man-murphi2c.dir/build cd /<>/librumur && /usr/bin/flex -o/<>/obj-riscv64-linux-gnu/librumur/lexer.l.cc src/lexer.l make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' Scanning dependencies of target man-rumur make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' make -f rumur/CMakeFiles/man-rumur.dir/build.make rumur/CMakeFiles/man-rumur.dir/build src/parser.yy: warning: 4 shift/reduce conflicts [-Wconflicts-sr] Scanning dependencies of target man-murphi2xml make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' make -f murphi2xml/CMakeFiles/man-murphi2xml.dir/build.make murphi2xml/CMakeFiles/man-murphi2xml.dir/build make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' [ 4%] Generating murphi2c.1.gz cd /<>/murphi2c && gzip -9 --no-name --to-stdout doc/murphi2c.1 >"/<>/obj-riscv64-linux-gnu/murphi2c/murphi2c.1.gz" [ 5%] Generating murphi2murphi.1.gz cd /<>/murphi2murphi && gzip -9 --no-name --to-stdout doc/murphi2murphi.1 >"/<>/obj-riscv64-linux-gnu/murphi2murphi/murphi2murphi.1.gz" [ 5%] Generating rumur-get-version.h make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' cd /<>/librumur && src/make-version.py /<>/obj-riscv64-linux-gnu/librumur/rumur-get-version.h make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' [ 6%] Generating rumur.1.gz [ 7%] Generating rumur-run.1.gz cd /<>/rumur && gzip -9 --no-name --to-stdout doc/rumur.1 >"/<>/obj-riscv64-linux-gnu/rumur/rumur.1.gz" cd /<>/rumur && gzip -9 --no-name --to-stdout doc/rumur-run.1 >"/<>/obj-riscv64-linux-gnu/rumur/rumur-run.1.gz" [ 8%] Generating murphi2xml.1.gz cd /<>/murphi2xml && gzip -9 --no-name --to-stdout doc/murphi2xml.1 >"/<>/obj-riscv64-linux-gnu/murphi2xml/murphi2xml.1.gz" make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' [ 8%] Built target man-murphi2c [ 8%] Built target man-murphi2murphi [ 8%] Built target man-rumur [ 8%] Built target man-murphi2xml cd /<>/obj-riscv64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<> /<>/librumur /<>/obj-riscv64-linux-gnu /<>/obj-riscv64-linux-gnu/librumur /<>/obj-riscv64-linux-gnu/librumur/CMakeFiles/librumur.dir/DependInfo.cmake --color= Scanning dependencies of target librumur make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' make -f librumur/CMakeFiles/librumur.dir/build.make librumur/CMakeFiles/librumur.dir/build make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' [ 9%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Decl.cc.o [ 10%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Boolean.cc.o cd /<>/obj-riscv64-linux-gnu/librumur && /usr/bin/c++ -I/<>/librumur/include -I/<>/librumur/src -I/<>/obj-riscv64-linux-gnu/librumur -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/librumur.dir/src/Decl.cc.o -c /<>/librumur/src/Decl.cc cd /<>/obj-riscv64-linux-gnu/librumur && /usr/bin/c++ -I/<>/librumur/include -I/<>/librumur/src -I/<>/obj-riscv64-linux-gnu/librumur -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/librumur.dir/src/Boolean.cc.o -c /<>/librumur/src/Boolean.cc [ 11%] Building CXX object librumur/CMakeFiles/librumur.dir/src/indexer.cc.o [ 13%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Function.cc.o [ 14%] Building CXX object librumur/CMakeFiles/librumur.dir/src/except.cc.o cd /<>/obj-riscv64-linux-gnu/librumur && /usr/bin/c++ -I/<>/librumur/include -I/<>/librumur/src -I/<>/obj-riscv64-linux-gnu/librumur -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/librumur.dir/src/indexer.cc.o -c /<>/librumur/src/indexer.cc [ 13%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Expr.cc.o cd /<>/obj-riscv64-linux-gnu/librumur && /usr/bin/c++ -I/<>/librumur/include -I/<>/librumur/src -I/<>/obj-riscv64-linux-gnu/librumur -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/librumur.dir/src/except.cc.o -c /<>/librumur/src/except.cc cd /<>/obj-riscv64-linux-gnu/librumur && /usr/bin/c++ -I/<>/librumur/include -I/<>/librumur/src -I/<>/obj-riscv64-linux-gnu/librumur -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/librumur.dir/src/Expr.cc.o -c /<>/librumur/src/Expr.cc cd /<>/obj-riscv64-linux-gnu/librumur && /usr/bin/c++ -I/<>/librumur/include -I/<>/librumur/src -I/<>/obj-riscv64-linux-gnu/librumur -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/librumur.dir/src/Function.cc.o -c /<>/librumur/src/Function.cc [ 15%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Model.cc.o [ 16%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Node.cc.o cd /<>/obj-riscv64-linux-gnu/librumur && /usr/bin/c++ -I/<>/librumur/include -I/<>/librumur/src -I/<>/obj-riscv64-linux-gnu/librumur -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/librumur.dir/src/Model.cc.o -c /<>/librumur/src/Model.cc cd /<>/obj-riscv64-linux-gnu/librumur && /usr/bin/c++ -I/<>/librumur/include -I/<>/librumur/src -I/<>/obj-riscv64-linux-gnu/librumur -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/librumur.dir/src/Node.cc.o -c /<>/librumur/src/Node.cc [ 17%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Number.cc.o cd /<>/obj-riscv64-linux-gnu/librumur && /usr/bin/c++ -I/<>/librumur/include -I/<>/librumur/src -I/<>/obj-riscv64-linux-gnu/librumur -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/librumur.dir/src/Number.cc.o -c /<>/librumur/src/Number.cc [ 18%] Building CXX object librumur/CMakeFiles/librumur.dir/src/parse.cc.o cd /<>/obj-riscv64-linux-gnu/librumur && /usr/bin/c++ -I/<>/librumur/include -I/<>/librumur/src -I/<>/obj-riscv64-linux-gnu/librumur -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/librumur.dir/src/parse.cc.o -c /<>/librumur/src/parse.cc [ 19%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Property.cc.o cd /<>/obj-riscv64-linux-gnu/librumur && /usr/bin/c++ -I/<>/librumur/include -I/<>/librumur/src -I/<>/obj-riscv64-linux-gnu/librumur -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/librumur.dir/src/Property.cc.o -c /<>/librumur/src/Property.cc [ 20%] Building CXX object librumur/CMakeFiles/librumur.dir/src/resolve-symbols.cc.o cd /<>/obj-riscv64-linux-gnu/librumur && /usr/bin/c++ -I/<>/librumur/include -I/<>/librumur/src -I/<>/obj-riscv64-linux-gnu/librumur -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/librumur.dir/src/resolve-symbols.cc.o -c /<>/librumur/src/resolve-symbols.cc [ 21%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Rule.cc.o cd /<>/obj-riscv64-linux-gnu/librumur && /usr/bin/c++ -I/<>/librumur/include -I/<>/librumur/src -I/<>/obj-riscv64-linux-gnu/librumur -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/librumur.dir/src/Rule.cc.o -c /<>/librumur/src/Rule.cc [ 22%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Stmt.cc.o cd /<>/obj-riscv64-linux-gnu/librumur && /usr/bin/c++ -I/<>/librumur/include -I/<>/librumur/src -I/<>/obj-riscv64-linux-gnu/librumur -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/librumur.dir/src/Stmt.cc.o -c /<>/librumur/src/Stmt.cc [ 23%] Building CXX object librumur/CMakeFiles/librumur.dir/src/traverse.cc.o cd /<>/obj-riscv64-linux-gnu/librumur && /usr/bin/c++ -I/<>/librumur/include -I/<>/librumur/src -I/<>/obj-riscv64-linux-gnu/librumur -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/librumur.dir/src/traverse.cc.o -c /<>/librumur/src/traverse.cc [ 24%] Building CXX object librumur/CMakeFiles/librumur.dir/src/TypeExpr.cc.o cd /<>/obj-riscv64-linux-gnu/librumur && /usr/bin/c++ -I/<>/librumur/include -I/<>/librumur/src -I/<>/obj-riscv64-linux-gnu/librumur -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/librumur.dir/src/TypeExpr.cc.o -c /<>/librumur/src/TypeExpr.cc [ 25%] Building CXX object librumur/CMakeFiles/librumur.dir/src/validate.cc.o cd /<>/obj-riscv64-linux-gnu/librumur && /usr/bin/c++ -I/<>/librumur/include -I/<>/librumur/src -I/<>/obj-riscv64-linux-gnu/librumur -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/librumur.dir/src/validate.cc.o -c /<>/librumur/src/validate.cc [ 25%] Building CXX object librumur/CMakeFiles/librumur.dir/lexer.l.cc.o cd /<>/obj-riscv64-linux-gnu/librumur && /usr/bin/c++ -I/<>/librumur/include -I/<>/librumur/src -I/<>/obj-riscv64-linux-gnu/librumur -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -Wno-sign-compare -Wno-register -o CMakeFiles/librumur.dir/lexer.l.cc.o -c /<>/obj-riscv64-linux-gnu/librumur/lexer.l.cc [ 26%] Building CXX object librumur/CMakeFiles/librumur.dir/parser.yy.cc.o cd /<>/obj-riscv64-linux-gnu/librumur && /usr/bin/c++ -I/<>/librumur/include -I/<>/librumur/src -I/<>/obj-riscv64-linux-gnu/librumur -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/librumur.dir/parser.yy.cc.o -c /<>/obj-riscv64-linux-gnu/librumur/parser.yy.cc [ 27%] Linking CXX static library librumur.a cd /<>/obj-riscv64-linux-gnu/librumur && /usr/bin/cmake -P CMakeFiles/librumur.dir/cmake_clean_target.cmake cd /<>/obj-riscv64-linux-gnu/librumur && /usr/bin/cmake -E cmake_link_script CMakeFiles/librumur.dir/link.txt --verbose=1 /usr/bin/ar qc librumur.a CMakeFiles/librumur.dir/src/Boolean.cc.o CMakeFiles/librumur.dir/src/Decl.cc.o CMakeFiles/librumur.dir/src/except.cc.o CMakeFiles/librumur.dir/src/Expr.cc.o CMakeFiles/librumur.dir/src/Function.cc.o CMakeFiles/librumur.dir/src/indexer.cc.o CMakeFiles/librumur.dir/src/Model.cc.o CMakeFiles/librumur.dir/src/Node.cc.o CMakeFiles/librumur.dir/src/Number.cc.o CMakeFiles/librumur.dir/src/parse.cc.o CMakeFiles/librumur.dir/src/Property.cc.o CMakeFiles/librumur.dir/src/resolve-symbols.cc.o CMakeFiles/librumur.dir/src/Rule.cc.o CMakeFiles/librumur.dir/src/Stmt.cc.o CMakeFiles/librumur.dir/src/traverse.cc.o CMakeFiles/librumur.dir/src/TypeExpr.cc.o CMakeFiles/librumur.dir/src/validate.cc.o CMakeFiles/librumur.dir/lexer.l.cc.o CMakeFiles/librumur.dir/parser.yy.cc.o /usr/bin/ranlib librumur.a make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' [ 27%] Built target librumur make -f murphi2c/CMakeFiles/murphi2c.dir/build.make murphi2c/CMakeFiles/murphi2c.dir/depend make -f murphi2murphi/CMakeFiles/murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/murphi2murphi.dir/depend make -f murphi2xml/CMakeFiles/murphi2xml.dir/build.make murphi2xml/CMakeFiles/murphi2xml.dir/depend make -f rumur/CMakeFiles/rumur.dir/build.make rumur/CMakeFiles/rumur.dir/depend make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' [ 28%] Generating resources_includes.cc cd /<>/rumur && ../misc/xxd.py resources/includes.c /<>/obj-riscv64-linux-gnu/rumur/resources_includes.cc [ 29%] Generating resources_manpage.cc cd /<>/murphi2c && ../misc/xxd.py doc/murphi2c.1 /<>/obj-riscv64-linux-gnu/murphi2c/resources_manpage.cc [ 30%] Generating resources_manpage.cc [ 31%] Generating resources_h_prefix.cc [ 33%] Generating manpage.cc [ 33%] Generating resources_c_prefix.cc cd /<>/rumur && ../misc/xxd.py doc/rumur.1 /<>/obj-riscv64-linux-gnu/rumur/resources_manpage.cc cd /<>/murphi2c && ../misc/xxd.py resources/h_prefix.h /<>/obj-riscv64-linux-gnu/murphi2c/resources_h_prefix.cc cd /<>/murphi2xml && ../misc/xxd.py doc/murphi2xml.1 /<>/obj-riscv64-linux-gnu/murphi2xml/manpage.cc cd /<>/murphi2c && ../misc/xxd.py resources/c_prefix.c /<>/obj-riscv64-linux-gnu/murphi2c/resources_c_prefix.cc [ 34%] Generating resources_manpage.cc [ 35%] Generating resources_header.cc cd /<>/murphi2murphi && ../misc/xxd.py doc/murphi2murphi.1 /<>/obj-riscv64-linux-gnu/murphi2murphi/resources_manpage.cc cd /<>/rumur && ../misc/xxd.py resources/header.c /<>/obj-riscv64-linux-gnu/rumur/resources_header.cc cd /<>/obj-riscv64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<> /<>/murphi2xml /<>/obj-riscv64-linux-gnu /<>/obj-riscv64-linux-gnu/murphi2xml /<>/obj-riscv64-linux-gnu/murphi2xml/CMakeFiles/murphi2xml.dir/DependInfo.cmake --color= cd /<>/obj-riscv64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<> /<>/murphi2c /<>/obj-riscv64-linux-gnu /<>/obj-riscv64-linux-gnu/murphi2c /<>/obj-riscv64-linux-gnu/murphi2c/CMakeFiles/murphi2c.dir/DependInfo.cmake --color= cd /<>/obj-riscv64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<> /<>/murphi2murphi /<>/obj-riscv64-linux-gnu /<>/obj-riscv64-linux-gnu/murphi2murphi /<>/obj-riscv64-linux-gnu/murphi2murphi/CMakeFiles/murphi2murphi.dir/DependInfo.cmake --color= Scanning dependencies of target murphi2xml make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' make -f murphi2xml/CMakeFiles/murphi2xml.dir/build.make murphi2xml/CMakeFiles/murphi2xml.dir/build make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' Scanning dependencies of target murphi2c make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' [ 36%] Building CXX object murphi2xml/CMakeFiles/murphi2xml.dir/src/main.cc.o make -f murphi2c/CMakeFiles/murphi2c.dir/build.make murphi2c/CMakeFiles/murphi2c.dir/build cd /<>/obj-riscv64-linux-gnu/murphi2xml && /usr/bin/c++ -I/<>/murphi2xml/src -I/<>/obj-riscv64-linux-gnu/murphi2xml/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/murphi2xml.dir/src/main.cc.o -c /<>/murphi2xml/src/main.cc [ 37%] Building CXX object murphi2xml/CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o cd /<>/obj-riscv64-linux-gnu/murphi2xml && /usr/bin/c++ -I/<>/murphi2xml/src -I/<>/obj-riscv64-linux-gnu/murphi2xml/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o -c /<>/murphi2xml/src/XMLPrinter.cc [ 38%] Building CXX object murphi2xml/CMakeFiles/murphi2xml.dir/manpage.cc.o make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' cd /<>/obj-riscv64-linux-gnu/murphi2xml && /usr/bin/c++ -I/<>/murphi2xml/src -I/<>/obj-riscv64-linux-gnu/murphi2xml/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/murphi2xml.dir/manpage.cc.o -c /<>/obj-riscv64-linux-gnu/murphi2xml/manpage.cc [ 38%] Building CXX object murphi2xml/CMakeFiles/murphi2xml.dir/__/common/help.cc.o cd /<>/obj-riscv64-linux-gnu/murphi2xml && /usr/bin/c++ -I/<>/murphi2xml/src -I/<>/obj-riscv64-linux-gnu/murphi2xml/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/murphi2xml.dir/__/common/help.cc.o -c /<>/common/help.cc Scanning dependencies of target murphi2murphi make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' make -f murphi2murphi/CMakeFiles/murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/murphi2murphi.dir/build make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' [ 39%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/resources_c_prefix.cc.o cd /<>/obj-riscv64-linux-gnu/murphi2c && /usr/bin/c++ -I/<>/murphi2c/src -I/<>/obj-riscv64-linux-gnu/murphi2c/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/murphi2c.dir/resources_c_prefix.cc.o -c /<>/obj-riscv64-linux-gnu/murphi2c/resources_c_prefix.cc [ 40%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/resources_h_prefix.cc.o cd /<>/obj-riscv64-linux-gnu/murphi2c && /usr/bin/c++ -I/<>/murphi2c/src -I/<>/obj-riscv64-linux-gnu/murphi2c/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/murphi2c.dir/resources_h_prefix.cc.o -c /<>/obj-riscv64-linux-gnu/murphi2c/resources_h_prefix.cc [ 41%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/resources_manpage.cc.o cd /<>/obj-riscv64-linux-gnu/murphi2murphi && /usr/bin/c++ -I/<>/murphi2murphi/src -I/<>/obj-riscv64-linux-gnu/murphi2murphi/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/murphi2murphi.dir/resources_manpage.cc.o -c /<>/obj-riscv64-linux-gnu/murphi2murphi/resources_manpage.cc [ 42%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/__/common/help.cc.o cd /<>/obj-riscv64-linux-gnu/murphi2murphi && /usr/bin/c++ -I/<>/murphi2murphi/src -I/<>/obj-riscv64-linux-gnu/murphi2murphi/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/murphi2murphi.dir/__/common/help.cc.o -c /<>/common/help.cc [ 44%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/__/common/escape.cc.o [ 44%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/resources_manpage.cc.o cd /<>/obj-riscv64-linux-gnu/murphi2c && /usr/bin/c++ -I/<>/murphi2c/src -I/<>/obj-riscv64-linux-gnu/murphi2c/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/murphi2c.dir/resources_manpage.cc.o -c /<>/obj-riscv64-linux-gnu/murphi2c/resources_manpage.cc cd /<>/obj-riscv64-linux-gnu/murphi2c && /usr/bin/c++ -I/<>/murphi2c/src -I/<>/obj-riscv64-linux-gnu/murphi2c/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/murphi2c.dir/__/common/escape.cc.o -c /<>/common/escape.cc [ 45%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/DecomposeComplexComparisons.cc.o cd /<>/obj-riscv64-linux-gnu/murphi2murphi && /usr/bin/c++ -I/<>/murphi2murphi/src -I/<>/obj-riscv64-linux-gnu/murphi2murphi/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/murphi2murphi.dir/src/DecomposeComplexComparisons.cc.o -c /<>/murphi2murphi/src/DecomposeComplexComparisons.cc [ 46%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/__/common/help.cc.o cd /<>/obj-riscv64-linux-gnu/murphi2c && /usr/bin/c++ -I/<>/murphi2c/src -I/<>/obj-riscv64-linux-gnu/murphi2c/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/murphi2c.dir/__/common/help.cc.o -c /<>/common/help.cc cd /<>/obj-riscv64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<> /<>/rumur /<>/obj-riscv64-linux-gnu /<>/obj-riscv64-linux-gnu/rumur /<>/obj-riscv64-linux-gnu/rumur/CMakeFiles/rumur.dir/DependInfo.cmake --color= Scanning dependencies of target rumur make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' make -f rumur/CMakeFiles/rumur.dir/build.make rumur/CMakeFiles/rumur.dir/build make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' [ 47%] Building CXX object rumur/CMakeFiles/rumur.dir/resources_includes.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/resources_includes.cc.o -c /<>/obj-riscv64-linux-gnu/rumur/resources_includes.cc [ 48%] Building CXX object rumur/CMakeFiles/rumur.dir/resources_header.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/resources_header.cc.o -c /<>/obj-riscv64-linux-gnu/rumur/resources_header.cc [ 49%] Building CXX object rumur/CMakeFiles/rumur.dir/resources_manpage.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/resources_manpage.cc.o -c /<>/obj-riscv64-linux-gnu/rumur/resources_manpage.cc [ 50%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/check.cc.o cd /<>/obj-riscv64-linux-gnu/murphi2c && /usr/bin/c++ -I/<>/murphi2c/src -I/<>/obj-riscv64-linux-gnu/murphi2c/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/murphi2c.dir/src/check.cc.o -c /<>/murphi2c/src/check.cc [ 51%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o cd /<>/obj-riscv64-linux-gnu/murphi2murphi && /usr/bin/c++ -I/<>/murphi2murphi/src -I/<>/obj-riscv64-linux-gnu/murphi2murphi/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o -c /<>/murphi2murphi/src/ExplicitSemicolons.cc [ 52%] Building CXX object rumur/CMakeFiles/rumur.dir/__/common/escape.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/__/common/escape.cc.o -c /<>/common/escape.cc [ 53%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/CLikeGenerator.cc.o cd /<>/obj-riscv64-linux-gnu/murphi2c && /usr/bin/c++ -I/<>/murphi2c/src -I/<>/obj-riscv64-linux-gnu/murphi2c/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/murphi2c.dir/src/CLikeGenerator.cc.o -c /<>/murphi2c/src/CLikeGenerator.cc [ 54%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/CodeGenerator.cc.o cd /<>/obj-riscv64-linux-gnu/murphi2c && /usr/bin/c++ -I/<>/murphi2c/src -I/<>/obj-riscv64-linux-gnu/murphi2c/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/murphi2c.dir/src/CodeGenerator.cc.o -c /<>/murphi2c/src/CodeGenerator.cc [ 55%] Building CXX object rumur/CMakeFiles/rumur.dir/__/common/help.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/__/common/help.cc.o -c /<>/common/help.cc [ 56%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/compares_complex_values.cc.o cd /<>/obj-riscv64-linux-gnu/murphi2c && /usr/bin/c++ -I/<>/murphi2c/src -I/<>/obj-riscv64-linux-gnu/murphi2c/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/murphi2c.dir/src/compares_complex_values.cc.o -c /<>/murphi2c/src/compares_complex_values.cc [ 57%] Building CXX object rumur/CMakeFiles/rumur.dir/src/assume-statements-count.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/src/assume-statements-count.cc.o -c /<>/rumur/src/assume-statements-count.cc [ 58%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/generate_c.cc.o cd /<>/obj-riscv64-linux-gnu/murphi2c && /usr/bin/c++ -I/<>/murphi2c/src -I/<>/obj-riscv64-linux-gnu/murphi2c/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/murphi2c.dir/src/generate_c.cc.o -c /<>/murphi2c/src/generate_c.cc [ 58%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/generate_h.cc.o cd /<>/obj-riscv64-linux-gnu/murphi2c && /usr/bin/c++ -I/<>/murphi2c/src -I/<>/obj-riscv64-linux-gnu/murphi2c/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/murphi2c.dir/src/generate_h.cc.o -c /<>/murphi2c/src/generate_h.cc [ 59%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/main.cc.o cd /<>/obj-riscv64-linux-gnu/murphi2murphi && /usr/bin/c++ -I/<>/murphi2murphi/src -I/<>/obj-riscv64-linux-gnu/murphi2murphi/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/murphi2murphi.dir/src/main.cc.o -c /<>/murphi2murphi/src/main.cc [ 60%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/main.cc.o cd /<>/obj-riscv64-linux-gnu/murphi2c && /usr/bin/c++ -I/<>/murphi2c/src -I/<>/obj-riscv64-linux-gnu/murphi2c/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/murphi2c.dir/src/main.cc.o -c /<>/murphi2c/src/main.cc [ 61%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/name_rules.cc.o cd /<>/obj-riscv64-linux-gnu/murphi2c && /usr/bin/c++ -I/<>/murphi2c/src -I/<>/obj-riscv64-linux-gnu/murphi2c/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/murphi2c.dir/src/name_rules.cc.o -c /<>/murphi2c/src/name_rules.cc [ 62%] Building CXX object rumur/CMakeFiles/rumur.dir/src/environ.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/src/environ.cc.o -c /<>/rumur/src/environ.cc [ 63%] Linking CXX executable murphi2xml cd /<>/obj-riscv64-linux-gnu/murphi2xml && /usr/bin/cmake -E cmake_link_script CMakeFiles/murphi2xml.dir/link.txt --verbose=1 /usr/bin/c++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -Wl,-Bsymbolic-functions -Wl,-z,relro -Wl,-z,now -Wl,--as-needed -rdynamic CMakeFiles/murphi2xml.dir/manpage.cc.o CMakeFiles/murphi2xml.dir/__/common/help.cc.o CMakeFiles/murphi2xml.dir/src/main.cc.o CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o -o murphi2xml ../librumur/librumur.a -lgmpxx -lgmp [ 64%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-allocations.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/src/generate-allocations.cc.o -c /<>/rumur/src/generate-allocations.cc make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' [ 64%] Built target murphi2xml [ 65%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/options.cc.o cd /<>/obj-riscv64-linux-gnu/murphi2c && /usr/bin/c++ -I/<>/murphi2c/src -I/<>/obj-riscv64-linux-gnu/murphi2c/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/murphi2c.dir/src/options.cc.o -c /<>/murphi2c/src/options.cc [ 66%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/options.cc.o cd /<>/obj-riscv64-linux-gnu/murphi2murphi && /usr/bin/c++ -I/<>/murphi2murphi/src -I/<>/obj-riscv64-linux-gnu/murphi2murphi/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/murphi2murphi.dir/src/options.cc.o -c /<>/murphi2murphi/src/options.cc [ 67%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Pipeline.cc.o cd /<>/obj-riscv64-linux-gnu/murphi2murphi && /usr/bin/c++ -I/<>/murphi2murphi/src -I/<>/obj-riscv64-linux-gnu/murphi2murphi/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/murphi2murphi.dir/src/Pipeline.cc.o -c /<>/murphi2murphi/src/Pipeline.cc [ 68%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Printer.cc.o cd /<>/obj-riscv64-linux-gnu/murphi2murphi && /usr/bin/c++ -I/<>/murphi2murphi/src -I/<>/obj-riscv64-linux-gnu/murphi2murphi/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/murphi2murphi.dir/src/Printer.cc.o -c /<>/murphi2murphi/src/Printer.cc [ 69%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/RemoveLiveness.cc.o cd /<>/obj-riscv64-linux-gnu/murphi2murphi && /usr/bin/c++ -I/<>/murphi2murphi/src -I/<>/obj-riscv64-linux-gnu/murphi2murphi/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/murphi2murphi.dir/src/RemoveLiveness.cc.o -c /<>/murphi2murphi/src/RemoveLiveness.cc [ 70%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Stage.cc.o cd /<>/obj-riscv64-linux-gnu/murphi2murphi && /usr/bin/c++ -I/<>/murphi2murphi/src -I/<>/obj-riscv64-linux-gnu/murphi2murphi/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/murphi2murphi.dir/src/Stage.cc.o -c /<>/murphi2murphi/src/Stage.cc [ 71%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/SwitchToIf.cc.o cd /<>/obj-riscv64-linux-gnu/murphi2murphi && /usr/bin/c++ -I/<>/murphi2murphi/src -I/<>/obj-riscv64-linux-gnu/murphi2murphi/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/murphi2murphi.dir/src/SwitchToIf.cc.o -c /<>/murphi2murphi/src/SwitchToIf.cc [ 72%] Linking CXX executable murphi2c cd /<>/obj-riscv64-linux-gnu/murphi2c && /usr/bin/cmake -E cmake_link_script CMakeFiles/murphi2c.dir/link.txt --verbose=1 /usr/bin/c++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -Wl,-Bsymbolic-functions -Wl,-z,relro -Wl,-z,now -Wl,--as-needed -rdynamic CMakeFiles/murphi2c.dir/resources_c_prefix.cc.o CMakeFiles/murphi2c.dir/resources_h_prefix.cc.o CMakeFiles/murphi2c.dir/resources_manpage.cc.o CMakeFiles/murphi2c.dir/__/common/escape.cc.o CMakeFiles/murphi2c.dir/__/common/help.cc.o CMakeFiles/murphi2c.dir/src/check.cc.o CMakeFiles/murphi2c.dir/src/CLikeGenerator.cc.o CMakeFiles/murphi2c.dir/src/CodeGenerator.cc.o CMakeFiles/murphi2c.dir/src/compares_complex_values.cc.o CMakeFiles/murphi2c.dir/src/generate_c.cc.o CMakeFiles/murphi2c.dir/src/generate_h.cc.o CMakeFiles/murphi2c.dir/src/main.cc.o CMakeFiles/murphi2c.dir/src/name_rules.cc.o CMakeFiles/murphi2c.dir/src/options.cc.o -o murphi2c ../librumur/librumur.a -lgmpxx -lgmp [ 73%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-cover-array.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/src/generate-cover-array.cc.o -c /<>/rumur/src/generate-cover-array.cc [ 74%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ToAscii.cc.o cd /<>/obj-riscv64-linux-gnu/murphi2murphi && /usr/bin/c++ -I/<>/murphi2murphi/src -I/<>/obj-riscv64-linux-gnu/murphi2murphi/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/murphi2murphi.dir/src/ToAscii.cc.o -c /<>/murphi2murphi/src/ToAscii.cc make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' [ 74%] Built target murphi2c [ 75%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-decl.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/src/generate-decl.cc.o -c /<>/rumur/src/generate-decl.cc [ 76%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-expr.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/src/generate-expr.cc.o -c /<>/rumur/src/generate-expr.cc [ 77%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-function.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/src/generate-function.cc.o -c /<>/rumur/src/generate-function.cc [ 78%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-model.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/src/generate-model.cc.o -c /<>/rumur/src/generate-model.cc [ 79%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-print.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/src/generate-print.cc.o -c /<>/rumur/src/generate-print.cc [ 79%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-property.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/src/generate-property.cc.o -c /<>/rumur/src/generate-property.cc [ 80%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-quantifier.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/src/generate-quantifier.cc.o -c /<>/rumur/src/generate-quantifier.cc [ 81%] Linking CXX executable murphi2murphi cd /<>/obj-riscv64-linux-gnu/murphi2murphi && /usr/bin/cmake -E cmake_link_script CMakeFiles/murphi2murphi.dir/link.txt --verbose=1 /usr/bin/c++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -Wl,-Bsymbolic-functions -Wl,-z,relro -Wl,-z,now -Wl,--as-needed -rdynamic CMakeFiles/murphi2murphi.dir/resources_manpage.cc.o CMakeFiles/murphi2murphi.dir/__/common/help.cc.o CMakeFiles/murphi2murphi.dir/src/DecomposeComplexComparisons.cc.o CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o CMakeFiles/murphi2murphi.dir/src/main.cc.o CMakeFiles/murphi2murphi.dir/src/options.cc.o CMakeFiles/murphi2murphi.dir/src/Pipeline.cc.o CMakeFiles/murphi2murphi.dir/src/Printer.cc.o CMakeFiles/murphi2murphi.dir/src/RemoveLiveness.cc.o CMakeFiles/murphi2murphi.dir/src/Stage.cc.o CMakeFiles/murphi2murphi.dir/src/SwitchToIf.cc.o CMakeFiles/murphi2murphi.dir/src/ToAscii.cc.o -o murphi2murphi ../librumur/librumur.a -lgmpxx -lgmp [ 82%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-stmt.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/src/generate-stmt.cc.o -c /<>/rumur/src/generate-stmt.cc make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' [ 82%] Built target murphi2murphi [ 83%] Building CXX object rumur/CMakeFiles/rumur.dir/src/has-start-state.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/src/has-start-state.cc.o -c /<>/rumur/src/has-start-state.cc [ 84%] Building CXX object rumur/CMakeFiles/rumur.dir/src/log.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/src/log.cc.o -c /<>/rumur/src/log.cc [ 85%] Building CXX object rumur/CMakeFiles/rumur.dir/src/main.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/src/main.cc.o -c /<>/rumur/src/main.cc [ 86%] Building CXX object rumur/CMakeFiles/rumur.dir/src/max-simple-width.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/src/max-simple-width.cc.o -c /<>/rumur/src/max-simple-width.cc [ 87%] Building CXX object rumur/CMakeFiles/rumur.dir/src/options.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/src/options.cc.o -c /<>/rumur/src/options.cc [ 88%] Building CXX object rumur/CMakeFiles/rumur.dir/src/output.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/src/output.cc.o -c /<>/rumur/src/output.cc [ 89%] Building CXX object rumur/CMakeFiles/rumur.dir/src/process.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/src/process.cc.o -c /<>/rumur/src/process.cc [ 90%] Building CXX object rumur/CMakeFiles/rumur.dir/src/smt/define-records.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/src/smt/define-records.cc.o -c /<>/rumur/src/smt/define-records.cc [ 91%] Building CXX object rumur/CMakeFiles/rumur.dir/src/smt/define-enum-members.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/src/smt/define-enum-members.cc.o -c /<>/rumur/src/smt/define-enum-members.cc [ 92%] Building CXX object rumur/CMakeFiles/rumur.dir/src/smt/logic.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/src/smt/logic.cc.o -c /<>/rumur/src/smt/logic.cc [ 93%] Building CXX object rumur/CMakeFiles/rumur.dir/src/smt/simplify.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/src/smt/simplify.cc.o -c /<>/rumur/src/smt/simplify.cc [ 94%] Building CXX object rumur/CMakeFiles/rumur.dir/src/smt/solver.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/src/smt/solver.cc.o -c /<>/rumur/src/smt/solver.cc [ 95%] Building CXX object rumur/CMakeFiles/rumur.dir/src/smt/translate.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/src/smt/translate.cc.o -c /<>/rumur/src/smt/translate.cc [ 96%] Building CXX object rumur/CMakeFiles/rumur.dir/src/smt/typeexpr-to-smt.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/src/smt/typeexpr-to-smt.cc.o -c /<>/rumur/src/smt/typeexpr-to-smt.cc [ 97%] Building CXX object rumur/CMakeFiles/rumur.dir/src/symmetry-reduction.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/src/symmetry-reduction.cc.o -c /<>/rumur/src/symmetry-reduction.cc [ 98%] Building CXX object rumur/CMakeFiles/rumur.dir/src/utils.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/src/utils.cc.o -c /<>/rumur/src/utils.cc [ 99%] Building CXX object rumur/CMakeFiles/rumur.dir/src/ValueType.cc.o cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/c++ -I/<>/rumur/src -I/<>/obj-riscv64-linux-gnu/rumur/../librumur -I/<>/librumur/include -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -o CMakeFiles/rumur.dir/src/ValueType.cc.o -c /<>/rumur/src/ValueType.cc [100%] Linking CXX executable rumur cd /<>/obj-riscv64-linux-gnu/rumur && /usr/bin/cmake -E cmake_link_script CMakeFiles/rumur.dir/link.txt --verbose=1 /usr/bin/c++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -Wl,-Bsymbolic-functions -Wl,-z,relro -Wl,-z,now -Wl,--as-needed -rdynamic CMakeFiles/rumur.dir/resources_includes.cc.o CMakeFiles/rumur.dir/resources_header.cc.o CMakeFiles/rumur.dir/resources_manpage.cc.o CMakeFiles/rumur.dir/__/common/escape.cc.o CMakeFiles/rumur.dir/__/common/help.cc.o CMakeFiles/rumur.dir/src/assume-statements-count.cc.o CMakeFiles/rumur.dir/src/environ.cc.o CMakeFiles/rumur.dir/src/generate-allocations.cc.o CMakeFiles/rumur.dir/src/generate-cover-array.cc.o CMakeFiles/rumur.dir/src/generate-decl.cc.o CMakeFiles/rumur.dir/src/generate-expr.cc.o CMakeFiles/rumur.dir/src/generate-function.cc.o CMakeFiles/rumur.dir/src/generate-model.cc.o CMakeFiles/rumur.dir/src/generate-print.cc.o CMakeFiles/rumur.dir/src/generate-property.cc.o CMakeFiles/rumur.dir/src/generate-quantifier.cc.o CMakeFiles/rumur.dir/src/generate-stmt.cc.o CMakeFiles/rumur.dir/src/has-start-state.cc.o CMakeFiles/rumur.dir/src/log.cc.o CMakeFiles/rumur.dir/src/main.cc.o CMakeFiles/rumur.dir/src/max-simple-width.cc.o CMakeFiles/rumur.dir/src/options.cc.o CMakeFiles/rumur.dir/src/output.cc.o CMakeFiles/rumur.dir/src/process.cc.o CMakeFiles/rumur.dir/src/smt/define-enum-members.cc.o CMakeFiles/rumur.dir/src/smt/define-records.cc.o CMakeFiles/rumur.dir/src/smt/logic.cc.o CMakeFiles/rumur.dir/src/smt/simplify.cc.o CMakeFiles/rumur.dir/src/smt/solver.cc.o CMakeFiles/rumur.dir/src/smt/translate.cc.o CMakeFiles/rumur.dir/src/smt/typeexpr-to-smt.cc.o CMakeFiles/rumur.dir/src/symmetry-reduction.cc.o CMakeFiles/rumur.dir/src/utils.cc.o CMakeFiles/rumur.dir/src/ValueType.cc.o -o rumur ../librumur/librumur.a -lgmpxx -lgmp make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' [100%] Built target rumur make[2]: Leaving directory '/<>/obj-riscv64-linux-gnu' /usr/bin/cmake -E cmake_progress_start /<>/obj-riscv64-linux-gnu/CMakeFiles 0 make[1]: Leaving directory '/<>/obj-riscv64-linux-gnu' dh_auto_test -a cd obj-riscv64-linux-gnu && make -j8 test ARGS\+=-j8 make[1]: Entering directory '/<>/obj-riscv64-linux-gnu' Running tests... /usr/bin/ctest --force-new-ctest-process -j8 Test project /<>/obj-riscv64-linux-gnu Start 1: tests 1/1 Test #1: tests ............................ Passed 9561.23 sec 100% tests passed, 0 tests failed out of 1 Total Test time (real) = 9561.39 sec make[1]: Leaving directory '/<>/obj-riscv64-linux-gnu' create-stamp debian/debhelper-build-stamp dh_testroot -a dh_prep -a dh_auto_install -a cd obj-riscv64-linux-gnu && make -j8 install DESTDIR=/<>/debian/rumur AM_UPDATE_INFO_DIR=no "INSTALL=install --strip-program=true" make[1]: Entering directory '/<>/obj-riscv64-linux-gnu' /usr/bin/cmake -S/<> -B/<>/obj-riscv64-linux-gnu --check-build-system CMakeFiles/Makefile.cmake 0 /usr/bin/cmake -E cmake_progress_start /<>/obj-riscv64-linux-gnu/CMakeFiles /<>/obj-riscv64-linux-gnu/CMakeFiles/progress.marks make -f CMakeFiles/Makefile2 all make[2]: Entering directory '/<>/obj-riscv64-linux-gnu' make -f librumur/CMakeFiles/librumur.dir/build.make librumur/CMakeFiles/librumur.dir/depend make -f murphi2c/CMakeFiles/man-murphi2c.dir/build.make murphi2c/CMakeFiles/man-murphi2c.dir/depend make -f murphi2murphi/CMakeFiles/man-murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/man-murphi2murphi.dir/depend make -f murphi2xml/CMakeFiles/man-murphi2xml.dir/build.make murphi2xml/CMakeFiles/man-murphi2xml.dir/depend make -f rumur/CMakeFiles/man-rumur.dir/build.make rumur/CMakeFiles/man-rumur.dir/depend make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' cd /<>/obj-riscv64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<> /<>/murphi2c /<>/obj-riscv64-linux-gnu /<>/obj-riscv64-linux-gnu/murphi2c /<>/obj-riscv64-linux-gnu/murphi2c/CMakeFiles/man-murphi2c.dir/DependInfo.cmake --color= make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' cd /<>/obj-riscv64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<> /<>/murphi2murphi /<>/obj-riscv64-linux-gnu /<>/obj-riscv64-linux-gnu/murphi2murphi /<>/obj-riscv64-linux-gnu/murphi2murphi/CMakeFiles/man-murphi2murphi.dir/DependInfo.cmake --color= make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' cd /<>/obj-riscv64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<> /<>/murphi2xml /<>/obj-riscv64-linux-gnu /<>/obj-riscv64-linux-gnu/murphi2xml /<>/obj-riscv64-linux-gnu/murphi2xml/CMakeFiles/man-murphi2xml.dir/DependInfo.cmake --color= make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' cd /<>/obj-riscv64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<> /<>/rumur /<>/obj-riscv64-linux-gnu /<>/obj-riscv64-linux-gnu/rumur /<>/obj-riscv64-linux-gnu/rumur/CMakeFiles/man-rumur.dir/DependInfo.cmake --color= [ 1%] Generating always_run cd /<>/obj-riscv64-linux-gnu/librumur && /usr/bin/env true make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' make -f murphi2c/CMakeFiles/man-murphi2c.dir/build.make murphi2c/CMakeFiles/man-murphi2c.dir/build make -f murphi2xml/CMakeFiles/man-murphi2xml.dir/build.make murphi2xml/CMakeFiles/man-murphi2xml.dir/build make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' make[3]: Nothing to be done for 'murphi2c/CMakeFiles/man-murphi2c.dir/build'. make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' make -f murphi2murphi/CMakeFiles/man-murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/man-murphi2murphi.dir/build make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' make[3]: Nothing to be done for 'murphi2xml/CMakeFiles/man-murphi2xml.dir/build'. make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' make -f rumur/CMakeFiles/man-rumur.dir/build.make rumur/CMakeFiles/man-rumur.dir/build make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' make[3]: Nothing to be done for 'murphi2murphi/CMakeFiles/man-murphi2murphi.dir/build'. make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' make[3]: Nothing to be done for 'rumur/CMakeFiles/man-rumur.dir/build'. make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' [ 1%] Generating rumur-get-version.h cd /<>/librumur && src/make-version.py /<>/obj-riscv64-linux-gnu/librumur/rumur-get-version.h [ 2%] Built target man-murphi2c [ 3%] Built target man-murphi2xml [ 4%] Built target man-murphi2murphi [ 6%] Built target man-rumur cd /<>/obj-riscv64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<> /<>/librumur /<>/obj-riscv64-linux-gnu /<>/obj-riscv64-linux-gnu/librumur /<>/obj-riscv64-linux-gnu/librumur/CMakeFiles/librumur.dir/DependInfo.cmake --color= make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' make -f librumur/CMakeFiles/librumur.dir/build.make librumur/CMakeFiles/librumur.dir/build make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' make[3]: Nothing to be done for 'librumur/CMakeFiles/librumur.dir/build'. make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' [ 27%] Built target librumur make -f murphi2c/CMakeFiles/murphi2c.dir/build.make murphi2c/CMakeFiles/murphi2c.dir/depend make -f murphi2murphi/CMakeFiles/murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/murphi2murphi.dir/depend make -f murphi2xml/CMakeFiles/murphi2xml.dir/build.make murphi2xml/CMakeFiles/murphi2xml.dir/depend make -f rumur/CMakeFiles/rumur.dir/build.make rumur/CMakeFiles/rumur.dir/depend make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' cd /<>/obj-riscv64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<> /<>/murphi2c /<>/obj-riscv64-linux-gnu /<>/obj-riscv64-linux-gnu/murphi2c /<>/obj-riscv64-linux-gnu/murphi2c/CMakeFiles/murphi2c.dir/DependInfo.cmake --color= make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' cd /<>/obj-riscv64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<> /<>/murphi2murphi /<>/obj-riscv64-linux-gnu /<>/obj-riscv64-linux-gnu/murphi2murphi /<>/obj-riscv64-linux-gnu/murphi2murphi/CMakeFiles/murphi2murphi.dir/DependInfo.cmake --color= make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' cd /<>/obj-riscv64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<> /<>/murphi2xml /<>/obj-riscv64-linux-gnu /<>/obj-riscv64-linux-gnu/murphi2xml /<>/obj-riscv64-linux-gnu/murphi2xml/CMakeFiles/murphi2xml.dir/DependInfo.cmake --color= make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' cd /<>/obj-riscv64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<> /<>/rumur /<>/obj-riscv64-linux-gnu /<>/obj-riscv64-linux-gnu/rumur /<>/obj-riscv64-linux-gnu/rumur/CMakeFiles/rumur.dir/DependInfo.cmake --color= make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' make -f murphi2c/CMakeFiles/murphi2c.dir/build.make murphi2c/CMakeFiles/murphi2c.dir/build make -f murphi2xml/CMakeFiles/murphi2xml.dir/build.make murphi2xml/CMakeFiles/murphi2xml.dir/build make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' make -f rumur/CMakeFiles/rumur.dir/build.make rumur/CMakeFiles/rumur.dir/build make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' make[3]: Nothing to be done for 'murphi2xml/CMakeFiles/murphi2xml.dir/build'. make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' make -f murphi2murphi/CMakeFiles/murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/murphi2murphi.dir/build make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' make[3]: Nothing to be done for 'murphi2c/CMakeFiles/murphi2c.dir/build'. make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' make[3]: Nothing to be done for 'rumur/CMakeFiles/rumur.dir/build'. make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' make[3]: Entering directory '/<>/obj-riscv64-linux-gnu' make[3]: Nothing to be done for 'murphi2murphi/CMakeFiles/murphi2murphi.dir/build'. make[3]: Leaving directory '/<>/obj-riscv64-linux-gnu' [ 45%] Built target murphi2xml [ 49%] Built target murphi2c [ 86%] Built target rumur [100%] Built target murphi2murphi make[2]: Leaving directory '/<>/obj-riscv64-linux-gnu' /usr/bin/cmake -E cmake_progress_start /<>/obj-riscv64-linux-gnu/CMakeFiles 0 make -f CMakeFiles/Makefile2 preinstall make[2]: Entering directory '/<>/obj-riscv64-linux-gnu' make[2]: Nothing to be done for 'preinstall'. make[2]: Leaving directory '/<>/obj-riscv64-linux-gnu' Install the project... /usr/bin/cmake -P cmake_install.cmake -- Install configuration: "None" -- Installing: /<>/debian/rumur/usr/lib/riscv64-linux-gnu/librumur.a -- Installing: /<>/debian/rumur/usr/include -- Installing: /<>/debian/rumur/usr/include/rumur -- Installing: /<>/debian/rumur/usr/include/rumur/Function.h -- Installing: /<>/debian/rumur/usr/include/rumur/indexer.h -- Installing: /<>/debian/rumur/usr/include/rumur/Symtab.h -- Installing: /<>/debian/rumur/usr/include/rumur/Expr.h -- Installing: /<>/debian/rumur/usr/include/rumur/TypeExpr.h -- Installing: /<>/debian/rumur/usr/include/rumur/Number.h -- Installing: /<>/debian/rumur/usr/include/rumur/Ptr.h -- Installing: /<>/debian/rumur/usr/include/rumur/Boolean.h -- Installing: /<>/debian/rumur/usr/include/rumur/except.h -- Installing: /<>/debian/rumur/usr/include/rumur/parse.h -- Installing: /<>/debian/rumur/usr/include/rumur/rumur.h -- Installing: /<>/debian/rumur/usr/include/rumur/Stmt.h -- Installing: /<>/debian/rumur/usr/include/rumur/traverse.h -- Installing: /<>/debian/rumur/usr/include/rumur/Model.h -- Installing: /<>/debian/rumur/usr/include/rumur/scanner.h -- Installing: /<>/debian/rumur/usr/include/rumur/Decl.h -- Installing: /<>/debian/rumur/usr/include/rumur/Rule.h -- Installing: /<>/debian/rumur/usr/include/rumur/resolve-symbols.h -- Installing: /<>/debian/rumur/usr/include/rumur/validate.h -- Installing: /<>/debian/rumur/usr/include/rumur/Property.h -- Installing: /<>/debian/rumur/usr/include/rumur/Node.h -- Installing: /<>/debian/rumur/usr/include/rumur/location.hh -- Installing: /<>/debian/rumur/usr/include/rumur/parser.yy.hh -- Installing: /<>/debian/rumur/usr/include/rumur/position.hh -- Installing: /<>/debian/rumur/usr/include/rumur/rumur-get-version.h -- Installing: /<>/debian/rumur/usr/include/rumur/stack.hh -- Installing: /<>/debian/rumur/usr/bin/murphi2c -- Installing: /<>/debian/rumur/usr/share/man/man1/murphi2c.1.gz -- Installing: /<>/debian/rumur/usr/bin/murphi2murphi -- Installing: /<>/debian/rumur/usr/share/man/man1/murphi2murphi.1.gz -- Installing: /<>/debian/rumur/usr/bin/murphi2xml -- Installing: /<>/debian/rumur/usr/share/man/man1/murphi2xml.1.gz -- Installing: /<>/debian/rumur/usr/bin/rumur -- Installing: /<>/debian/rumur/usr/bin/rumur-run -- Installing: /<>/debian/rumur/usr/share/man/man1/rumur.1.gz -- Installing: /<>/debian/rumur/usr/share/man/man1/rumur-run.1.gz make[1]: Leaving directory '/<>/obj-riscv64-linux-gnu' dh_installdocs -a dh_installchangelogs -a dh_installman -a dh_perl -a dh_link -a dh_strip_nondeterminism -a dh_compress -a dh_fixperms -a dh_missing -a dh_dwz -a dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dh_installdeb -a dh_gencontrol -a dh_md5sums -a dh_builddeb -a INFO: pkgstriptranslations version 144 INFO: pkgstriptranslations version 144 pkgstriptranslations: processing rumur (in debian/rumur); do_strip: , oemstrip: pkgstriptranslations: processing rumur-dbgsym (in debian/.debhelper/rumur/dbgsym-root); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/rumur/DEBIAN/control, package rumur, directory debian/rumur pkgstripfiles: Running PNG optimization (using 8 cpus) for package rumur ... pkgstripfiles: No PNG files. dpkg-deb: building package 'rumur' in '../rumur_2020.04.05-1_riscv64.deb'. pkgstripfiles: processing control file: debian/.debhelper/rumur/dbgsym-root/DEBIAN/control, package rumur-dbgsym, directory debian/.debhelper/rumur/dbgsym-root dpkg-deb: building package 'rumur-dbgsym' in 'debian/.debhelper/scratch-space/build-rumur/rumur-dbgsym_2020.04.05-1_riscv64.deb'. Renaming rumur-dbgsym_2020.04.05-1_riscv64.deb to rumur-dbgsym_2020.04.05-1_riscv64.ddeb dpkg-genbuildinfo --build=any dpkg-genchanges --build=any -mLaunchpad Build Daemon >../rumur_2020.04.05-1_riscv64.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) -------------------------------------------------------------------------------- Build finished at 2020-04-28T07:48:03Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes | +------------------------------------------------------------------------------+ rumur_2020.04.05-1_riscv64.changes: ----------------------------------- Format: 1.8 Date: Sun, 19 Apr 2020 09:08:53 -0700 Source: rumur Binary: rumur Architecture: riscv64 Version: 2020.04.05-1 Distribution: groovy-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Matthew Fernandez Description: rumur - model checker for the Murphi language Changes: rumur (2020.04.05-1) unstable; urgency=medium . * New upstream release. . * Add some autopkgtests for new binary, murphi2murphi. Checksums-Sha1: bb68e8c1bd95f148e3d043cb83cd2401256b536f 7613524 rumur-dbgsym_2020.04.05-1_riscv64.ddeb 5f8544dfbbb811e365c0c523c1becd592fd72789 7031 rumur_2020.04.05-1_riscv64.buildinfo 50aff78af50668b85485c086aff7918781780da4 1426592 rumur_2020.04.05-1_riscv64.deb Checksums-Sha256: 616a2a60afe9059d147ee6816fbcaf34ec9ab718e56f32955cb1f3d1c8f0f502 7613524 rumur-dbgsym_2020.04.05-1_riscv64.ddeb eb69dd349fea5a104f428f6744d87ff7ad00b0593075ed4eb509e435fa8898f9 7031 rumur_2020.04.05-1_riscv64.buildinfo 449c5d4284dc9599053643b07277a00fb9dd8d65a4e02014dc3b796e2137eb29 1426592 rumur_2020.04.05-1_riscv64.deb Files: 826425bf92a0050a7de32ea6686839d6 7613524 debug optional rumur-dbgsym_2020.04.05-1_riscv64.ddeb 61f2a0f576997cca7d6d07800e67a919 7031 devel optional rumur_2020.04.05-1_riscv64.buildinfo db4233bc3adf214d78c092492a775bfd 1426592 devel optional rumur_2020.04.05-1_riscv64.deb /<>/rumur_2020.04.05-1_riscv64.changes.new could not be renamed to /<>/rumur_2020.04.05-1_riscv64.changes: Illegal seek Distribution field may be wrong!!! +------------------------------------------------------------------------------+ | Buildinfo | +------------------------------------------------------------------------------+ Format: 1.0 Source: rumur Binary: rumur Architecture: riscv64 Version: 2020.04.05-1 Checksums-Md5: 826425bf92a0050a7de32ea6686839d6 7613524 rumur-dbgsym_2020.04.05-1_riscv64.ddeb db4233bc3adf214d78c092492a775bfd 1426592 rumur_2020.04.05-1_riscv64.deb Checksums-Sha1: bb68e8c1bd95f148e3d043cb83cd2401256b536f 7613524 rumur-dbgsym_2020.04.05-1_riscv64.ddeb 50aff78af50668b85485c086aff7918781780da4 1426592 rumur_2020.04.05-1_riscv64.deb Checksums-Sha256: 616a2a60afe9059d147ee6816fbcaf34ec9ab718e56f32955cb1f3d1c8f0f502 7613524 rumur-dbgsym_2020.04.05-1_riscv64.ddeb 449c5d4284dc9599053643b07277a00fb9dd8d65a4e02014dc3b796e2137eb29 1426592 rumur_2020.04.05-1_riscv64.deb Build-Origin: Ubuntu Build-Architecture: riscv64 Build-Date: Tue, 28 Apr 2020 07:47:56 +0000 Build-Path: /<> Build-Tainted-By: usr-local-has-programs Installed-Build-Depends: autoconf (= 2.69-11.1), automake (= 1:1.16.1-4ubuntu6), autopoint (= 0.19.8.1-10build1), autotools-dev (= 20180224.1), base-files (= 11ubuntu6), base-passwd (= 3.5.47), bash (= 5.0-6ubuntu1), binutils (= 2.34-6ubuntu1), binutils-common (= 2.34-6ubuntu1), binutils-riscv64-linux-gnu (= 2.34-6ubuntu1), bison (= 2:3.5.3+dfsg-1), bsdmainutils (= 11.1.2ubuntu3), bsdutils (= 1:2.34-0.1ubuntu9), build-essential (= 12.8ubuntu1), bzip2 (= 1.0.8-2), cmake (= 3.16.3-1ubuntu1), cmake-data (= 3.16.3-1ubuntu1), coreutils (= 8.30-3ubuntu2), cpp (= 4:9.3.0-1ubuntu2), cpp-9 (= 9.3.0-11ubuntu2), dash (= 0.5.10.2-7), debconf (= 1.5.74), debhelper (= 13ubuntu1), debianutils (= 4.9.1), dh-autoreconf (= 19), dh-strip-nondeterminism (= 1.8.0-1), diffutils (= 1:3.7-3), dpkg (= 1.19.7ubuntu3), dpkg-dev (= 1.19.7ubuntu3), dwz (= 0.13-5), file (= 1:5.38-4), findutils (= 4.7.0-1ubuntu1), flex (= 2.6.4-6.2), g++ (= 4:9.3.0-1ubuntu2), g++-9 (= 9.3.0-11ubuntu2), gcc (= 4:9.3.0-1ubuntu2), gcc-10-base (= 10-20200425-1ubuntu2), gcc-9 (= 9.3.0-11ubuntu2), gcc-9-base (= 9.3.0-11ubuntu2), gettext (= 0.19.8.1-10build1), gettext-base (= 0.19.8.1-10build1), grep (= 3.4-1), groff-base (= 1.22.4-4build1), gzip (= 1.10-0ubuntu4), hostname (= 3.23), init-system-helpers (= 1.57), intltool-debian (= 0.35.0+20060710.5), libacl1 (= 2.2.53-7), libarchive-zip-perl (= 1.68-1), libarchive13 (= 3.4.0-2ubuntu1), libasn1-8-heimdal (= 7.7.0+dfsg-1ubuntu1), libatomic1 (= 10-20200425-1ubuntu2), libattr1 (= 1:2.4.48-5), libaudit-common (= 1:2.8.5-2ubuntu6), libaudit1 (= 1:2.8.5-2ubuntu6), libbinutils (= 2.34-6ubuntu1), libblkid1 (= 2.34-0.1ubuntu9), libbrotli1 (= 1.0.7-6.1), libbsd0 (= 0.10.0-1), libbz2-1.0 (= 1.0.8-2), libc-bin (= 2.31-0ubuntu9), libc-dev-bin (= 2.31-0ubuntu9), libc6 (= 2.31-0ubuntu9), libc6-dev (= 2.31-0ubuntu9), libcap-ng0 (= 0.7.9-2.1build1), libcc1-0 (= 10-20200425-1ubuntu2), libcom-err2 (= 1.45.5-2ubuntu1), libcroco3 (= 0.6.13-1), libcrypt-dev (= 1:4.4.10-10ubuntu4), libcrypt1 (= 1:4.4.10-10ubuntu4), libctf-nobfd0 (= 2.34-6ubuntu1), libctf0 (= 2.34-6ubuntu1), libcurl4 (= 7.68.0-1ubuntu2), libdb5.3 (= 5.3.28+dfsg1-0.6ubuntu2), libdebconfclient0 (= 0.251ubuntu1), libdebhelper-perl (= 13ubuntu1), libdpkg-perl (= 1.19.7ubuntu3), libelf1 (= 0.176-1.1build1), libexpat1 (= 2.2.9-1build1), libffi7 (= 3.3-4), libfile-stripnondeterminism-perl (= 1.8.0-1), libfl-dev (= 2.6.4-6.2), libfl2 (= 2.6.4-6.2), libgcc-9-dev (= 9.3.0-11ubuntu2), libgcc-s1 (= 10-20200425-1ubuntu2), libgcrypt20 (= 1.8.5-5ubuntu1), libgdbm-compat4 (= 1.18.1-5), libgdbm6 (= 1.18.1-5), libglib2.0-0 (= 2.64.2-1), libgmp-dev (= 2:6.2.0+dfsg-4), libgmp10 (= 2:6.2.0+dfsg-4), libgmpxx4ldbl (= 2:6.2.0+dfsg-4), libgnutls30 (= 3.6.13-2ubuntu1), libgomp1 (= 10-20200425-1ubuntu2), libgpg-error0 (= 1.37-1), libgssapi-krb5-2 (= 1.17-6ubuntu4), libgssapi3-heimdal (= 7.7.0+dfsg-1ubuntu1), libhcrypto4-heimdal (= 7.7.0+dfsg-1ubuntu1), libheimbase1-heimdal (= 7.7.0+dfsg-1ubuntu1), libheimntlm0-heimdal (= 7.7.0+dfsg-1ubuntu1), libhogweed5 (= 3.5.1+really3.5.1-2), libhx509-5-heimdal (= 7.7.0+dfsg-1ubuntu1), libicu66 (= 66.1-2ubuntu2), libidn2-0 (= 2.3.0-1), libisl22 (= 0.22.1-1), libjsoncpp1 (= 1.7.4-3.1ubuntu2), libk5crypto3 (= 1.17-6ubuntu4), libkeyutils1 (= 1.6.1-2ubuntu1), libkrb5-26-heimdal (= 7.7.0+dfsg-1ubuntu1), libkrb5-3 (= 1.17-6ubuntu4), libkrb5support0 (= 1.17-6ubuntu4), libldap-2.4-2 (= 2.4.49+dfsg-2ubuntu1), libldap-common (= 2.4.49+dfsg-2ubuntu1), liblz4-1 (= 1.9.2-2), liblzma5 (= 5.2.4-1), libmagic-mgc (= 1:5.38-4), libmagic1 (= 1:5.38-4), libmount1 (= 2.34-0.1ubuntu9), libmpc3 (= 1.1.0-1), libmpdec2 (= 2.4.2-3), libmpfr6 (= 4.0.2-1), libncurses6 (= 6.2-1), libncursesw6 (= 6.2-1), libnettle7 (= 3.5.1+really3.5.1-2), libnghttp2-14 (= 1.40.0-1build1), libp11-kit0 (= 0.23.20-1build1), libpam-modules (= 1.3.1-5ubuntu4), libpam-modules-bin (= 1.3.1-5ubuntu4), libpam-runtime (= 1.3.1-5ubuntu4), libpam0g (= 1.3.1-5ubuntu4), libpcre2-8-0 (= 10.34-7), libpcre3 (= 2:8.39-12build1), libperl5.30 (= 5.30.0-10), libpipeline1 (= 1.5.2-2build1), libprocps8 (= 2:3.3.16-1ubuntu2), libpsl5 (= 0.21.0-1ubuntu1), libpython3-stdlib (= 3.8.2-0ubuntu2), libpython3.8-minimal (= 3.8.2-1ubuntu1), libpython3.8-stdlib (= 3.8.2-1ubuntu1), libreadline8 (= 8.0-4), librhash0 (= 1.3.9-1), libroken18-heimdal (= 7.7.0+dfsg-1ubuntu1), librtmp1 (= 2.4+20151223.gitfa8646d.1-2build1), libsasl2-2 (= 2.1.27+dfsg-2), libsasl2-modules-db (= 2.1.27+dfsg-2), libselinux1 (= 3.0-1build2), libsigsegv2 (= 2.12-2), libsmartcols1 (= 2.34-0.1ubuntu9), libsqlite3-0 (= 3.31.1-5), libssh-4 (= 0.9.3-2ubuntu2), libssl1.1 (= 1.1.1f-1ubuntu2), libstdc++-9-dev (= 9.3.0-11ubuntu2), libstdc++6 (= 10-20200425-1ubuntu2), libsub-override-perl (= 0.09-2), libsystemd0 (= 245.4-4ubuntu3), libtasn1-6 (= 4.16.0-2), libtinfo6 (= 6.2-1), libtool (= 2.4.6-14), libuchardet0 (= 0.0.6-3build1), libudev1 (= 245.4-4ubuntu3), libunistring2 (= 0.9.10-2), libuuid1 (= 2.34-0.1ubuntu9), libuv1 (= 1.34.2-1ubuntu1), libwind0-heimdal (= 7.7.0+dfsg-1ubuntu1), libxml2 (= 2.9.10+dfsg-5), libzstd1 (= 1.4.4+dfsg-3), linux-libc-dev (= 5.4.0-24.28), login (= 1:4.8.1-1ubuntu5), lsb-base (= 11.1.0ubuntu2), m4 (= 1.4.18-4), make (= 4.2.1-1.3), man-db (= 2.9.1-1), mawk (= 1.3.4.20200120-2), mime-support (= 3.64ubuntu1), ncurses-base (= 6.2-1), ncurses-bin (= 6.2-1), patch (= 2.7.6-6), perl (= 5.30.0-10), perl-base (= 5.30.0-10), perl-modules-5.30 (= 5.30.0-10), po-debconf (= 1.0.21), procps (= 2:3.3.16-1ubuntu2), python3 (= 3.8.2-0ubuntu2), python3-minimal (= 3.8.2-0ubuntu2), python3.8 (= 3.8.2-1ubuntu1), python3.8-minimal (= 3.8.2-1ubuntu1), readline-common (= 8.0-4), sed (= 4.7-1), sensible-utils (= 0.0.12+nmu1), strace (= 5.5-3ubuntu1), sysvinit-utils (= 2.96-2.1ubuntu1), tar (= 1.30+dfsg-7), tzdata (= 2019c-3ubuntu1), util-linux (= 2.34-0.1ubuntu9), xz-utils (= 5.2.4-1), zlib1g (= 1:1.2.11.dfsg-2ubuntu1) Environment: DEB_BUILD_OPTIONS="parallel=8" LANG="C.UTF-8" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1587312533" +------------------------------------------------------------------------------+ | Package contents | +------------------------------------------------------------------------------+ rumur_2020.04.05-1_riscv64.deb ------------------------------ new Debian package, version 2.0. size 1426592 bytes: control archive=2164 bytes. 1355 bytes, 27 lines control 2559 bytes, 41 lines md5sums Package: rumur Version: 2020.04.05-1 Architecture: riscv64 Maintainer: Ubuntu Developers Original-Maintainer: Matthew Fernandez Installed-Size: 13009 Depends: libc6 (>= 2.27), libgcc-s1 (>= 4.2), libgmp10, libgmpxx4ldbl, libstdc++6 (>= 9) Suggests: python3 (>= 3.6) Section: devel Priority: optional Homepage: https://github.com/Smattr/rumur Description: model checker for the Murphi language Rumur is a model checker for use in the formal verification of finite state machines specified in the Murphi modelling language. It is based on a previous tool, CMurphi, and attempts to provide an approximate drop-in replacement for CMurphi. . Rumur works by reading an input file describing a collection of state variables and transition rules, from which it generates a C program to verify safety and security properties of this state machine. The generated verifier works by exhaustively exploring the state space, checking for violation of invariants or deadlocks. . In comparison to CMurphi, Rumur generates a verifier that runs significantly faster and uses less memory on large input problems. Rumur comes with an optional wrapper script, rumur-run, that streamlines the process of generating a verifier, compiling it, and then running it. This wrapper requires Python. drwxr-xr-x root/root 0 2020-04-19 16:08 ./ drwxr-xr-x root/root 0 2020-04-19 16:08 ./usr/ drwxr-xr-x root/root 0 2020-04-19 16:08 ./usr/bin/ -rwxr-xr-x root/root 729224 2020-04-19 16:08 ./usr/bin/murphi2c -rwxr-xr-x root/root 725456 2020-04-19 16:08 ./usr/bin/murphi2murphi -rwxr-xr-x root/root 667736 2020-04-19 16:08 ./usr/bin/murphi2xml -rwxr-xr-x root/root 1062416 2020-04-19 16:08 ./usr/bin/rumur -rwxr-xr-x root/root 5336 2020-04-05 16:22 ./usr/bin/rumur-run drwxr-xr-x root/root 0 2020-04-19 16:08 ./usr/include/ drwxr-xr-x root/root 0 2020-04-19 16:08 ./usr/include/rumur/ -rw-r--r-- root/root 241 2020-04-05 16:22 ./usr/include/rumur/Boolean.h -rw-r--r-- root/root 3680 2020-04-05 16:22 ./usr/include/rumur/Decl.h -rw-r--r-- root/root 16093 2020-04-05 16:22 ./usr/include/rumur/Expr.h -rw-r--r-- root/root 1051 2020-04-05 16:22 ./usr/include/rumur/Function.h -rw-r--r-- root/root 1274 2020-04-05 16:22 ./usr/include/rumur/Model.h -rw-r--r-- root/root 762 2020-04-05 16:22 ./usr/include/rumur/Node.h -rw-r--r-- root/root 946 2020-04-05 16:22 ./usr/include/rumur/Number.h -rw-r--r-- root/root 626 2020-04-05 16:22 ./usr/include/rumur/Property.h -rw-r--r-- root/root 2018 2020-04-05 16:22 ./usr/include/rumur/Ptr.h -rw-r--r-- root/root 2892 2020-04-05 16:22 ./usr/include/rumur/Rule.h -rw-r--r-- root/root 6132 2020-04-05 16:22 ./usr/include/rumur/Stmt.h -rw-r--r-- root/root 1368 2020-04-05 16:22 ./usr/include/rumur/Symtab.h -rw-r--r-- root/root 5285 2020-04-05 16:22 ./usr/include/rumur/TypeExpr.h -rw-r--r-- root/root 397 2020-04-05 16:22 ./usr/include/rumur/except.h -rw-r--r-- root/root 2754 2020-04-05 16:22 ./usr/include/rumur/indexer.h -rw-r--r-- root/root 8983 2020-04-19 16:08 ./usr/include/rumur/location.hh -rw-r--r-- root/root 372 2020-04-05 16:22 ./usr/include/rumur/parse.h -rw-r--r-- root/root 69451 2020-04-19 16:08 ./usr/include/rumur/parser.yy.hh -rw-r--r-- root/root 401 2020-04-19 16:08 ./usr/include/rumur/position.hh -rw-r--r-- root/root 250 2020-04-05 16:22 ./usr/include/rumur/resolve-symbols.h -rw-r--r-- root/root 108 2020-04-19 16:08 ./usr/include/rumur/rumur-get-version.h -rw-r--r-- root/root 766 2020-04-05 16:22 ./usr/include/rumur/rumur.h -rw-r--r-- root/root 942 2020-04-05 16:22 ./usr/include/rumur/scanner.h -rw-r--r-- root/root 320 2020-04-19 16:08 ./usr/include/rumur/stack.hh -rw-r--r-- root/root 19502 2020-04-05 16:22 ./usr/include/rumur/traverse.h -rw-r--r-- root/root 243 2020-04-05 16:22 ./usr/include/rumur/validate.h drwxr-xr-x root/root 0 2020-04-19 16:08 ./usr/lib/ drwxr-xr-x root/root 0 2020-04-19 16:08 ./usr/lib/riscv64-linux-gnu/ -rw-r--r-- root/root 9930000 2020-04-19 16:08 ./usr/lib/riscv64-linux-gnu/librumur.a drwxr-xr-x root/root 0 2020-04-19 16:08 ./usr/share/ drwxr-xr-x root/root 0 2020-04-19 16:08 ./usr/share/doc/ drwxr-xr-x root/root 0 2020-04-19 16:08 ./usr/share/doc/rumur/ -rw-r--r-- root/root 2478 2020-04-05 16:22 ./usr/share/doc/rumur/README.rst -rw-r--r-- root/root 932 2020-04-19 16:08 ./usr/share/doc/rumur/changelog.Debian.gz -rw-r--r-- root/root 2394 2020-01-12 20:24 ./usr/share/doc/rumur/copyright -rw-r--r-- root/root 2234 2020-04-05 16:22 ./usr/share/doc/rumur/vs-cmurphi.rst.gz drwxr-xr-x root/root 0 2020-04-19 16:08 ./usr/share/man/ drwxr-xr-x root/root 0 2020-04-19 16:08 ./usr/share/man/man1/ -rw-r--r-- root/root 2081 2020-04-19 16:08 ./usr/share/man/man1/murphi2c.1.gz -rw-r--r-- root/root 1921 2020-04-19 16:08 ./usr/share/man/man1/murphi2murphi.1.gz -rw-r--r-- root/root 415 2020-04-19 16:08 ./usr/share/man/man1/murphi2xml.1.gz -rw-r--r-- root/root 267 2020-04-19 16:08 ./usr/share/man/man1/rumur-run.1.gz -rw-r--r-- root/root 5458 2020-04-19 16:08 ./usr/share/man/man1/rumur.1.gz +------------------------------------------------------------------------------+ | Post Build | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: riscv64 Build Type: any Build-Space: 219116 Build-Time: 10344 Distribution: groovy-proposed Host Architecture: riscv64 Install-Time: 207 Job: rumur_2020.04.05-1.dsc Machine Architecture: riscv64 Package: rumur Package-Time: 10579 Source-Version: 2020.04.05-1 Space: 219116 Status: successful Version: 2020.04.05-1 -------------------------------------------------------------------------------- Finished at 2020-04-28T07:48:03Z Build needed 02:56:19, 219116k disk space RUN: /usr/share/launchpad-buildd/bin/in-target scan-for-processes --backend=chroot --series=groovy --arch=riscv64 PACKAGEBUILD-19219514 Scanning for processes to kill in build PACKAGEBUILD-19219514 RUN: /usr/share/launchpad-buildd/bin/in-target umount-chroot --backend=chroot --series=groovy --arch=riscv64 PACKAGEBUILD-19219514 Stopping target for build PACKAGEBUILD-19219514 RUN: /usr/share/launchpad-buildd/bin/in-target remove-build --backend=chroot --series=groovy --arch=riscv64 PACKAGEBUILD-19219514 Removing build PACKAGEBUILD-19219514