Diff of the two buildlogs: -- --- b1/build.log 2024-01-09 10:11:52.830387051 +0000 +++ b2/build.log 2024-01-09 10:17:10.586123596 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Mon Feb 10 04:33:59 -12 2025 -I: pbuilder-time-stamp: 1739205239 +I: Current time: Wed Jan 10 00:11:59 +14 2024 +I: pbuilder-time-stamp: 1704795119 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/bullseye-reproducible-base.tgz] I: copying local configuration @@ -17,7 +17,7 @@ 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.9dMJLWIy/trustedkeys.kbx': General error +gpgv: keyblock resource '/tmp/dpkg-verify-sig.xpsWYnV2/trustedkeys.kbx': General error gpgv: Signature made Tue Aug 11 08:06:35 2020 gpgv: using RSA key 6DE24E97ECA886CC56E6250E21B8EEF1B1893081 gpgv: Can't check signature: No public key @@ -30,49 +30,80 @@ 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/4142469/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/753193/tmp/hooks/D01_modify_environment starting +debug: Running on ionos1-amd64. +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 Jan 9 10:12 /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/753193/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/753193/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='amd64' - DEBIAN_FRONTEND='noninteractive' - DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all,-fixfilepath parallel=16 ' - DISTRIBUTION='bullseye' - HOME='/root' - HOST_ARCH='amd64' + 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]="x86_64-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=amd64 + DEBIAN_FRONTEND=noninteractive + DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all,-fixfilepath parallel=15 ' + DIRSTACK=() + DISTRIBUTION=bullseye + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=x86_64 + HOST_ARCH=amd64 IFS=' ' - INVOCATION_ID='9946f38bf37844e7895cb3059c4fdafc' - LANG='C' - LANGUAGE='en_US:en' - LC_ALL='C' - 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='4142469' - PS1='# ' - PS2='> ' + INVOCATION_ID=f5269a8e46054bcaa000a5acd62ff43c + LANG=C + LANGUAGE=et_EE:et + LC_ALL=C + MACHTYPE=x86_64-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=753193 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.Q1cGVGiE/pbuilderrc_rKvp --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.Q1cGVGiE/b1 --logfile b1/build.log alt-ergo_2.0.0-7.dsc' - SUDO_GID='111' - SUDO_UID='106' - 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.Q1cGVGiE/pbuilderrc_HbAe --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.Q1cGVGiE/b2 --logfile b2/build.log alt-ergo_2.0.0-7.dsc' + SUDO_GID=110 + SUDO_UID=105 + 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 ionos15-amd64 6.5.0-0.deb12.4-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.5.10-1~bpo12+1 (2023-11-23) x86_64 GNU/Linux + Linux i-capture-the-hostname 6.1.0-17-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.69-1 (2023-12-30) x86_64 GNU/Linux I: ls -l /bin total 5476 -rwxr-xr-x 1 root root 1234376 Mar 27 2022 bash @@ -132,7 +163,7 @@ -rwxr-xr-x 1 root root 52032 Sep 24 2020 rmdir -rwxr-xr-x 1 root root 27472 Sep 27 2020 run-parts -rwxr-xr-x 1 root root 122224 Dec 22 2018 sed - lrwxrwxrwx 1 root root 4 Feb 8 15:47 sh -> dash + lrwxrwxrwx 1 root root 9 Jan 9 10:12 sh -> /bin/bash -rwxr-xr-x 1 root root 43808 Sep 24 2020 sleep -rwxr-xr-x 1 root root 84928 Sep 24 2020 stty -rwsr-xr-x 1 root root 71912 Jan 20 2022 su @@ -158,7 +189,7 @@ -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/4142469/tmp/hooks/D02_print_environment finished +I: user script /srv/workspace/pbuilder/753193/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -266,7 +297,7 @@ Get: 52 http://deb.debian.org/debian bullseye/main amd64 menhir amd64 20201216-1 [853 kB] Get: 53 http://deb.debian.org/debian bullseye/main amd64 ocaml-findlib amd64 1.8.1-2 [477 kB] Get: 54 http://deb.debian.org/debian bullseye/main amd64 ocplib-simplex-ocaml-dev amd64 0.4-2+b1 [270 kB] -Fetched 129 MB in 1s (89.1 MB/s) +Fetched 129 MB in 1min 13s (1768 kB/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 ... 17743 files and directories currently installed.) @@ -498,7 +529,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/753193/tmp/hooks/A99_set_merged_usr starting +Not re-configuring usrmerge for bullseye +I: user script /srv/workspace/pbuilder/753193/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 @@ -552,644 +587,35 @@ config.status: creating Makefile.configurable config.status: WARNING: 'Makefile.configurable.in' seems to ignore the --datarootdir setting dh_auto_build - make -j16 + make -j15 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/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 -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 -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 -ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/options.mli -ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/ty.mli -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/structures/fpa_rounding.mli -ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/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 -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/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 -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 -ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/options.ml -ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/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 -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 -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/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/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 -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 -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 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 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/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 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? -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 -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 -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 -j16 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/x86_64-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/x86_64-linux-gnu/alt-ergo/preludes/ -mkdir -p /build/reproducible-path/alt-ergo-2.0.0/debian/alt-ergo/usr/lib/x86_64-linux-gnu/alt-ergo/plugins -mkdir -p /build/reproducible-path/alt-ergo-2.0.0/debian/alt-ergo/usr/lib/x86_64-linux-gnu/alt-ergo/plugins -cp -f fm-simplex-plugin.cmxs /build/reproducible-path/alt-ergo-2.0.0/debian/alt-ergo/usr/lib/x86_64-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/x86_64-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 Sig -W: alt-ergo doesn't resolve dependency on unit Exception -W: alt-ergo doesn't resolve dependency on unit Loc -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 Sat_solver_sig -W: alt-ergo doesn't resolve dependency on unit Fun_sat -W: alt-ergo doesn't resolve dependency on unit Util -W: alt-ergo doesn't resolve dependency on unit Instances -W: alt-ergo doesn't resolve dependency on unit Formula -W: alt-ergo doesn't resolve dependency on unit Term -W: alt-ergo doesn't resolve dependency on unit Timers -W: alt-ergo doesn't resolve dependency on unit Hconsing -W: alt-ergo doesn't resolve dependency on unit Literal -W: alt-ergo doesn't resolve dependency on unit Util -W: alt-ergo doesn't resolve dependency on unit Profiling -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 Parsed -W: alt-ergo doesn't resolve dependency on unit Uf -W: alt-ergo doesn't resolve dependency on unit Sat_solver -W: alt-ergo doesn't resolve dependency on unit Typed -W: alt-ergo doesn't resolve dependency on unit Inequalities -W: alt-ergo doesn't resolve dependency on unit Hconsing -W: alt-ergo doesn't resolve dependency on unit Explanation -W: alt-ergo doesn't resolve dependency on unit Hstring -W: alt-ergo doesn't resolve dependency on unit Literal -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 Term -W: alt-ergo doesn't resolve dependency on unit Options -W: alt-ergo doesn't resolve dependency on unit Symbols -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 Profiling -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 Combine -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 Explanation -W: alt-ergo doesn't resolve dependency on unit Exception -W: alt-ergo doesn't resolve dependency on unit Matching_types -W: alt-ergo doesn't resolve dependency on unit Use -W: alt-ergo doesn't resolve dependency on unit Inequalities -W: alt-ergo doesn't resolve dependency on unit Formula -W: alt-ergo doesn't resolve dependency on unit Options -W: alt-ergo doesn't resolve dependency on unit Symbols -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_amd64.deb'. -dpkg-deb: building package 'alt-ergo-dbgsym' in '../alt-ergo-dbgsym_2.0.0-7_amd64.deb'. - dpkg-genbuildinfo --build=binary - dpkg-genchanges --build=binary >../alt-ergo_2.0.0-7_amd64.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 -j15 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/753193/tmp/hooks/C01_cleanup starting +debug output: disk usage on i-capture-the-hostname at Tue Jan 9 10:17:03 UTC 2024 +Filesystem Size Used Avail Use% Mounted on +tmpfs 32G 0 32G 0% /dev/shm + +I: user script /srv/workspace/pbuilder/753193/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/4142469 and its subdirectories -I: Current time: Mon Feb 10 04:35:04 -12 2025 -I: pbuilder-time-stamp: 1739205304 +I: removing directory /srv/workspace/pbuilder/753193 and its subdirectories