Diff of the two buildlogs: -- --- b1/build.log 2024-03-26 20:27:12.879984690 +0000 +++ b2/build.log 2024-03-26 20:29:20.386565098 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Mon Apr 28 14:49:21 -12 2025 -I: pbuilder-time-stamp: 1745894961 +I: Current time: Wed Mar 27 10:27:15 +14 2024 +I: pbuilder-time-stamp: 1711484836 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/bullseye-reproducible-base.tgz] I: copying local configuration @@ -18,8 +18,8 @@ I: copying [./alt-ergo_2.0.0-7.debian.tar.xz] I: Extracting source gpgv: unknown type of key resource 'trustedkeys.kbx' -gpgv: keyblock resource '/tmp/dpkg-verify-sig.dLhIYNtu/trustedkeys.kbx': General error -gpgv: Signature made Mon Aug 10 20:06:35 2020 -12 +gpgv: keyblock resource '/tmp/dpkg-verify-sig.MsGt4aFK/trustedkeys.kbx': General error +gpgv: Signature made Tue Aug 11 22:06:35 2020 +14 gpgv: using RSA key 6DE24E97ECA886CC56E6250E21B8EEF1B1893081 gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./alt-ergo_2.0.0-7.dsc @@ -31,137 +31,168 @@ dpkg-source: info: applying 0002-Fix-compilation-with-camlzip-1.08.patch I: Not using root during the build. I: Installing the build-deps -I: user script /srv/workspace/pbuilder/119861/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/4494/tmp/hooks/D01_modify_environment starting +debug: Running on ionos2-i386. +I: Changing host+domainname to test build reproducibility +I: Adding a custom variable just for the fun of it... +I: Changing /bin/sh to bash +'/bin/sh' -> '/bin/bash' +lrwxrwxrwx 1 root root 9 Mar 27 10:27 /bin/sh -> /bin/bash +I: Setting pbuilder2's login shell to /bin/bash +I: Setting pbuilder2's GECOS to second user,second room,second work-phone,second home-phone,second other +I: user script /srv/workspace/pbuilder/4494/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/4494/tmp/hooks/D02_print_environment starting I: set - BUILDDIR='/build/reproducible-path' - BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' - BUILDUSERNAME='pbuilder1' - BUILD_ARCH='i386' - DEBIAN_FRONTEND='noninteractive' - DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all,-fixfilepath parallel=22 ' - DISTRIBUTION='bullseye' - HOME='/root' - HOST_ARCH='i386' + BASH=/bin/sh + BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:hostcomplete:interactive_comments:progcomp:promptvars:sourcepath + BASH_ALIASES=() + BASH_ARGC=() + BASH_ARGV=() + BASH_CMDS=() + BASH_LINENO=([0]="12" [1]="0") + BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment") + BASH_VERSINFO=([0]="5" [1]="1" [2]="4" [3]="1" [4]="release" [5]="i686-pc-linux-gnu") + BASH_VERSION='5.1.4(1)-release' + BUILDDIR=/build/reproducible-path + BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other' + BUILDUSERNAME=pbuilder2 + BUILD_ARCH=i386 + DEBIAN_FRONTEND=noninteractive + DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all,-fixfilepath parallel=7 ' + DIRSTACK=() + DISTRIBUTION=bullseye + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=i686 + HOST_ARCH=i386 IFS=' ' - INVOCATION_ID='6d83b49f5c014c688891d0b1ff92ab28' - LANG='C' - LANGUAGE='en_US:en' - LC_ALL='C' - LD_LIBRARY_PATH='/usr/lib/libeatmydata' - LD_PRELOAD='libeatmydata.so' - MAIL='/var/mail/root' - OPTIND='1' - PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games' - PBCURRENTCOMMANDLINEOPERATION='build' - PBUILDER_OPERATION='build' - PBUILDER_PKGDATADIR='/usr/share/pbuilder' - PBUILDER_PKGLIBDIR='/usr/lib/pbuilder' - PBUILDER_SYSCONFDIR='/etc' - PPID='119861' - PS1='# ' - PS2='> ' + INVOCATION_ID=2bd4c7b491434642a39097825f41d183 + LANG=C + LANGUAGE=de_CH:de + LC_ALL=C + LD_LIBRARY_PATH=/usr/lib/libeatmydata + LD_PRELOAD=libeatmydata.so + MACHTYPE=i686-pc-linux-gnu + MAIL=/var/mail/root + OPTERR=1 + OPTIND=1 + OSTYPE=linux-gnu + PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path + PBCURRENTCOMMANDLINEOPERATION=build + PBUILDER_OPERATION=build + PBUILDER_PKGDATADIR=/usr/share/pbuilder + PBUILDER_PKGLIBDIR=/usr/lib/pbuilder + PBUILDER_SYSCONFDIR=/etc + PIPESTATUS=([0]="0") + POSIXLY_CORRECT=y + PPID=4494 PS4='+ ' - PWD='/' - SHELL='/bin/bash' - SHLVL='2' - SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.UU4sHiNR/pbuilderrc_2rn5 --distribution bullseye --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/bullseye-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.UU4sHiNR/b1 --logfile b1/build.log alt-ergo_2.0.0-7.dsc' - SUDO_GID='112' - SUDO_UID='107' - SUDO_USER='jenkins' - TERM='unknown' - TZ='/usr/share/zoneinfo/Etc/GMT+12' - USER='root' - _='/usr/bin/systemd-run' - http_proxy='http://85.184.249.68:3128' + PWD=/ + SHELL=/bin/bash + SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix + SHLVL=3 + SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.UU4sHiNR/pbuilderrc_9gHc --distribution bullseye --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/bullseye-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.UU4sHiNR/b2 --logfile b2/build.log alt-ergo_2.0.0-7.dsc' + SUDO_GID=112 + SUDO_UID=107 + SUDO_USER=jenkins + TERM=unknown + TZ=/usr/share/zoneinfo/Etc/GMT-14 + UID=0 + USER=root + _='I: set' + http_proxy=http://78.137.99.97:3128 I: uname -a - Linux ionos16-i386 6.1.0-18-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.76-1 (2024-02-01) x86_64 GNU/Linux + Linux i-capture-the-hostname 6.1.0-18-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.76-1 (2024-02-01) x86_64 GNU/Linux I: ls -l /bin total 5772 - -rwxr-xr-x 1 root root 1367848 Mar 27 2022 bash - -rwxr-xr-x 3 root root 38280 Jul 20 2020 bunzip2 - -rwxr-xr-x 3 root root 38280 Jul 20 2020 bzcat - lrwxrwxrwx 1 root root 6 Jul 20 2020 bzcmp -> bzdiff - -rwxr-xr-x 1 root root 2225 Jul 20 2020 bzdiff - lrwxrwxrwx 1 root root 6 Jul 20 2020 bzegrep -> bzgrep - -rwxr-xr-x 1 root root 4877 Sep 4 2019 bzexe - lrwxrwxrwx 1 root root 6 Jul 20 2020 bzfgrep -> bzgrep - -rwxr-xr-x 1 root root 3775 Jul 20 2020 bzgrep - -rwxr-xr-x 3 root root 38280 Jul 20 2020 bzip2 - -rwxr-xr-x 1 root root 17768 Jul 20 2020 bzip2recover - lrwxrwxrwx 1 root root 6 Jul 20 2020 bzless -> bzmore - -rwxr-xr-x 1 root root 1297 Jul 20 2020 bzmore - -rwxr-xr-x 1 root root 38824 Sep 22 2020 cat - -rwxr-xr-x 1 root root 71624 Sep 22 2020 chgrp - -rwxr-xr-x 1 root root 67528 Sep 22 2020 chmod - -rwxr-xr-x 1 root root 75752 Sep 22 2020 chown - -rwxr-xr-x 1 root root 157960 Sep 22 2020 cp - -rwxr-xr-x 1 root root 128724 Dec 10 2020 dash - -rwxr-xr-x 1 root root 124904 Sep 22 2020 date - -rwxr-xr-x 1 root root 92172 Sep 22 2020 dd - -rwxr-xr-x 1 root root 100752 Sep 22 2020 df - -rwxr-xr-x 1 root root 153964 Sep 22 2020 dir - -rwxr-xr-x 1 root root 83644 Jan 20 2022 dmesg - lrwxrwxrwx 1 root root 8 Nov 6 2019 dnsdomainname -> hostname - lrwxrwxrwx 1 root root 8 Nov 6 2019 domainname -> hostname - -rwxr-xr-x 1 root root 34664 Sep 22 2020 echo - -rwxr-xr-x 1 root root 28 Jan 24 2023 egrep - -rwxr-xr-x 1 root root 34664 Sep 22 2020 false - -rwxr-xr-x 1 root root 28 Jan 24 2023 fgrep - -rwxr-xr-x 1 root root 71928 Jan 20 2022 findmnt - -rwsr-xr-x 1 root root 30112 Feb 26 2021 fusermount - -rwxr-xr-x 1 root root 210488 Jan 24 2023 grep - -rwxr-xr-x 2 root root 2346 Apr 9 2022 gunzip - -rwxr-xr-x 1 root root 6447 Apr 9 2022 gzexe - -rwxr-xr-x 1 root root 100952 Apr 9 2022 gzip - -rwxr-xr-x 1 root root 21916 Nov 6 2019 hostname - -rwxr-xr-x 1 root root 83980 Sep 22 2020 ln - -rwxr-xr-x 1 root root 55572 Feb 7 2020 login - -rwxr-xr-x 1 root root 153964 Sep 22 2020 ls - -rwxr-xr-x 1 root root 153124 Jan 20 2022 lsblk - -rwxr-xr-x 1 root root 96328 Sep 22 2020 mkdir - -rwxr-xr-x 1 root root 79912 Sep 22 2020 mknod - -rwxr-xr-x 1 root root 47048 Sep 22 2020 mktemp - -rwxr-xr-x 1 root root 58920 Jan 20 2022 more - -rwsr-xr-x 1 root root 50720 Jan 20 2022 mount - -rwxr-xr-x 1 root root 13856 Jan 20 2022 mountpoint - -rwxr-xr-x 1 root root 157996 Sep 22 2020 mv - lrwxrwxrwx 1 root root 8 Nov 6 2019 nisdomainname -> hostname - lrwxrwxrwx 1 root root 14 Dec 16 2021 pidof -> /sbin/killall5 - -rwxr-xr-x 1 root root 38824 Sep 22 2020 pwd - lrwxrwxrwx 1 root root 4 Mar 27 2022 rbash -> bash - -rwxr-xr-x 1 root root 46984 Sep 22 2020 readlink - -rwxr-xr-x 1 root root 75720 Sep 22 2020 rm - -rwxr-xr-x 1 root root 46984 Sep 22 2020 rmdir - -rwxr-xr-x 1 root root 22292 Sep 27 2020 run-parts - -rwxr-xr-x 1 root root 125036 Dec 22 2018 sed - lrwxrwxrwx 1 root root 4 Apr 9 08:02 sh -> dash - -rwxr-xr-x 1 root root 34696 Sep 22 2020 sleep - -rwxr-xr-x 1 root root 83880 Sep 22 2020 stty - -rwsr-xr-x 1 root root 79396 Jan 20 2022 su - -rwxr-xr-x 1 root root 34696 Sep 22 2020 sync - -rwxr-xr-x 1 root root 598488 Jan 19 2024 tar - -rwxr-xr-x 1 root root 13860 Sep 27 2020 tempfile - -rwxr-xr-x 1 root root 108520 Sep 22 2020 touch - -rwxr-xr-x 1 root root 34664 Sep 22 2020 true - -rwxr-xr-x 1 root root 17768 Feb 26 2021 ulockmgr_server - -rwsr-xr-x 1 root root 30236 Jan 20 2022 umount - -rwxr-xr-x 1 root root 34664 Sep 22 2020 uname - -rwxr-xr-x 2 root root 2346 Apr 9 2022 uncompress - -rwxr-xr-x 1 root root 153964 Sep 22 2020 vdir - -rwxr-xr-x 1 root root 63024 Jan 20 2022 wdctl - lrwxrwxrwx 1 root root 8 Nov 6 2019 ypdomainname -> hostname - -rwxr-xr-x 1 root root 1984 Apr 9 2022 zcat - -rwxr-xr-x 1 root root 1678 Apr 9 2022 zcmp - -rwxr-xr-x 1 root root 5898 Apr 9 2022 zdiff - -rwxr-xr-x 1 root root 29 Apr 9 2022 zegrep - -rwxr-xr-x 1 root root 29 Apr 9 2022 zfgrep - -rwxr-xr-x 1 root root 2081 Apr 9 2022 zforce - -rwxr-xr-x 1 root root 8049 Apr 9 2022 zgrep - -rwxr-xr-x 1 root root 2206 Apr 9 2022 zless - -rwxr-xr-x 1 root root 1842 Apr 9 2022 zmore - -rwxr-xr-x 1 root root 4577 Apr 9 2022 znew -I: user script /srv/workspace/pbuilder/119861/tmp/hooks/D02_print_environment finished + -rwxr-xr-x 1 root root 1367848 Mar 28 2022 bash + -rwxr-xr-x 3 root root 38280 Jul 21 2020 bunzip2 + -rwxr-xr-x 3 root root 38280 Jul 21 2020 bzcat + lrwxrwxrwx 1 root root 6 Jul 21 2020 bzcmp -> bzdiff + -rwxr-xr-x 1 root root 2225 Jul 21 2020 bzdiff + lrwxrwxrwx 1 root root 6 Jul 21 2020 bzegrep -> bzgrep + -rwxr-xr-x 1 root root 4877 Sep 5 2019 bzexe + lrwxrwxrwx 1 root root 6 Jul 21 2020 bzfgrep -> bzgrep + -rwxr-xr-x 1 root root 3775 Jul 21 2020 bzgrep + -rwxr-xr-x 3 root root 38280 Jul 21 2020 bzip2 + -rwxr-xr-x 1 root root 17768 Jul 21 2020 bzip2recover + lrwxrwxrwx 1 root root 6 Jul 21 2020 bzless -> bzmore + -rwxr-xr-x 1 root root 1297 Jul 21 2020 bzmore + -rwxr-xr-x 1 root root 38824 Sep 23 2020 cat + -rwxr-xr-x 1 root root 71624 Sep 23 2020 chgrp + -rwxr-xr-x 1 root root 67528 Sep 23 2020 chmod + -rwxr-xr-x 1 root root 75752 Sep 23 2020 chown + -rwxr-xr-x 1 root root 157960 Sep 23 2020 cp + -rwxr-xr-x 1 root root 128724 Dec 11 2020 dash + -rwxr-xr-x 1 root root 124904 Sep 23 2020 date + -rwxr-xr-x 1 root root 92172 Sep 23 2020 dd + -rwxr-xr-x 1 root root 100752 Sep 23 2020 df + -rwxr-xr-x 1 root root 153964 Sep 23 2020 dir + -rwxr-xr-x 1 root root 83644 Jan 21 2022 dmesg + lrwxrwxrwx 1 root root 8 Nov 8 2019 dnsdomainname -> hostname + lrwxrwxrwx 1 root root 8 Nov 8 2019 domainname -> hostname + -rwxr-xr-x 1 root root 34664 Sep 23 2020 echo + -rwxr-xr-x 1 root root 28 Jan 25 2023 egrep + -rwxr-xr-x 1 root root 34664 Sep 23 2020 false + -rwxr-xr-x 1 root root 28 Jan 25 2023 fgrep + -rwxr-xr-x 1 root root 71928 Jan 21 2022 findmnt + -rwsr-xr-x 1 root root 30112 Feb 27 2021 fusermount + -rwxr-xr-x 1 root root 210488 Jan 25 2023 grep + -rwxr-xr-x 2 root root 2346 Apr 10 2022 gunzip + -rwxr-xr-x 1 root root 6447 Apr 10 2022 gzexe + -rwxr-xr-x 1 root root 100952 Apr 10 2022 gzip + -rwxr-xr-x 1 root root 21916 Nov 8 2019 hostname + -rwxr-xr-x 1 root root 83980 Sep 23 2020 ln + -rwxr-xr-x 1 root root 55572 Feb 8 2020 login + -rwxr-xr-x 1 root root 153964 Sep 23 2020 ls + -rwxr-xr-x 1 root root 153124 Jan 21 2022 lsblk + -rwxr-xr-x 1 root root 96328 Sep 23 2020 mkdir + -rwxr-xr-x 1 root root 79912 Sep 23 2020 mknod + -rwxr-xr-x 1 root root 47048 Sep 23 2020 mktemp + -rwxr-xr-x 1 root root 58920 Jan 21 2022 more + -rwsr-xr-x 1 root root 50720 Jan 21 2022 mount + -rwxr-xr-x 1 root root 13856 Jan 21 2022 mountpoint + -rwxr-xr-x 1 root root 157996 Sep 23 2020 mv + lrwxrwxrwx 1 root root 8 Nov 8 2019 nisdomainname -> hostname + lrwxrwxrwx 1 root root 14 Dec 17 2021 pidof -> /sbin/killall5 + -rwxr-xr-x 1 root root 38824 Sep 23 2020 pwd + lrwxrwxrwx 1 root root 4 Mar 28 2022 rbash -> bash + -rwxr-xr-x 1 root root 46984 Sep 23 2020 readlink + -rwxr-xr-x 1 root root 75720 Sep 23 2020 rm + -rwxr-xr-x 1 root root 46984 Sep 23 2020 rmdir + -rwxr-xr-x 1 root root 22292 Sep 28 2020 run-parts + -rwxr-xr-x 1 root root 125036 Dec 23 2018 sed + lrwxrwxrwx 1 root root 9 Mar 27 10:27 sh -> /bin/bash + -rwxr-xr-x 1 root root 34696 Sep 23 2020 sleep + -rwxr-xr-x 1 root root 83880 Sep 23 2020 stty + -rwsr-xr-x 1 root root 79396 Jan 21 2022 su + -rwxr-xr-x 1 root root 34696 Sep 23 2020 sync + -rwxr-xr-x 1 root root 598488 Jan 20 23:59 tar + -rwxr-xr-x 1 root root 13860 Sep 28 2020 tempfile + -rwxr-xr-x 1 root root 108520 Sep 23 2020 touch + -rwxr-xr-x 1 root root 34664 Sep 23 2020 true + -rwxr-xr-x 1 root root 17768 Feb 27 2021 ulockmgr_server + -rwsr-xr-x 1 root root 30236 Jan 21 2022 umount + -rwxr-xr-x 1 root root 34664 Sep 23 2020 uname + -rwxr-xr-x 2 root root 2346 Apr 10 2022 uncompress + -rwxr-xr-x 1 root root 153964 Sep 23 2020 vdir + -rwxr-xr-x 1 root root 63024 Jan 21 2022 wdctl + lrwxrwxrwx 1 root root 8 Nov 8 2019 ypdomainname -> hostname + -rwxr-xr-x 1 root root 1984 Apr 10 2022 zcat + -rwxr-xr-x 1 root root 1678 Apr 10 2022 zcmp + -rwxr-xr-x 1 root root 5898 Apr 10 2022 zdiff + -rwxr-xr-x 1 root root 29 Apr 10 2022 zegrep + -rwxr-xr-x 1 root root 29 Apr 10 2022 zfgrep + -rwxr-xr-x 1 root root 2081 Apr 10 2022 zforce + -rwxr-xr-x 1 root root 8049 Apr 10 2022 zgrep + -rwxr-xr-x 1 root root 2206 Apr 10 2022 zless + -rwxr-xr-x 1 root root 1842 Apr 10 2022 zmore + -rwxr-xr-x 1 root root 4577 Apr 10 2022 znew +I: user script /srv/workspace/pbuilder/4494/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -269,7 +300,7 @@ Get: 52 http://deb.debian.org/debian bullseye/main i386 menhir i386 20201216-1 [811 kB] Get: 53 http://deb.debian.org/debian bullseye/main i386 ocaml-findlib i386 1.8.1-2 [469 kB] Get: 54 http://deb.debian.org/debian bullseye/main i386 ocplib-simplex-ocaml-dev i386 0.4-2+b1 [265 kB] -Fetched 128 MB in 2s (73.4 MB/s) +Fetched 128 MB in 4s (28.7 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package bsdextrautils. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19731 files and directories currently installed.) @@ -501,7 +532,11 @@ Building tag database... -> Finished parsing the build-deps I: Building the package -I: Running cd /build/reproducible-path/alt-ergo-2.0.0/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../alt-ergo_2.0.0-7_source.changes +I: user script /srv/workspace/pbuilder/4494/tmp/hooks/A99_set_merged_usr starting +Not re-configuring usrmerge for bullseye +I: user script /srv/workspace/pbuilder/4494/tmp/hooks/A99_set_merged_usr finished +hostname: Name or service not known +I: Running cd /build/reproducible-path/alt-ergo-2.0.0/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-genchanges -S > ../alt-ergo_2.0.0-7_source.changes dpkg-buildpackage: info: source package alt-ergo dpkg-buildpackage: info: source version 2.0.0-7 dpkg-buildpackage: info: source distribution unstable @@ -555,644 +590,35 @@ config.status: creating Makefile.configurable config.status: WARNING: 'Makefile.configurable.in' seems to ignore the --datarootdir setting dh_auto_build - make -j22 + make -j7 make[1]: Entering directory '/build/reproducible-path/alt-ergo-2.0.0' 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/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 -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 -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 -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 -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 -File "/build/reproducible-path/alt-ergo-2.0.0/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/zarithNumbers.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/numsNumbers.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/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/util/options.mli -File "/build/reproducible-path/alt-ergo-2.0.0/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/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 -ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/typed.mli -ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/parsed_interface.mli -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/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 "/build/reproducible-path/alt-ergo-2.0.0/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/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 -ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/numbers.ml -File "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/lib/util/numbers.ml", line 51, characters 18-32: -51 | else if Pervasives.(>) v max_float then max_float - ^^^^^^^^^^^^^^ -Alert deprecated: module Stdlib.Pervasives -Use Stdlib instead. - -If you need to stay compatible with OCaml < 4.07, you can use the -stdlib-shims library: https://github.com/ocaml/stdlib-shims -ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/formula.mli -ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/explanation.mli -ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/commands.mli -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/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/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 -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/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 -File "/build/reproducible-path/alt-ergo-2.0.0/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/reasoners/sig.mli -File "/build/reproducible-path/alt-ergo-2.0.0/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/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/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/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/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 "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 -ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/frontend/parsers.ml -File "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 -File "/build/reproducible-path/alt-ergo-2.0.0/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 parsers/why/why_parser.ml -ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/frontend/triggers.ml -File "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/lib/frontend/triggers.ml", line 193, characters 14-32: -193 | let c = Pervasives.compare a1 a2 in - ^^^^^^^^^^^^^^^^^^ -Alert deprecated: module Stdlib.Pervasives -Use Stdlib instead. - -If you need to stay compatible with OCaml < 4.07, you can use the -stdlib-shims library: https://github.com/ocaml/stdlib-shims -ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/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 "/build/reproducible-path/alt-ergo-2.0.0/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 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 "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 -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 "/build/reproducible-path/alt-ergo-2.0.0/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 -File "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 -File "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 -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/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/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/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/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/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 "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 "/build/reproducible-path/alt-ergo-2.0.0/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 parsers/why/why_lexer.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/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 "/build/reproducible-path/alt-ergo-2.0.0/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? -ocamlopt.opt -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 -o alt-ergo.opt zarith.cmxa nums.cmxa unix.cmxa dynlink.cmxa str.cmxa zip.cmxa ocplibSimplex.cmxa lib/util/config.cmx lib/util/version.cmx lib/util/emap.cmx lib/util/myUnix.cmx lib/util/myDynlink.cmx lib/util/myZip.cmx lib/util/util.cmx lib/util/lists.cmx lib/util/numsNumbers.cmx lib/util/zarithNumbers.cmx lib/util/numbers.cmx lib/util/options.cmx lib/util/cmdline_parser.cmx lib/util/timers.cmx lib/util/gc_debug.cmx lib/util/loc.cmx lib/util/hconsing.cmx lib/util/hstring.cmx lib/structures/exception.cmx lib/structures/symbols.cmx lib/structures/ty.cmx lib/structures/parsed.cmx lib/structures/errors.cmx lib/structures/typed.cmx lib/structures/term.cmx lib/structures/fpa_rounding.cmx lib/structures/literal.cmx lib/structures/formula.cmx lib/structures/explanation.cmx lib/structures/commands.cmx lib/structures/profiling.cmx lib/reasoners/matching.cmx lib/reasoners/instances.cmx lib/reasoners/polynome.cmx lib/reasoners/ac.cmx lib/reasoners/uf.cmx lib/reasoners/use.cmx lib/reasoners/intervals.cmx lib/reasoners/inequalities.cmx lib/reasoners/intervalCalculus.cmx lib/reasoners/arith.cmx lib/reasoners/records.cmx lib/reasoners/bitv.cmx lib/reasoners/arrays.cmx lib/reasoners/sum.cmx lib/reasoners/combine.cmx lib/reasoners/ccx.cmx lib/reasoners/theory.cmx lib/reasoners/fun_sat.cmx lib/reasoners/sat_solver.cmx lib/frontend/triggers.cmx lib/frontend/typechecker.cmx lib/frontend/cnf.cmx lib/frontend/parsed_interface.cmx lib/frontend/frontend.cmx lib/frontend/parsers.cmx parsers/why/why_parser.cmx parsers/why/why_lexer.cmx tools/text/main_text.cmx -File "/build/reproducible-path/alt-ergo-2.0.0/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 +File "lib/util/cmdline_parser.ml", line 9, characters 0-1: +9 | \nlet () = Options.parse_cmdline_arguments () + ^ +Error: Illegal character (\\) +Makefile.users:304: .depend: No such file or directory +make[1]: *** [Makefile.users:301: .depend] Error 2 make[1]: Leaving directory '/build/reproducible-path/alt-ergo-2.0.0' - dh_auto_test - create-stamp debian/debhelper-build-stamp - dh_prep - dh_auto_install - make -j22 install DESTDIR=/build/reproducible-path/alt-ergo-2.0.0/debian/alt-ergo AM_UPDATE_INFO_DIR=no -make[1]: Entering directory '/build/reproducible-path/alt-ergo-2.0.0' -mkdir -p /build/reproducible-path/alt-ergo-2.0.0/debian/alt-ergo/usr/share/man/man1 -mkdir -p /build/reproducible-path/alt-ergo-2.0.0/debian/alt-ergo/usr/lib/i386-linux-gnu/alt-ergo/preludes -cp -f doc/alt-ergo.1 /build/reproducible-path/alt-ergo-2.0.0/debian/alt-ergo/usr/share/man/man1 -cp -f preludes/fpa-theory-2017-01-04-16h00.why /build/reproducible-path/alt-ergo-2.0.0/debian/alt-ergo/usr/lib/i386-linux-gnu/alt-ergo/preludes/ -mkdir -p /build/reproducible-path/alt-ergo-2.0.0/debian/alt-ergo/usr/lib/i386-linux-gnu/alt-ergo/plugins -mkdir -p /build/reproducible-path/alt-ergo-2.0.0/debian/alt-ergo/usr/lib/i386-linux-gnu/alt-ergo/plugins -cp -f fm-simplex-plugin.cmxs /build/reproducible-path/alt-ergo-2.0.0/debian/alt-ergo/usr/lib/i386-linux-gnu/alt-ergo/plugins -mkdir -p /build/reproducible-path/alt-ergo-2.0.0/debian/alt-ergo/usr/bin -cp -f satML-plugin.cmxs /build/reproducible-path/alt-ergo-2.0.0/debian/alt-ergo/usr/lib/i386-linux-gnu/alt-ergo/plugins -cp -f alt-ergo.opt /build/reproducible-path/alt-ergo-2.0.0/debian/alt-ergo/usr/bin/alt-ergo -make[1]: Leaving directory '/build/reproducible-path/alt-ergo-2.0.0' - dh_ocamldoc - dh_installdocs - dh_installchangelogs - dh_installexamples - dh_installman - dh_perl - dh_link - dh_strip_nondeterminism - dh_compress - dh_fixperms - dh_missing - dh_strip -a - dh_makeshlibs -a - dh_shlibdeps -a - dh_installdeb - dh_ocaml -W: alt-ergo doesn't resolve dependency on unit Timers -W: alt-ergo doesn't resolve dependency on unit Parsed -W: alt-ergo doesn't resolve dependency on unit Util -W: alt-ergo doesn't resolve dependency on unit Loc -W: alt-ergo doesn't resolve dependency on unit Explanation -W: alt-ergo doesn't resolve dependency on unit Symbols -W: alt-ergo doesn't resolve dependency on unit Term -W: alt-ergo doesn't resolve dependency on unit Sig -W: alt-ergo doesn't resolve dependency on unit Profiling -W: alt-ergo doesn't resolve dependency on unit Term -W: alt-ergo doesn't resolve dependency on unit Hstring -W: alt-ergo doesn't resolve dependency on unit Numbers -W: alt-ergo doesn't resolve dependency on unit Sat_solver -W: alt-ergo doesn't resolve dependency on unit Ccx -W: alt-ergo doesn't resolve dependency on unit Hconsing -W: alt-ergo doesn't resolve dependency on unit Exception -W: alt-ergo doesn't resolve dependency on unit Explanation -W: alt-ergo doesn't resolve dependency on unit Typed -W: alt-ergo doesn't resolve dependency on unit Options -W: alt-ergo doesn't resolve dependency on unit Options -W: alt-ergo doesn't resolve dependency on unit Hstring -W: alt-ergo doesn't resolve dependency on unit Sat_solver -W: alt-ergo doesn't resolve dependency on unit Profiling -W: alt-ergo doesn't resolve dependency on unit Sat_solver_sig -W: alt-ergo doesn't resolve dependency on unit Literal -W: alt-ergo doesn't resolve dependency on unit Instances -W: alt-ergo doesn't resolve dependency on unit Inequalities -W: alt-ergo doesn't resolve dependency on unit Fun_sat -W: alt-ergo doesn't resolve dependency on unit Hconsing -W: alt-ergo doesn't resolve dependency on unit Theory -W: alt-ergo doesn't resolve dependency on unit Theory -W: alt-ergo doesn't resolve dependency on unit Formula -W: alt-ergo doesn't resolve dependency on unit Symbols -W: alt-ergo doesn't resolve dependency on unit Polynome -W: alt-ergo doesn't resolve dependency on unit NumbersInterface -W: alt-ergo doesn't resolve dependency on unit Fun_sat -W: alt-ergo doesn't resolve dependency on unit Commands -W: alt-ergo doesn't resolve dependency on unit Formula -W: alt-ergo doesn't resolve dependency on unit Timers -W: alt-ergo doesn't resolve dependency on unit Numbers -W: alt-ergo doesn't resolve dependency on unit Instances -W: alt-ergo doesn't resolve dependency on unit Exception -W: alt-ergo doesn't resolve dependency on unit Util -W: alt-ergo doesn't resolve dependency on unit Inequalities -W: alt-ergo doesn't resolve dependency on unit Literal -W: alt-ergo doesn't resolve dependency on unit Matching_types -W: alt-ergo doesn't resolve dependency on unit Combine -W: alt-ergo doesn't resolve dependency on unit Uf -W: alt-ergo doesn't resolve dependency on unit Use -W: alt-ergo doesn't resolve dependency on unit Ty - dh_gencontrol - dh_md5sums - dh_builddeb -dpkg-deb: building package 'alt-ergo' in '../alt-ergo_2.0.0-7_i386.deb'. -dpkg-deb: building package 'alt-ergo-dbgsym' in '../alt-ergo-dbgsym_2.0.0-7_i386.deb'. - dpkg-genbuildinfo --build=binary - dpkg-genchanges --build=binary >../alt-ergo_2.0.0-7_i386.changes -dpkg-genchanges: info: binary-only upload (no source code included) - dpkg-source --after-build . -dpkg-buildpackage: info: binary-only upload (no source included) -dpkg-genchanges: info: not including original source code in upload +dh_auto_build: error: make -j7 returned exit code 2 +make: *** [debian/rules:7: binary] Error 25 +dpkg-buildpackage: error: debian/rules binary subprocess returned exit status 2 I: copying local configuration +E: Failed autobuilding of package +I: user script /srv/workspace/pbuilder/4494/tmp/hooks/C01_cleanup starting +debug output: disk usage on i-capture-the-hostname at Tue Mar 26 20:29:17 UTC 2024 +Filesystem Size Used Avail Use% Mounted on +tmpfs 3.9G 0 3.9G 0% /dev/shm + +I: user script /srv/workspace/pbuilder/4494/tmp/hooks/C01_cleanup finished I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env -I: removing directory /srv/workspace/pbuilder/119861 and its subdirectories -I: Current time: Mon Apr 28 14:50:12 -12 2025 -I: pbuilder-time-stamp: 1745895012 +I: removing directory /srv/workspace/pbuilder/4494 and its subdirectories