https://launchpad.net/ubuntu/+source/alt-ergo/2.0.0-7build2/+build/20343121 RUN: /usr/share/launchpad-buildd/bin/builder-prep Kernel version: Linux bos02-arm64-002 4.15.0-156-generic #163-Ubuntu SMP Thu Aug 19 23:31:36 UTC 2021 aarch64 Buildd toolchain package versions: launchpad-buildd_200~495~ubuntu18.04.1 python3-lpbuildd_200~495~ubuntu18.04.1 sbuild_0.75.0-1ubuntu1 bzr-builder_0.7.3+bzr174~ppa13~ubuntu16.04.1 bzr_2.7.0+bzr6622-10 git-build-recipe_0.3.6~git201906051340.ff11471~ubuntu18.04.1 git_1:2.17.1-1ubuntu0.8 dpkg-dev_1.19.0.5ubuntu2.3 python-debian_0.1.32 python3-debian_0.1.32. Syncing the system clock with the buildd NTP service... 10 Sep 17:32:28 ntpdate[1727]: adjust time server 10.211.37.1 offset -0.001164 sec RUN: /usr/share/launchpad-buildd/bin/in-target unpack-chroot --backend=chroot --series=hirsute --arch=armhf PACKAGEBUILD-20343121 --image-type chroot /home/buildd/filecache-default/97616dc8f1f80df2f95e447b7ddaa1d0ac1b5f62 Creating target for build PACKAGEBUILD-20343121 RUN: /usr/share/launchpad-buildd/bin/in-target mount-chroot --backend=chroot --series=hirsute --arch=armhf PACKAGEBUILD-20343121 Starting target for build PACKAGEBUILD-20343121 RUN: /usr/share/launchpad-buildd/bin/in-target override-sources-list --backend=chroot --series=hirsute --arch=armhf PACKAGEBUILD-20343121 'deb http://ftpmaster.internal/ubuntu hirsute main universe' 'deb http://ftpmaster.internal/ubuntu hirsute-security main universe' 'deb http://ftpmaster.internal/ubuntu hirsute-updates main universe' 'deb http://ftpmaster.internal/ubuntu hirsute-proposed main universe' Overriding sources.list in build-PACKAGEBUILD-20343121 RUN: /usr/share/launchpad-buildd/bin/in-target update-debian-chroot --backend=chroot --series=hirsute --arch=armhf PACKAGEBUILD-20343121 Updating target for build PACKAGEBUILD-20343121 Get:1 http://ftpmaster.internal/ubuntu hirsute InRelease [269 kB] Get:2 http://ftpmaster.internal/ubuntu hirsute-security InRelease [110 kB] Get:3 http://ftpmaster.internal/ubuntu hirsute-updates InRelease [115 kB] Get:4 http://ftpmaster.internal/ubuntu hirsute-proposed InRelease [269 kB] Get:5 http://ftpmaster.internal/ubuntu hirsute/main armhf Packages [1348 kB] Get:6 http://ftpmaster.internal/ubuntu hirsute/main Translation-en [511 kB] Get:7 http://ftpmaster.internal/ubuntu hirsute/universe armhf Packages [12.7 MB] Get:8 http://ftpmaster.internal/ubuntu hirsute/universe Translation-en [5441 kB] Get:9 http://ftpmaster.internal/ubuntu hirsute-security/main armhf Packages [187 kB] Get:10 http://ftpmaster.internal/ubuntu hirsute-security/main Translation-en [61.9 kB] Get:11 http://ftpmaster.internal/ubuntu hirsute-security/universe armhf Packages [166 kB] Get:12 http://ftpmaster.internal/ubuntu hirsute-security/universe Translation-en [42.8 kB] Get:13 http://ftpmaster.internal/ubuntu hirsute-updates/main armhf Packages [302 kB] Get:14 http://ftpmaster.internal/ubuntu hirsute-updates/main Translation-en [95.8 kB] Get:15 http://ftpmaster.internal/ubuntu hirsute-updates/universe armhf Packages [236 kB] Get:16 http://ftpmaster.internal/ubuntu hirsute-updates/universe Translation-en [69.4 kB] Get:17 http://ftpmaster.internal/ubuntu hirsute-proposed/main armhf Packages [46.1 kB] Get:18 http://ftpmaster.internal/ubuntu hirsute-proposed/main Translation-en [19.1 kB] Get:19 http://ftpmaster.internal/ubuntu hirsute-proposed/universe armhf Packages [65.5 kB] Get:20 http://ftpmaster.internal/ubuntu hirsute-proposed/universe Translation-en [24.2 kB] Fetched 22.1 MB in 5s (4275 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 base-passwd dpkg dpkg-dev gcc-11-base libapparmor1 libapt-pkg6.0 libasan6 libatomic1 libcc1-0 libdpkg-perl libgcc-s1 libgomp1 libhogweed6 liblz4-1 libnettle8 libpam-modules libpam-modules-bin libpam-runtime libpam0g libperl5.32 libprocps8 libssl1.1 libstdc++6 libsystemd0 libubsan1 libudev1 linux-libc-dev login openssl passwd perl perl-base perl-modules-5.32 procps systemd systemd-sysv systemd-timesyncd 39 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 25.3 MB of archives. After this operation, 208 kB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu hirsute/main armhf base-files armhf 11ubuntu19 [60.1 kB] Get:2 http://ftpmaster.internal/ubuntu hirsute/main armhf dpkg armhf 1.20.9ubuntu1 [1218 kB] Get:3 http://ftpmaster.internal/ubuntu hirsute-updates/main armhf login armhf 1:4.8.1-1ubuntu8.1 [217 kB] Get:4 http://ftpmaster.internal/ubuntu hirsute-security/main armhf libperl5.32 armhf 5.32.1-3ubuntu2.1 [3360 kB] Get:5 http://ftpmaster.internal/ubuntu hirsute-security/main armhf perl armhf 5.32.1-3ubuntu2.1 [225 kB] Get:6 http://ftpmaster.internal/ubuntu hirsute-security/main armhf perl-base armhf 5.32.1-3ubuntu2.1 [1423 kB] Get:7 http://ftpmaster.internal/ubuntu hirsute-security/main armhf perl-modules-5.32 all 5.32.1-3ubuntu2.1 [2755 kB] Get:8 http://ftpmaster.internal/ubuntu hirsute-updates/main armhf base-passwd armhf 3.5.49ubuntu1 [46.1 kB] Get:9 http://ftpmaster.internal/ubuntu hirsute-security/main armhf libasan6 armhf 11.1.0-1ubuntu1~21.04 [2105 kB] Get:10 http://ftpmaster.internal/ubuntu hirsute-security/main armhf libubsan1 armhf 11.1.0-1ubuntu1~21.04 [808 kB] Get:11 http://ftpmaster.internal/ubuntu hirsute-security/main armhf libgomp1 armhf 11.1.0-1ubuntu1~21.04 [91.3 kB] Get:12 http://ftpmaster.internal/ubuntu hirsute-security/main armhf gcc-11-base armhf 11.1.0-1ubuntu1~21.04 [19.0 kB] Get:13 http://ftpmaster.internal/ubuntu hirsute-security/main armhf libgcc-s1 armhf 11.1.0-1ubuntu1~21.04 [36.4 kB] Get:14 http://ftpmaster.internal/ubuntu hirsute-security/main armhf libcc1-0 armhf 11.1.0-1ubuntu1~21.04 [41.2 kB] Get:15 http://ftpmaster.internal/ubuntu hirsute-security/main armhf libatomic1 armhf 11.1.0-1ubuntu1~21.04 [7228 B] Get:16 http://ftpmaster.internal/ubuntu hirsute-security/main armhf libstdc++6 armhf 11.1.0-1ubuntu1~21.04 [499 kB] Get:17 http://ftpmaster.internal/ubuntu hirsute-security/main armhf liblz4-1 armhf 1.9.3-1ubuntu0.1 [50.0 kB] Get:18 http://ftpmaster.internal/ubuntu hirsute-proposed/main armhf systemd-timesyncd armhf 247.3-3ubuntu3.6 [27.9 kB] Get:19 http://ftpmaster.internal/ubuntu hirsute-proposed/main armhf systemd-sysv armhf 247.3-3ubuntu3.6 [10.3 kB] Get:20 http://ftpmaster.internal/ubuntu hirsute-updates/main armhf libapparmor1 armhf 3.0.0-0ubuntu7.1 [29.3 kB] Get:21 http://ftpmaster.internal/ubuntu hirsute-updates/main armhf libpam0g armhf 1.3.1-5ubuntu6.21.04.1 [50.3 kB] Get:22 http://ftpmaster.internal/ubuntu hirsute-proposed/main armhf systemd armhf 247.3-3ubuntu3.6 [4122 kB] Get:23 http://ftpmaster.internal/ubuntu hirsute-proposed/main armhf libsystemd0 armhf 247.3-3ubuntu3.6 [251 kB] Get:24 http://ftpmaster.internal/ubuntu hirsute-proposed/main armhf libudev1 armhf 247.3-3ubuntu3.6 [62.6 kB] Get:25 http://ftpmaster.internal/ubuntu hirsute-updates/main armhf libapt-pkg6.0 armhf 2.2.4ubuntu0.1 [785 kB] Get:26 http://ftpmaster.internal/ubuntu hirsute-updates/main armhf apt armhf 2.2.4ubuntu0.1 [1285 kB] Get:27 http://ftpmaster.internal/ubuntu hirsute-updates/main armhf libpam-modules-bin armhf 1.3.1-5ubuntu6.21.04.1 [36.8 kB] Get:28 http://ftpmaster.internal/ubuntu hirsute-updates/main armhf libpam-modules armhf 1.3.1-5ubuntu6.21.04.1 [243 kB] Get:29 http://ftpmaster.internal/ubuntu hirsute-updates/main armhf libpam-runtime all 1.3.1-5ubuntu6.21.04.1 [37.3 kB] Get:30 http://ftpmaster.internal/ubuntu hirsute-updates/main armhf passwd armhf 1:4.8.1-1ubuntu8.1 [752 kB] Get:31 http://ftpmaster.internal/ubuntu hirsute-security/main armhf libnettle8 armhf 3.7-2.1ubuntu1.1 [158 kB] Get:32 http://ftpmaster.internal/ubuntu hirsute-security/main armhf libhogweed6 armhf 3.7-2.1ubuntu1.1 [183 kB] Get:33 http://ftpmaster.internal/ubuntu hirsute-security/main armhf libssl1.1 armhf 1.1.1j-1ubuntu3.5 [1081 kB] Get:34 http://ftpmaster.internal/ubuntu hirsute-updates/main armhf libprocps8 armhf 2:3.3.16-5ubuntu3.1 [29.4 kB] Get:35 http://ftpmaster.internal/ubuntu hirsute-updates/main armhf procps armhf 2:3.3.16-5ubuntu3.1 [222 kB] Get:36 http://ftpmaster.internal/ubuntu hirsute-security/main armhf openssl armhf 1.1.1j-1ubuntu3.5 [598 kB] Get:37 http://ftpmaster.internal/ubuntu hirsute/main armhf dpkg-dev all 1.20.9ubuntu1 [937 kB] Get:38 http://ftpmaster.internal/ubuntu hirsute/main armhf libdpkg-perl all 1.20.9ubuntu1 [232 kB] Get:39 http://ftpmaster.internal/ubuntu hirsute-proposed/main armhf linux-libc-dev armhf 5.11.0-35.37 [1197 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 25.3 MB in 1s (35.1 MB/s) (Reading database ... 12870 files and directories currently installed.) Preparing to unpack .../base-files_11ubuntu19_armhf.deb ... Unpacking base-files (11ubuntu19) over (11ubuntu18) ... Setting up base-files (11ubuntu19) ... Installing new version of config file /etc/issue ... Installing new version of config file /etc/issue.net ... Installing new version of config file /etc/lsb-release ... (Reading database ... 12870 files and directories currently installed.) Preparing to unpack .../dpkg_1.20.9ubuntu1_armhf.deb ... Unpacking dpkg (1.20.9ubuntu1) over (1.20.7.1ubuntu4) ... Setting up dpkg (1.20.9ubuntu1) ... (Reading database ... 12875 files and directories currently installed.) Preparing to unpack .../login_1%3a4.8.1-1ubuntu8.1_armhf.deb ... Unpacking login (1:4.8.1-1ubuntu8.1) over (1:4.8.1-1ubuntu8) ... Setting up login (1:4.8.1-1ubuntu8.1) ... (Reading database ... 12875 files and directories currently installed.) Preparing to unpack .../libperl5.32_5.32.1-3ubuntu2.1_armhf.deb ... Unpacking libperl5.32:armhf (5.32.1-3ubuntu2.1) over (5.32.1-3ubuntu2) ... Preparing to unpack .../perl_5.32.1-3ubuntu2.1_armhf.deb ... Unpacking perl (5.32.1-3ubuntu2.1) over (5.32.1-3ubuntu2) ... Preparing to unpack .../perl-base_5.32.1-3ubuntu2.1_armhf.deb ... Unpacking perl-base (5.32.1-3ubuntu2.1) over (5.32.1-3ubuntu2) ... Setting up perl-base (5.32.1-3ubuntu2.1) ... (Reading database ... 12875 files and directories currently installed.) Preparing to unpack .../perl-modules-5.32_5.32.1-3ubuntu2.1_all.deb ... Unpacking perl-modules-5.32 (5.32.1-3ubuntu2.1) over (5.32.1-3ubuntu2) ... Preparing to unpack .../base-passwd_3.5.49ubuntu1_armhf.deb ... Unpacking base-passwd (3.5.49ubuntu1) over (3.5.49) ... Setting up base-passwd (3.5.49ubuntu1) ... (Reading database ... 12875 files and directories currently installed.) Preparing to unpack .../libasan6_11.1.0-1ubuntu1~21.04_armhf.deb ... Unpacking libasan6:armhf (11.1.0-1ubuntu1~21.04) over (11-20210417-1ubuntu1) ... Preparing to unpack .../libubsan1_11.1.0-1ubuntu1~21.04_armhf.deb ... Unpacking libubsan1:armhf (11.1.0-1ubuntu1~21.04) over (11-20210417-1ubuntu1) ... Preparing to unpack .../libgomp1_11.1.0-1ubuntu1~21.04_armhf.deb ... Unpacking libgomp1:armhf (11.1.0-1ubuntu1~21.04) over (11-20210417-1ubuntu1) ... Preparing to unpack .../gcc-11-base_11.1.0-1ubuntu1~21.04_armhf.deb ... Unpacking gcc-11-base:armhf (11.1.0-1ubuntu1~21.04) over (11-20210417-1ubuntu1) ... Setting up gcc-11-base:armhf (11.1.0-1ubuntu1~21.04) ... (Reading database ... 12875 files and directories currently installed.) Preparing to unpack .../libgcc-s1_11.1.0-1ubuntu1~21.04_armhf.deb ... Unpacking libgcc-s1:armhf (11.1.0-1ubuntu1~21.04) over (11-20210417-1ubuntu1) ... Setting up libgcc-s1:armhf (11.1.0-1ubuntu1~21.04) ... (Reading database ... 12875 files and directories currently installed.) Preparing to unpack .../libcc1-0_11.1.0-1ubuntu1~21.04_armhf.deb ... Unpacking libcc1-0:armhf (11.1.0-1ubuntu1~21.04) over (11-20210417-1ubuntu1) ... Preparing to unpack .../libatomic1_11.1.0-1ubuntu1~21.04_armhf.deb ... Unpacking libatomic1:armhf (11.1.0-1ubuntu1~21.04) over (11-20210417-1ubuntu1) ... Preparing to unpack .../libstdc++6_11.1.0-1ubuntu1~21.04_armhf.deb ... Unpacking libstdc++6:armhf (11.1.0-1ubuntu1~21.04) over (11-20210417-1ubuntu1) ... Setting up libstdc++6:armhf (11.1.0-1ubuntu1~21.04) ... (Reading database ... 12875 files and directories currently installed.) Preparing to unpack .../liblz4-1_1.9.3-1ubuntu0.1_armhf.deb ... Unpacking liblz4-1:armhf (1.9.3-1ubuntu0.1) over (1.9.3-1build1) ... Setting up liblz4-1:armhf (1.9.3-1ubuntu0.1) ... (Reading database ... 12875 files and directories currently installed.) Preparing to unpack .../systemd-timesyncd_247.3-3ubuntu3.6_armhf.deb ... Unpacking systemd-timesyncd (247.3-3ubuntu3.6) over (247.3-3ubuntu3) ... Preparing to unpack .../systemd-sysv_247.3-3ubuntu3.6_armhf.deb ... Unpacking systemd-sysv (247.3-3ubuntu3.6) over (247.3-3ubuntu3) ... Preparing to unpack .../libapparmor1_3.0.0-0ubuntu7.1_armhf.deb ... Unpacking libapparmor1:armhf (3.0.0-0ubuntu7.1) over (3.0.0-0ubuntu7) ... Preparing to unpack .../libpam0g_1.3.1-5ubuntu6.21.04.1_armhf.deb ... Unpacking libpam0g:armhf (1.3.1-5ubuntu6.21.04.1) over (1.3.1-5ubuntu6) ... Setting up libpam0g:armhf (1.3.1-5ubuntu6.21.04.1) ... (Reading database ... 12875 files and directories currently installed.) Preparing to unpack .../systemd_247.3-3ubuntu3.6_armhf.deb ... Unpacking systemd (247.3-3ubuntu3.6) over (247.3-3ubuntu3) ... Preparing to unpack .../libsystemd0_247.3-3ubuntu3.6_armhf.deb ... Unpacking libsystemd0:armhf (247.3-3ubuntu3.6) over (247.3-3ubuntu3) ... Setting up libsystemd0:armhf (247.3-3ubuntu3.6) ... (Reading database ... 12876 files and directories currently installed.) Preparing to unpack .../libudev1_247.3-3ubuntu3.6_armhf.deb ... Unpacking libudev1:armhf (247.3-3ubuntu3.6) over (247.3-3ubuntu3) ... Setting up libudev1:armhf (247.3-3ubuntu3.6) ... (Reading database ... 12876 files and directories currently installed.) Preparing to unpack .../libapt-pkg6.0_2.2.4ubuntu0.1_armhf.deb ... Unpacking libapt-pkg6.0:armhf (2.2.4ubuntu0.1) over (2.2.3) ... Setting up libapt-pkg6.0:armhf (2.2.4ubuntu0.1) ... (Reading database ... 12876 files and directories currently installed.) Preparing to unpack .../apt_2.2.4ubuntu0.1_armhf.deb ... Unpacking apt (2.2.4ubuntu0.1) over (2.2.3) ... Setting up apt (2.2.4ubuntu0.1) ... (Reading database ... 12876 files and directories currently installed.) Preparing to unpack .../libpam-modules-bin_1.3.1-5ubuntu6.21.04.1_armhf.deb ... Unpacking libpam-modules-bin (1.3.1-5ubuntu6.21.04.1) over (1.3.1-5ubuntu6) ... Setting up libpam-modules-bin (1.3.1-5ubuntu6.21.04.1) ... (Reading database ... 12878 files and directories currently installed.) Preparing to unpack .../libpam-modules_1.3.1-5ubuntu6.21.04.1_armhf.deb ... Unpacking libpam-modules:armhf (1.3.1-5ubuntu6.21.04.1) over (1.3.1-5ubuntu6) ... Setting up libpam-modules:armhf (1.3.1-5ubuntu6.21.04.1) ... (Reading database ... 12882 files and directories currently installed.) Preparing to unpack .../libpam-runtime_1.3.1-5ubuntu6.21.04.1_all.deb ... Unpacking libpam-runtime (1.3.1-5ubuntu6.21.04.1) over (1.3.1-5ubuntu6) ... Setting up libpam-runtime (1.3.1-5ubuntu6.21.04.1) ... (Reading database ... 12882 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.8.1-1ubuntu8.1_armhf.deb ... Unpacking passwd (1:4.8.1-1ubuntu8.1) over (1:4.8.1-1ubuntu8) ... Setting up passwd (1:4.8.1-1ubuntu8.1) ... (Reading database ... 12882 files and directories currently installed.) Preparing to unpack .../libnettle8_3.7-2.1ubuntu1.1_armhf.deb ... Unpacking libnettle8:armhf (3.7-2.1ubuntu1.1) over (3.7-2.1ubuntu1) ... Setting up libnettle8:armhf (3.7-2.1ubuntu1.1) ... (Reading database ... 12882 files and directories currently installed.) Preparing to unpack .../libhogweed6_3.7-2.1ubuntu1.1_armhf.deb ... Unpacking libhogweed6:armhf (3.7-2.1ubuntu1.1) over (3.7-2.1ubuntu1) ... Setting up libhogweed6:armhf (3.7-2.1ubuntu1.1) ... (Reading database ... 12882 files and directories currently installed.) Preparing to unpack .../libssl1.1_1.1.1j-1ubuntu3.5_armhf.deb ... Unpacking libssl1.1:armhf (1.1.1j-1ubuntu3.5) over (1.1.1j-1ubuntu3) ... Setting up libssl1.1:armhf (1.1.1j-1ubuntu3.5) ... (Reading database ... 12882 files and directories currently installed.) Preparing to unpack .../0-libprocps8_2%3a3.3.16-5ubuntu3.1_armhf.deb ... Unpacking libprocps8:armhf (2:3.3.16-5ubuntu3.1) over (2:3.3.16-5ubuntu3) ... Preparing to unpack .../1-procps_2%3a3.3.16-5ubuntu3.1_armhf.deb ... Unpacking procps (2:3.3.16-5ubuntu3.1) over (2:3.3.16-5ubuntu3) ... Preparing to unpack .../2-openssl_1.1.1j-1ubuntu3.5_armhf.deb ... Unpacking openssl (1.1.1j-1ubuntu3.5) over (1.1.1j-1ubuntu3) ... Preparing to unpack .../3-dpkg-dev_1.20.9ubuntu1_all.deb ... Unpacking dpkg-dev (1.20.9ubuntu1) over (1.20.7.1ubuntu4) ... Preparing to unpack .../4-libdpkg-perl_1.20.9ubuntu1_all.deb ... Unpacking libdpkg-perl (1.20.9ubuntu1) over (1.20.7.1ubuntu4) ... Preparing to unpack .../5-linux-libc-dev_5.11.0-35.37_armhf.deb ... Unpacking linux-libc-dev:armhf (5.11.0-35.37) over (5.11.0-14.15) ... Setting up libapparmor1:armhf (3.0.0-0ubuntu7.1) ... Setting up perl-modules-5.32 (5.32.1-3ubuntu2.1) ... Setting up linux-libc-dev:armhf (5.11.0-35.37) ... Setting up libgomp1:armhf (11.1.0-1ubuntu1~21.04) ... Setting up libasan6:armhf (11.1.0-1ubuntu1~21.04) ... Setting up libatomic1:armhf (11.1.0-1ubuntu1~21.04) ... Setting up libperl5.32:armhf (5.32.1-3ubuntu2.1) ... Setting up libubsan1:armhf (11.1.0-1ubuntu1~21.04) ... Setting up openssl (1.1.1j-1ubuntu3.5) ... Setting up libcc1-0:armhf (11.1.0-1ubuntu1~21.04) ... Setting up libprocps8:armhf (2:3.3.16-5ubuntu3.1) ... Setting up perl (5.32.1-3ubuntu2.1) ... Setting up libdpkg-perl (1.20.9ubuntu1) ... Setting up procps (2:3.3.16-5ubuntu3.1) ... Setting up dpkg-dev (1.20.9ubuntu1) ... Setting up systemd (247.3-3ubuntu3.6) ... Initializing machine ID from random generator. Setting up systemd-timesyncd (247.3-3ubuntu3.6) ... Setting up systemd-sysv (247.3-3ubuntu3.6) ... Processing triggers for libc-bin (2.33-0ubuntu5) ... RUN: /usr/share/launchpad-buildd/bin/sbuild-package PACKAGEBUILD-20343121 armhf hirsute-proposed -c chroot:build-PACKAGEBUILD-20343121 --arch=armhf --dist=hirsute-proposed --nolog alt-ergo_2.0.0-7build2.dsc Initiating build PACKAGEBUILD-20343121 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 4.15.0-156-generic #163-Ubuntu SMP Thu Aug 19 23:31:36 UTC 2021 armv7l sbuild (Debian sbuild) 0.75.0 (21 Mar 2018) on bos02-arm64-002.buildd +==============================================================================+ | alt-ergo 2.0.0-7build2 (armhf) Fri, 10 Sep 2021 17:33:09 +0000 | +==============================================================================+ Package: alt-ergo Version: 2.0.0-7build2 Source Version: 2.0.0-7build2 Distribution: hirsute-proposed Machine Architecture: arm64 Host Architecture: armhf Build Architecture: armhf Build Type: any I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-20343121/chroot-autobuild' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- alt-ergo_2.0.0-7build2.dsc exists in .; copying to chroot I: NOTICE: Log filtering will replace 'build/alt-ergo-JUJ7H6/alt-ergo-2.0.0' with '<>' I: NOTICE: Log filtering will replace 'build/alt-ergo-JUJ7H6' with '<>' +------------------------------------------------------------------------------+ | Install build-essential | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: build-essential, fakeroot Filtered Build-Depends: build-essential, fakeroot dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<>/resolver-4z9em7/apt_archive/sbuild-build-depends-core-dummy.deb'. dpkg-scanpackages: warning: Packages in archive but missing from override file: dpkg-scanpackages: warning: sbuild-build-depends-core-dummy dpkg-scanpackages: info: Wrote 1 entries to output Packages file. Ign:1 copy:/<>/resolver-4z9em7/apt_archive ./ InRelease Get:2 copy:/<>/resolver-4z9em7/apt_archive ./ Release [957 B] Ign:3 copy:/<>/resolver-4z9em7/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-4z9em7/apt_archive ./ Sources [349 B] Get:5 copy:/<>/resolver-4z9em7/apt_archive ./ Packages [433 B] Fetched 1739 B in 0s (44.6 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-4z9em7/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 (75.3 kB/s) Selecting previously unselected package sbuild-build-depends-core-dummy. (Reading database ... 12884 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) ... +------------------------------------------------------------------------------+ | Check architectures | +------------------------------------------------------------------------------+ Arch check ok (armhf included in any) +------------------------------------------------------------------------------+ | Install package build dependencies | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: debhelper-compat (= 13), dh-ocaml, 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 (= 13), dh-ocaml, 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-4z9em7/apt_archive/sbuild-build-depends-alt-ergo-dummy.deb'. dpkg-scanpackages: warning: Packages in archive but missing from override file: dpkg-scanpackages: warning: sbuild-build-depends-alt-ergo-dummy sbuild-build-depends-core-dummy dpkg-scanpackages: info: Wrote 2 entries to output Packages file. Ign:1 copy:/<>/resolver-4z9em7/apt_archive ./ InRelease Get:2 copy:/<>/resolver-4z9em7/apt_archive ./ Release [963 B] Ign:3 copy:/<>/resolver-4z9em7/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-4z9em7/apt_archive ./ Sources [583 B] Get:5 copy:/<>/resolver-4z9em7/apt_archive ./ Packages [668 B] Fetched 2214 B in 0s (58.0 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 bsdextrautils debhelper debugedit dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libdebhelper-perl libdw1 libelf1 libfile-stripnondeterminism-perl libfindlib-ocaml libgmp-dev libgmp3-dev libgmpxx4ldbl libicu67 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 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 elpa-tuareg libmail-box-perl Recommended packages: curl | wget | lynx libarchive-cpio-perl 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 bsdextrautils debhelper debugedit dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libdebhelper-perl libdw1 libelf1 libfile-stripnondeterminism-perl libfindlib-ocaml libgmp-dev libgmp3-dev libgmpxx4ldbl libicu67 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, 55 newly installed, 0 to remove and 0 not upgraded. Need to get 124 MB of archives. After this operation, 501 MB of additional disk space will be used. Get:1 copy:/<>/resolver-4z9em7/apt_archive ./ sbuild-build-depends-alt-ergo-dummy 0.invalid.0 [948 B] Get:2 http://ftpmaster.internal/ubuntu hirsute/main armhf bsdextrautils armhf 2.36.1-7ubuntu2 [74.4 kB] Get:3 http://ftpmaster.internal/ubuntu hirsute/main armhf libuchardet0 armhf 0.0.7-1 [65.0 kB] Get:4 http://ftpmaster.internal/ubuntu hirsute/main armhf groff-base armhf 1.22.4-6 [774 kB] Get:5 http://ftpmaster.internal/ubuntu hirsute/main armhf libpipeline1 armhf 1.5.3-1 [23.3 kB] Get:6 http://ftpmaster.internal/ubuntu hirsute/main armhf man-db armhf 2.9.4-2 [1118 kB] Get:7 http://ftpmaster.internal/ubuntu hirsute/main armhf libelf1 armhf 0.183-8 [40.0 kB] Get:8 http://ftpmaster.internal/ubuntu hirsute/main armhf libicu67 armhf 67.1-6ubuntu2 [8301 kB] Get:9 http://ftpmaster.internal/ubuntu hirsute-security/main armhf libxml2 armhf 2.9.10+dfsg-6.3ubuntu0.1 [530 kB] Get:10 http://ftpmaster.internal/ubuntu hirsute/main armhf libmagic-mgc armhf 1:5.39-3 [228 kB] Get:11 http://ftpmaster.internal/ubuntu hirsute/main armhf libmagic1 armhf 1:5.39-3 [71.7 kB] Get:12 http://ftpmaster.internal/ubuntu hirsute/main armhf file armhf 1:5.39-3 [22.7 kB] Get:13 http://ftpmaster.internal/ubuntu hirsute/main armhf gettext-base armhf 0.21-3ubuntu2 [36.2 kB] Get:14 http://ftpmaster.internal/ubuntu hirsute/main armhf libsigsegv2 armhf 2.13-1ubuntu1 [13.4 kB] Get:15 http://ftpmaster.internal/ubuntu hirsute/main armhf m4 armhf 1.4.18-5 [187 kB] Get:16 http://ftpmaster.internal/ubuntu hirsute/main armhf autoconf all 2.69-14 [293 kB] Get:17 http://ftpmaster.internal/ubuntu hirsute/main armhf autotools-dev all 20180224.1+nmu1 [39.4 kB] Get:18 http://ftpmaster.internal/ubuntu hirsute/main armhf automake all 1:1.16.3-2ubuntu1 [552 kB] Get:19 http://ftpmaster.internal/ubuntu hirsute/main armhf autopoint all 0.21-3ubuntu2 [422 kB] Get:20 http://ftpmaster.internal/ubuntu hirsute/main armhf libdebhelper-perl all 13.3.4ubuntu1 [61.1 kB] Get:21 http://ftpmaster.internal/ubuntu hirsute/main armhf libtool all 2.4.6-15 [161 kB] Get:22 http://ftpmaster.internal/ubuntu hirsute/main armhf dh-autoreconf all 20 [16.1 kB] Get:23 http://ftpmaster.internal/ubuntu hirsute/main armhf libarchive-zip-perl all 1.68-1 [90.2 kB] Get:24 http://ftpmaster.internal/ubuntu hirsute/main armhf libsub-override-perl all 0.09-2 [9532 B] Get:25 http://ftpmaster.internal/ubuntu hirsute/main armhf libfile-stripnondeterminism-perl all 1.11.0-1 [17.0 kB] Get:26 http://ftpmaster.internal/ubuntu hirsute/main armhf dh-strip-nondeterminism all 1.11.0-1 [5236 B] Get:27 http://ftpmaster.internal/ubuntu hirsute/main armhf libdw1 armhf 0.183-8 [198 kB] Get:28 http://ftpmaster.internal/ubuntu hirsute/main armhf debugedit armhf 1:0.1-0ubuntu2 [38.5 kB] Get:29 http://ftpmaster.internal/ubuntu hirsute/main armhf dwz armhf 0.14-1 [90.7 kB] Get:30 http://ftpmaster.internal/ubuntu hirsute/main armhf gettext armhf 0.21-3ubuntu2 [756 kB] Get:31 http://ftpmaster.internal/ubuntu hirsute/main armhf intltool-debian all 0.35.0+20060710.5 [24.9 kB] Get:32 http://ftpmaster.internal/ubuntu hirsute/main armhf po-debconf all 1.0.21+nmu1 [233 kB] Get:33 http://ftpmaster.internal/ubuntu hirsute/main armhf debhelper all 13.3.4ubuntu1 [920 kB] Get:34 http://ftpmaster.internal/ubuntu hirsute/universe armhf ocaml-base-nox armhf 4.11.1-4 [428 kB] Get:35 http://ftpmaster.internal/ubuntu hirsute/universe armhf libfindlib-ocaml armhf 1.8.1-2 [185 kB] Get:36 http://ftpmaster.internal/ubuntu hirsute/main armhf libgmpxx4ldbl armhf 2:6.2.1+dfsg-1ubuntu2 [8072 B] Get:37 http://ftpmaster.internal/ubuntu hirsute/main armhf libgmp-dev armhf 2:6.2.1+dfsg-1ubuntu2 [264 kB] Get:38 http://ftpmaster.internal/ubuntu hirsute/main armhf libgmp3-dev armhf 2:6.2.1+dfsg-1ubuntu2 [2020 B] Get:39 http://ftpmaster.internal/ubuntu hirsute/main armhf libncurses-dev armhf 6.2+20201114-2build1 [306 kB] Get:40 http://ftpmaster.internal/ubuntu hirsute/main armhf libncurses5-dev armhf 6.2+20201114-2build1 [996 B] Get:41 http://ftpmaster.internal/ubuntu hirsute/universe armhf libnum-ocaml armhf 1.4-1 [169 kB] Get:42 http://ftpmaster.internal/ubuntu hirsute/universe armhf ocaml-compiler-libs armhf 4.11.1-4 [28.9 MB] Get:43 http://ftpmaster.internal/ubuntu hirsute/universe armhf ocaml-interp armhf 4.11.1-4 [5696 kB] Get:44 http://ftpmaster.internal/ubuntu hirsute/universe armhf ocaml-nox armhf 4.11.1-4 [68.2 MB] Get:45 http://ftpmaster.internal/ubuntu hirsute/universe armhf libnum-ocaml-dev armhf 1.4-1 [109 kB] Get:46 http://ftpmaster.internal/ubuntu hirsute/universe armhf libocamlgraph-ocaml-dev armhf 1.8.8-1.1build2 [1737 kB] Get:47 http://ftpmaster.internal/ubuntu hirsute/universe armhf libzarith-ocaml armhf 1.11-1 [47.5 kB] Get:48 http://ftpmaster.internal/ubuntu hirsute/universe armhf libzarith-ocaml-dev armhf 1.11-1 [87.3 kB] Get:49 http://ftpmaster.internal/ubuntu hirsute/universe armhf libzip-ocaml armhf 1.10-1build1 [81.0 kB] Get:50 http://ftpmaster.internal/ubuntu hirsute/main armhf zlib1g-dev armhf 1:1.2.11.dfsg-2ubuntu6 [149 kB] Get:51 http://ftpmaster.internal/ubuntu hirsute/universe armhf libzip-ocaml-dev armhf 1.10-1build1 [47.8 kB] Get:52 http://ftpmaster.internal/ubuntu hirsute/universe armhf menhir armhf 20201216-1 [827 kB] Get:53 http://ftpmaster.internal/ubuntu hirsute/universe armhf ocaml-findlib armhf 1.8.1-2 [453 kB] Get:54 http://ftpmaster.internal/ubuntu hirsute/universe armhf dh-ocaml all 1.1.3 [78.9 kB] Get:55 http://ftpmaster.internal/ubuntu hirsute/universe armhf ocplib-simplex-ocaml-dev armhf 0.4-2build2 [273 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 124 MB in 9s (13.4 MB/s) Selecting previously unselected package bsdextrautils. (Reading database ... 12884 files and directories currently installed.) Preparing to unpack .../00-bsdextrautils_2.36.1-7ubuntu2_armhf.deb ... Unpacking bsdextrautils (2.36.1-7ubuntu2) ... Selecting previously unselected package libuchardet0:armhf. Preparing to unpack .../01-libuchardet0_0.0.7-1_armhf.deb ... Unpacking libuchardet0:armhf (0.0.7-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../02-groff-base_1.22.4-6_armhf.deb ... Unpacking groff-base (1.22.4-6) ... Selecting previously unselected package libpipeline1:armhf. Preparing to unpack .../03-libpipeline1_1.5.3-1_armhf.deb ... Unpacking libpipeline1:armhf (1.5.3-1) ... Selecting previously unselected package man-db. Preparing to unpack .../04-man-db_2.9.4-2_armhf.deb ... Unpacking man-db (2.9.4-2) ... Selecting previously unselected package libelf1:armhf. Preparing to unpack .../05-libelf1_0.183-8_armhf.deb ... Unpacking libelf1:armhf (0.183-8) ... Selecting previously unselected package libicu67:armhf. Preparing to unpack .../06-libicu67_67.1-6ubuntu2_armhf.deb ... Unpacking libicu67:armhf (67.1-6ubuntu2) ... Selecting previously unselected package libxml2:armhf. Preparing to unpack .../07-libxml2_2.9.10+dfsg-6.3ubuntu0.1_armhf.deb ... Unpacking libxml2:armhf (2.9.10+dfsg-6.3ubuntu0.1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../08-libmagic-mgc_1%3a5.39-3_armhf.deb ... Unpacking libmagic-mgc (1:5.39-3) ... Selecting previously unselected package libmagic1:armhf. Preparing to unpack .../09-libmagic1_1%3a5.39-3_armhf.deb ... Unpacking libmagic1:armhf (1:5.39-3) ... Selecting previously unselected package file. Preparing to unpack .../10-file_1%3a5.39-3_armhf.deb ... Unpacking file (1:5.39-3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../11-gettext-base_0.21-3ubuntu2_armhf.deb ... Unpacking gettext-base (0.21-3ubuntu2) ... Selecting previously unselected package libsigsegv2:armhf. Preparing to unpack .../12-libsigsegv2_2.13-1ubuntu1_armhf.deb ... Unpacking libsigsegv2:armhf (2.13-1ubuntu1) ... Selecting previously unselected package m4. Preparing to unpack .../13-m4_1.4.18-5_armhf.deb ... Unpacking m4 (1.4.18-5) ... Selecting previously unselected package autoconf. Preparing to unpack .../14-autoconf_2.69-14_all.deb ... Unpacking autoconf (2.69-14) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../15-autotools-dev_20180224.1+nmu1_all.deb ... Unpacking autotools-dev (20180224.1+nmu1) ... Selecting previously unselected package automake. Preparing to unpack .../16-automake_1%3a1.16.3-2ubuntu1_all.deb ... Unpacking automake (1:1.16.3-2ubuntu1) ... Selecting previously unselected package autopoint. Preparing to unpack .../17-autopoint_0.21-3ubuntu2_all.deb ... Unpacking autopoint (0.21-3ubuntu2) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../18-libdebhelper-perl_13.3.4ubuntu1_all.deb ... Unpacking libdebhelper-perl (13.3.4ubuntu1) ... Selecting previously unselected package libtool. Preparing to unpack .../19-libtool_2.4.6-15_all.deb ... Unpacking libtool (2.4.6-15) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../20-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../21-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 .../22-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 .../23-libfile-stripnondeterminism-perl_1.11.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.11.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../24-dh-strip-nondeterminism_1.11.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.11.0-1) ... Selecting previously unselected package libdw1:armhf. Preparing to unpack .../25-libdw1_0.183-8_armhf.deb ... Unpacking libdw1:armhf (0.183-8) ... Selecting previously unselected package debugedit. Preparing to unpack .../26-debugedit_1%3a0.1-0ubuntu2_armhf.deb ... Unpacking debugedit (1:0.1-0ubuntu2) ... Selecting previously unselected package dwz. Preparing to unpack .../27-dwz_0.14-1_armhf.deb ... Unpacking dwz (0.14-1) ... Selecting previously unselected package gettext. Preparing to unpack .../28-gettext_0.21-3ubuntu2_armhf.deb ... Unpacking gettext (0.21-3ubuntu2) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../29-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 .../30-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../31-debhelper_13.3.4ubuntu1_all.deb ... Unpacking debhelper (13.3.4ubuntu1) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../32-ocaml-base-nox_4.11.1-4_armhf.deb ... Unpacking ocaml-base-nox (4.11.1-4) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../33-libfindlib-ocaml_1.8.1-2_armhf.deb ... Unpacking libfindlib-ocaml (1.8.1-2) ... Selecting previously unselected package libgmpxx4ldbl:armhf. Preparing to unpack .../34-libgmpxx4ldbl_2%3a6.2.1+dfsg-1ubuntu2_armhf.deb ... Unpacking libgmpxx4ldbl:armhf (2:6.2.1+dfsg-1ubuntu2) ... Selecting previously unselected package libgmp-dev:armhf. Preparing to unpack .../35-libgmp-dev_2%3a6.2.1+dfsg-1ubuntu2_armhf.deb ... Unpacking libgmp-dev:armhf (2:6.2.1+dfsg-1ubuntu2) ... Selecting previously unselected package libgmp3-dev:armhf. Preparing to unpack .../36-libgmp3-dev_2%3a6.2.1+dfsg-1ubuntu2_armhf.deb ... Unpacking libgmp3-dev:armhf (2:6.2.1+dfsg-1ubuntu2) ... Selecting previously unselected package libncurses-dev:armhf. Preparing to unpack .../37-libncurses-dev_6.2+20201114-2build1_armhf.deb ... Unpacking libncurses-dev:armhf (6.2+20201114-2build1) ... Selecting previously unselected package libncurses5-dev:armhf. Preparing to unpack .../38-libncurses5-dev_6.2+20201114-2build1_armhf.deb ... Unpacking libncurses5-dev:armhf (6.2+20201114-2build1) ... Selecting previously unselected package libnum-ocaml. Preparing to unpack .../39-libnum-ocaml_1.4-1_armhf.deb ... Unpacking libnum-ocaml (1.4-1) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../40-ocaml-compiler-libs_4.11.1-4_armhf.deb ... Unpacking ocaml-compiler-libs (4.11.1-4) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../41-ocaml-interp_4.11.1-4_armhf.deb ... Unpacking ocaml-interp (4.11.1-4) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../42-ocaml-nox_4.11.1-4_armhf.deb ... Unpacking ocaml-nox (4.11.1-4) ... Selecting previously unselected package libnum-ocaml-dev. Preparing to unpack .../43-libnum-ocaml-dev_1.4-1_armhf.deb ... Unpacking libnum-ocaml-dev (1.4-1) ... Selecting previously unselected package libocamlgraph-ocaml-dev. Preparing to unpack .../44-libocamlgraph-ocaml-dev_1.8.8-1.1build2_armhf.deb ... Unpacking libocamlgraph-ocaml-dev (1.8.8-1.1build2) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../45-libzarith-ocaml_1.11-1_armhf.deb ... Unpacking libzarith-ocaml (1.11-1) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../46-libzarith-ocaml-dev_1.11-1_armhf.deb ... Unpacking libzarith-ocaml-dev (1.11-1) ... Selecting previously unselected package libzip-ocaml. Preparing to unpack .../47-libzip-ocaml_1.10-1build1_armhf.deb ... Unpacking libzip-ocaml (1.10-1build1) ... Selecting previously unselected package zlib1g-dev:armhf. Preparing to unpack .../48-zlib1g-dev_1%3a1.2.11.dfsg-2ubuntu6_armhf.deb ... Unpacking zlib1g-dev:armhf (1:1.2.11.dfsg-2ubuntu6) ... Selecting previously unselected package libzip-ocaml-dev. Preparing to unpack .../49-libzip-ocaml-dev_1.10-1build1_armhf.deb ... Unpacking libzip-ocaml-dev (1.10-1build1) ... Selecting previously unselected package menhir. Preparing to unpack .../50-menhir_20201216-1_armhf.deb ... Unpacking menhir (20201216-1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../51-ocaml-findlib_1.8.1-2_armhf.deb ... Unpacking ocaml-findlib (1.8.1-2) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../52-dh-ocaml_1.1.3_all.deb ... Unpacking dh-ocaml (1.1.3) ... Selecting previously unselected package ocplib-simplex-ocaml-dev. Preparing to unpack .../53-ocplib-simplex-ocaml-dev_0.4-2build2_armhf.deb ... Unpacking ocplib-simplex-ocaml-dev (0.4-2build2) ... Selecting previously unselected package sbuild-build-depends-alt-ergo-dummy. Preparing to unpack .../54-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.3-1) ... Setting up libncurses-dev:armhf (6.2+20201114-2build1) ... Setting up bsdextrautils (2.36.1-7ubuntu2) ... update-alternatives: using /usr/bin/write.ul to provide /usr/bin/write (write) in auto mode Setting up libicu67:armhf (67.1-6ubuntu2) ... Setting up libmagic-mgc (1:5.39-3) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.3.4ubuntu1) ... Setting up dh-ocaml (1.1.3) ... Setting up libmagic1:armhf (1:5.39-3) ... Setting up gettext-base (0.21-3ubuntu2) ... Setting up file (1:5.39-3) ... Setting up autotools-dev (20180224.1+nmu1) ... Setting up libgmpxx4ldbl:armhf (2:6.2.1+dfsg-1ubuntu2) ... Setting up libsigsegv2:armhf (2.13-1ubuntu1) ... Setting up autopoint (0.21-3ubuntu2) ... Setting up zlib1g-dev:armhf (1:1.2.11.dfsg-2ubuntu6) ... Setting up libuchardet0:armhf (0.0.7-1) ... Setting up libncurses5-dev:armhf (6.2+20201114-2build1) ... Setting up libsub-override-perl (0.09-2) ... Setting up ocaml-base-nox (4.11.1-4) ... Setting up libelf1:armhf (0.183-8) ... Setting up libxml2:armhf (2.9.10+dfsg-6.3ubuntu0.1) ... Setting up ocplib-simplex-ocaml-dev (0.4-2build2) ... Setting up menhir (20201216-1) ... Setting up libfile-stripnondeterminism-perl (1.11.0-1) ... Setting up libdw1:armhf (0.183-8) ... Setting up gettext (0.21-3ubuntu2) ... Setting up libgmp-dev:armhf (2:6.2.1+dfsg-1ubuntu2) ... Setting up libtool (2.4.6-15) ... Setting up libfindlib-ocaml (1.8.1-2) ... Setting up m4 (1.4.18-5) ... Setting up libzarith-ocaml (1.11-1) ... Setting up intltool-debian (0.35.0+20060710.5) ... Setting up libzip-ocaml (1.10-1build1) ... Setting up ocaml-findlib (1.8.1-2) ... Setting up autoconf (2.69-14) ... Setting up dh-strip-nondeterminism (1.11.0-1) ... Setting up libnum-ocaml (1.4-1) ... Setting up dwz (0.14-1) ... Setting up groff-base (1.22.4-6) ... Setting up libgmp3-dev:armhf (2:6.2.1+dfsg-1ubuntu2) ... Setting up debugedit (1:0.1-0ubuntu2) ... Setting up automake (1:1.16.3-2ubuntu1) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up po-debconf (1.0.21+nmu1) ... Setting up man-db (2.9.4-2) ... 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 dh-autoreconf (20) ... Setting up debhelper (13.3.4ubuntu1) ... Setting up ocaml-compiler-libs (4.11.1-4) ... Setting up ocaml-interp (4.11.1-4) ... Setting up ocaml-nox (4.11.1-4) ... Setting up libzarith-ocaml-dev (1.11-1) ... Setting up libocamlgraph-ocaml-dev (1.8.8-1.1build2) ... Setting up libnum-ocaml-dev (1.4-1) ... Setting up libzip-ocaml-dev (1.10-1build1) ... Setting up sbuild-build-depends-alt-ergo-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.33-0ubuntu5) ... +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.15.0-156-generic arm64 (armv7l) Toolchain package versions: binutils_2.36.1-6ubuntu1 dpkg-dev_1.20.9ubuntu1 g++-10_10.3.0-1ubuntu1 gcc-10_10.3.0-1ubuntu1 libc6-dev_2.33-0ubuntu5 libstdc++-10-dev_10.3.0-1ubuntu1 libstdc++6_11.1.0-1ubuntu1~21.04 linux-libc-dev_5.11.0-35.37 Package versions: adduser_3.118ubuntu5 advancecomp_2.1-2.1build1 apt_2.2.4ubuntu0.1 autoconf_2.69-14 automake_1:1.16.3-2ubuntu1 autopoint_0.21-3ubuntu2 autotools-dev_20180224.1+nmu1 base-files_11ubuntu19 base-passwd_3.5.49ubuntu1 bash_5.1-2ubuntu1 binutils_2.36.1-6ubuntu1 binutils-arm-linux-gnueabihf_2.36.1-6ubuntu1 binutils-common_2.36.1-6ubuntu1 bsdextrautils_2.36.1-7ubuntu2 bsdutils_1:2.36.1-7ubuntu2 build-essential_12.8ubuntu3 bzip2_1.0.8-4ubuntu3 ca-certificates_20210119build1 coreutils_8.32-4ubuntu2 cpp_4:10.3.0-1ubuntu1 cpp-10_10.3.0-1ubuntu1 dash_0.5.11+git20200708+dd9ef66+really0.5.11+git20200708+dd9ef66-5ubuntu1 debconf_1.5.74 debhelper_13.3.4ubuntu1 debianutils_4.11.2 debugedit_1:0.1-0ubuntu2 dh-autoreconf_20 dh-ocaml_1.1.3 dh-strip-nondeterminism_1.11.0-1 diffutils_1:3.7-3ubuntu1 dpkg_1.20.9ubuntu1 dpkg-dev_1.20.9ubuntu1 dwz_0.14-1 e2fsprogs_1.45.7-1ubuntu2 fakeroot_1.25.3-1.1ubuntu2 file_1:5.39-3 findutils_4.8.0-1ubuntu1 g++_4:10.3.0-1ubuntu1 g++-10_10.3.0-1ubuntu1 gcc_4:10.3.0-1ubuntu1 gcc-10_10.3.0-1ubuntu1 gcc-10-base_10.3.0-1ubuntu1 gcc-11-base_11.1.0-1ubuntu1~21.04 gettext_0.21-3ubuntu2 gettext-base_0.21-3ubuntu2 gpg_2.2.20-1ubuntu3 gpg-agent_2.2.20-1ubuntu3 gpgconf_2.2.20-1ubuntu3 gpgv_2.2.20-1ubuntu3 grep_3.6-1 groff-base_1.22.4-6 gzip_1.10-2ubuntu3 hostname_3.23 init_1.60 init-system-helpers_1.60 intltool-debian_0.35.0+20060710.5 libacl1_2.2.53-10ubuntu1 libapparmor1_3.0.0-0ubuntu7.1 libapt-pkg6.0_2.2.4ubuntu0.1 libarchive-zip-perl_1.68-1 libargon2-1_0~20171227-0.2build21.04.0 libasan6_11.1.0-1ubuntu1~21.04 libassuan0_2.5.4-1ubuntu1 libatomic1_11.1.0-1ubuntu1~21.04 libattr1_1:2.4.48-6build1 libaudit-common_1:3.0-2ubuntu1 libaudit1_1:3.0-2ubuntu1 libbinutils_2.36.1-6ubuntu1 libblkid1_2.36.1-7ubuntu2 libbz2-1.0_1.0.8-4ubuntu3 libc-bin_2.33-0ubuntu5 libc-dev-bin_2.33-0ubuntu5 libc6_2.33-0ubuntu5 libc6-dev_2.33-0ubuntu5 libcap-ng0_0.7.9-2.2build1 libcap2_1:2.44-1build1 libcc1-0_11.1.0-1ubuntu1~21.04 libcom-err2_1.45.7-1ubuntu2 libcrypt-dev_1:4.4.17-1ubuntu3 libcrypt1_1:4.4.17-1ubuntu3 libcryptsetup12_2:2.3.4-1ubuntu3 libctf-nobfd0_2.36.1-6ubuntu1 libctf0_2.36.1-6ubuntu1 libdb5.3_5.3.28+dfsg1-0.6ubuntu4 libdebconfclient0_0.256ubuntu3 libdebhelper-perl_13.3.4ubuntu1 libdevmapper1.02.1_2:1.02.175-2ubuntu4 libdpkg-perl_1.20.9ubuntu1 libdw1_0.183-8 libelf1_0.183-8 libext2fs2_1.45.7-1ubuntu2 libfakeroot_1.25.3-1.1ubuntu2 libffi8ubuntu1_3.4~20200819gead65ca871-0ubuntu5 libfile-stripnondeterminism-perl_1.11.0-1 libfindlib-ocaml_1.8.1-2 libgcc-10-dev_10.3.0-1ubuntu1 libgcc-s1_11.1.0-1ubuntu1~21.04 libgcrypt20_1.8.7-2ubuntu2 libgdbm-compat4_1.19-2 libgdbm6_1.19-2 libgmp-dev_2:6.2.1+dfsg-1ubuntu2 libgmp10_2:6.2.1+dfsg-1ubuntu2 libgmp3-dev_2:6.2.1+dfsg-1ubuntu2 libgmpxx4ldbl_2:6.2.1+dfsg-1ubuntu2 libgnutls30_3.7.1-3ubuntu1 libgomp1_11.1.0-1ubuntu1~21.04 libgpg-error0_1.38-2build1 libgssapi-krb5-2_1.18.3-4 libhogweed6_3.7-2.1ubuntu1.1 libicu67_67.1-6ubuntu2 libidn2-0_2.3.0-5 libip4tc2_1.8.7-1ubuntu2 libisl23_0.23-1build1 libjson-c5_0.15-2build2 libk5crypto3_1.18.3-4 libkeyutils1_1.6.1-2ubuntu1 libkmod2_28-1ubuntu2 libkrb5-3_1.18.3-4 libkrb5support0_1.18.3-4 liblockfile-bin_1.17-1 liblockfile1_1.17-1 liblz4-1_1.9.3-1ubuntu0.1 liblzma5_5.2.5-1.0build2 libmagic-mgc_1:5.39-3 libmagic1_1:5.39-3 libmount1_2.36.1-7ubuntu2 libmpc3_1.2.0-1build1 libmpfr6_4.1.0-3build1 libncurses-dev_6.2+20201114-2build1 libncurses5-dev_6.2+20201114-2build1 libncurses6_6.2+20201114-2build1 libncursesw6_6.2+20201114-2build1 libnettle8_3.7-2.1ubuntu1.1 libnpth0_1.6-3 libnsl-dev_1.3.0-0ubuntu3 libnsl2_1.3.0-0ubuntu3 libnum-ocaml_1.4-1 libnum-ocaml-dev_1.4-1 libocamlgraph-ocaml-dev_1.8.8-1.1build2 libp11-kit0_0.23.22-1 libpam-modules_1.3.1-5ubuntu6.21.04.1 libpam-modules-bin_1.3.1-5ubuntu6.21.04.1 libpam-runtime_1.3.1-5ubuntu6.21.04.1 libpam0g_1.3.1-5ubuntu6.21.04.1 libpcre2-8-0_10.36-2ubuntu5 libpcre3_2:8.39-13build3 libperl5.32_5.32.1-3ubuntu2.1 libpipeline1_1.5.3-1 libpng16-16_1.6.37-3build3 libprocps8_2:3.3.16-5ubuntu3.1 libreadline8_8.1-1 libseccomp2_2.5.1-1ubuntu1 libselinux1_3.1-3build1 libsemanage-common_3.1-1ubuntu1 libsemanage1_3.1-1ubuntu1 libsepol1_3.1-1ubuntu1 libsigsegv2_2.13-1ubuntu1 libsmartcols1_2.36.1-7ubuntu2 libsqlite3-0_3.34.1-3 libss2_1.45.7-1ubuntu2 libssl1.1_1.1.1j-1ubuntu3.5 libstdc++-10-dev_10.3.0-1ubuntu1 libstdc++6_11.1.0-1ubuntu1~21.04 libsub-override-perl_0.09-2 libsystemd0_247.3-3ubuntu3.6 libtasn1-6_4.16.0-2 libtinfo6_6.2+20201114-2build1 libtirpc-common_1.3.1-1build1 libtirpc-dev_1.3.1-1build1 libtirpc3_1.3.1-1build1 libtool_2.4.6-15 libubsan1_11.1.0-1ubuntu1~21.04 libuchardet0_0.0.7-1 libudev1_247.3-3ubuntu3.6 libunistring2_0.9.10-4 libuuid1_2.36.1-7ubuntu2 libxml2_2.9.10+dfsg-6.3ubuntu0.1 libxxhash0_0.8.0-2 libzarith-ocaml_1.11-1 libzarith-ocaml-dev_1.11-1 libzip-ocaml_1.10-1build1 libzip-ocaml-dev_1.10-1build1 libzstd1_1.4.8+dfsg-2build2 linux-libc-dev_5.11.0-35.37 lockfile-progs_0.1.18 login_1:4.8.1-1ubuntu8.1 logsave_1.45.7-1ubuntu2 lsb-base_11.1.0ubuntu2 lto-disabled-list_7 m4_1.4.18-5 make_4.3-4ubuntu1 man-db_2.9.4-2 mawk_1.3.4.20200120-2 menhir_20201216-1 mount_2.36.1-7ubuntu2 ncurses-base_6.2+20201114-2build1 ncurses-bin_6.2+20201114-2build1 ocaml-base-nox_4.11.1-4 ocaml-compiler-libs_4.11.1-4 ocaml-findlib_1.8.1-2 ocaml-interp_4.11.1-4 ocaml-nox_4.11.1-4 ocplib-simplex-ocaml-dev_0.4-2build2 openssl_1.1.1j-1ubuntu3.5 optipng_0.7.7-1 passwd_1:4.8.1-1ubuntu8.1 patch_2.7.6-7 perl_5.32.1-3ubuntu2.1 perl-base_5.32.1-3ubuntu2.1 perl-modules-5.32_5.32.1-3ubuntu2.1 pinentry-curses_1.1.0-4build1 pkgbinarymangler_147 po-debconf_1.0.21+nmu1 policyrcd-script-zg2_0.1-3 procps_2:3.3.16-5ubuntu3.1 readline-common_8.1-1 rpcsvc-proto_1.4.2-0ubuntu4 sbuild-build-depends-alt-ergo-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.7-1ubuntu1 sensible-utils_0.0.14 systemd_247.3-3ubuntu3.6 systemd-sysv_247.3-3ubuntu3.6 systemd-timesyncd_247.3-3ubuntu3.6 sysvinit-utils_2.96-6ubuntu1 tar_1.34+dfsg-1build1 tzdata_2021a-1ubuntu1 ubuntu-keyring_2021.03.26 usrmerge_24ubuntu3 util-linux_2.36.1-7ubuntu2 xz-utils_5.2.5-1.0build2 zlib1g_1:1.2.11.dfsg-2ubuntu6 zlib1g-dev_1:1.2.11.dfsg-2ubuntu6 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- gpgv: Signature made Sat Nov 28 09:23:47 2020 UTC gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./alt-ergo_2.0.0-7build2.dsc dpkg-source: info: extracting alt-ergo in /<> dpkg-source: info: unpacking alt-ergo_2.0.0.orig.tar.gz dpkg-source: info: unpacking alt-ergo_2.0.0-7build2.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 disk 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-20343121 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-20343121 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-20343121 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-7build2 dpkg-buildpackage: info: source distribution hirsute dpkg-source --before-build . dpkg-buildpackage: info: host architecture armhf 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 binary-arch dh binary-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-option-checking --disable-silent-rules --libdir=\${prefix}/lib/arm-linux-gnueabihf --runstatedir=/run --disable-maintainer-mode --disable-dependency-tracking checking for ocp-ocamlc... no checking for ocamlc... ocamlc ocaml version is 4.11.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 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 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 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/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 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 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/structures/ty.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/symbols.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/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 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 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 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 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/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 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/typed.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/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/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/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/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/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/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/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/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/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/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/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/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 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 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/frontend/parsers.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 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 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 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/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 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/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", lines 42-43, characters 20-65: 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", lines 484-485, characters 30-55: 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/camlasm6b6b19.s: Assembler messages: /tmp/camlasm6b6b19.s:26446: Error: value of 184135 too large for field of 2 bytes at 55836 /tmp/camlasm6b6b19.s:26448: Error: value of 178058 too large for field of 2 bytes at 55840 /tmp/camlasm6b6b19.s:26450: Error: value of 178058 too large for field of 2 bytes at 55844 /tmp/camlasm6b6b19.s:26452: Error: value of 178058 too large for field of 2 bytes at 55848 /tmp/camlasm6b6b19.s:26453: Error: value of 178058 too large for field of 2 bytes at 55850 /tmp/camlasm6b6b19.s:26454: Error: value of 178058 too large for field of 2 bytes at 55852 /tmp/camlasm6b6b19.s:26455: Error: value of 178058 too large for field of 2 bytes at 55854 /tmp/camlasm6b6b19.s:26457: Error: value of 178058 too large for field of 2 bytes at 55858 /tmp/camlasm6b6b19.s:26458: Error: value of 178058 too large for field of 2 bytes at 55860 /tmp/camlasm6b6b19.s:26459: Error: value of 178058 too large for field of 2 bytes at 55862 /tmp/camlasm6b6b19.s:26460: Error: value of 178058 too large for field of 2 bytes at 55864 /tmp/camlasm6b6b19.s:26461: Error: value of 178058 too large for field of 2 bytes at 55866 /tmp/camlasm6b6b19.s:26462: Error: value of 178058 too large for field of 2 bytes at 55868 /tmp/camlasm6b6b19.s:26465: Error: value of 178058 too large for field of 2 bytes at 55874 /tmp/camlasm6b6b19.s:26466: Error: value of 178058 too large for field of 2 bytes at 55876 /tmp/camlasm6b6b19.s:26467: Error: value of 178058 too large for field of 2 bytes at 55878 /tmp/camlasm6b6b19.s:26468: Error: value of 178058 too large for field of 2 bytes at 55880 /tmp/camlasm6b6b19.s:26469: Error: value of 178058 too large for field of 2 bytes at 55882 /tmp/camlasm6b6b19.s:26470: Error: value of 189675 too large for field of 2 bytes at 55884 /tmp/camlasm6b6b19.s:26471: Error: value of 189675 too large for field of 2 bytes at 55886 /tmp/camlasm6b6b19.s:26472: Error: value of 178058 too large for field of 2 bytes at 55888 /tmp/camlasm6b6b19.s:26473: Error: value of 178058 too large for field of 2 bytes at 55890 /tmp/camlasm6b6b19.s:26475: Error: value of 178058 too large for field of 2 bytes at 55894 /tmp/camlasm6b6b19.s:26477: Error: value of 178058 too large for field of 2 bytes at 55898 /tmp/camlasm6b6b19.s:26481: Error: value of 178058 too large for field of 2 bytes at 55906 /tmp/camlasm6b6b19.s:26483: Error: value of 178058 too large for field of 2 bytes at 55910 /tmp/camlasm6b6b19.s:26484: Error: value of 178058 too large for field of 2 bytes at 55912 /tmp/camlasm6b6b19.s:26485: Error: value of 178058 too large for field of 2 bytes at 55914 /tmp/camlasm6b6b19.s:26486: Error: value of 178058 too large for field of 2 bytes at 55916 /tmp/camlasm6b6b19.s:26487: Error: value of 184135 too large for field of 2 bytes at 55918 /tmp/camlasm6b6b19.s:26488: Error: value of 184135 too large for field of 2 bytes at 55920 /tmp/camlasm6b6b19.s:26489: Error: value of 65995 too large for field of 2 bytes at 55922 /tmp/camlasm6b6b19.s:26490: Error: value of 178076 too large for field of 2 bytes at 55924 /tmp/camlasm6b6b19.s:26491: Error: value of 71519 too large for field of 2 bytes at 55926 /tmp/camlasm6b6b19.s:26492: Error: value of 178058 too large for field of 2 bytes at 55928 /tmp/camlasm6b6b19.s:26493: Error: value of 178058 too large for field of 2 bytes at 55930 /tmp/camlasm6b6b19.s:26494: Error: value of 178058 too large for field of 2 bytes at 55932 /tmp/camlasm6b6b19.s:26495: Error: value of 77490 too large for field of 2 bytes at 55934 /tmp/camlasm6b6b19.s:26496: Error: value of 83279 too large for field of 2 bytes at 55936 /tmp/camlasm6b6b19.s:26497: Error: value of 178076 too large for field of 2 bytes at 55938 /tmp/camlasm6b6b19.s:26498: Error: value of 89187 too large for field of 2 bytes at 55940 /tmp/camlasm6b6b19.s:26499: Error: value of 94719 too large for field of 2 bytes at 55942 /tmp/camlasm6b6b19.s:26500: Error: value of 99303 too large for field of 2 bytes at 55944 /tmp/camlasm6b6b19.s:26501: Error: value of 101802 too large for field of 2 bytes at 55946 /tmp/camlasm6b6b19.s:26502: Error: value of 104251 too large for field of 2 bytes at 55948 /tmp/camlasm6b6b19.s:26503: Error: value of 106699 too large for field of 2 bytes at 55950 /tmp/camlasm6b6b19.s:26504: Error: value of 109195 too large for field of 2 bytes at 55952 /tmp/camlasm6b6b19.s:26505: Error: value of 111652 too large for field of 2 bytes at 55954 /tmp/camlasm6b6b19.s:26506: Error: value of 113477 too large for field of 2 bytes at 55956 /tmp/camlasm6b6b19.s:26507: Error: value of 115986 too large for field of 2 bytes at 55958 /tmp/camlasm6b6b19.s:26508: Error: value of 120889 too large for field of 2 bytes at 55960 /tmp/camlasm6b6b19.s:26509: Error: value of 121489 too large for field of 2 bytes at 55962 /tmp/camlasm6b6b19.s:26510: Error: value of 122094 too large for field of 2 bytes at 55964 /tmp/camlasm6b6b19.s:26511: Error: value of 123893 too large for field of 2 bytes at 55966 /tmp/camlasm6b6b19.s:26512: Error: value of 129513 too large for field of 2 bytes at 55968 /tmp/camlasm6b6b19.s:26513: Error: value of 178076 too large for field of 2 bytes at 55970 /tmp/camlasm6b6b19.s:26514: Error: value of 130104 too large for field of 2 bytes at 55972 /tmp/camlasm6b6b19.s:26515: Error: value of 130709 too large for field of 2 bytes at 55974 /tmp/camlasm6b6b19.s:26516: Error: value of 136567 too large for field of 2 bytes at 55976 /tmp/camlasm6b6b19.s:26517: Error: value of 136604 too large for field of 2 bytes at 55978 /tmp/camlasm6b6b19.s:26518: Error: value of 136641 too large for field of 2 bytes at 55980 /tmp/camlasm6b6b19.s:26519: Error: value of 142414 too large for field of 2 bytes at 55982 /tmp/camlasm6b6b19.s:26520: Error: value of 178058 too large for field of 2 bytes at 55984 /tmp/camlasm6b6b19.s:26521: Error: value of 178058 too large for field of 2 bytes at 55986 /tmp/camlasm6b6b19.s:26522: Error: value of 178058 too large for field of 2 bytes at 55988 /tmp/camlasm6b6b19.s:26523: Error: value of 184135 too large for field of 2 bytes at 55990 /tmp/camlasm6b6b19.s:26524: Error: value of 178058 too large for field of 2 bytes at 55992 /tmp/camlasm6b6b19.s:26525: Error: value of 178058 too large for field of 2 bytes at 55994 /tmp/camlasm6b6b19.s:26526: Error: value of 178058 too large for field of 2 bytes at 55996 /tmp/camlasm6b6b19.s:26527: Error: value of 178058 too large for field of 2 bytes at 55998 /tmp/camlasm6b6b19.s:26528: Error: value of 178058 too large for field of 2 bytes at 56000 /tmp/camlasm6b6b19.s:26529: Error: value of 178058 too large for field of 2 bytes at 56002 /tmp/camlasm6b6b19.s:26530: Error: value of 149156 too large for field of 2 bytes at 56004 /tmp/camlasm6b6b19.s:26531: Error: value of 155058 too large for field of 2 bytes at 56006 /tmp/camlasm6b6b19.s:26532: Error: value of 178058 too large for field of 2 bytes at 56008 /tmp/camlasm6b6b19.s:26533: Error: value of 178058 too large for field of 2 bytes at 56010 /tmp/camlasm6b6b19.s:26534: Error: value of 161018 too large for field of 2 bytes at 56012 /tmp/camlasm6b6b19.s:26535: Error: value of 166538 too large for field of 2 bytes at 56014 /tmp/camlasm6b6b19.s:26536: Error: value of 178058 too large for field of 2 bytes at 56016 /tmp/camlasm6b6b19.s:26537: Error: value of 172320 too large for field of 2 bytes at 56018 /tmp/camlasm6b6b19.s:26538: Error: value of 172363 too large for field of 2 bytes at 56020 /tmp/camlasm6b6b19.s:26539: Error: value of 172408 too large for field of 2 bytes at 56022 /tmp/camlasm6b6b19.s:26540: Error: value of 172455 too large for field of 2 bytes at 56024 /tmp/camlasm6b6b19.s:26541: Error: value of 178058 too large for field of 2 bytes at 56026 /tmp/camlasm6b6b19.s:26542: Error: value of 178058 too large for field of 2 bytes at 56028 /tmp/camlasm6b6b19.s:26543: Error: value of 178058 too large for field of 2 bytes at 56030 /tmp/camlasm6b6b19.s:26544: Error: value of 178058 too large for field of 2 bytes at 56032 /tmp/camlasm6b6b19.s:26545: Error: value of 178058 too large for field of 2 bytes at 56034 /tmp/camlasm6b6b19.s:26546: Error: value of 178058 too large for field of 2 bytes at 56036 /tmp/camlasm6b6b19.s:26547: Error: value of 178058 too large for field of 2 bytes at 56038 /tmp/camlasm6b6b19.s:26548: Error: value of 178058 too large for field of 2 bytes at 56040 /tmp/camlasm6b6b19.s:26549: Error: value of 178058 too large for field of 2 bytes at 56042 /tmp/camlasm6b6b19.s:26550: Error: value of 178058 too large for field of 2 bytes at 56044 /tmp/camlasm6b6b19.s:26551: Error: value of 178058 too large for field of 2 bytes at 56046 /tmp/camlasm6b6b19.s:26552: Error: value of 178058 too large for field of 2 bytes at 56048 /tmp/camlasm6b6b19.s:26553: Error: value of 178058 too large for field of 2 bytes at 56050 /tmp/camlasm6b6b19.s:26554: Error: value of 178058 too large for field of 2 bytes at 56052 /tmp/camlasm6b6b19.s:26555: Error: value of 178058 too large for field of 2 bytes at 56054 /tmp/camlasm6b6b19.s:26556: Error: value of 178058 too large for field of 2 bytes at 56056 /tmp/camlasm6b6b19.s:26557: Error: value of 178058 too large for field of 2 bytes at 56058 /tmp/camlasm6b6b19.s:26558: Error: value of 178058 too large for field of 2 bytes at 56060 /tmp/camlasm6b6b19.s:26559: Error: value of 178058 too large for field of 2 bytes at 56062 /tmp/camlasm6b6b19.s:26560: Error: value of 178058 too large for field of 2 bytes at 56064 File "/<>/parsers/why/why_parser.ml", line 1: Error: Assembler error, input left in file /tmp/camlasm6b6b19.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: binary-arch] Error 25 dpkg-buildpackage: error: debian/rules binary-arch subprocess returned exit status 2 -------------------------------------------------------------------------------- Build finished at 2021-09-10T17:34:32Z Finished -------- +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested E: Build failure (dpkg-buildpackage died) +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: armhf Build Type: any Build-Space: n/a Build-Time: 34 Distribution: hirsute-proposed Fail-Stage: build Host Architecture: armhf Install-Time: 47 Job: alt-ergo_2.0.0-7build2.dsc Machine Architecture: arm64 Package: alt-ergo Package-Time: 83 Source-Version: 2.0.0-7build2 Space: n/a Status: attempted Version: 2.0.0-7build2 -------------------------------------------------------------------------------- Finished at 2021-09-10T17:34:32Z Build needed 00:01:23, no disk space E: Build failure (dpkg-buildpackage died) Adding user buildd to group lxd RUN: /usr/share/launchpad-buildd/bin/in-target scan-for-processes --backend=chroot --series=hirsute --arch=armhf PACKAGEBUILD-20343121 Scanning for processes to kill in build PACKAGEBUILD-20343121