https://launchpad.net/ubuntu/+source/alt-ergo/2.0.0-6/+build/19212809 RUN: /usr/share/launchpad-buildd/bin/builder-prep Kernel version: Linux bos02-arm64-027 4.4.0-177-generic #207-Ubuntu SMP Mon Mar 16 01:17:51 UTC 2020 aarch64 Buildd toolchain package versions: launchpad-buildd_188 python-lpbuildd_188 sbuild_0.67.0-2ubuntu7.1 bzr-builder_0.7.3+bzr174~ppa13~ubuntu14.10.1 bzr_2.7.0-2ubuntu3.1 git-build-recipe_0.3.6~git201906051340.ff11471~ubuntu16.04.1 git_1:2.7.4-0ubuntu1.7 dpkg-dev_1.18.4ubuntu1.6 python-debian_0.1.27ubuntu2. Syncing the system clock with the buildd NTP service... 21 May 16:43:50 ntpdate[1884]: adjust time server 10.211.37.1 offset 0.010723 sec RUN: /usr/share/launchpad-buildd/bin/in-target unpack-chroot --backend=chroot --series=groovy --arch=armhf PACKAGEBUILD-19212809 --image-type chroot /home/buildd/filecache-default/a77e1afdcf3761e08e999e63510e3d2f5c5a8a8d Creating target for build PACKAGEBUILD-19212809 RUN: /usr/share/launchpad-buildd/bin/in-target mount-chroot --backend=chroot --series=groovy --arch=armhf PACKAGEBUILD-19212809 Starting target for build PACKAGEBUILD-19212809 RUN: /usr/share/launchpad-buildd/bin/in-target override-sources-list --backend=chroot --series=groovy --arch=armhf PACKAGEBUILD-19212809 '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-19212809 RUN: /usr/share/launchpad-buildd/bin/in-target update-debian-chroot --backend=chroot --series=groovy --arch=armhf PACKAGEBUILD-19212809 Updating target for build PACKAGEBUILD-19212809 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 armhf Packages [935 kB] Get:6 http://ftpmaster.internal/ubuntu groovy/main Translation-en [507 kB] Get:7 http://ftpmaster.internal/ubuntu groovy/universe armhf Packages [8407 kB] Get:8 http://ftpmaster.internal/ubuntu groovy/universe Translation-en [5172 kB] Get:9 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf Packages [56.5 kB] Get:10 http://ftpmaster.internal/ubuntu groovy-proposed/main Translation-en [31.7 kB] Get:11 http://ftpmaster.internal/ubuntu groovy-proposed/universe armhf Packages [473 kB] Get:12 http://ftpmaster.internal/ubuntu groovy-proposed/universe Translation-en [262 kB] Fetched 16.4 MB in 7s (2483 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: apt base-files binutils binutils-arm-linux-gnueabihf binutils-common bsdutils cpp-9 dash debconf e2fsprogs fdisk g++-9 gcc-10-base gcc-9 gcc-9-base gpg gpg-agent gpgconf gpgv libacl1 libapparmor1 libapt-pkg6.0 libasan5 libatomic1 libbinutils libblkid1 libcap2 libcc1-0 libcom-err2 libcrypt-dev libcrypt1 libcryptsetup12 libctf-nobfd0 libctf0 libext2fs2 libfdisk1 libgcc-9-dev libgcc-s1 libgomp1 libidn2-0 libkmod2 libmount1 libncurses6 libncursesw6 libperl5.30 libprocps8 libseccomp2 libsmartcols1 libsqlite3-0 libss2 libstdc++-9-dev libstdc++6 libsystemd0 libtinfo6 libubsan1 libudev1 libuuid1 linux-libc-dev logsave make mount ncurses-base ncurses-bin perl perl-base perl-modules-5.30 procps systemd systemd-sysv systemd-timesyncd sysvinit-utils tzdata util-linux 73 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 46.1 MB of archives. After this operation, 340 kB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu groovy/main armhf libcrypt-dev armhf 1:4.4.15-1ubuntu1 [120 kB] Get:2 http://ftpmaster.internal/ubuntu groovy/main armhf libcrypt1 armhf 1:4.4.15-1ubuntu1 [93.4 kB] Get:3 http://ftpmaster.internal/ubuntu groovy/main armhf base-files armhf 11ubuntu7 [59.7 kB] Get:4 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf bsdutils armhf 1:2.35.1-5ubuntu2 [78.9 kB] Get:5 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf perl-modules-5.30 all 5.30.2-1 [2740 kB] Get:6 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf libperl5.30 armhf 5.30.2-1 [3296 kB] Get:7 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf perl armhf 5.30.2-1 [224 kB] Get:8 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf perl-base armhf 5.30.2-1 [1409 kB] Get:9 http://ftpmaster.internal/ubuntu groovy/main armhf debconf all 1.5.74 [121 kB] Get:10 http://ftpmaster.internal/ubuntu groovy/main armhf dash armhf 0.5.10.2-7 [79.2 kB] Get:11 http://ftpmaster.internal/ubuntu groovy/main armhf ncurses-bin armhf 6.2-1 [164 kB] Get:12 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf libblkid1 armhf 2.35.1-5ubuntu2 [120 kB] Get:13 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf libuuid1 armhf 2.35.1-5ubuntu2 [21.5 kB] Get:14 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf libfdisk1 armhf 2.35.1-5ubuntu2 [159 kB] Get:15 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf libmount1 armhf 2.35.1-5ubuntu2 [132 kB] Get:16 http://ftpmaster.internal/ubuntu groovy/main armhf libncurses6 armhf 6.2-1 [79.7 kB] Get:17 http://ftpmaster.internal/ubuntu groovy/main armhf libncursesw6 armhf 6.2-1 [106 kB] Get:18 http://ftpmaster.internal/ubuntu groovy/main armhf libtinfo6 armhf 6.2-1 [73.6 kB] Get:19 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf libsmartcols1 armhf 2.35.1-5ubuntu2 [84.3 kB] Get:20 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf fdisk armhf 2.35.1-5ubuntu2 [113 kB] Get:21 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf util-linux armhf 2.35.1-5ubuntu2 [985 kB] Get:22 http://ftpmaster.internal/ubuntu groovy/main armhf ncurses-base all 6.2-1 [18.7 kB] Get:23 http://ftpmaster.internal/ubuntu groovy/main armhf sysvinit-utils armhf 2.96-3ubuntu1 [19.1 kB] Get:24 http://ftpmaster.internal/ubuntu groovy/main armhf libatomic1 armhf 10.1.0-2ubuntu1 [7208 B] Get:25 http://ftpmaster.internal/ubuntu groovy/main armhf libubsan1 armhf 10.1.0-2ubuntu1 [121 kB] Get:26 http://ftpmaster.internal/ubuntu groovy/main armhf libgomp1 armhf 10.1.0-2ubuntu1 [87.0 kB] Get:27 http://ftpmaster.internal/ubuntu groovy/main armhf gcc-10-base armhf 10.1.0-2ubuntu1 [20.2 kB] Get:28 http://ftpmaster.internal/ubuntu groovy/main armhf libgcc-s1 armhf 10.1.0-2ubuntu1 [36.2 kB] Get:29 http://ftpmaster.internal/ubuntu groovy/main armhf libcc1-0 armhf 10.1.0-2ubuntu1 [34.6 kB] Get:30 http://ftpmaster.internal/ubuntu groovy/main armhf libstdc++6 armhf 10.1.0-2ubuntu1 [440 kB] Get:31 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf systemd-sysv armhf 245.5-3ubuntu1 [10.3 kB] Get:32 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf systemd-timesyncd armhf 245.5-3ubuntu1 [27.9 kB] Get:33 http://ftpmaster.internal/ubuntu groovy/main armhf libacl1 armhf 2.2.53-8 [16.0 kB] Get:34 http://ftpmaster.internal/ubuntu groovy/main armhf libapparmor1 armhf 2.13.3-7ubuntu6 [29.2 kB] Get:35 http://ftpmaster.internal/ubuntu groovy/main armhf libcap2 armhf 1:2.34-2 [15.6 kB] Get:36 http://ftpmaster.internal/ubuntu groovy/main armhf libcryptsetup12 armhf 2:2.3.1-1ubuntu1 [172 kB] Get:37 http://ftpmaster.internal/ubuntu groovy/main armhf libidn2-0 armhf 2.3.0-1 [49.9 kB] Get:38 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf libkmod2 armhf 27+20200310-2ubuntu1 [38.2 kB] Get:39 http://ftpmaster.internal/ubuntu groovy/main armhf libseccomp2 armhf 2.4.3-1ubuntu2 [32.4 kB] Get:40 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf mount armhf 2.35.1-5ubuntu2 [112 kB] Get:41 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf systemd armhf 245.5-3ubuntu1 [3644 kB] Get:42 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf libsystemd0 armhf 245.5-3ubuntu1 [245 kB] Get:43 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf libudev1 armhf 245.5-3ubuntu1 [67.1 kB] Get:44 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf libapt-pkg6.0 armhf 2.1.4 [756 kB] Get:45 http://ftpmaster.internal/ubuntu groovy/main armhf gpgv armhf 2.2.20-1ubuntu1 [170 kB] Get:46 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf apt armhf 2.1.4 [1245 kB] Get:47 http://ftpmaster.internal/ubuntu groovy/main armhf logsave armhf 1.45.6-1ubuntu1 [9676 B] Get:48 http://ftpmaster.internal/ubuntu groovy/main armhf libext2fs2 armhf 1.45.6-1ubuntu1 [170 kB] Get:49 http://ftpmaster.internal/ubuntu groovy/main armhf e2fsprogs armhf 1.45.6-1ubuntu1 [510 kB] Get:50 http://ftpmaster.internal/ubuntu groovy/main armhf libcom-err2 armhf 1.45.6-1ubuntu1 [8708 B] Get:51 http://ftpmaster.internal/ubuntu groovy/main armhf libprocps8 armhf 2:3.3.16-4ubuntu1 [29.9 kB] Get:52 http://ftpmaster.internal/ubuntu groovy/main armhf libss2 armhf 1.45.6-1ubuntu1 [9384 B] Get:53 http://ftpmaster.internal/ubuntu groovy/main armhf procps armhf 2:3.3.16-4ubuntu1 [222 kB] Get:54 http://ftpmaster.internal/ubuntu groovy/main armhf libsqlite3-0 armhf 3.31.1-5 [467 kB] Get:55 http://ftpmaster.internal/ubuntu groovy/main armhf tzdata all 2020a-0ubuntu1 [293 kB] Get:56 http://ftpmaster.internal/ubuntu groovy/main armhf libctf0 armhf 2.34-7ubuntu1 [37.1 kB] Get:57 http://ftpmaster.internal/ubuntu groovy/main armhf binutils-arm-linux-gnueabihf armhf 2.34-7ubuntu1 [2093 kB] Get:58 http://ftpmaster.internal/ubuntu groovy/main armhf libbinutils armhf 2.34-7ubuntu1 [317 kB] Get:59 http://ftpmaster.internal/ubuntu groovy/main armhf binutils armhf 2.34-7ubuntu1 [3364 B] Get:60 http://ftpmaster.internal/ubuntu groovy/main armhf binutils-common armhf 2.34-7ubuntu1 [207 kB] Get:61 http://ftpmaster.internal/ubuntu groovy/main armhf libctf-nobfd0 armhf 2.34-7ubuntu1 [38.0 kB] Get:62 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf libasan5 armhf 9.3.0-13ubuntu1 [387 kB] Get:63 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf g++-9 armhf 9.3.0-13ubuntu1 [6688 kB] Get:64 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf gcc-9 armhf 9.3.0-13ubuntu1 [6554 kB] Get:65 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf libstdc++-9-dev armhf 9.3.0-13ubuntu1 [1782 kB] Get:66 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf libgcc-9-dev armhf 9.3.0-13ubuntu1 [687 kB] Get:67 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf cpp-9 armhf 9.3.0-13ubuntu1 [5882 kB] Get:68 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf gcc-9-base armhf 9.3.0-13ubuntu1 [19.6 kB] Get:69 http://ftpmaster.internal/ubuntu groovy/main armhf gpg armhf 2.2.20-1ubuntu1 [427 kB] Get:70 http://ftpmaster.internal/ubuntu groovy/main armhf gpgconf armhf 2.2.20-1ubuntu1 [107 kB] Get:71 http://ftpmaster.internal/ubuntu groovy/main armhf gpg-agent armhf 2.2.20-1ubuntu1 [195 kB] Get:72 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf linux-libc-dev armhf 5.4.0-29.33 [1081 kB] Get:73 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf make armhf 4.3-1 [156 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 46.1 MB in 2s (25.0 MB/s) (Reading database ... 12562 files and directories currently installed.) Preparing to unpack .../libcrypt-dev_1%3a4.4.15-1ubuntu1_armhf.deb ... Unpacking libcrypt-dev:armhf (1:4.4.15-1ubuntu1) over (1:4.4.10-10ubuntu4) ... Preparing to unpack .../libcrypt1_1%3a4.4.15-1ubuntu1_armhf.deb ... Unpacking libcrypt1:armhf (1:4.4.15-1ubuntu1) over (1:4.4.10-10ubuntu4) ... Setting up libcrypt1:armhf (1:4.4.15-1ubuntu1) ... (Reading database ... 12562 files and directories currently installed.) Preparing to unpack .../base-files_11ubuntu7_armhf.deb ... Unpacking base-files (11ubuntu7) over (11ubuntu5) ... Setting up base-files (11ubuntu7) ... 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 ... Installing new version of config file /etc/update-motd.d/50-motd-news ... (Reading database ... 12562 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.35.1-5ubuntu2_armhf.deb ... Unpacking bsdutils (1:2.35.1-5ubuntu2) over (1:2.34-0.1ubuntu9) ... Setting up bsdutils (1:2.35.1-5ubuntu2) ... (Reading database ... 12565 files and directories currently installed.) Preparing to unpack .../perl_5.30.2-1_armhf.deb ... Unpacking perl (5.30.2-1) over (5.30.0-9build1) ... Preparing to unpack .../perl-modules-5.30_5.30.2-1_all.deb ... Unpacking perl-modules-5.30 (5.30.2-1) over (5.30.0-9build1) ... Preparing to unpack .../libperl5.30_5.30.2-1_armhf.deb ... Unpacking libperl5.30:armhf (5.30.2-1) over (5.30.0-9build1) ... Preparing to unpack .../perl-base_5.30.2-1_armhf.deb ... Unpacking perl-base (5.30.2-1) over (5.30.0-9build1) ... Setting up perl-base (5.30.2-1) ... (Reading database ... 12565 files and directories currently installed.) 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 ... 12565 files and directories currently installed.) Preparing to unpack .../dash_0.5.10.2-7_armhf.deb ... Unpacking dash (0.5.10.2-7) over (0.5.10.2-6) ... Setting up dash (0.5.10.2-7) ... (Reading database ... 12565 files and directories currently installed.) Preparing to unpack .../ncurses-bin_6.2-1_armhf.deb ... Unpacking ncurses-bin (6.2-1) over (6.2-0ubuntu2) ... Setting up ncurses-bin (6.2-1) ... (Reading database ... 12565 files and directories currently installed.) Preparing to unpack .../libblkid1_2.35.1-5ubuntu2_armhf.deb ... Unpacking libblkid1:armhf (2.35.1-5ubuntu2) over (2.34-0.1ubuntu9) ... Setting up libblkid1:armhf (2.35.1-5ubuntu2) ... (Reading database ... 12565 files and directories currently installed.) Preparing to unpack .../libuuid1_2.35.1-5ubuntu2_armhf.deb ... Unpacking libuuid1:armhf (2.35.1-5ubuntu2) over (2.34-0.1ubuntu9) ... Setting up libuuid1:armhf (2.35.1-5ubuntu2) ... (Reading database ... 12565 files and directories currently installed.) Preparing to unpack .../libfdisk1_2.35.1-5ubuntu2_armhf.deb ... Unpacking libfdisk1:armhf (2.35.1-5ubuntu2) over (2.34-0.1ubuntu9) ... Preparing to unpack .../libmount1_2.35.1-5ubuntu2_armhf.deb ... Unpacking libmount1:armhf (2.35.1-5ubuntu2) over (2.34-0.1ubuntu9) ... Setting up libmount1:armhf (2.35.1-5ubuntu2) ... (Reading database ... 12565 files and directories currently installed.) Preparing to unpack .../libncurses6_6.2-1_armhf.deb ... Unpacking libncurses6:armhf (6.2-1) over (6.2-0ubuntu2) ... Preparing to unpack .../libncursesw6_6.2-1_armhf.deb ... Unpacking libncursesw6:armhf (6.2-1) over (6.2-0ubuntu2) ... Preparing to unpack .../libtinfo6_6.2-1_armhf.deb ... Unpacking libtinfo6:armhf (6.2-1) over (6.2-0ubuntu2) ... Setting up libtinfo6:armhf (6.2-1) ... (Reading database ... 12565 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.35.1-5ubuntu2_armhf.deb ... Unpacking libsmartcols1:armhf (2.35.1-5ubuntu2) over (2.34-0.1ubuntu9) ... Setting up libsmartcols1:armhf (2.35.1-5ubuntu2) ... (Reading database ... 12565 files and directories currently installed.) Preparing to unpack .../fdisk_2.35.1-5ubuntu2_armhf.deb ... Unpacking fdisk (2.35.1-5ubuntu2) over (2.34-0.1ubuntu9) ... Preparing to unpack .../util-linux_2.35.1-5ubuntu2_armhf.deb ... Unpacking util-linux (2.35.1-5ubuntu2) over (2.34-0.1ubuntu9) ... Setting up util-linux (2.35.1-5ubuntu2) ... Installing new version of config file /etc/init.d/hwclock.sh ... (Reading database ... 12568 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 ... 12568 files and directories currently installed.) Preparing to unpack .../sysvinit-utils_2.96-3ubuntu1_armhf.deb ... Unpacking sysvinit-utils (2.96-3ubuntu1) over (2.96-2.1ubuntu1) ... Setting up sysvinit-utils (2.96-3ubuntu1) ... (Reading database ... 12568 files and directories currently installed.) Preparing to unpack .../libatomic1_10.1.0-2ubuntu1_armhf.deb ... Unpacking libatomic1:armhf (10.1.0-2ubuntu1) over (10-20200411-0ubuntu1) ... Preparing to unpack .../libubsan1_10.1.0-2ubuntu1_armhf.deb ... Unpacking libubsan1:armhf (10.1.0-2ubuntu1) over (10-20200411-0ubuntu1) ... Preparing to unpack .../libgomp1_10.1.0-2ubuntu1_armhf.deb ... Unpacking libgomp1:armhf (10.1.0-2ubuntu1) over (10-20200411-0ubuntu1) ... Preparing to unpack .../gcc-10-base_10.1.0-2ubuntu1_armhf.deb ... Unpacking gcc-10-base:armhf (10.1.0-2ubuntu1) over (10-20200411-0ubuntu1) ... Setting up gcc-10-base:armhf (10.1.0-2ubuntu1) ... (Reading database ... 12568 files and directories currently installed.) Preparing to unpack .../libgcc-s1_10.1.0-2ubuntu1_armhf.deb ... Unpacking libgcc-s1:armhf (10.1.0-2ubuntu1) over (10-20200411-0ubuntu1) ... Setting up libgcc-s1:armhf (10.1.0-2ubuntu1) ... (Reading database ... 12568 files and directories currently installed.) Preparing to unpack .../libcc1-0_10.1.0-2ubuntu1_armhf.deb ... Unpacking libcc1-0:armhf (10.1.0-2ubuntu1) over (10-20200411-0ubuntu1) ... Preparing to unpack .../libstdc++6_10.1.0-2ubuntu1_armhf.deb ... Unpacking libstdc++6:armhf (10.1.0-2ubuntu1) over (10-20200411-0ubuntu1) ... Setting up libstdc++6:armhf (10.1.0-2ubuntu1) ... (Reading database ... 12568 files and directories currently installed.) Preparing to unpack .../systemd-sysv_245.5-3ubuntu1_armhf.deb ... Unpacking systemd-sysv (245.5-3ubuntu1) over (245.4-4ubuntu3) ... Preparing to unpack .../systemd-timesyncd_245.5-3ubuntu1_armhf.deb ... Unpacking systemd-timesyncd (245.5-3ubuntu1) over (245.4-4ubuntu3) ... Preparing to unpack .../libacl1_2.2.53-8_armhf.deb ... Unpacking libacl1:armhf (2.2.53-8) over (2.2.53-6) ... Setting up libacl1:armhf (2.2.53-8) ... (Reading database ... 12568 files and directories currently installed.) Preparing to unpack .../libapparmor1_2.13.3-7ubuntu6_armhf.deb ... Unpacking libapparmor1:armhf (2.13.3-7ubuntu6) over (2.13.3-7ubuntu5) ... Preparing to unpack .../libcap2_1%3a2.34-2_armhf.deb ... Unpacking libcap2:armhf (1:2.34-2) over (1:2.32-1) ... Preparing to unpack .../libcryptsetup12_2%3a2.3.1-1ubuntu1_armhf.deb ... Unpacking libcryptsetup12:armhf (2:2.3.1-1ubuntu1) over (2:2.2.2-3ubuntu2) ... Preparing to unpack .../libidn2-0_2.3.0-1_armhf.deb ... Unpacking libidn2-0:armhf (2.3.0-1) over (2.2.0-2) ... Setting up libidn2-0:armhf (2.3.0-1) ... (Reading database ... 12568 files and directories currently installed.) Preparing to unpack .../libkmod2_27+20200310-2ubuntu1_armhf.deb ... Unpacking libkmod2:armhf (27+20200310-2ubuntu1) over (27-1ubuntu2) ... Preparing to unpack .../libseccomp2_2.4.3-1ubuntu2_armhf.deb ... Unpacking libseccomp2:armhf (2.4.3-1ubuntu2) over (2.4.3-1ubuntu1) ... Setting up libseccomp2:armhf (2.4.3-1ubuntu2) ... (Reading database ... 12568 files and directories currently installed.) Preparing to unpack .../mount_2.35.1-5ubuntu2_armhf.deb ... Unpacking mount (2.35.1-5ubuntu2) over (2.34-0.1ubuntu9) ... Preparing to unpack .../systemd_245.5-3ubuntu1_armhf.deb ... Unpacking systemd (245.5-3ubuntu1) over (245.4-4ubuntu3) ... Preparing to unpack .../libsystemd0_245.5-3ubuntu1_armhf.deb ... Unpacking libsystemd0:armhf (245.5-3ubuntu1) over (245.4-4ubuntu3) ... Setting up libsystemd0:armhf (245.5-3ubuntu1) ... (Reading database ... 12566 files and directories currently installed.) Preparing to unpack .../libudev1_245.5-3ubuntu1_armhf.deb ... Unpacking libudev1:armhf (245.5-3ubuntu1) over (245.4-4ubuntu3) ... Setting up libudev1:armhf (245.5-3ubuntu1) ... (Reading database ... 12566 files and directories currently installed.) Preparing to unpack .../libapt-pkg6.0_2.1.4_armhf.deb ... Unpacking libapt-pkg6.0:armhf (2.1.4) over (2.0.2) ... Setting up libapt-pkg6.0:armhf (2.1.4) ... (Reading database ... 12566 files and directories currently installed.) Preparing to unpack .../gpgv_2.2.20-1ubuntu1_armhf.deb ... Unpacking gpgv (2.2.20-1ubuntu1) over (2.2.19-3ubuntu2) ... Setting up gpgv (2.2.20-1ubuntu1) ... (Reading database ... 12566 files and directories currently installed.) Preparing to unpack .../archives/apt_2.1.4_armhf.deb ... Unpacking apt (2.1.4) over (2.0.2) ... Setting up apt (2.1.4) ... (Reading database ... 12566 files and directories currently installed.) Preparing to unpack .../logsave_1.45.6-1ubuntu1_armhf.deb ... Unpacking logsave (1.45.6-1ubuntu1) over (1.45.5-2ubuntu1) ... Preparing to unpack .../libext2fs2_1.45.6-1ubuntu1_armhf.deb ... Unpacking libext2fs2:armhf (1.45.6-1ubuntu1) over (1.45.5-2ubuntu1) ... Setting up libext2fs2:armhf (1.45.6-1ubuntu1) ... (Reading database ... 12566 files and directories currently installed.) Preparing to unpack .../00-e2fsprogs_1.45.6-1ubuntu1_armhf.deb ... Unpacking e2fsprogs (1.45.6-1ubuntu1) over (1.45.5-2ubuntu1) ... Preparing to unpack .../01-libcom-err2_1.45.6-1ubuntu1_armhf.deb ... Unpacking libcom-err2:armhf (1.45.6-1ubuntu1) over (1.45.5-2ubuntu1) ... Preparing to unpack .../02-libprocps8_2%3a3.3.16-4ubuntu1_armhf.deb ... Unpacking libprocps8:armhf (2:3.3.16-4ubuntu1) over (2:3.3.16-1ubuntu2) ... Preparing to unpack .../03-libss2_1.45.6-1ubuntu1_armhf.deb ... Unpacking libss2:armhf (1.45.6-1ubuntu1) over (1.45.5-2ubuntu1) ... Preparing to unpack .../04-procps_2%3a3.3.16-4ubuntu1_armhf.deb ... Unpacking procps (2:3.3.16-4ubuntu1) over (2:3.3.16-1ubuntu2) ... Preparing to unpack .../05-libsqlite3-0_3.31.1-5_armhf.deb ... Unpacking libsqlite3-0:armhf (3.31.1-5) over (3.31.1-4) ... Preparing to unpack .../06-tzdata_2020a-0ubuntu1_all.deb ... Unpacking tzdata (2020a-0ubuntu1) over (2019c-3ubuntu1) ... Preparing to unpack .../07-libctf0_2.34-7ubuntu1_armhf.deb ... Unpacking libctf0:armhf (2.34-7ubuntu1) over (2.34-6ubuntu1) ... Preparing to unpack .../08-binutils-arm-linux-gnueabihf_2.34-7ubuntu1_armhf.deb ... Unpacking binutils-arm-linux-gnueabihf (2.34-7ubuntu1) over (2.34-6ubuntu1) ... Preparing to unpack .../09-libbinutils_2.34-7ubuntu1_armhf.deb ... Unpacking libbinutils:armhf (2.34-7ubuntu1) over (2.34-6ubuntu1) ... Preparing to unpack .../10-binutils_2.34-7ubuntu1_armhf.deb ... Unpacking binutils (2.34-7ubuntu1) over (2.34-6ubuntu1) ... Preparing to unpack .../11-binutils-common_2.34-7ubuntu1_armhf.deb ... Unpacking binutils-common:armhf (2.34-7ubuntu1) over (2.34-6ubuntu1) ... Preparing to unpack .../12-libctf-nobfd0_2.34-7ubuntu1_armhf.deb ... Unpacking libctf-nobfd0:armhf (2.34-7ubuntu1) over (2.34-6ubuntu1) ... Preparing to unpack .../13-libasan5_9.3.0-13ubuntu1_armhf.deb ... Unpacking libasan5:armhf (9.3.0-13ubuntu1) over (9.3.0-10ubuntu2) ... Preparing to unpack .../14-g++-9_9.3.0-13ubuntu1_armhf.deb ... Unpacking g++-9 (9.3.0-13ubuntu1) over (9.3.0-10ubuntu2) ... Preparing to unpack .../15-gcc-9_9.3.0-13ubuntu1_armhf.deb ... Unpacking gcc-9 (9.3.0-13ubuntu1) over (9.3.0-10ubuntu2) ... Preparing to unpack .../16-libstdc++-9-dev_9.3.0-13ubuntu1_armhf.deb ... Unpacking libstdc++-9-dev:armhf (9.3.0-13ubuntu1) over (9.3.0-10ubuntu2) ... Preparing to unpack .../17-libgcc-9-dev_9.3.0-13ubuntu1_armhf.deb ... Unpacking libgcc-9-dev:armhf (9.3.0-13ubuntu1) over (9.3.0-10ubuntu2) ... Preparing to unpack .../18-cpp-9_9.3.0-13ubuntu1_armhf.deb ... Unpacking cpp-9 (9.3.0-13ubuntu1) over (9.3.0-10ubuntu2) ... Preparing to unpack .../19-gcc-9-base_9.3.0-13ubuntu1_armhf.deb ... Unpacking gcc-9-base:armhf (9.3.0-13ubuntu1) over (9.3.0-10ubuntu2) ... Preparing to unpack .../20-gpg_2.2.20-1ubuntu1_armhf.deb ... Unpacking gpg (2.2.20-1ubuntu1) over (2.2.19-3ubuntu2) ... Preparing to unpack .../21-gpgconf_2.2.20-1ubuntu1_armhf.deb ... Unpacking gpgconf (2.2.20-1ubuntu1) over (2.2.19-3ubuntu2) ... Preparing to unpack .../22-gpg-agent_2.2.20-1ubuntu1_armhf.deb ... Unpacking gpg-agent (2.2.20-1ubuntu1) over (2.2.19-3ubuntu2) ... Preparing to unpack .../23-linux-libc-dev_5.4.0-29.33_armhf.deb ... Unpacking linux-libc-dev:armhf (5.4.0-29.33) over (5.4.0-26.30) ... Preparing to unpack .../24-make_4.3-1_armhf.deb ... Unpacking make (4.3-1) over (4.2.1-1.2) ... Setting up libapparmor1:armhf (2.13.3-7ubuntu6) ... Setting up perl-modules-5.30 (5.30.2-1) ... Setting up libsqlite3-0:armhf (3.31.1-5) ... Setting up binutils-common:armhf (2.34-7ubuntu1) ... Setting up linux-libc-dev:armhf (5.4.0-29.33) ... Setting up libctf-nobfd0:armhf (2.34-7ubuntu1) ... Setting up libcom-err2:armhf (1.45.6-1ubuntu1) ... Setting up libgomp1:armhf (10.1.0-2ubuntu1) ... Setting up libcap2:armhf (1:2.34-2) ... Setting up tzdata (2020a-0ubuntu1) ... Current default time zone: 'Etc/UTC' Local time is now: Thu May 21 16:44:43 UTC 2020. Universal Time is now: Thu May 21 16:44:43 UTC 2020. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up make (4.3-1) ... Setting up libncurses6:armhf (6.2-1) ... Setting up libatomic1:armhf (10.1.0-2ubuntu1) ... Setting up libss2:armhf (1.45.6-1ubuntu1) ... Setting up libncursesw6:armhf (6.2-1) ... Setting up logsave (1.45.6-1ubuntu1) ... Setting up libfdisk1:armhf (2.35.1-5ubuntu2) ... Setting up libubsan1:armhf (10.1.0-2ubuntu1) ... Setting up mount (2.35.1-5ubuntu2) ... Setting up libcrypt-dev:armhf (1:4.4.15-1ubuntu1) ... Setting up gpgconf (2.2.20-1ubuntu1) ... Setting up libperl5.30:armhf (5.30.2-1) ... Setting up libcryptsetup12:armhf (2:2.3.1-1ubuntu1) ... Setting up libbinutils:armhf (2.34-7ubuntu1) ... Setting up libcc1-0:armhf (10.1.0-2ubuntu1) ... Setting up gpg (2.2.20-1ubuntu1) ... Setting up libprocps8:armhf (2:3.3.16-4ubuntu1) ... Setting up libkmod2:armhf (27+20200310-2ubuntu1) ... Setting up gcc-9-base:armhf (9.3.0-13ubuntu1) ... Setting up libctf0:armhf (2.34-7ubuntu1) ... Setting up gpg-agent (2.2.20-1ubuntu1) ... Setting up e2fsprogs (1.45.6-1ubuntu1) ... Installing new version of config file /etc/mke2fs.conf ... Setting up fdisk (2.35.1-5ubuntu2) ... Setting up libasan5:armhf (9.3.0-13ubuntu1) ... Setting up perl (5.30.2-1) ... Setting up procps (2:3.3.16-4ubuntu1) ... Installing new version of config file /etc/sysctl.conf ... Removing obsolete conffile /etc/sysctl.d/10-link-restrictions.conf ... Setting up cpp-9 (9.3.0-13ubuntu1) ... Setting up binutils-arm-linux-gnueabihf (2.34-7ubuntu1) ... Setting up binutils (2.34-7ubuntu1) ... Setting up libgcc-9-dev:armhf (9.3.0-13ubuntu1) ... Setting up gcc-9 (9.3.0-13ubuntu1) ... Setting up libstdc++-9-dev:armhf (9.3.0-13ubuntu1) ... Setting up g++-9 (9.3.0-13ubuntu1) ... Setting up systemd-timesyncd (245.5-3ubuntu1) ... Setting up systemd (245.5-3ubuntu1) ... Initializing machine ID from KVM UUID. Setting up systemd-sysv (245.5-3ubuntu1) ... Processing triggers for libc-bin (2.31-0ubuntu9) ... RUN: /usr/share/launchpad-buildd/bin/sbuild-package PACKAGEBUILD-19212809 armhf groovy-proposed -c chroot:build-PACKAGEBUILD-19212809 --arch=armhf --dist=groovy-proposed --nolog alt-ergo_2.0.0-6.dsc Initiating build PACKAGEBUILD-19212809 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 4.4.0-177-generic #207-Ubuntu SMP Mon Mar 16 01:17:51 UTC 2020 armv7l sbuild (Debian sbuild) 0.67.0 (26 Dec 2015) on bos02-arm64-027.buildd +==============================================================================+ | alt-ergo 2.0.0-6 (armhf) 21 May 2020 16:44 | +==============================================================================+ Package: alt-ergo Version: 2.0.0-6 Source Version: 2.0.0-6 Distribution: groovy-proposed Machine Architecture: arm64 Host Architecture: armhf Build Architecture: armhf I: NOTICE: Log filtering will replace 'build/alt-ergo-y1KSoA/alt-ergo-2.0.0' with '<>' I: NOTICE: Log filtering will replace 'build/alt-ergo-y1KSoA' with '<>' I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-19212809/chroot-autobuild' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- alt-ergo_2.0.0-6.dsc exists in .; copying to chroot Check architectures ------------------- Check dependencies ------------------ Merged Build-Depends: build-essential, fakeroot Filtered Build-Depends: build-essential, fakeroot dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<>/resolver-kDd8W0/apt_archive/sbuild-build-depends-core-dummy.deb'. Ign:1 copy:/<>/resolver-kDd8W0/apt_archive ./ InRelease Get:2 copy:/<>/resolver-kDd8W0/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-kDd8W0/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-kDd8W0/apt_archive ./ Sources [214 B] Get:5 copy:/<>/resolver-kDd8W0/apt_archive ./ Packages [525 B] Fetched 2858 B in 0s (66.0 kB/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install core build dependencies (apt-based resolver) | +------------------------------------------------------------------------------+ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: sbuild-build-depends-core-dummy 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 852 B of archives. After this operation, 0 B of additional disk space will be used. Get:1 copy:/<>/resolver-kDd8W0/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [852 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 852 B in 0s (46.4 kB/s) Selecting previously unselected package sbuild-build-depends-core-dummy. (Reading database ... 12570 files and directories currently installed.) Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_armhf.deb ... Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... Merged Build-Depends: debhelper-compat (= 12), dh-ocaml (>= 0.9.0~), ocaml-nox (>= 4.04), menhir, ocaml-findlib, libnum-ocaml-dev, libocamlgraph-ocaml-dev (>= 1.8.5~), libzarith-ocaml-dev, libzip-ocaml-dev, ocplib-simplex-ocaml-dev (>= 0.4) Filtered Build-Depends: debhelper-compat (= 12), dh-ocaml (>= 0.9.0~), ocaml-nox (>= 4.04), menhir, ocaml-findlib, libnum-ocaml-dev, libocamlgraph-ocaml-dev (>= 1.8.5~), libzarith-ocaml-dev, libzip-ocaml-dev, ocplib-simplex-ocaml-dev (>= 0.4) dpkg-deb: building package 'sbuild-build-depends-alt-ergo-dummy' in '/<>/resolver-mGhfKK/apt_archive/sbuild-build-depends-alt-ergo-dummy.deb'. Ign:1 copy:/<>/resolver-mGhfKK/apt_archive ./ InRelease Get:2 copy:/<>/resolver-mGhfKK/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-mGhfKK/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-mGhfKK/apt_archive ./ Sources [307 B] Get:5 copy:/<>/resolver-mGhfKK/apt_archive ./ Packages [630 B] Fetched 3056 B in 0s (55.5 kB/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install alt-ergo build dependencies (apt-based resolver) | +------------------------------------------------------------------------------+ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: autoconf automake autopoint autotools-dev bsdmainutils debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libbsd0 libcroco3 libdebhelper-perl libelf1 libfile-stripnondeterminism-perl libfindlib-ocaml libglib2.0-0 libgmp-dev libgmp3-dev libgmpxx4ldbl libicu66 libmagic-mgc libmagic1 libncurses-dev libncurses5-dev libnum-ocaml libnum-ocaml-dev libocamlgraph-ocaml-dev libpipeline1 libsigsegv2 libsub-override-perl libtool libuchardet0 libxml2 libzarith-ocaml libzarith-ocaml-dev libzip-ocaml libzip-ocaml-dev m4 man-db menhir ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox ocplib-simplex-ocaml-dev po-debconf zlib1g-dev Suggested packages: autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois vacation dh-make git gettext-doc libasprintf-dev libgettextpo-dev groff gmp-doc libgmp10-doc libmpfr-dev ncurses-doc libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less www-browser menhir-doc camlp4 ocaml-doc tuareg-mode libmail-box-perl Recommended packages: curl | wget | lynx libarchive-cpio-perl libglib2.0-data shared-mime-info xdg-user-dirs libltdl-dev ocaml-man libfindlib-ocaml-dev ledit | readline-editor libmail-sendmail-perl The following NEW packages will be installed: autoconf automake autopoint autotools-dev bsdmainutils debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libbsd0 libcroco3 libdebhelper-perl libelf1 libfile-stripnondeterminism-perl libfindlib-ocaml libglib2.0-0 libgmp-dev libgmp3-dev libgmpxx4ldbl libicu66 libmagic-mgc libmagic1 libncurses-dev libncurses5-dev libnum-ocaml libnum-ocaml-dev libocamlgraph-ocaml-dev libpipeline1 libsigsegv2 libsub-override-perl libtool libuchardet0 libxml2 libzarith-ocaml libzarith-ocaml-dev libzip-ocaml libzip-ocaml-dev m4 man-db menhir ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox ocplib-simplex-ocaml-dev po-debconf sbuild-build-depends-alt-ergo-dummy zlib1g-dev 0 upgraded, 56 newly installed, 0 to remove and 0 not upgraded. Need to get 103 MB of archives. After this operation, 420 MB of additional disk space will be used. Get:1 copy:/<>/resolver-mGhfKK/apt_archive ./ sbuild-build-depends-alt-ergo-dummy 0.invalid.0 [956 B] Get:2 http://ftpmaster.internal/ubuntu groovy/main armhf libbsd0 armhf 0.10.0-1 [49.8 kB] Get:3 http://ftpmaster.internal/ubuntu groovy/main armhf bsdmainutils armhf 11.1.2ubuntu3 [176 kB] Get:4 http://ftpmaster.internal/ubuntu groovy/main armhf libuchardet0 armhf 0.0.6-3build1 [62.4 kB] Get:5 http://ftpmaster.internal/ubuntu groovy/main armhf groff-base armhf 1.22.4-5 [759 kB] Get:6 http://ftpmaster.internal/ubuntu groovy/main armhf libpipeline1 armhf 1.5.2-2build1 [23.5 kB] Get:7 http://ftpmaster.internal/ubuntu groovy/main armhf man-db armhf 2.9.1-1 [1077 kB] Get:8 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf libmagic-mgc armhf 1:5.38-5 [218 kB] Get:9 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf libmagic1 armhf 1:5.38-5 [68.4 kB] Get:10 http://ftpmaster.internal/ubuntu groovy-proposed/main armhf file armhf 1:5.38-5 [22.4 kB] Get:11 http://ftpmaster.internal/ubuntu groovy/main armhf libelf1 armhf 0.176-1.1build1 [41.3 kB] Get:12 http://ftpmaster.internal/ubuntu groovy/main armhf libglib2.0-0 armhf 2.64.2-1 [1123 kB] Get:13 http://ftpmaster.internal/ubuntu groovy/main armhf libicu66 armhf 66.1-2ubuntu2 [8222 kB] Get:14 http://ftpmaster.internal/ubuntu groovy/main armhf libxml2 armhf 2.9.10+dfsg-5 [546 kB] Get:15 http://ftpmaster.internal/ubuntu groovy/main armhf gettext-base armhf 0.19.8.1-10build1 [46.0 kB] Get:16 http://ftpmaster.internal/ubuntu groovy/main armhf libsigsegv2 armhf 2.12-2 [13.1 kB] Get:17 http://ftpmaster.internal/ubuntu groovy/main armhf m4 armhf 1.4.18-4 [187 kB] Get:18 http://ftpmaster.internal/ubuntu groovy/main armhf autoconf all 2.69-11.1 [321 kB] Get:19 http://ftpmaster.internal/ubuntu groovy/main armhf autotools-dev all 20180224.1 [39.6 kB] Get:20 http://ftpmaster.internal/ubuntu groovy/main armhf automake all 1:1.16.1-4ubuntu6 [522 kB] Get:21 http://ftpmaster.internal/ubuntu groovy/main armhf autopoint all 0.19.8.1-10build1 [412 kB] Get:22 http://ftpmaster.internal/ubuntu groovy/main armhf libtool all 2.4.6-14 [161 kB] Get:23 http://ftpmaster.internal/ubuntu groovy/main armhf dh-autoreconf all 19 [16.1 kB] Get:24 http://ftpmaster.internal/ubuntu groovy/main armhf libdebhelper-perl all 13ubuntu1 [62.5 kB] Get:25 http://ftpmaster.internal/ubuntu groovy/main armhf libarchive-zip-perl all 1.68-1 [90.2 kB] Get:26 http://ftpmaster.internal/ubuntu groovy/main armhf libsub-override-perl all 0.09-2 [9532 B] Get:27 http://ftpmaster.internal/ubuntu groovy/main armhf libfile-stripnondeterminism-perl all 1.8.0-1 [16.2 kB] Get:28 http://ftpmaster.internal/ubuntu groovy/main armhf dh-strip-nondeterminism all 1.8.0-1 [5228 B] Get:29 http://ftpmaster.internal/ubuntu groovy/main armhf dwz armhf 0.13-5 [153 kB] Get:30 http://ftpmaster.internal/ubuntu groovy/main armhf libcroco3 armhf 0.6.13-1 [70.5 kB] Get:31 http://ftpmaster.internal/ubuntu groovy/main armhf gettext armhf 0.19.8.1-10build1 [835 kB] Get:32 http://ftpmaster.internal/ubuntu groovy/main armhf intltool-debian all 0.35.0+20060710.5 [24.9 kB] Get:33 http://ftpmaster.internal/ubuntu groovy/main armhf po-debconf all 1.0.21 [233 kB] Get:34 http://ftpmaster.internal/ubuntu groovy/main armhf debhelper all 13ubuntu1 [877 kB] Get:35 http://ftpmaster.internal/ubuntu groovy/universe armhf ocaml-base-nox armhf 4.08.1-8 [400 kB] Get:36 http://ftpmaster.internal/ubuntu groovy/universe armhf libfindlib-ocaml armhf 1.8.1-1build3 [168 kB] Get:37 http://ftpmaster.internal/ubuntu groovy/main armhf libgmpxx4ldbl armhf 2:6.2.0+dfsg-4 [7984 B] Get:38 http://ftpmaster.internal/ubuntu groovy/main armhf libgmp-dev armhf 2:6.2.0+dfsg-4 [270 kB] Get:39 http://ftpmaster.internal/ubuntu groovy/main armhf libgmp3-dev armhf 2:6.2.0+dfsg-4 [2012 B] Get:40 http://ftpmaster.internal/ubuntu groovy/main armhf libncurses-dev armhf 6.2-1 [301 kB] Get:41 http://ftpmaster.internal/ubuntu groovy/main armhf libncurses5-dev armhf 6.2-1 [976 B] Get:42 http://ftpmaster.internal/ubuntu groovy/universe armhf libnum-ocaml armhf 1.3-1 [150 kB] Get:43 http://ftpmaster.internal/ubuntu groovy/universe armhf ocaml-compiler-libs armhf 4.08.1-8 [24.6 MB] Get:44 http://ftpmaster.internal/ubuntu groovy/universe armhf ocaml-interp armhf 4.08.1-8 [4635 kB] Get:45 http://ftpmaster.internal/ubuntu groovy/universe armhf ocaml-nox armhf 4.08.1-8 [52.6 MB] Get:46 http://ftpmaster.internal/ubuntu groovy/universe armhf libnum-ocaml-dev armhf 1.3-1 [108 kB] Get:47 http://ftpmaster.internal/ubuntu groovy/universe armhf libocamlgraph-ocaml-dev armhf 1.8.8-1.1build1 [1590 kB] Get:48 http://ftpmaster.internal/ubuntu groovy/universe armhf libzarith-ocaml armhf 1.9.1-1build1 [41.5 kB] Get:49 http://ftpmaster.internal/ubuntu groovy/universe armhf libzarith-ocaml-dev armhf 1.9.1-1build1 [80.7 kB] Get:50 http://ftpmaster.internal/ubuntu groovy/universe armhf libzip-ocaml armhf 1.09-2build1 [73.6 kB] Get:51 http://ftpmaster.internal/ubuntu groovy/main armhf zlib1g-dev armhf 1:1.2.11.dfsg-2ubuntu1 [150 kB] Get:52 http://ftpmaster.internal/ubuntu groovy/universe armhf libzip-ocaml-dev armhf 1.09-2build1 [47.8 kB] Get:53 http://ftpmaster.internal/ubuntu groovy/universe armhf menhir armhf 20200123-3 [754 kB] Get:54 http://ftpmaster.internal/ubuntu groovy/universe armhf ocaml-findlib armhf 1.8.1-1build3 [427 kB] Get:55 http://ftpmaster.internal/ubuntu groovy/universe armhf dh-ocaml all 1.1.1 [79.7 kB] Get:56 http://ftpmaster.internal/ubuntu groovy/universe armhf ocplib-simplex-ocaml-dev armhf 0.4-2build1 [259 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 103 MB in 4s (24.5 MB/s) Selecting previously unselected package libbsd0:armhf. (Reading database ... 12570 files and directories currently installed.) Preparing to unpack .../00-libbsd0_0.10.0-1_armhf.deb ... Unpacking libbsd0:armhf (0.10.0-1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../01-bsdmainutils_11.1.2ubuntu3_armhf.deb ... Unpacking bsdmainutils (11.1.2ubuntu3) ... Selecting previously unselected package libuchardet0:armhf. Preparing to unpack .../02-libuchardet0_0.0.6-3build1_armhf.deb ... Unpacking libuchardet0:armhf (0.0.6-3build1) ... Selecting previously unselected package groff-base. Preparing to unpack .../03-groff-base_1.22.4-5_armhf.deb ... Unpacking groff-base (1.22.4-5) ... Selecting previously unselected package libpipeline1:armhf. Preparing to unpack .../04-libpipeline1_1.5.2-2build1_armhf.deb ... Unpacking libpipeline1:armhf (1.5.2-2build1) ... Selecting previously unselected package man-db. Preparing to unpack .../05-man-db_2.9.1-1_armhf.deb ... Unpacking man-db (2.9.1-1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../06-libmagic-mgc_1%3a5.38-5_armhf.deb ... Unpacking libmagic-mgc (1:5.38-5) ... Selecting previously unselected package libmagic1:armhf. Preparing to unpack .../07-libmagic1_1%3a5.38-5_armhf.deb ... Unpacking libmagic1:armhf (1:5.38-5) ... Selecting previously unselected package file. Preparing to unpack .../08-file_1%3a5.38-5_armhf.deb ... Unpacking file (1:5.38-5) ... Selecting previously unselected package libelf1:armhf. Preparing to unpack .../09-libelf1_0.176-1.1build1_armhf.deb ... Unpacking libelf1:armhf (0.176-1.1build1) ... Selecting previously unselected package libglib2.0-0:armhf. Preparing to unpack .../10-libglib2.0-0_2.64.2-1_armhf.deb ... Unpacking libglib2.0-0:armhf (2.64.2-1) ... Selecting previously unselected package libicu66:armhf. Preparing to unpack .../11-libicu66_66.1-2ubuntu2_armhf.deb ... Unpacking libicu66:armhf (66.1-2ubuntu2) ... Selecting previously unselected package libxml2:armhf. Preparing to unpack .../12-libxml2_2.9.10+dfsg-5_armhf.deb ... Unpacking libxml2:armhf (2.9.10+dfsg-5) ... Selecting previously unselected package gettext-base. Preparing to unpack .../13-gettext-base_0.19.8.1-10build1_armhf.deb ... Unpacking gettext-base (0.19.8.1-10build1) ... Selecting previously unselected package libsigsegv2:armhf. Preparing to unpack .../14-libsigsegv2_2.12-2_armhf.deb ... Unpacking libsigsegv2:armhf (2.12-2) ... Selecting previously unselected package m4. Preparing to unpack .../15-m4_1.4.18-4_armhf.deb ... Unpacking m4 (1.4.18-4) ... Selecting previously unselected package autoconf. Preparing to unpack .../16-autoconf_2.69-11.1_all.deb ... Unpacking autoconf (2.69-11.1) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../17-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../18-automake_1%3a1.16.1-4ubuntu6_all.deb ... Unpacking automake (1:1.16.1-4ubuntu6) ... Selecting previously unselected package autopoint. Preparing to unpack .../19-autopoint_0.19.8.1-10build1_all.deb ... Unpacking autopoint (0.19.8.1-10build1) ... Selecting previously unselected package libtool. Preparing to unpack .../20-libtool_2.4.6-14_all.deb ... Unpacking libtool (2.4.6-14) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../21-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../22-libdebhelper-perl_13ubuntu1_all.deb ... Unpacking libdebhelper-perl (13ubuntu1) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../23-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 .../24-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 .../25-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 .../26-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 .../27-dwz_0.13-5_armhf.deb ... Unpacking dwz (0.13-5) ... Selecting previously unselected package libcroco3:armhf. Preparing to unpack .../28-libcroco3_0.6.13-1_armhf.deb ... Unpacking libcroco3:armhf (0.6.13-1) ... Selecting previously unselected package gettext. Preparing to unpack .../29-gettext_0.19.8.1-10build1_armhf.deb ... Unpacking gettext (0.19.8.1-10build1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../30-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 .../31-po-debconf_1.0.21_all.deb ... Unpacking po-debconf (1.0.21) ... Selecting previously unselected package debhelper. Preparing to unpack .../32-debhelper_13ubuntu1_all.deb ... Unpacking debhelper (13ubuntu1) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../33-ocaml-base-nox_4.08.1-8_armhf.deb ... Unpacking ocaml-base-nox (4.08.1-8) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../34-libfindlib-ocaml_1.8.1-1build3_armhf.deb ... Unpacking libfindlib-ocaml (1.8.1-1build3) ... Selecting previously unselected package libgmpxx4ldbl:armhf. Preparing to unpack .../35-libgmpxx4ldbl_2%3a6.2.0+dfsg-4_armhf.deb ... Unpacking libgmpxx4ldbl:armhf (2:6.2.0+dfsg-4) ... Selecting previously unselected package libgmp-dev:armhf. Preparing to unpack .../36-libgmp-dev_2%3a6.2.0+dfsg-4_armhf.deb ... Unpacking libgmp-dev:armhf (2:6.2.0+dfsg-4) ... Selecting previously unselected package libgmp3-dev:armhf. Preparing to unpack .../37-libgmp3-dev_2%3a6.2.0+dfsg-4_armhf.deb ... Unpacking libgmp3-dev:armhf (2:6.2.0+dfsg-4) ... Selecting previously unselected package libncurses-dev:armhf. Preparing to unpack .../38-libncurses-dev_6.2-1_armhf.deb ... Unpacking libncurses-dev:armhf (6.2-1) ... Selecting previously unselected package libncurses5-dev:armhf. Preparing to unpack .../39-libncurses5-dev_6.2-1_armhf.deb ... Unpacking libncurses5-dev:armhf (6.2-1) ... Selecting previously unselected package libnum-ocaml. Preparing to unpack .../40-libnum-ocaml_1.3-1_armhf.deb ... Unpacking libnum-ocaml (1.3-1) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../41-ocaml-compiler-libs_4.08.1-8_armhf.deb ... Unpacking ocaml-compiler-libs (4.08.1-8) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../42-ocaml-interp_4.08.1-8_armhf.deb ... Unpacking ocaml-interp (4.08.1-8) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../43-ocaml-nox_4.08.1-8_armhf.deb ... Unpacking ocaml-nox (4.08.1-8) ... Selecting previously unselected package libnum-ocaml-dev. Preparing to unpack .../44-libnum-ocaml-dev_1.3-1_armhf.deb ... Unpacking libnum-ocaml-dev (1.3-1) ... Selecting previously unselected package libocamlgraph-ocaml-dev. Preparing to unpack .../45-libocamlgraph-ocaml-dev_1.8.8-1.1build1_armhf.deb ... Unpacking libocamlgraph-ocaml-dev (1.8.8-1.1build1) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../46-libzarith-ocaml_1.9.1-1build1_armhf.deb ... Unpacking libzarith-ocaml (1.9.1-1build1) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../47-libzarith-ocaml-dev_1.9.1-1build1_armhf.deb ... Unpacking libzarith-ocaml-dev (1.9.1-1build1) ... Selecting previously unselected package libzip-ocaml. Preparing to unpack .../48-libzip-ocaml_1.09-2build1_armhf.deb ... Unpacking libzip-ocaml (1.09-2build1) ... Selecting previously unselected package zlib1g-dev:armhf. Preparing to unpack .../49-zlib1g-dev_1%3a1.2.11.dfsg-2ubuntu1_armhf.deb ... Unpacking zlib1g-dev:armhf (1:1.2.11.dfsg-2ubuntu1) ... Selecting previously unselected package libzip-ocaml-dev. Preparing to unpack .../50-libzip-ocaml-dev_1.09-2build1_armhf.deb ... Unpacking libzip-ocaml-dev (1.09-2build1) ... Selecting previously unselected package menhir. Preparing to unpack .../51-menhir_20200123-3_armhf.deb ... Unpacking menhir (20200123-3) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../52-ocaml-findlib_1.8.1-1build3_armhf.deb ... Unpacking ocaml-findlib (1.8.1-1build3) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../53-dh-ocaml_1.1.1_all.deb ... Unpacking dh-ocaml (1.1.1) ... Selecting previously unselected package ocplib-simplex-ocaml-dev. Preparing to unpack .../54-ocplib-simplex-ocaml-dev_0.4-2build1_armhf.deb ... Unpacking ocplib-simplex-ocaml-dev (0.4-2build1) ... Selecting previously unselected package sbuild-build-depends-alt-ergo-dummy. Preparing to unpack .../55-sbuild-build-depends-alt-ergo-dummy_0.invalid.0_armhf.deb ... Unpacking sbuild-build-depends-alt-ergo-dummy (0.invalid.0) ... Setting up libpipeline1:armhf (1.5.2-2build1) ... Setting up libncurses-dev:armhf (6.2-1) ... Setting up libmagic-mgc (1:5.38-5) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libglib2.0-0:armhf (2.64.2-1) ... No schema files found: doing nothing. Setting up libicu66:armhf (66.1-2ubuntu2) ... Setting up libdebhelper-perl (13ubuntu1) ... Setting up dh-ocaml (1.1.1) ... Setting up libmagic1:armhf (1:5.38-5) ... Setting up gettext-base (0.19.8.1-10build1) ... Setting up file (1:5.38-5) ... Setting up autotools-dev (20180224.1) ... Setting up libgmpxx4ldbl:armhf (2:6.2.0+dfsg-4) ... Setting up libsigsegv2:armhf (2.12-2) ... Setting up autopoint (0.19.8.1-10build1) ... Setting up zlib1g-dev:armhf (1:1.2.11.dfsg-2ubuntu1) ... Setting up libuchardet0:armhf (0.0.6-3build1) ... Setting up libncurses5-dev:armhf (6.2-1) ... Setting up libsub-override-perl (0.09-2) ... Setting up ocaml-base-nox (4.08.1-8) ... Setting up libbsd0:armhf (0.10.0-1) ... Setting up libelf1:armhf (0.176-1.1build1) ... Setting up libxml2:armhf (2.9.10+dfsg-5) ... Setting up ocplib-simplex-ocaml-dev (0.4-2build1) ... Setting up menhir (20200123-3) ... Setting up libfile-stripnondeterminism-perl (1.8.0-1) ... Setting up libgmp-dev:armhf (2:6.2.0+dfsg-4) ... Setting up libtool (2.4.6-14) ... Setting up libfindlib-ocaml (1.8.1-1build3) ... Setting up m4 (1.4.18-4) ... Setting up libzarith-ocaml (1.9.1-1build1) ... Setting up libzip-ocaml (1.09-2build1) ... 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 ocaml-findlib (1.8.1-1build3) ... Setting up libcroco3:armhf (0.6.13-1) ... Setting up autoconf (2.69-11.1) ... Setting up dh-strip-nondeterminism (1.8.0-1) ... Setting up libnum-ocaml (1.3-1) ... Setting up dwz (0.13-5) ... Setting up groff-base (1.22.4-5) ... Setting up libgmp3-dev:armhf (2:6.2.0+dfsg-4) ... 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 gettext (0.19.8.1-10build1) ... Setting up man-db (2.9.1-1) ... Not building database; man-db/auto-update is not 'true'. Created symlink /etc/systemd/system/timers.target.wants/man-db.timer → /lib/systemd/system/man-db.timer. Setting up intltool-debian (0.35.0+20060710.5) ... Setting up po-debconf (1.0.21) ... Setting up ocaml-compiler-libs (4.08.1-8) ... Setting up debhelper (13ubuntu1) ... Setting up dh-autoreconf (19) ... Setting up ocaml-interp (4.08.1-8) ... Setting up ocaml-nox (4.08.1-8) ... Setting up libzarith-ocaml-dev (1.9.1-1build1) ... Setting up libocamlgraph-ocaml-dev (1.8.8-1.1build1) ... Setting up libnum-ocaml-dev (1.3-1) ... Setting up libzip-ocaml-dev (1.09-2build1) ... Setting up sbuild-build-depends-alt-ergo-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.31-0ubuntu9) ... +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.4.0-177-generic arm64 (armv7l) Toolchain package versions: binutils_2.34-7ubuntu1 dpkg-dev_1.19.7ubuntu3 g++-9_9.3.0-13ubuntu1 gcc-9_9.3.0-13ubuntu1 libc6-dev_2.31-0ubuntu9 libstdc++-9-dev_9.3.0-13ubuntu1 libstdc++6_10.1.0-2ubuntu1 linux-libc-dev_5.4.0-29.33 Package versions: adduser_3.118ubuntu2 advancecomp_2.1-2.1build1 apt_2.1.4 autoconf_2.69-11.1 automake_1:1.16.1-4ubuntu6 autopoint_0.19.8.1-10build1 autotools-dev_20180224.1 base-files_11ubuntu7 base-passwd_3.5.47 bash_5.0-6ubuntu1 binutils_2.34-7ubuntu1 binutils-arm-linux-gnueabihf_2.34-7ubuntu1 binutils-common_2.34-7ubuntu1 bsdmainutils_11.1.2ubuntu3 bsdutils_1:2.35.1-5ubuntu2 build-essential_12.8ubuntu1 bzip2_1.0.8-2 ca-certificates_20190110ubuntu1 coreutils_8.30-3ubuntu2 cpp_4:9.3.0-1ubuntu2 cpp-9_9.3.0-13ubuntu1 dash_0.5.10.2-7 debconf_1.5.74 debhelper_13ubuntu1 debianutils_4.9.1 dh-autoreconf_19 dh-ocaml_1.1.1 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.6-1ubuntu1 fakeroot_1.24-1 fdisk_2.35.1-5ubuntu2 file_1:5.38-5 findutils_4.7.0-1ubuntu1 g++_4:9.3.0-1ubuntu2 g++-9_9.3.0-13ubuntu1 gcc_4:9.3.0-1ubuntu2 gcc-10-base_10.1.0-2ubuntu1 gcc-9_9.3.0-13ubuntu1 gcc-9-base_9.3.0-13ubuntu1 gettext_0.19.8.1-10build1 gettext-base_0.19.8.1-10build1 gpg_2.2.20-1ubuntu1 gpg-agent_2.2.20-1ubuntu1 gpgconf_2.2.20-1ubuntu1 gpgv_2.2.20-1ubuntu1 grep_3.4-1 groff-base_1.22.4-5 gzip_1.10-0ubuntu4 hostname_3.23 init_1.57 init-system-helpers_1.57 intltool-debian_0.35.0+20060710.5 libacl1_2.2.53-8 libapparmor1_2.13.3-7ubuntu6 libapt-pkg6.0_2.1.4 libarchive-zip-perl_1.68-1 libargon2-1_0~20171227-0.2 libasan5_9.3.0-13ubuntu1 libassuan0_2.5.3-7ubuntu2 libatomic1_10.1.0-2ubuntu1 libattr1_1:2.4.48-5 libaudit-common_1:2.8.5-2ubuntu6 libaudit1_1:2.8.5-2ubuntu6 libbinutils_2.34-7ubuntu1 libblkid1_2.35.1-5ubuntu2 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 libcap2_1:2.34-2 libcc1-0_10.1.0-2ubuntu1 libcom-err2_1.45.6-1ubuntu1 libcroco3_0.6.13-1 libcrypt-dev_1:4.4.15-1ubuntu1 libcrypt1_1:4.4.15-1ubuntu1 libcryptsetup12_2:2.3.1-1ubuntu1 libctf-nobfd0_2.34-7ubuntu1 libctf0_2.34-7ubuntu1 libdb5.3_5.3.28+dfsg1-0.6ubuntu2 libdebconfclient0_0.251ubuntu1 libdebhelper-perl_13ubuntu1 libdevmapper1.02.1_2:1.02.167-1ubuntu1 libdpkg-perl_1.19.7ubuntu3 libelf1_0.176-1.1build1 libext2fs2_1.45.6-1ubuntu1 libfakeroot_1.24-1 libfdisk1_2.35.1-5ubuntu2 libffi7_3.3-4 libfile-stripnondeterminism-perl_1.8.0-1 libfindlib-ocaml_1.8.1-1build3 libgcc-9-dev_9.3.0-13ubuntu1 libgcc-s1_10.1.0-2ubuntu1 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 libgmp3-dev_2:6.2.0+dfsg-4 libgmpxx4ldbl_2:6.2.0+dfsg-4 libgnutls30_3.6.13-2ubuntu1 libgomp1_10.1.0-2ubuntu1 libgpg-error0_1.37-1 libhogweed5_3.5.1+really3.5.1-2 libicu66_66.1-2ubuntu2 libidn2-0_2.3.0-1 libip4tc2_1.8.4-3ubuntu2 libisl22_0.22.1-1 libjson-c4_0.13.1+dfsg-7 libkmod2_27+20200310-2ubuntu1 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-5 libmagic1_1:5.38-5 libmount1_2.35.1-5ubuntu2 libmpc3_1.1.0-1 libmpfr6_4.0.2-1 libncurses-dev_6.2-1 libncurses5-dev_6.2-1 libncurses6_6.2-1 libncursesw6_6.2-1 libnettle7_3.5.1+really3.5.1-2 libnpth0_1.6-1 libnum-ocaml_1.3-1 libnum-ocaml-dev_1.3-1 libocamlgraph-ocaml-dev_1.8.8-1.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.2-1 libpipeline1_1.5.2-2build1 libpng16-16_1.6.37-2 libprocps8_2:3.3.16-4ubuntu1 libreadline8_8.0-4 libseccomp2_2.4.3-1ubuntu2 libselinux1_3.0-1build2 libsemanage-common_3.0-1build2 libsemanage1_3.0-1build2 libsepol1_3.0-1 libsigsegv2_2.12-2 libsmartcols1_2.35.1-5ubuntu2 libsqlite3-0_3.31.1-5 libss2_1.45.6-1ubuntu1 libssl1.1_1.1.1f-1ubuntu2 libstdc++-9-dev_9.3.0-13ubuntu1 libstdc++6_10.1.0-2ubuntu1 libsub-override-perl_0.09-2 libsystemd0_245.5-3ubuntu1 libtasn1-6_4.16.0-2 libtinfo6_6.2-1 libtool_2.4.6-14 libubsan1_10.1.0-2ubuntu1 libuchardet0_0.0.6-3build1 libudev1_245.5-3ubuntu1 libunistring2_0.9.10-2 libuuid1_2.35.1-5ubuntu2 libxml2_2.9.10+dfsg-5 libzarith-ocaml_1.9.1-1build1 libzarith-ocaml-dev_1.9.1-1build1 libzip-ocaml_1.09-2build1 libzip-ocaml-dev_1.09-2build1 libzstd1_1.4.4+dfsg-3 linux-libc-dev_5.4.0-29.33 lockfile-progs_0.1.18 login_1:4.8.1-1ubuntu5 logsave_1.45.6-1ubuntu1 lsb-base_11.1.0ubuntu2 m4_1.4.18-4 make_4.3-1 man-db_2.9.1-1 mawk_1.3.4.20200120-2 menhir_20200123-3 mount_2.35.1-5ubuntu2 ncurses-base_6.2-1 ncurses-bin_6.2-1 ocaml-base-nox_4.08.1-8 ocaml-compiler-libs_4.08.1-8 ocaml-findlib_1.8.1-1build3 ocaml-interp_4.08.1-8 ocaml-nox_4.08.1-8 ocplib-simplex-ocaml-dev_0.4-2build1 openssl_1.1.1f-1ubuntu2 optipng_0.7.7-1 passwd_1:4.8.1-1ubuntu5 patch_2.7.6-6 perl_5.30.2-1 perl-base_5.30.2-1 perl-modules-5.30_5.30.2-1 pinentry-curses_1.1.0-3build1 pkgbinarymangler_144 po-debconf_1.0.21 policyrcd-script-zg2_0.1-3 procps_2:3.3.16-4ubuntu1 readline-common_8.0-4 sbuild-build-depends-alt-ergo-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.7-1 sensible-utils_0.0.12+nmu1 systemd_245.5-3ubuntu1 systemd-sysv_245.5-3ubuntu1 systemd-timesyncd_245.5-3ubuntu1 sysvinit-utils_2.96-3ubuntu1 tar_1.30+dfsg-7 tzdata_2020a-0ubuntu1 ubuntu-keyring_2020.02.11.2 util-linux_2.35.1-5ubuntu2 xz-utils_5.2.4-1 zlib1g_1:1.2.11.dfsg-2ubuntu1 zlib1g-dev_1:1.2.11.dfsg-2ubuntu1 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- gpgv: Signature made Wed Apr 15 07:58:20 2020 UTC gpgv: using RSA key 02054829E12D0F2A8E648E62745C4766D4CACDFF gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./alt-ergo_2.0.0-6.dsc dpkg-source: info: extracting alt-ergo in alt-ergo-2.0.0 dpkg-source: info: unpacking alt-ergo_2.0.0.orig.tar.gz dpkg-source: info: unpacking alt-ergo_2.0.0-6.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying 0001-dont-activate-debug-flag dpkg-source: info: applying 0002-Fix-compilation-with-camlzip-1.08.patch Check disc space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=parallel=4 HOME=/sbuild-nonexistent LANG=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-19212809 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-19212809 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-19212809 SCHROOT_UID=2001 SCHROOT_USER=buildd SHELL=/bin/sh TERM=unknown USER=buildd V=1 dpkg-buildpackage ----------------- dpkg-buildpackage: info: source package alt-ergo dpkg-buildpackage: info: source version 2.0.0-6 dpkg-buildpackage: info: source distribution unstable dpkg-source --before-build . dpkg-buildpackage: info: host architecture armhf fakeroot debian/rules clean dh clean --with ocaml debian/rules override_dh_auto_clean make[1]: Entering directory '/<>' if [ -f config.status ]; then \ /usr/bin/make dist-clean; \ fi make[1]: Leaving directory '/<>' dh_ocamlclean dh_clean debian/rules build-arch dh build-arch --with ocaml dh_update_autotools_config -a dh_autoreconf -a aclocal: warning: autoconf input should be named 'configure.ac', not 'configure.in' dh_ocamlinit -a dh_auto_configure -a ./configure --build=arm-linux-gnueabihf --prefix=/usr --includedir=\${prefix}/include --mandir=\${prefix}/share/man --infodir=\${prefix}/share/info --sysconfdir=/etc --localstatedir=/var --disable-silent-rules --libdir=\${prefix}/lib/arm-linux-gnueabihf --runstatedir=/run --disable-maintainer-mode --disable-dependency-tracking configure: WARNING: unrecognized options: --disable-silent-rules, --disable-maintainer-mode, --disable-dependency-tracking checking for ocp-ocamlc... no checking for ocamlc... ocamlc ocaml version is 4.08.1 ocaml library path is /usr/lib/ocaml checking for ocamlfind... yes ocamlfind found zarith in -I /usr/lib/ocaml/zarith ocamlfind found zip in -I /usr/lib/ocaml/zip ocamlfind found ocplib-simplex in -I /usr/lib/ocaml/ocplib-simplex checking for ocp-ocamlopt... no checking for ocamlopt... ocamlopt checking ocamlopt version... ok checking for ocp-ocamlc.opt... no checking for ocamlc.opt... ocamlc.opt checking ocamlc.opt version... ok checking for ocp-ocamlopt.opt... no checking for ocamlopt.opt... ocamlopt.opt checking ocamlc.opt version... ok checking for ocamldep... ocamldep checking for ocamllex... ocamllex checking for ocamllex.opt... ocamllex.opt checking for menhir... menhir ocamlfind: Package `lablgtk2.sourceview2' not found checking for /usr/lib/ocaml/lablgtk2/lablgtksourceview2.cma... no Will not be able to compile GUI. Please install the *liblablgtksourceview2-ocaml-dev* Debian package - or use the GODI caml package system *http://godi.ocaml-programming.de/* - or compile from sources *http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/lablgtk.html* checking for ocamlweb... true checking platform... configure: creating ./config.status config.status: creating Makefile.configurable config.status: WARNING: 'Makefile.configurable.in' seems to ignore the --datarootdir setting configure: WARNING: unrecognized options: --disable-silent-rules, --disable-maintainer-mode, --disable-dependency-tracking dh_auto_build -a make -j4 make[1]: Entering directory '/<>' menhir -v parsers/why/why_parser.mly menhir -v parsers/why/why_parser.mly ocamllex.opt parsers/why/why_lexer.mll > /dev/null ocamldep -slash -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/*.ml* lib/structures/*.ml* lib/reasoners/*.ml* lib/frontend/*.ml* tools/text/*.ml* \ tools/gui/*.ml* parsers/why/*.ml* plugins/common/*ml* plugins/satML/*ml* plugins/fm-simplex/*ml* > .depend ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/config.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/version.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/emap.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/myUnix.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/myDynlink.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/myZip.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/util.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/lists.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/numbersInterface.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/timers.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/gc_debug.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/loc.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/hconsing.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex tools/text/main_text.mli gui compilation skipped (lablgtksourceview not detected) ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex plugins/common/vec.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex plugins/fm-simplex/fmSimplexIneqs.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/version.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/emap.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/myUnix.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/myDynlink.ml File "/<>/lib/util/myUnix.ml", line 19, characters 7-22: 19 | if Pervasives.(<>) timelimit 0. then ^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/myZip.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/util.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/lists.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/numsNumbers.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/zarithNumbers.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/numbers.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/hstring.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/numsNumbers.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/zarithNumbers.ml File "/<>/lib/util/zarithNumbers.ml", line 156, characters 16-30: 156 | let abs_n = Pervasives.abs n in ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/options.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/ty.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/numbers.ml File "/<>/lib/util/numbers.ml", line 50, characters 13-27: 50 | if Pervasives.(<) v min_float then min_float ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/symbols.mli File "/<>/lib/util/numbers.ml", line 51, characters 18-32: 51 | else if Pervasives.(>) v max_float then max_float ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/errors.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/term.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/parsed.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/typed.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/parsed_interface.mli File "/<>/lib/frontend/parsed_interface.mli", line 17, characters 20-77: 17 | [@ocaml.ppwarning "TODO: add documentation for every function in this file"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22: TODO: add documentation for every function in this file ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/parsers.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex parsers/why/why_parser.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/options.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/literal.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/fpa_rounding.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/triggers.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/typechecker.mli File "/<>/lib/util/options.ml", line 30, characters 20-70: 30 | [@ocaml.ppwarning "Options: should not parse args here in 'lib mod'"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22: Options: should not parse args here in 'lib mod' ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/formula.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/explanation.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/commands.mli File "/<>/lib/util/options.ml", line 568, characters 33-51: 568 | let compare (a: int) (b: int) = Pervasives.compare a b ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/profiling.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/matching_types.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/exception.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/sat_solver_sig.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/cnf.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/frontend.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex plugins/satML/satml_frontend.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/sig.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/fun_sat.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/sat_solver.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/matching.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/use.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/ac.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/uf.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/polynome.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/bitv.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/arrays.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/intervals.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/inequalities.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/intervalCalculus.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/arith.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/combine.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/sum.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/records.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/ccx.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/theory.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/instances.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex plugins/satML/satml.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/cmdline_parser.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/timers.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/gc_debug.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/loc.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/hconsing.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo plugins/common/vec.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/hstring.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo plugins/fm-simplex/simplex.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/ty.ml File "/<>/lib/structures/ty.ml", line 206, characters 33-51: 206 | | Tvar{v=v1} , Tvar{v=v2} -> Pervasives.compare v1 v2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/structures/ty.ml", line 229, characters 17-35: 229 | | t1 , t2 -> Pervasives.compare t1 t2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/structures/ty.ml", line 272, characters 52-70: 272 | module M = Map.Make(struct type t=int let compare = Pervasives.compare end) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/structures/ty.ml", line 341, characters 30-48: 341 | let compare_subst = M.compare Pervasives.compare ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/structures/ty.ml", line 343, characters 26-40: 343 | let equal_subst = M.equal Pervasives.(=) ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/structures/ty.ml", line 384, characters 45-63: 384 | Set.Make(struct type t = int let compare = Pervasives.compare end) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/symbols.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/errors.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/polynome.ml File "/<>/lib/structures/symbols.ml", line 118, characters 10-28: 118 | | _ -> Pervasives.compare s1 s2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/term.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/parsed.ml File "/<>/lib/structures/term.ml", line 273, characters 4-18: 273 | Pervasives.(=) (String.sub (Sy.to_string v.f) 0 4) "_sko" ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/structures/term.ml", line 341, characters 6-20: 341 | try Pervasives.(=) (String.sub (Hstring.view h) 0 6) "model:" ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/typed.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/frontend/parsed_interface.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/frontend/parsers.ml File "/<>/lib/frontend/parsers.ml", line 39, characters 20-70: 39 | [@ocaml.ppwarning "TODO: add the ability to add parsers dynamically"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22: TODO: add the ability to add parsers dynamically File "/<>/lib/frontend/parsers.ml", line 104, characters 9-24: 104 | if Pervasives.(<>) file "" then ^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/literal.ml File "/<>/lib/structures/literal.ml", line 98, characters 22-40: 98 | let compare a1 a2 = Pervasives.compare a1.tpos a2.tpos ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/fpa_rounding.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo parsers/why/why_parser.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo plugins/fm-simplex/simplex_cache.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/frontend/triggers.ml File "/<>/lib/frontend/triggers.ml", line 37, characters 54-72: 37 | module Vtype = Set.Make(struct type t=int let compare=Pervasives.compare end) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/frontend/triggers.ml", line 54, characters 17-35: 54 | | x , y -> Pervasives.compare x y ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/frontend/triggers.ml", line 59, characters 9-27: 59 | let c = Pervasives.compare x y in if c=0 then compare_list l1 l2 else c ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/frontend/triggers.ml", line 79, characters 11-29: 79 | | _ -> Pervasives.compare c1 c2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/frontend/triggers.ml", line 155, characters 28-46: 155 | if c <> 0 then c else Pervasives.compare (a1, b1, c1, d1) (a2, b2, c2, d2) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/frontend/triggers.ml", line 193, characters 14-32: 193 | let c = Pervasives.compare a1 a2 in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/formula.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/ac.ml File "/<>/lib/structures/formula.ml", line 112, characters 10-28: 112 | let c = Pervasives.compare (size f1) (size f2) in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/structures/formula.ml", line 113, characters 14-32: 113 | if c=0 then Pervasives.compare v1.tag v2.tag else c ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/structures/formula.ml", line 772, characters 6-20: 772 | try Pervasives.(=) (String.sub (Hstring.view h) 0 6) "model:" ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/frontend/typechecker.ml File "/<>/lib/frontend/typechecker.ml", line 39, characters 48-66: 39 | Map.Make(struct type t = string let compare = Pervasives.compare end) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/frontend/typechecker.ml", line 81, characters 30-44: 81 | | PPTvarid (y, _) -> Pervasives.(=) x y ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/frontend/typechecker.ml", line 100, characters 35-49: 100 | | PPTexternal (l, s, loc) when Pervasives.(=) s "farray" -> ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/frontend/typechecker.ml", line 111, characters 28-42: 111 | | Some (id, vars, ty) when Pervasives.(=) s id && ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/frontend/typechecker.ml", line 739, characters 7-21: 739 | if Pervasives.(=) p "<=" || Pervasives.(=) p "<" then ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/frontend/typechecker.ml", line 739, characters 32-46: 739 | if Pervasives.(=) p "<=" || Pervasives.(=) p "<" then ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/frontend/typechecker.ml", line 1726, characters 6-20: 1726 | try Pervasives.(=) (String.sub s 0 2) "@L" with Invalid_argument _ -> false ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/frontend/typechecker.ml", line 1729, characters 6-20: 1729 | try Pervasives.(=) (String.sub s 0 2) "@H" with Invalid_argument _ -> false ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/explanation.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/commands.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/profiling.ml File "/<>/lib/structures/profiling.ml", line 89, characters 7-21: 89 | if Pervasives.(>) v 0. then v else -. v ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/frontend/cnf.ml File "/<>/lib/structures/profiling.ml", line 636, characters 5-19: 636 | if Pervasives.(=) v 0. then fprintf fmt "-- " ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/structures/profiling.ml", line 637, characters 10-24: 637 | else if Pervasives.(<) v 10. then fprintf fmt "%0.5f" v ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/structures/profiling.ml", line 638, characters 10-24: 638 | else if Pervasives.(<) v 100. then fprintf fmt "%0.4f" v ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/frontend/cnf.ml", line 42, characters 20-135: 42 | ...................."TODO: Change Symbols.Float to store FP numeral \ 43 | constants (eg, <24, -149> for single) instead of having terms". Warning 22: TODO: Change Symbols.Float to store FP numeral constants (eg, <24, -149> for single) instead of having terms ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/exception.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/use.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/uf.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/intervals.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/frontend/frontend.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/matching.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/sum.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/records.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/bitv.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/arrays.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/inequalities.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/intervalCalculus.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo plugins/fm-simplex/fmSimplexIneqs.ml File "/<>/lib/reasoners/intervalCalculus.ml", line 1892, characters 32-77: 1892 | [@ocaml.ppwarning "TODO: find an example triggering this case!"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22: TODO: find an example triggering this case! ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/arith.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/combine.ml File "/<>/lib/reasoners/combine.ml", line 484, characters 30-130: 484 | .............................."TODO: a simple way of handling equalities \ 485 | with void and unit is to add this case is the solver !". Warning 22: TODO: a simple way of handling equalities with void and unit is to add this case is the solver ! ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/ccx.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/theory.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/instances.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo plugins/satML/satml.ml File "/<>/plugins/satML/satml.ml", line 1264, characters 4-18: 1264 | Pervasives.(<) (Vec.get env.vars j).weight (Vec.get env.vars i).weight ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/plugins/satML/satml.ml", line 1278, characters 7-21: 1278 | if Pervasives.(>) v.weight 1e100 then begin ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/plugins/satML/satml.ml", line 1290, characters 7-21: 1290 | if Pervasives.(>) c.activity 1e20 then begin ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/plugins/satML/satml.ml", line 1597, characters 12-30: 1597 | let c = Pervasives.compare c1.activity c2.activity in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/fun_sat.ml File "/<>/lib/reasoners/fun_sat.ml", line 73, characters 31-46: 73 | stable := !stable && Pervasives.(<=) w 1e100; ^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/reasoners/fun_sat.ml", line 99, characters 18-36: 99 | let c = Pervasives.compare b2 b1 in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/reasoners/fun_sat.ml", line 101, characters 15-33: 101 | else Pervasives.compare x2 x1 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/reasoners/fun_sat.ml", line 967, characters 4-19: 967 | Pervasives.(<>) (Options.interpretation_timelimit ()) 0. then ^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/sat_solver.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo tools/text/main_text.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo plugins/satML/satml_frontend.ml ocamlopt.opt -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -shared -o fm-simplex-plugin.cmxs plugins/common/vec.cmx plugins/fm-simplex/simplex_cache.cmx plugins/fm-simplex/simplex.cmx plugins/fm-simplex/fmSimplexIneqs.cmx File "/<>/plugins/satML/satml_frontend.ml", line 308, characters 26-79: 308 | [@ocaml.ppwarning "TODO: modifications made in tbox are lost! improve?"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22: TODO: modifications made in tbox are lost! improve? File "/<>/plugins/satML/satml_frontend.ml", line 480, characters 16-34: 480 | let res = Pervasives.compare w2 w1 in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlopt.opt -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -shared -o satML-plugin.cmxs plugins/common/vec.cmx plugins/satML/satml.cmx plugins/satML/satml_frontend.cmx /tmp/camlasmf251e6.s: Assembler messages: /tmp/camlasmf251e6.s:27672: Error: value of 214172 too large for field of 2 bytes at 59438 /tmp/camlasmf251e6.s:27674: Error: value of 207089 too large for field of 2 bytes at 59442 /tmp/camlasmf251e6.s:27676: Error: value of 207089 too large for field of 2 bytes at 59446 /tmp/camlasmf251e6.s:27678: Error: value of 207089 too large for field of 2 bytes at 59450 /tmp/camlasmf251e6.s:27679: Error: value of 207089 too large for field of 2 bytes at 59452 /tmp/camlasmf251e6.s:27680: Error: value of 207089 too large for field of 2 bytes at 59454 /tmp/camlasmf251e6.s:27681: Error: value of 207089 too large for field of 2 bytes at 59456 /tmp/camlasmf251e6.s:27683: Error: value of 207089 too large for field of 2 bytes at 59460 /tmp/camlasmf251e6.s:27684: Error: value of 207089 too large for field of 2 bytes at 59462 /tmp/camlasmf251e6.s:27685: Error: value of 207089 too large for field of 2 bytes at 59464 /tmp/camlasmf251e6.s:27686: Error: value of 207089 too large for field of 2 bytes at 59466 /tmp/camlasmf251e6.s:27687: Error: value of 207089 too large for field of 2 bytes at 59468 /tmp/camlasmf251e6.s:27688: Error: value of 207089 too large for field of 2 bytes at 59470 /tmp/camlasmf251e6.s:27691: Error: value of 207089 too large for field of 2 bytes at 59476 /tmp/camlasmf251e6.s:27692: Error: value of 207089 too large for field of 2 bytes at 59478 /tmp/camlasmf251e6.s:27693: Error: value of 207089 too large for field of 2 bytes at 59480 /tmp/camlasmf251e6.s:27694: Error: value of 207089 too large for field of 2 bytes at 59482 /tmp/camlasmf251e6.s:27695: Error: value of 207089 too large for field of 2 bytes at 59484 /tmp/camlasmf251e6.s:27696: Error: value of 220695 too large for field of 2 bytes at 59486 /tmp/camlasmf251e6.s:27697: Error: value of 220695 too large for field of 2 bytes at 59488 /tmp/camlasmf251e6.s:27698: Error: value of 207089 too large for field of 2 bytes at 59490 /tmp/camlasmf251e6.s:27699: Error: value of 207089 too large for field of 2 bytes at 59492 /tmp/camlasmf251e6.s:27701: Error: value of 207089 too large for field of 2 bytes at 59496 /tmp/camlasmf251e6.s:27703: Error: value of 207089 too large for field of 2 bytes at 59500 /tmp/camlasmf251e6.s:27707: Error: value of 207089 too large for field of 2 bytes at 59508 /tmp/camlasmf251e6.s:27708: Error: value of 70374 too large for field of 2 bytes at 59510 /tmp/camlasmf251e6.s:27709: Error: value of 207089 too large for field of 2 bytes at 59512 /tmp/camlasmf251e6.s:27710: Error: value of 207089 too large for field of 2 bytes at 59514 /tmp/camlasmf251e6.s:27711: Error: value of 207089 too large for field of 2 bytes at 59516 /tmp/camlasmf251e6.s:27712: Error: value of 207089 too large for field of 2 bytes at 59518 /tmp/camlasmf251e6.s:27713: Error: value of 214172 too large for field of 2 bytes at 59520 /tmp/camlasmf251e6.s:27714: Error: value of 214172 too large for field of 2 bytes at 59522 /tmp/camlasmf251e6.s:27715: Error: value of 76857 too large for field of 2 bytes at 59524 /tmp/camlasmf251e6.s:27716: Error: value of 207095 too large for field of 2 bytes at 59526 /tmp/camlasmf251e6.s:27717: Error: value of 83348 too large for field of 2 bytes at 59528 /tmp/camlasmf251e6.s:27718: Error: value of 207089 too large for field of 2 bytes at 59530 /tmp/camlasmf251e6.s:27719: Error: value of 207089 too large for field of 2 bytes at 59532 /tmp/camlasmf251e6.s:27720: Error: value of 207089 too large for field of 2 bytes at 59534 /tmp/camlasmf251e6.s:27721: Error: value of 90346 too large for field of 2 bytes at 59536 /tmp/camlasmf251e6.s:27722: Error: value of 97124 too large for field of 2 bytes at 59538 /tmp/camlasmf251e6.s:27723: Error: value of 207095 too large for field of 2 bytes at 59540 /tmp/camlasmf251e6.s:27724: Error: value of 104023 too large for field of 2 bytes at 59542 /tmp/camlasmf251e6.s:27725: Error: value of 110519 too large for field of 2 bytes at 59544 /tmp/camlasmf251e6.s:27726: Error: value of 115871 too large for field of 2 bytes at 59546 /tmp/camlasmf251e6.s:27727: Error: value of 118725 too large for field of 2 bytes at 59548 /tmp/camlasmf251e6.s:27728: Error: value of 121532 too large for field of 2 bytes at 59550 /tmp/camlasmf251e6.s:27729: Error: value of 124373 too large for field of 2 bytes at 59552 /tmp/camlasmf251e6.s:27730: Error: value of 127223 too large for field of 2 bytes at 59554 /tmp/camlasmf251e6.s:27731: Error: value of 130053 too large for field of 2 bytes at 59556 /tmp/camlasmf251e6.s:27732: Error: value of 132145 too large for field of 2 bytes at 59558 /tmp/camlasmf251e6.s:27733: Error: value of 134989 too large for field of 2 bytes at 59560 /tmp/camlasmf251e6.s:27734: Error: value of 140724 too large for field of 2 bytes at 59562 /tmp/camlasmf251e6.s:27735: Error: value of 141369 too large for field of 2 bytes at 59564 /tmp/camlasmf251e6.s:27736: Error: value of 142015 too large for field of 2 bytes at 59566 /tmp/camlasmf251e6.s:27737: Error: value of 144126 too large for field of 2 bytes at 59568 /tmp/camlasmf251e6.s:27738: Error: value of 150588 too large for field of 2 bytes at 59570 /tmp/camlasmf251e6.s:27739: Error: value of 207095 too large for field of 2 bytes at 59572 /tmp/camlasmf251e6.s:27740: Error: value of 151242 too large for field of 2 bytes at 59574 /tmp/camlasmf251e6.s:27741: Error: value of 151896 too large for field of 2 bytes at 59576 /tmp/camlasmf251e6.s:27742: Error: value of 158736 too large for field of 2 bytes at 59578 /tmp/camlasmf251e6.s:27743: Error: value of 158777 too large for field of 2 bytes at 59580 /tmp/camlasmf251e6.s:27744: Error: value of 158816 too large for field of 2 bytes at 59582 /tmp/camlasmf251e6.s:27745: Error: value of 165586 too large for field of 2 bytes at 59584 /tmp/camlasmf251e6.s:27746: Error: value of 207089 too large for field of 2 bytes at 59586 /tmp/camlasmf251e6.s:27747: Error: value of 207089 too large for field of 2 bytes at 59588 /tmp/camlasmf251e6.s:27748: Error: value of 207089 too large for field of 2 bytes at 59590 /tmp/camlasmf251e6.s:27749: Error: value of 214172 too large for field of 2 bytes at 59592 /tmp/camlasmf251e6.s:27750: Error: value of 207089 too large for field of 2 bytes at 59594 /tmp/camlasmf251e6.s:27751: Error: value of 207089 too large for field of 2 bytes at 59596 /tmp/camlasmf251e6.s:27752: Error: value of 207089 too large for field of 2 bytes at 59598 /tmp/camlasmf251e6.s:27753: Error: value of 207089 too large for field of 2 bytes at 59600 /tmp/camlasmf251e6.s:27754: Error: value of 207089 too large for field of 2 bytes at 59602 /tmp/camlasmf251e6.s:27755: Error: value of 207089 too large for field of 2 bytes at 59604 /tmp/camlasmf251e6.s:27756: Error: value of 173457 too large for field of 2 bytes at 59606 /tmp/camlasmf251e6.s:27757: Error: value of 180253 too large for field of 2 bytes at 59608 /tmp/camlasmf251e6.s:27758: Error: value of 207089 too large for field of 2 bytes at 59610 /tmp/camlasmf251e6.s:27759: Error: value of 207089 too large for field of 2 bytes at 59612 /tmp/camlasmf251e6.s:27760: Error: value of 187135 too large for field of 2 bytes at 59614 /tmp/camlasmf251e6.s:27761: Error: value of 193588 too large for field of 2 bytes at 59616 /tmp/camlasmf251e6.s:27762: Error: value of 207089 too large for field of 2 bytes at 59618 /tmp/camlasmf251e6.s:27763: Error: value of 200373 too large for field of 2 bytes at 59620 /tmp/camlasmf251e6.s:27764: Error: value of 200416 too large for field of 2 bytes at 59622 /tmp/camlasmf251e6.s:27765: Error: value of 200459 too large for field of 2 bytes at 59624 /tmp/camlasmf251e6.s:27766: Error: value of 200504 too large for field of 2 bytes at 59626 /tmp/camlasmf251e6.s:27767: Error: value of 207089 too large for field of 2 bytes at 59628 /tmp/camlasmf251e6.s:27768: Error: value of 207089 too large for field of 2 bytes at 59630 /tmp/camlasmf251e6.s:27769: Error: value of 207089 too large for field of 2 bytes at 59632 /tmp/camlasmf251e6.s:27770: Error: value of 207089 too large for field of 2 bytes at 59634 /tmp/camlasmf251e6.s:27771: Error: value of 207089 too large for field of 2 bytes at 59636 /tmp/camlasmf251e6.s:27772: Error: value of 207089 too large for field of 2 bytes at 59638 /tmp/camlasmf251e6.s:27773: Error: value of 207089 too large for field of 2 bytes at 59640 /tmp/camlasmf251e6.s:27774: Error: value of 207089 too large for field of 2 bytes at 59642 /tmp/camlasmf251e6.s:27775: Error: value of 207089 too large for field of 2 bytes at 59644 /tmp/camlasmf251e6.s:27776: Error: value of 207089 too large for field of 2 bytes at 59646 /tmp/camlasmf251e6.s:27777: Error: value of 207089 too large for field of 2 bytes at 59648 /tmp/camlasmf251e6.s:27778: Error: value of 207089 too large for field of 2 bytes at 59650 /tmp/camlasmf251e6.s:27779: Error: value of 207089 too large for field of 2 bytes at 59652 /tmp/camlasmf251e6.s:27780: Error: value of 207089 too large for field of 2 bytes at 59654 /tmp/camlasmf251e6.s:27781: Error: value of 207089 too large for field of 2 bytes at 59656 /tmp/camlasmf251e6.s:27782: Error: value of 207089 too large for field of 2 bytes at 59658 /tmp/camlasmf251e6.s:27783: Error: value of 207089 too large for field of 2 bytes at 59660 /tmp/camlasmf251e6.s:27784: Error: value of 207089 too large for field of 2 bytes at 59662 /tmp/camlasmf251e6.s:27785: Error: value of 207089 too large for field of 2 bytes at 59664 /tmp/camlasmf251e6.s:27786: Error: value of 207089 too large for field of 2 bytes at 59666 File "/<>/parsers/why/why_parser.ml", line 1: Error: Assembler error, input left in file /tmp/camlasmf251e6.s make[1]: *** [Makefile.users:273: parsers/why/why_parser.cmx] Error 2 make[1]: Leaving directory '/<>' dh_auto_build: error: make -j4 returned exit code 2 make: *** [debian/rules:7: build-arch] Error 25 dpkg-buildpackage: error: debian/rules build-arch subprocess returned exit status 2 -------------------------------------------------------------------------------- Build finished at 20200521-1646 Finished -------- E: Build failure (dpkg-buildpackage died) +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: armhf Build-Space: 56852 Build-Time: 56 Distribution: groovy-proposed Fail-Stage: build Host Architecture: armhf Install-Time: 56 Job: alt-ergo_2.0.0-6.dsc Machine Architecture: arm64 Package: alt-ergo Package-Time: 116 Source-Version: 2.0.0-6 Space: 56852 Status: attempted Version: 2.0.0-6 -------------------------------------------------------------------------------- Finished at 20200521-1646 Build needed 00:01:56, 56852k disc space RUN: /usr/share/launchpad-buildd/bin/in-target scan-for-processes --backend=chroot --series=groovy --arch=armhf PACKAGEBUILD-19212809 Scanning for processes to kill in build PACKAGEBUILD-19212809