Building on iphito.caelum.ci.dev
(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
Digest: sha256:cb76113ac235cd5c32f736db85bcfc8888018aacdc9c798abbb097ef4fbc9206
Status: Downloaded newer image for ocaml/opam:debian-unstable
2024-01-17 04:51.47 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2024-01-17 04:51.47 ---> using "65c3237f501f7c75f3828458ecf2342bc41c98aaef8c6a7fd82bf46a58cb258c" from cache
/: (run (network host)
(shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q 28c3ca4ddd028f5a7bdb6a8172dd869315b6b65d"))
2024-01-17 04:51.47 ---> using "f42a41ef0a6cf3dbbafb21d8e520e7db703b9cf09fe07ffd32a08fe4177af3e7" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
User configuration:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
2024-01-17 04:51.47 ---> using "9cd974eb59ff7fce393824adce4e31b3bad3729a4858b8cec79ef3afc63c8b14" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.09' '4.09.1'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.09.1"} | "ocaml-system" {= "4.09.1"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> retrieved ocaml-base-compiler.4.09.1 (https://github.com/ocaml/ocaml/archive/4.09.1.tar.gz)
-> installed ocaml-base-compiler.4.09.1
-> installed ocaml-config.1
-> installed ocaml.4.09.1
Done.
# Run eval $(opam env --switch=4.09) to update the current shell environment
2024-01-17 04:51.47 ---> using "16dc73aeeddd9bd26def7261107a14255be0909315d81b6d6826c5532f4a5013" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [198 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2024-01-17-0205.06-F-2024-01-12-1405.21.pdiff [210 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2024-01-17-0205.06-F-2024-01-12-1405.21.pdiff [210 kB]
- Fetched 471 kB in 2s (279 kB/s)
- Reading package lists...
-
2024-01-17 04:51.47 ---> using "d9a2b321ded2c3a1bc0e9a79428c589afd6ef011423d08cb2a9044e677e6dcc2" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"alt-ergo.2.2.0\"\
\nopam install -vy \"alt-ergo.2.2.0\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"alt-ergo.2.2.0\" | grep -q '\"debian-unstable\"'; then\
\n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
\n exit 69\
\n fi\
\nfi\
\n\
\n\
\nexit $res\
\n"))
Nothing to do.
[NOTE] alt-ergo.2.2.0 is not installed.
The following actions will be performed:
=== install 14 packages
- install alt-ergo 2.2.0
- install camlzip 1.07 [required by alt-ergo]
- install conf-autoconf 0.1 [required by alt-ergo]
- install conf-gmp 4 [required by zarith]
- install conf-which 1 [required by conf-autoconf]
- install dune 3.12.2 [required by menhir]
- install menhir 20211128 [required by alt-ergo]
- install menhirLib 20211128 [required by menhir]
- install menhirSdk 20211128 [required by menhir]
- install num 1.5 [required by alt-ergo]
- install ocamlfind 1.9.6 [required by psmt2-frontend, camlzip, ocplib-simplex, zarith]
- install ocplib-simplex 0.4.1 [required by alt-ergo]
- install psmt2-frontend 0.1 [required by alt-ergo]
- install zarith 1.13 [required by alt-ergo]
The following system packages will first need to be installed:
autoconf libgmp-dev zlib1g-dev
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
4. Abort the installation
[1/2/3/4] 1
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "autoconf" "libgmp-dev" "zlib1g-dev"
- debconf: delaying package configuration, since apt-utils is not installed
- (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 ... 19823 files and directories currently installed.)
- Preparing to unpack .../zlib1g_1%3a1.3.dfsg-3+b1_amd64.deb ...
- Unpacking zlib1g:amd64 (1:1.3.dfsg-3+b1) over (1:1.3.dfsg-3) ...
- Setting up zlib1g:amd64 (1:1.3.dfsg-3+b1) ...
- Selecting previously unselected package m4.
- (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 ... 19824 files and directories currently installed.)
- Preparing to unpack .../0-m4_1.4.19-4_amd64.deb ...
- Unpacking m4 (1.4.19-4) ...
- Selecting previously unselected package autoconf.
- Preparing to unpack .../1-autoconf_2.71-3_all.deb ...
- Unpacking autoconf (2.71-3) ...
- Selecting previously unselected package autotools-dev.
- Preparing to unpack .../2-autotools-dev_20220109.1_all.deb ...
- Unpacking autotools-dev (20220109.1) ...
- Selecting previously unselected package automake.
- Preparing to unpack .../3-automake_1%3a1.16.5-1.3_all.deb ...
- Unpacking automake (1:1.16.5-1.3) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../4-libgmpxx4ldbl_2%3a6.3.0+dfsg-2_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../5-libgmp-dev_2%3a6.3.0+dfsg-2_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-2) ...
- Selecting previously unselected package zlib1g-dev:amd64.
- Preparing to unpack .../6-zlib1g-dev_1%3a1.3.dfsg-3+b1_amd64.deb ...
- Unpacking zlib1g-dev:amd64 (1:1.3.dfsg-3+b1) ...
- Setting up m4 (1.4.19-4) ...
- Setting up autotools-dev (20220109.1) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2) ...
- Setting up autoconf (2.71-3) ...
- Setting up zlib1g-dev:amd64 (1:1.3.dfsg-3+b1) ...
- Setting up automake (1:1.16.5-1.3) ...
- update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
- Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-2) ...
- Processing triggers for libc-bin (2.37-13) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/40: [alt-ergo.2.2.0: http]
Processing 2/40: [alt-ergo.2.2.0: http]
Processing 3/40: [alt-ergo.2.2.0: http]
Processing 4/40: [alt-ergo.2.2.0: http]
Processing 5/40: [alt-ergo.2.2.0: http]
Processing 6/40: [alt-ergo.2.2.0: http]
Processing 7/40: [alt-ergo.2.2.0: http] [conf-gmp: sh]
Processing 8/40: [alt-ergo.2.2.0: http] [conf-gmp: sh] [conf-which: which which]
-> retrieved camlzip.1.07 (cached)
Processing 9/40: [alt-ergo.2.2.0: http] [conf-gmp: sh] [conf-which: which which]
-> retrieved menhir.20211128, menhirLib.20211128, menhirSdk.20211128 (cached)
Processing 10/40: [alt-ergo.2.2.0: http] [conf-gmp: sh] [conf-which: which which]
Processing 10/40: [conf-gmp: sh] [conf-which: which which]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "sh" "-exc" "cc -c $CFLAGS -I/usr/local/include test.c" (CWD=/home/opam/.opam/4.09/.opam-switch/build/conf-gmp.4)
- + cc -c -I/usr/local/include test.c
-> compiled conf-gmp.4
Processing 10/40: [conf-which: which which]
-> installed conf-gmp.4
Processing 11/40: [conf-which: which which]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "which" "which" (CWD=/home/opam/.opam/4.09/.opam-switch/build/conf-which.1)
- /usr/bin/which
-> compiled conf-which.1
Processing 11/40:
-> installed conf-which.1
Processing 12/40:
Processing 13/40: [conf-autoconf: which autoconf]
-> retrieved num.1.5 (cached)
Processing 14/40: [conf-autoconf: which autoconf]
Processing 15/40: [conf-autoconf: which autoconf] [num: make opam-legacy]
-> retrieved alt-ergo.2.2.0 (http://alt-ergo.ocamlpro.com/http/alt-ergo-2.2.0/alt-ergo-2.2.0.tar.gz)
Processing 16/40: [conf-autoconf: which autoconf] [num: make opam-legacy]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "which" "autoconf" (CWD=/home/opam/.opam/4.09/.opam-switch/build/conf-autoconf.0.1)
- /usr/bin/autoconf
-> compiled conf-autoconf.0.1
Processing 16/40: [num: make opam-legacy]
-> installed conf-autoconf.0.1
Processing 17/40: [num: make opam-legacy]
-> retrieved ocamlfind.1.9.6 (cached)
Processing 18/40: [num: make opam-legacy]
[ocamlfind: patch] applying 0001-Harden-test-for-OCaml-5.patch
Processing 19/40: [num: make opam-legacy] [ocamlfind: patch]
-> retrieved dune.3.12.2 (cached)
Processing 20/40: [num: make opam-legacy] [ocamlfind: patch]
Processing 21/40: [dune: ocaml 255] [num: make opam-legacy] [ocamlfind: patch]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "PROFILE=release" "opam-legacy" (CWD=/home/opam/.opam/4.09/.opam-switch/build/num.1.5)
- make -C src all
- make[1]: Entering directory '/home/opam/.opam/4.09/.opam-switch/build/num.1.5/src'
- ocamlc -ccopt -DBNG_ARCH_amd64 -c bng.c
- ocamlc -ccopt -DBNG_ARCH_amd64 -c nat_stubs.c
- ocamlmklib -oc nums bng.o nat_stubs.o
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.ml
- ocamlmklib -o nums -oc nums -linkall int_misc.cmo nat.cmo big_int.cmo arith_flags.cmo ratio.cmo num.cmo arith_status.cmo
- cp ../toplevel/num_top_printers.mli ../toplevel/num_top.mli ../toplevel/num_top_printers.ml ../toplevel/num_top.ml .
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top_printers.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top_printers.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -a -o num_top.cma num_top_printers.cmo num_top.cmo
- echo 'version = "1.6~dev"' > META.top
- cat META.num-top.in >> META.top
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.ml
- ocamlmklib -o nums -oc nums -linkall int_misc.cmx nat.cmx big_int.cmx arith_flags.cmx ratio.cmx num.cmx arith_status.cmx
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -I . -shared -o nums.cmxs nums.cmxa
- make[1]: Leaving directory '/home/opam/.opam/4.09/.opam-switch/build/num.1.5/src'
- cp src/num-legacy.install num.install
-> compiled num.1.5
Processing 21/40: [dune: ocaml 255] [ocamlfind: patch]
-> installed num.1.5
Processing 22/40: [dune: ocaml 255] [ocamlfind: patch]
-> retrieved ocplib-simplex.0.4.1 (cached)
-> retrieved psmt2-frontend.0.1 (cached)
Processing 22/40: [dune: ocaml 255] [ocamlfind: ./configure]
-> retrieved zarith.1.13 (cached)
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "-bindir" "/home/opam/.opam/4.09/bin" "-sitelib" "/home/opam/.opam/4.09/lib" "-mandir" "/home/opam/.opam/4.09/man" "-config" "/home/opam/.opam/4.09/lib/findlib.conf" "-no-custom" "-no-camlp4" (CWD=/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6)
- Welcome to findlib version 1.9.6
- Configuring core...
- Checking for #remove_directory...
- Testing threading model...
- systhread_supported: true
- Testing DLLs...
- Testing whether ppxopt can be supported...
- Checking for ocamlc -opaque...
- Checking for ocamlopt -g...
- Querying installation: META list not found
- make install will double-check installed META files
- Configuring libraries...
- unix: found
- dynlink: found
- bigarray: found
- compiler-libs: found
- dbm: not present (normal since 4.00)
- graphics: not present (normal since 4.09)
- num: found
- ocamlbuild: not present (normal since 4.03)
- ocamldoc: found (in +ocamldoc)
- raw_spacetime: found
- threads: found (in +threads)
- str: found
- labltk: not present (normal since 4.02)
- native dynlink: found
- camlp4: disabled
- bytes: found, installing fake library
- Configuration for stdlib written to site-lib-src/stdlib/META
- Configuration for unix written to site-lib-src/unix/META
- Configuration for dynlink written to site-lib-src/dynlink/META
- Configuration for bigarray written to site-lib-src/bigarray/META
- Configuration for compiler-libs written to site-lib-src/compiler-libs/META
- Configuration for num written to site-lib-src/num/META
- Configuration for num-top written to site-lib-src/num-top/META
- Configuration for ocamldoc written to site-lib-src/ocamldoc/META
- Configuration for raw_spacetime written to site-lib-src/raw_spacetime/META
- Configuration for threads written to site-lib-src/threads/META
- Configuration for str written to site-lib-src/str/META
- Configuration for bytes written to site-lib-src/bytes/META
- Detecting compiler arguments: (extractor built) ok
-
- About the OCAML core installation:
- Standard library: /home/opam/.opam/4.09/lib/ocaml
- Binaries: /home/opam/.opam/4.09/bin
- Manual pages: /home/opam/.opam/4.09/man
- Multi-threading type: posix
- The directory of site-specific packages will be
- site-lib: /home/opam/.opam/4.09/lib
- The configuration file is written to:
- findlib config file: /home/opam/.opam/4.09/lib/findlib.conf
- Software will be installed:
- Libraries: in <site-lib>/findlib
- Binaries: /home/opam/.opam/4.09/bin
- Manual pages: /home/opam/.opam/4.09/man
- topfind script: /home/opam/.opam/4.09/lib/ocaml
- Topfind ppxopt support: yes
- Toolbox: no
- Link custom runtime: no
- Need bytes compatibility: no
-
- Configuration has been written to Makefile.config
-
- You can now do 'make all', and optionally 'make opt', to build ocamlfind.
Processing 22/40: [dune: ocaml 255] [ocamlfind: make all]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6)
- for p in findlib; do ( cd src/$p; make all ) || exit; done
- make[1]: Entering directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- ocamllex fl_meta.mll
- 22 states, 392 transitions, table size 1700 bytes
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib_config.mlp | \
- ../../tools/patch '@CONFIGFILE@' '/home/opam/.opam/4.09/lib/findlib.conf' | \
- ../../tools/patch '@STDLIB@' '/home/opam/.opam/4.09/lib/ocaml' | \
- sed -e 's;@AUTOLINK@;true;g' \
- -e 's;@SYSTEM@;linux;g' \
- >findlib_config.ml
- if [ "true" = "true" ]; then \
- cp topfind.ml.in topfind.ml; \
- else \
- sed -e '/PPXOPT_BEGIN/,/PPXOPT_END/ d' topfind.ml.in \
- > topfind.ml ; \
- fi
- ocamldep *.ml *.mli >depend
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c findlib_config.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_split.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_metatoken.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_meta.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_metascanner.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_metascanner.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_topo.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_topo.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_package_base.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_package_base.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c findlib.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c findlib.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_args.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_lint.ml
- ocamlc -I +compiler-libs -a -o findlib.cma findlib_config.cmo fl_split.cmo fl_metatoken.cmo fl_meta.cmo fl_metascanner.cmo fl_topo.cmo fl_package_base.cmo findlib.cmo fl_args.cmo fl_lint.cmo
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c ocaml_args.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c frontend.ml
- ocamlc -I +compiler-libs -o ocamlfind -g findlib.cma unix.cma \
- -I +unix -I +dynlink ocaml_args.cmo frontend.cmo
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c topfind.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c topfind.ml
- ocamlc -I +compiler-libs -a -o findlib_top.cma topfind.cmo
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat topfind_rd1.p | \
- ../../tools/patch '@SITELIB@' '/home/opam/.opam/4.09/lib' \
- >topfind
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c num_top_printers.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c num_top_printers.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c num_top.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c num_top.ml
- ocamlc -I +compiler-libs -a -o num_top.cma num_top_printers.cmo num_top.cmo
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_dynload.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_dynload.ml
- ocamlc -I +compiler-libs -a -o findlib_dynload.cma fl_dynload.cmo
- make[1]: Leaving directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- make all-config
- make[1]: Entering directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6'
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib.conf.in | \
- tools/patch '@SITELIB@' '/home/opam/.opam/4.09/lib' | \
- tools/patch '@FINDLIB_PATH@' '/home/opam/.opam/4.09/lib' -p >findlib.conf
- if ./tools/cmd_from_same_dir ocamlc; then \
- echo 'ocamlc="ocamlc.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamlopt; then \
- echo 'ocamlopt="ocamlopt.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamldep; then \
- echo 'ocamldep="ocamldep.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamldoc; then \
- echo 'ocamldoc="ocamldoc.opt"' >>findlib.conf; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6'
Processing 22/40: [dune: ocaml 255] [ocamlfind: make opt]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "opt" (CWD=/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6)
- for p in findlib; do ( cd src/$p; make opt ) || exit; done
- make[1]: Entering directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c findlib_config.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_split.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_metatoken.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_meta.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_metascanner.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_topo.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_package_base.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c findlib.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_args.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_lint.ml
- ocamlopt -I +compiler-libs -g -a -o findlib.cmxa findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib.cmxs findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx; \
- fi
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c ocaml_args.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c frontend.ml
- ocamlopt -I +compiler-libs -g -o ocamlfind_opt findlib.cmxa unix.cmxa \
- -I +unix -I +dynlink ocaml_args.cmx frontend.cmx
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c topfind.ml
- File "_none_", line 1:
- Warning 58: no cmx file was found in path for module Topdirs, and its interface was not compiled with -opaque
- File "_none_", line 1:
- Warning 58: no cmx file was found in path for module Toploop, and its interface was not compiled with -opaque
- ocamlopt -I +compiler-libs -g -a -o findlib_top.cmxa topfind.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib_top.cmxs topfind.cmx; \
- fi
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_dynload.ml
- ocamlopt -I +compiler-libs -g -a -o findlib_dynload.cmxa fl_dynload.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib_dynload.cmxs fl_dynload.cmx; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
-> compiled ocamlfind.1.9.6
Processing 22/40: [dune: ocaml 255]
Processing 23/40: [dune: ocaml 255] [ocamlfind: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6)
- if [ "1" -eq 1 ]; then \
- for x in camlp4 dbm graphics labltk num ocamlbuild; do \
- if [ -f "/home/opam/.opam/4.09/lib/$x/META" ]; then \
- if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/4.09/lib/$x/META"; then \
- rm -f site-lib-src/$x/META; \
- fi; \
- fi; \
- done; \
- test -f "site-lib-src/num/META" || rm -f "site-lib-src/num-top/META"; \
- fi
- echo 'SITELIB_META =' > Makefile.packages.in
- for x in `ls site-lib-src`; do test ! -f "site-lib-src/$x/META" || echo $x >> Makefile.packages.in; done
- tr '\n' ' ' < Makefile.packages.in > Makefile.packages
- rm Makefile.packages.in
- install -d "/home/opam/.opam/4.09/bin"
- install -d "/home/opam/.opam/4.09/man"
- make install-config
- make[1]: Entering directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6'
- install -d "`dirname \"/home/opam/.opam/4.09/lib/findlib.conf\"`"
- test -f "/home/opam/.opam/4.09/lib/findlib.conf" || install -c findlib.conf "/home/opam/.opam/4.09/lib/findlib.conf"
- make[1]: Leaving directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6'
- for p in findlib; do ( cd src/$p; make install ); done
- make[1]: Entering directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- install -d "/home/opam/.opam/4.09/lib/findlib"
- install -d "/home/opam/.opam/4.09/bin"
- test 1 -eq 0 || install -d "/home/opam/.opam/4.09/lib/ocaml"
- test 1 -eq 0 || install -c topfind "/home/opam/.opam/4.09/lib/ocaml/"
- files=` ../../tools/collect_files ../../Makefile.config \
- findlib.cmi findlib.mli findlib.cma findlib.cmxa findlib.a findlib.cmxs \
- findlib_config.cmi findlib_config.ml topfind.cmi topfind.mli \
- fl_args.cmi fl_lint.cmi fl_meta.cmi fl_split.cmi fl_topo.cmi ocaml_args.cmi \
- fl_package_base.mli fl_package_base.cmi fl_metascanner.mli fl_metascanner.cmi \
- fl_metatoken.cmi findlib_top.cma findlib_top.cmxa findlib_top.a findlib_top.cmxs \
- findlib_dynload.cma findlib_dynload.cmxa findlib_dynload.a findlib_dynload.cmxs fl_dynload.mli fl_dynload.cmi \
- META` && \
- install -c $files "/home/opam/.opam/4.09/lib/findlib/"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- install -c $f "/home/opam/.opam/4.09/bin/ocamlfind"
- # the following "if" block is only needed for 4.00beta2
- if [ 1 -eq 0 -a -f "/home/opam/.opam/4.09/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \
- cd "/home/opam/.opam/4.09/lib/ocaml/compiler-libs/"; \
- install -c topdirs.cmi toploop.cmi "/home/opam/.opam/4.09/lib/findlib/"; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- make install-meta
- make[1]: Entering directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6'
- for x in bigarray bytes compiler-libs dynlink ocamldoc raw_spacetime stdlib str threads unix ; do install -d "/home/opam/.opam/4.09/lib/$x"; install -c site-lib-src/$x/META "/home/opam/.opam/4.09/lib/$x/META.tmp" && mv "/home/opam/.opam/4.09/lib/$x/META.tmp" "/home/opam/.opam/4.09/lib/$x/META"; done
- install -d "/home/opam/.opam/4.09/lib/findlib"; install -c Makefile.packages "/home/opam/.opam/4.09/lib/findlib/Makefile.packages"
- make[1]: Leaving directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6'
- test ! -f 'site-lib-src/num-top/META' || { cd src/findlib; make install-num-top; }
- test ! -f 'site-lib-src/camlp4/META' || install -c tools/safe_camlp4 "/home/opam/.opam/4.09/bin"
- make install-doc
- make[1]: Entering directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6'
- install -d "/home/opam/.opam/4.09/man/man1" "/home/opam/.opam/4.09/man/man3" "/home/opam/.opam/4.09/man/man5"
- install -c doc/ref-man/ocamlfind.1 "/home/opam/.opam/4.09/man/man1"
- install -c doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/4.09/man/man5"
- make[1]: Leaving directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6'
-> installed ocamlfind.1.9.6
Processing 23/40: [dune: ocaml 255]
Processing 24/40: [camlzip: make all] [dune: ocaml 255]
Processing 25/40: [camlzip: make all] [dune: ocaml 255] [ocplib-simplex: autoconf]
Processing 26/40: [camlzip: make all] [dune: ocaml 255] [ocplib-simplex: autoconf] [zarith: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "autoconf" (CWD=/home/opam/.opam/4.09/.opam-switch/build/ocplib-simplex.0.4.1)
- configure.in:140: warning: AC_OUTPUT should be used without arguments.
- configure.in:140: You should run autoupdate.
Processing 26/40: [camlzip: make all] [dune: ocaml 255] [ocplib-simplex: ./configure] [zarith: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/4.09/.opam-switch/build/camlzip.1.07)
- ocamlc -g -safe-string -c -ccopt -g zlibstubs.c
- zlibstubs.c: In function 'camlzip_error':
- zlibstubs.c:40:23: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
- 40 | camlzip_error_exn = caml_named_value("Zlib.Error");
- | ^
- ocamlmklib -oc camlzip zlibstubs.o \
- -lz
- ocamlc -g -safe-string -c zlib.mli
- ocamlc -g -safe-string -c zlib.ml
- ocamlc -g -safe-string -c zip.mli
- ocamlc -g -safe-string -c zip.ml
- File "zip.ml", line 62, characters 16-37:
- 62 | if_channel: Pervasives.in_channel;
- ^^^^^^^^^^^^^^^^^^^^^
- 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 "zip.ml", line 72, characters 16-38:
- 72 | of_channel: Pervasives.out_channel;
- ^^^^^^^^^^^^^^^^^^^^^^
- 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 "zip.ml", line 221, characters 11-33:
- 221 | let ic = Pervasives.open_in_bin filename 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 "zip.ml", line 236, characters 2-21:
- 236 | Pervasives.close_in ifile.if_channel
- ^^^^^^^^^^^^^^^^^^^
- 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 "zip.ml", line 372, characters 17-40:
- 372 | of_channel = Pervasives.open_out_bin filename;
- ^^^^^^^^^^^^^^^^^^^^^^^
- 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 "zip.ml", line 419, characters 2-22:
- 419 | Pervasives.close_out oc
- ^^^^^^^^^^^^^^^^^^^^
- 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 "zip.ml", line 554, characters 4-23:
- 554 | Pervasives.close_in ic
- ^^^^^^^^^^^^^^^^^^^
- 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 "zip.ml", line 556, characters 4-23:
- 556 | Pervasives.close_in ic; raise x
- ^^^^^^^^^^^^^^^^^^^
- 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 -g -safe-string -c gzip.mli
- File "gzip.mli", line 29, characters 18-39:
- 29 | val open_in_chan: Pervasives.in_channel -> in_channel
- ^^^^^^^^^^^^^^^^^^^^^
- 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 "gzip.mli", line 89, characters 33-55:
- 89 | val open_out_chan: ?level:int -> Pervasives.out_channel -> out_channel
- ^^^^^^^^^^^^^^^^^^^^^^
- 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 -g -safe-string -c gzip.ml
- File "gzip.ml", line 23, characters 13-34:
- 23 | { in_chan: Pervasives.in_channel;
- ^^^^^^^^^^^^^^^^^^^^^
- 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 "gzip.ml", line 77, characters 16-38:
- 77 | open_in_chan (Pervasives.open_in_bin filename)
- ^^^^^^^^^^^^^^^^^^^^^^
- 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 "gzip.ml", line 81, characters 12-28:
- 81 | let n = Pervasives.input iz.in_chan iz.in_buffer 0
- ^^^^^^^^^^^^^^^^
- 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 "gzip.ml", line 107, characters 14-30:
- 107 | let n = Pervasives.input iz.in_chan iz.in_buffer 0
- ^^^^^^^^^^^^^^^^
- 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 "gzip.ml", line 165, characters 2-21:
- 165 | Pervasives.close_in iz.in_chan
- ^^^^^^^^^^^^^^^^^^^
- 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 "gzip.ml", line 168, characters 14-36:
- 168 | { out_chan: Pervasives.out_channel;
- ^^^^^^^^^^^^^^^^^^^^^^
- 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 "gzip.ml", line 195, characters 24-47:
- 195 | open_out_chan ~level (Pervasives.open_out_bin filename)
- ^^^^^^^^^^^^^^^^^^^^^^^
- 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 "gzip.ml", line 202, characters 4-21:
- 202 | Pervasives.output oz.out_chan oz.out_buffer 0 oz.out_pos;
- ^^^^^^^^^^^^^^^^^
- 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 "gzip.ml", line 235, characters 4-26:
- 235 | Pervasives.output_byte oc (Int32.to_int !r);
- ^^^^^^^^^^^^^^^^^^^^^^
- 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 "gzip.ml", line 243, characters 6-23:
- 243 | Pervasives.output oz.out_chan oz.out_buffer 0 oz.out_pos;
- ^^^^^^^^^^^^^^^^^
- 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 "gzip.ml", line 257, characters 4-21:
- 257 | Pervasives.output oz.out_chan oz.out_buffer 0 oz.out_pos;
- ^^^^^^^^^^^^^^^^^
- 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 "gzip.ml", line 266, characters 2-22:
- 266 | Pervasives.close_out oz.out_chan
- ^^^^^^^^^^^^^^^^^^^^
- 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
- ocamlmklib -o zip -oc camlzip zlib.cmo zip.cmo gzip.cmo \
- -lz
Processing 26/40: [camlzip: make allopt] [dune: ocaml 255] [ocplib-simplex: ./configure] [zarith: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" (CWD=/home/opam/.opam/4.09/.opam-switch/build/zarith.1.13)
- binary ocaml: found in /home/opam/.opam/4.09/bin
- binary ocamlc: found in /home/opam/.opam/4.09/bin
- binary ocamldep: found in /home/opam/.opam/4.09/bin
- binary ocamlmklib: found in /home/opam/.opam/4.09/bin
- binary ocamldoc: found in /home/opam/.opam/4.09/bin
- binary ocamlopt: found in /home/opam/.opam/4.09/bin
- checking compilation with ocamlc -O3 -Wall -Wextra : working
- include caml/mlvalues.h: found
- library dynlink.cmxa: found
- binary ocamlfind: found in /home/opam/.opam/4.09/bin
- OCaml's word size is 64
- include gmp.h: found
- library gmp: found
- OCaml supports -bin-annot to produce documentation
-
- detected configuration:
-
- native-code: yes
- dynamic linking: yes
- defines: -DHAS_GMP
- includes: -I/home/opam/.opam/4.09/lib/ocaml
- libraries: -lgmp
- linker options:
- C options: -O3 -Wall -Wextra
- installation path: /home/opam/.opam/4.09/lib
- installation method findlib
-
- configuration successful!
- now type "make" to build
- then type "make install" or "sudo make install" to install
Processing 26/40: [camlzip: make allopt] [dune: ocaml 255] [ocplib-simplex: ./configure] [zarith: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "allopt" (CWD=/home/opam/.opam/4.09/.opam-switch/build/camlzip.1.07)
- ocamlopt -safe-string -c zlib.ml
- ocamlopt -safe-string -c zip.ml
- File "zip.ml", line 62, characters 16-37:
- 62 | if_channel: Pervasives.in_channel;
- ^^^^^^^^^^^^^^^^^^^^^
- 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 "zip.ml", line 72, characters 16-38:
- 72 | of_channel: Pervasives.out_channel;
- ^^^^^^^^^^^^^^^^^^^^^^
- 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 "zip.ml", line 221, characters 11-33:
- 221 | let ic = Pervasives.open_in_bin filename 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 "zip.ml", line 236, characters 2-21:
- 236 | Pervasives.close_in ifile.if_channel
- ^^^^^^^^^^^^^^^^^^^
- 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 "zip.ml", line 372, characters 17-40:
- 372 | of_channel = Pervasives.open_out_bin filename;
- ^^^^^^^^^^^^^^^^^^^^^^^
- 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 "zip.ml", line 419, characters 2-22:
- 419 | Pervasives.close_out oc
- ^^^^^^^^^^^^^^^^^^^^
- 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 "zip.ml", line 554, characters 4-23:
- 554 | Pervasives.close_in ic
- ^^^^^^^^^^^^^^^^^^^
- 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 "zip.ml", line 556, characters 4-23:
- 556 | Pervasives.close_in ic; raise x
- ^^^^^^^^^^^^^^^^^^^
- 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 -safe-string -c gzip.ml
- File "gzip.ml", line 23, characters 13-34:
- 23 | { in_chan: Pervasives.in_channel;
- ^^^^^^^^^^^^^^^^^^^^^
- 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 "gzip.ml", line 77, characters 16-38:
- 77 | open_in_chan (Pervasives.open_in_bin filename)
- ^^^^^^^^^^^^^^^^^^^^^^
- 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 "gzip.ml", line 81, characters 12-28:
- 81 | let n = Pervasives.input iz.in_chan iz.in_buffer 0
- ^^^^^^^^^^^^^^^^
- 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 "gzip.ml", line 107, characters 14-30:
- 107 | let n = Pervasives.input iz.in_chan iz.in_buffer 0
- ^^^^^^^^^^^^^^^^
- 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 "gzip.ml", line 165, characters 2-21:
- 165 | Pervasives.close_in iz.in_chan
- ^^^^^^^^^^^^^^^^^^^
- 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 "gzip.ml", line 168, characters 14-36:
- 168 | { out_chan: Pervasives.out_channel;
- ^^^^^^^^^^^^^^^^^^^^^^
- 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 "gzip.ml", line 195, characters 24-47:
- 195 | open_out_chan ~level (Pervasives.open_out_bin filename)
- ^^^^^^^^^^^^^^^^^^^^^^^
- 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 "gzip.ml", line 202, characters 4-21:
- 202 | Pervasives.output oz.out_chan oz.out_buffer 0 oz.out_pos;
- ^^^^^^^^^^^^^^^^^
- 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 "gzip.ml", line 235, characters 4-26:
- 235 | Pervasives.output_byte oc (Int32.to_int !r);
- ^^^^^^^^^^^^^^^^^^^^^^
- 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 "gzip.ml", line 243, characters 6-23:
- 243 | Pervasives.output oz.out_chan oz.out_buffer 0 oz.out_pos;
- ^^^^^^^^^^^^^^^^^
- 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 "gzip.ml", line 257, characters 4-21:
- 257 | Pervasives.output oz.out_chan oz.out_buffer 0 oz.out_pos;
- ^^^^^^^^^^^^^^^^^
- 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 "gzip.ml", line 266, characters 2-22:
- 266 | Pervasives.close_out oz.out_chan
- ^^^^^^^^^^^^^^^^^^^^
- 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
- ocamlmklib -o zip -oc camlzip zlib.cmx zip.cmx gzip.cmx \
- -lz
- ocamlopt -safe-string -shared -linkall -I ./ -o zip.cmxs zip.cmxa
-> compiled camlzip.1.07
Processing 26/40: [dune: ocaml 255] [ocplib-simplex: ./configure] [zarith: make]
Processing 27/40: [dune: ocaml 255] [ocplib-simplex: ./configure] [zarith: make] [camlzip: make install-findlib]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install-findlib" (CWD=/home/opam/.opam/4.09/.opam-switch/build/camlzip.1.07)
- cp META-zip META && \
- ocamlfind install zip META *.mli *.a *.cmi *.cma gzip.cmx zip.cmx zlib.cmx zip.cmxa zip.cmxs dllcamlzip.so && \
- rm META
- Installed /home/opam/.opam/4.09/lib/zip/zip.cmxs
- Installed /home/opam/.opam/4.09/lib/zip/zip.cmxa
- Installed /home/opam/.opam/4.09/lib/zip/zlib.cmx
- Installed /home/opam/.opam/4.09/lib/zip/zip.cmx
- Installed /home/opam/.opam/4.09/lib/zip/gzip.cmx
- Installed /home/opam/.opam/4.09/lib/zip/zip.cma
- Installed /home/opam/.opam/4.09/lib/zip/zlib.cmi
- Installed /home/opam/.opam/4.09/lib/zip/zip.cmi
- Installed /home/opam/.opam/4.09/lib/zip/gzip.cmi
- Installed /home/opam/.opam/4.09/lib/zip/zip.a
- Installed /home/opam/.opam/4.09/lib/zip/libcamlzip.a
- Installed /home/opam/.opam/4.09/lib/zip/zlib.mli
- Installed /home/opam/.opam/4.09/lib/zip/zip.mli
- Installed /home/opam/.opam/4.09/lib/zip/gzip.mli
- Installed /home/opam/.opam/4.09/lib/stublibs/dllcamlzip.so
- Installed /home/opam/.opam/4.09/lib/stublibs/dllcamlzip.so.owner
- ocamlfind: [WARNING] You have installed DLLs but the directory /home/opam/.opam/4.09/lib/stublibs is not mentioned in ld.conf
- Installed /home/opam/.opam/4.09/lib/zip/META
- cp META-camlzip META && \
- ocamlfind install camlzip META && \
- rm META
- Installed /home/opam/.opam/4.09/lib/camlzip/META
-> installed camlzip.1.07
Processing 27/40: [dune: ocaml 255] [ocplib-simplex: ./configure] [zarith: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "-prefix" "/home/opam/.opam/4.09" (CWD=/home/opam/.opam/4.09/.opam-switch/build/ocplib-simplex.0.4.1)
- checking for ocamlc... ocamlc
- ocaml version is 4.09.1
- ocaml library path is /home/opam/.opam/4.09/lib/ocaml
- checking for ocamlfind... yes
- checking for ocamlopt... ocamlopt
- checking ocamlopt version... ok
- checking for ocamlc.opt... ocamlc.opt
- checking ocamlc.opt version... ok
- checking for ocamlopt.opt... ocamlopt.opt
- checking ocamlopt.opt version... ok
- checking for ocamldep... ocamldep
- checking platform... configure: creating ./config.status
- config.status: creating Makefile
- config.status: WARNING: 'Makefile.in' seems to ignore the --datarootdir setting
Processing 27/40: [dune: ocaml 255] [ocplib-simplex: make] [zarith: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/4.09/.opam-switch/build/ocplib-simplex.0.4.1)
- cp src/extSigs.mli src/extSigs.ml
- cp src/coreSig.mli src/coreSig.ml
- ocamldep -I src src/*.ml* > .depend
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/version.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/version.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/extSigs.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/rat2.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/rat2.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/extSigs.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/polys.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/polys.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/coreSig.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/coreSig.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/core.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/core.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/result.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/result.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/assertBounds.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/assertBounds.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/solveBounds.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/solveBounds.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/basic.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/basic.ml
- ocamlc.opt -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -pack -o src/ocplibSimplex.cmo src/version.cmo src/rat2.cmo src/extSigs.cmo src/polys.cmo src/coreSig.cmo src/core.cmo src/result.cmo src/assertBounds.cmo src/solveBounds.cmo src/basic.cmo
- ocamlc.opt -a -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -o src/ocplibSimplex.cma src/ocplibSimplex.cmo
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/version.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/extSigs.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/rat2.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/polys.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/coreSig.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/core.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/result.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/assertBounds.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/solveBounds.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/basic.ml
- ocamlopt.opt -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -pack -o src/ocplibSimplex.cmx src/version.cmx src/rat2.cmx src/extSigs.cmx src/polys.cmx src/coreSig.cmx src/core.cmx src/result.cmx src/assertBounds.cmx src/solveBounds.cmx src/basic.cmx
- ocamlopt.opt -a -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -o src/ocplibSimplex.cmxa src/ocplibSimplex.cmx
- ocamlopt.opt -shared -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -o src/ocplibSimplex.cmxs src/ocplibSimplex.cmx
-> compiled ocplib-simplex.0.4.1
Processing 27/40: [dune: ocaml 255] [zarith: make]
Processing 28/40: [dune: ocaml 255] [zarith: make] [ocplib-simplex: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.09/.opam-switch/build/ocplib-simplex.0.4.1)
- OCAMLFIND_DESTDIR=/home/opam/.opam/4.09/lib/ \
- ocamlfind install ocplib-simplex src/ocplibSimplex.* src/*.mli META
- Installed /home/opam/.opam/4.09/lib/ocplib-simplex/version.mli
- Installed /home/opam/.opam/4.09/lib/ocplib-simplex/solveBounds.mli
- Installed /home/opam/.opam/4.09/lib/ocplib-simplex/result.mli
- Installed /home/opam/.opam/4.09/lib/ocplib-simplex/rat2.mli
- Installed /home/opam/.opam/4.09/lib/ocplib-simplex/polys.mli
- Installed /home/opam/.opam/4.09/lib/ocplib-simplex/extSigs.mli
- Installed /home/opam/.opam/4.09/lib/ocplib-simplex/coreSig.mli
- Installed /home/opam/.opam/4.09/lib/ocplib-simplex/core.mli
- Installed /home/opam/.opam/4.09/lib/ocplib-simplex/basic.mli
- Installed /home/opam/.opam/4.09/lib/ocplib-simplex/assertBounds.mli
- Installed /home/opam/.opam/4.09/lib/ocplib-simplex/ocplibSimplex.o
- Installed /home/opam/.opam/4.09/lib/ocplib-simplex/ocplibSimplex.cmxs
- Installed /home/opam/.opam/4.09/lib/ocplib-simplex/ocplibSimplex.cmxa
- Installed /home/opam/.opam/4.09/lib/ocplib-simplex/ocplibSimplex.cmx
- Installed /home/opam/.opam/4.09/lib/ocplib-simplex/ocplibSimplex.cmt
- Installed /home/opam/.opam/4.09/lib/ocplib-simplex/ocplibSimplex.cmo
- Installed /home/opam/.opam/4.09/lib/ocplib-simplex/ocplibSimplex.cmi
- Installed /home/opam/.opam/4.09/lib/ocplib-simplex/ocplibSimplex.cma
- Installed /home/opam/.opam/4.09/lib/ocplib-simplex/ocplibSimplex.a
- Installed /home/opam/.opam/4.09/lib/ocplib-simplex/META
-> installed ocplib-simplex.0.4.1
Processing 28/40: [dune: ocaml 255] [zarith: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/4.09/.opam-switch/build/zarith.1.13)
- (echo "let"; grep "version" META | head -1) > zarith_version.ml
- ocamldep zarith_version.ml z.ml q.ml big_int_Z.ml z.mli q.mli big_int_Z.mli > depend
- ocamlc -g -I +compiler-libs -bin-annot -c zarith_version.ml
- ocamlc -g -I +compiler-libs -bin-annot -c z.mli
- ocamlc -g -I +compiler-libs -bin-annot -c z.ml
- ocamlc -g -I +compiler-libs -bin-annot -c q.mli
- ocamlc -g -I +compiler-libs -bin-annot -c q.ml
- ocamlc -g -I +compiler-libs -bin-annot -c big_int_Z.mli
- ocamlc -g -I +compiler-libs -bin-annot -c big_int_Z.ml
- ocamlmklib -g -failsafe -o zarith zarith_version.cmo z.cmo q.cmo big_int_Z.cmo -lgmp
- ocamlc -ccopt "-I/home/opam/.opam/4.09/lib/ocaml -DHAS_GMP -O3 -Wall -Wextra " -c caml_z.c
- ocamlmklib -g -failsafe -o zarith caml_z.o -lgmp
- ocamlc -g -I +compiler-libs -bin-annot -c zarith_top.ml
- ocamlc -g -o zarith_top.cma -a zarith_top.cmo
- ocamlopt -g -I +compiler-libs -c zarith_version.ml
- ocamlopt -g -I +compiler-libs -c z.ml
- ocamlopt -g -I +compiler-libs -c q.ml
- ocamlopt -g -I +compiler-libs -c big_int_Z.ml
- ocamlmklib -g -failsafe -o zarith zarith_version.cmx z.cmx q.cmx big_int_Z.cmx -lgmp
- ocamlopt -shared -o zarith.cmxs -I . zarith.cmxa -linkall
-> compiled zarith.1.13
Processing 28/40: [dune: ocaml 255]
Processing 29/40: [dune: ocaml 255] [zarith: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.09/.opam-switch/build/zarith.1.13)
- ocamlfind install -destdir "/home/opam/.opam/4.09/lib" zarith META zarith.cma libzarith.a z.cmi q.cmi big_int_Z.cmi zarith_top.cma z.mli zarith.cmxa zarith_version.cmx z.cmx q.cmx big_int_Z.cmx zarith.cmxs zarith.h q.mli big_int_Z.mli zarith.a z.cmti q.cmti big_int_Z.cmti -optional dllzarith.so
- Installed /home/opam/.opam/4.09/lib/zarith/big_int_Z.cmti
- Installed /home/opam/.opam/4.09/lib/zarith/q.cmti
- Installed /home/opam/.opam/4.09/lib/zarith/z.cmti
- Installed /home/opam/.opam/4.09/lib/zarith/zarith.a
- Installed /home/opam/.opam/4.09/lib/zarith/big_int_Z.mli
- Installed /home/opam/.opam/4.09/lib/zarith/q.mli
- Installed /home/opam/.opam/4.09/lib/zarith/zarith.h
- Installed /home/opam/.opam/4.09/lib/zarith/zarith.cmxs
- Installed /home/opam/.opam/4.09/lib/zarith/big_int_Z.cmx
- Installed /home/opam/.opam/4.09/lib/zarith/q.cmx
- Installed /home/opam/.opam/4.09/lib/zarith/z.cmx
- Installed /home/opam/.opam/4.09/lib/zarith/zarith_version.cmx
- Installed /home/opam/.opam/4.09/lib/zarith/zarith.cmxa
- Installed /home/opam/.opam/4.09/lib/zarith/z.mli
- Installed /home/opam/.opam/4.09/lib/zarith/zarith_top.cma
- Installed /home/opam/.opam/4.09/lib/zarith/big_int_Z.cmi
- Installed /home/opam/.opam/4.09/lib/zarith/q.cmi
- Installed /home/opam/.opam/4.09/lib/zarith/z.cmi
- Installed /home/opam/.opam/4.09/lib/zarith/libzarith.a
- Installed /home/opam/.opam/4.09/lib/zarith/zarith.cma
- Installed /home/opam/.opam/4.09/lib/stublibs/dllzarith.so
- Installed /home/opam/.opam/4.09/lib/stublibs/dllzarith.so.owner
- ocamlfind: [WARNING] You have installed DLLs but the directory /home/opam/.opam/4.09/lib/stublibs is not mentioned in ld.conf
- Installed /home/opam/.opam/4.09/lib/zarith/META
-> installed zarith.1.13
Processing 29/40: [dune: ocaml 255]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "boot/bootstrap.ml" "-j" "255" (CWD=/home/opam/.opam/4.09/.opam-switch/build/dune.3.12.2)
- ocamlc -custom -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml
- ./.duneboot.exe -j 255
- cd _boot && /home/opam/.opam/4.09/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads opamLocal.ml
- File "vendor/opam/src/repository/opamLocal.ml", lines 109-114, characters 46-34:
- Warning 8: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Checksum_mismatch _
- File "vendor/opam/src/repository/opamLocal.ml", lines 170-189, characters 44-56:
- Warning 8: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Checksum_mismatch _
- File "vendor/opam/src/repository/opamLocal.ml", lines 209-231, characters 8-44:
- Warning 8: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Checksum_mismatch _
- cd _boot && /home/opam/.opam/4.09/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads opamVCS.ml
- File "vendor/opam/src/repository/opamVCS.ml", lines 179-182, characters 11-40:
- Warning 8: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Checksum_mismatch _
- cd _boot && /home/opam/.opam/4.09/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads dune_util__Gc.ml
- File "src/dune_util/gc.ml", lines 78-95, characters 5-6:
- Warning 23: all the fields are explicitly listed in this record:
- the 'with' clause is useless.
- cd _boot && /home/opam/.opam/4.09/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads opamDownload.ml
- File "vendor/opam/src/repository/opamDownload.ml", lines 323-361, characters 42-41:
- Warning 8: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Checksum_mismatch _
- cd _boot && /home/opam/.opam/4.09/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads opamRepository.ml
- File "vendor/opam/src/repository/opamRepository.ml", lines 88-90, characters 45-77:
- Warning 8: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Checksum_mismatch _
- File "vendor/opam/src/repository/opamRepository.ml", lines 277-281, characters 38-17:
- Warning 8: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Checksum_mismatch _
- File "vendor/opam/src/repository/opamRepository.ml", lines 423-427, characters 12-42:
- Warning 8: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (_, Checksum_mismatch _)
-
Processing 29/40: [dune: ./_boot/dune.exe build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./_boot/dune.exe" "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "255" (CWD=/home/opam/.opam/4.09/.opam-switch/build/dune.3.12.2)
-> compiled dune.3.12.2
-> installed dune.3.12.2
Processing 31/40: [menhirLib: dune build]
Processing 32/40: [menhirLib: dune build] [menhirSdk: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirSdk" "-j" "255" (CWD=/home/opam/.opam/4.09/.opam-switch/build/menhirSdk.20211128)
-> compiled menhirSdk.20211128
Processing 32/40: [menhirLib: dune build]
-> installed menhirSdk.20211128
Processing 33/40: [menhirLib: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirLib" "-j" "255" (CWD=/home/opam/.opam/4.09/.opam-switch/build/menhirLib.20211128)
- (cd _build/default/lib/pack && ./pack.exe)
- Creating menhirLib.ml...
- Creating menhirLib.mli...
-> compiled menhirLib.20211128
-> installed menhirLib.20211128
Processing 35/40: [menhir: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhir" "-j" "255" (CWD=/home/opam/.opam/4.09/.opam-switch/build/menhir.20211128)
- (cd _build/default/src/stage2 && .bin/menhir --no-pager --table --fixed-exception --require-aliases --strict parser.mly --compare-errors parserMessages.auto.messages --compare-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.check
- Read 101 sample input sentences and 101 error messages.
- Read 101 sample input sentences and 48 error messages.
- (cd _build/default && src/stage2/.bin/menhir --no-pager --table --fixed-exception --require-aliases --strict --strict -lg 1 -la 1 -lc 1 -v src/stage2/parser.mly --base src/stage2/parser --infer-read-reply src/stage2/parser__mock.mli.inferred)
- Grammar has 56 nonterminal symbols, among which 1 start symbols.
- Grammar has 37 terminal symbols.
- Grammar has 129 productions.
- Built an LR(0) automaton with 194 states.
- The grammar is not SLR(1) -- 5 states have a conflict.
- The construction mode is no-pager.
- Built an LR(1) automaton with 298 states.
- One shift/reduce conflict was silently solved.
- Extra reductions on error were added in 40 states.
- Priority played a role in 0 of these states.
- 152 out of 298 states have a default reduction.
- The action table is 11324 entries; 1610 non-zero; 1359 compressed.
- The action table occupies roughly 2816 bytes.
- The goto table is 16986 entries; 329 non-zero; 636 compressed.
- The goto table occupies roughly 1368 bytes.
- The error table occupies roughly 1448 bytes.
- The default_reduction table occupies roughly 336 bytes.
- The lhs table occupies roughly 168 bytes.
- The trace table occupies roughly 8 bytes.
- (cd _build/default/src/stage2 && .bin/menhir --no-pager --table --fixed-exception --require-aliases --strict parser.mly --compile-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.ml
- Read 101 sample input sentences and 48 error messages.
-> compiled menhir.20211128
-> installed menhir.20211128
Processing 37/40: [psmt2-frontend: autoconf]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "autoconf" (CWD=/home/opam/.opam/4.09/.opam-switch/build/psmt2-frontend.0.1)
- configure.in:161: warning: AC_OUTPUT should be used without arguments.
- configure.in:161: You should run autoupdate.
Processing 37/40: [psmt2-frontend: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "-prefix" "/home/opam/.opam/4.09" (CWD=/home/opam/.opam/4.09/.opam-switch/build/psmt2-frontend.0.1)
- checking for ocamlc... ocamlc
- ocaml version is 4.09.1
- ocaml library path is /home/opam/.opam/4.09/lib/ocaml
- checking for ocamlfind... yes
- checking for ocamlopt... ocamlopt
- checking ocamlopt version... ok
- checking for ocamlc.opt... ocamlc.opt
- checking ocamlc.opt version... ok
- checking for ocamlopt.opt... ocamlopt.opt
- checking ocamlopt.opt version... ok
- checking for ocamldep... ocamldep
- checking platform... checking for ocamllex... ocamllex
- checking for ocamllex.opt... ocamllex.opt
- checking for menhir... menhir
- configure: creating ./config.status
- config.status: creating Makefile
- config.status: WARNING: 'Makefile.in' seems to ignore the --datarootdir setting
Processing 37/40: [psmt2-frontend: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/4.09/.opam-switch/build/psmt2-frontend.0.1)
- menhir -v src/smtlib_parser.mly
- Note: the nonterminal symbol option (from src/smtlib_parser.mly) is renamed src_smtlib_parser_option.
- Warning: 22 end-of-stream conflicts were arbitrarily resolved.
- File "<standard.mly>", line 206, characters 16-16:
- Warning: production list(term) -> is never reduced.
- Warning: in total, 1 production is never reduced.
- ocamllex.opt src/smtlib_lexer.mll > /dev/null
- ocamldep -I src src/*.ml* > .depend
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/version.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/version.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/options.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/options.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_error.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_ty.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_syntax.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_printer.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_parser.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_parser.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_lexer.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_typed_env.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_typed_logic.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_typing.ml
- ocamlc.opt -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -pack -o src/psmt2Frontend.cmo src/version.cmo src/options.cmo src/smtlib_error.cmo src/smtlib_ty.cmo src/smtlib_syntax.cmo src/smtlib_printer.cmo src/smtlib_parser.cmo src/smtlib_lexer.cmo src/smtlib_typed_env.cmo src/smtlib_typed_logic.cmo src/smtlib_typing.cmo
- ocamlc.opt -a -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -o src/psmt2Frontend.cma src/psmt2Frontend.cmo
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/version.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/options.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_error.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_ty.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_syntax.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_printer.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_parser.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_lexer.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_typed_env.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_typed_logic.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_typing.ml
- ocamlopt.opt -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -pack -o src/psmt2Frontend.cmx src/version.cmx src/options.cmx src/smtlib_error.cmx src/smtlib_ty.cmx src/smtlib_syntax.cmx src/smtlib_printer.cmx src/smtlib_parser.cmx src/smtlib_lexer.cmx src/smtlib_typed_env.cmx src/smtlib_typed_logic.cmx src/smtlib_typing.cmx
- ocamlopt.opt -a -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -o src/psmt2Frontend.cmxa src/psmt2Frontend.cmx
- ocamlopt.opt -shared -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -o src/psmt2Frontend.cmxs src/psmt2Frontend.cmx
-> compiled psmt2-frontend.0.1
Processing 38/40: [psmt2-frontend: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.09/.opam-switch/build/psmt2-frontend.0.1)
- OCAMLFIND_DESTDIR=/home/opam/.opam/4.09/lib/ \
- ocamlfind install psmt2-frontend src/psmt2Frontend.* src/*.mli META
- Installed /home/opam/.opam/4.09/lib/psmt2-frontend/version.mli
- Installed /home/opam/.opam/4.09/lib/psmt2-frontend/smtlib_parser.mli
- Installed /home/opam/.opam/4.09/lib/psmt2-frontend/options.mli
- Installed /home/opam/.opam/4.09/lib/psmt2-frontend/psmt2Frontend.o
- Installed /home/opam/.opam/4.09/lib/psmt2-frontend/psmt2Frontend.cmxs
- Installed /home/opam/.opam/4.09/lib/psmt2-frontend/psmt2Frontend.cmxa
- Installed /home/opam/.opam/4.09/lib/psmt2-frontend/psmt2Frontend.cmx
- Installed /home/opam/.opam/4.09/lib/psmt2-frontend/psmt2Frontend.cmt
- Installed /home/opam/.opam/4.09/lib/psmt2-frontend/psmt2Frontend.cmo
- Installed /home/opam/.opam/4.09/lib/psmt2-frontend/psmt2Frontend.cmi
- Installed /home/opam/.opam/4.09/lib/psmt2-frontend/psmt2Frontend.cma
- Installed /home/opam/.opam/4.09/lib/psmt2-frontend/psmt2Frontend.a
- Installed /home/opam/.opam/4.09/lib/psmt2-frontend/META
-> installed psmt2-frontend.0.1
[alt-ergo: patch] applying 0001-fix-uninstall-lib-in-Makefile.patch
Processing 39/40: [alt-ergo: patch]
Processing 39/40: [alt-ergo: autoconf]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "autoconf" (CWD=/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0)
- configure.in:328: warning: AC_OUTPUT should be used without arguments.
- configure.in:328: You should run autoupdate.
Processing 39/40: [alt-ergo: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "-prefix" "/home/opam/.opam/4.09" (CWD=/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0)
- checking for ocp-ocamlc... no
- checking for ocamlc... ocamlc
- ocaml version is 4.09.1
- ocaml library path is /home/opam/.opam/4.09/lib/ocaml
- checking for ocamlfind... yes
- ocamlfind found zarith in -I /home/opam/.opam/4.09/lib/zarith
- ocamlfind found num in -I /home/opam/.opam/4.09/lib/num
- ocamlfind found camlzip in -I /home/opam/.opam/4.09/lib/camlzip/../zip
- ocamlfind found ocplib-simplex in -I /home/opam/.opam/4.09/lib/ocplib-simplex
- ocamlfind found psmt2-frontend in -I /home/opam/.opam/4.09/lib/psmt2-frontend
- checking for ocp-ocamlopt... no
- checking for ocamlopt... ocamlopt
- checking ocamlopt version... ok
- checking for ocp-ocamlc.opt... no
- checking for ocamlc.opt... ocamlc.opt
- checking ocamlc.opt version... ok
- checking for ocp-ocamlopt.opt... no
- checking for ocamlopt.opt... ocamlopt.opt
- checking ocamlc.opt version... ok
- checking for ocamldep... ocamldep
- checking for ocamllex... ocamllex
- checking for ocamllex.opt... ocamllex.opt
- checking for menhir... menhir
- ocamlfind: Package `lablgtk2.sourceview2' not found
- checking for /home/opam/.opam/4.09/lib/ocaml/lablgtk2/lablgtksourceview2.cma... no
- Will not be able to compile GUI. Please install the *liblablgtksourceview2-ocaml-dev* Debian package - or use the GODI caml package system *http://godi.ocaml-programming.de/* - or compile from sources *http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/lablgtk.html*
- checking for ocamlweb... true
- checking platform... configure: creating ./config.status
- config.status: creating Makefile.configurable
- config.status: WARNING: 'Makefile.configurable.in' seems to ignore the --datarootdir setting
Processing 39/40: [alt-ergo: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0)
- autoconf
- configure.in:328: warning: AC_OUTPUT should be used without arguments.
- configure.in:328: You should run autoupdate.
- ./configure
- checking for ocp-ocamlc... no
- checking for ocamlc... ocamlc
- ocaml version is 4.09.1
- ocaml library path is /home/opam/.opam/4.09/lib/ocaml
- checking for ocamlfind... yes
- ocamlfind found zarith in -I /home/opam/.opam/4.09/lib/zarith
- ocamlfind found num in -I /home/opam/.opam/4.09/lib/num
- ocamlfind found camlzip in -I /home/opam/.opam/4.09/lib/camlzip/../zip
- ocamlfind found ocplib-simplex in -I /home/opam/.opam/4.09/lib/ocplib-simplex
- ocamlfind found psmt2-frontend in -I /home/opam/.opam/4.09/lib/psmt2-frontend
- checking for ocp-ocamlopt... no
- checking for ocamlopt... ocamlopt
- checking ocamlopt version... ok
- checking for ocp-ocamlc.opt... no
- checking for ocamlc.opt... ocamlc.opt
- checking ocamlc.opt version... ok
- checking for ocp-ocamlopt.opt... no
- checking for ocamlopt.opt... ocamlopt.opt
- checking ocamlc.opt version... ok
- checking for ocamldep... ocamldep
- checking for ocamllex... ocamllex
- checking for ocamllex.opt... ocamllex.opt
- checking for menhir... menhir
- ocamlfind: Package `lablgtk2.sourceview2' not found
- checking for /home/opam/.opam/4.09/lib/ocaml/lablgtk2/lablgtksourceview2.cma... no
- Will not be able to compile GUI. Please install the *liblablgtksourceview2-ocaml-dev* Debian package - or use the GODI caml package system *http://godi.ocaml-programming.de/* - or compile from sources *http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/lablgtk.html*
- checking for ocamlweb... true
- checking platform... configure: creating ./config.status
- config.status: creating Makefile.configurable
- config.status: WARNING: 'Makefile.configurable.in' seems to ignore the --datarootdir setting
- 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 parsers/smt2 -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* parsers/smt2/*.ml* plugins/fm-simplex/*ml* > .depend
- autoconf
- configure.in:328: warning: AC_OUTPUT should be used without arguments.
- configure.in:328: You should run autoupdate.
- ./configure
- checking for ocp-ocamlc... no
- checking for ocamlc... ocamlc
- ocaml version is 4.09.1
- ocaml library path is /home/opam/.opam/4.09/lib/ocaml
- checking for ocamlfind... yes
- ocamlfind found zarith in -I /home/opam/.opam/4.09/lib/zarith
- ocamlfind found num in -I /home/opam/.opam/4.09/lib/num
- ocamlfind found camlzip in -I /home/opam/.opam/4.09/lib/camlzip/../zip
- ocamlfind found ocplib-simplex in -I /home/opam/.opam/4.09/lib/ocplib-simplex
- ocamlfind found psmt2-frontend in -I /home/opam/.opam/4.09/lib/psmt2-frontend
- checking for ocp-ocamlopt... no
- checking for ocamlopt... ocamlopt
- checking ocamlopt version... ok
- checking for ocp-ocamlc.opt... no
- checking for ocamlc.opt... ocamlc.opt
- checking ocamlc.opt version...
- ok
- checking for ocp-ocamlopt.opt... no
- checking for ocamlopt.opt... ocamlopt.opt
- checking ocamlc.opt version... ok
- checking for ocamldep... ocamldep
- checking for ocamllex... ocamllex
- checking for ocamllex.opt... ocamllex.opt
- checking for menhir... menhir
- ocamlfind: Package `lablgtk2.sourceview2' not found
- checking for /home/opam/.opam/4.09/lib/ocaml/lablgtk2/lablgtksourceview2.cma... no
- Will not be able to compile GUI. Please install the *liblablgtksourceview2-ocaml-dev* Debian package - or use the GODI caml package system *http://godi.ocaml-programming.de/* - or compile from sources *http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/lablgtk.html*
- checking for ocamlweb... true
- checking platform... configure: creating ./config.status
- config.status: creating Makefile.configurable
- config.status: WARNING: 'Makefile.configurable.in' seems to ignore the --datarootdir setting
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/config.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/version.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/version.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/emap.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/emap.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/myUnix.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/myUnix.ml
- File "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.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
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/myDynlink.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/myDynlink.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/myZip.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/myZip.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/util.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/util.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/lists.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/lists.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/numbersInterface.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/numsNumbers.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/numsNumbers.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/zarithNumbers.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/zarithNumbers.ml
- File "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.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 -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/numbers.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/numbers.ml
- File "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/util/numbers.ml", line 51, characters 13-27:
- 51 | 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 "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/util/numbers.ml", line 52, characters 18-32:
- 52 | 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 -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/options.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/options.ml
- File "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/util/options.ml", line 905, characters 33-51:
- 905 | 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 -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/vec.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/vec.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/iheap.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/iheap.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/timers.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/timers.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/gc_debug.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/gc_debug.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/loc.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/loc.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/hconsing.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/hconsing.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/hstring.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/hstring.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/ty.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/ty.ml
- File "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/structures/ty.ml", line 205, characters 33-51:
- 205 | | 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 "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/structures/ty.ml", line 228, characters 17-35:
- 228 | | 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 "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/structures/ty.ml", line 271, characters 52-70:
- 271 | 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 "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/structures/ty.ml", line 343, characters 30-48:
- 343 | 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 "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/structures/ty.ml", line 345, characters 26-40:
- 345 | 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 "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/structures/ty.ml", line 386, characters 45-63:
- 386 | 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
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/symbols.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/symbols.ml
- File "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/structures/symbols.ml", line 117, characters 10-28:
- 117 | | _ -> 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
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/term.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/term.ml
- File "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.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 "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.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
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/literal.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/literal.ml
- File "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.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
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/formula.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/formula.ml
- File "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/structures/formula.ml", line 111, characters 10-28:
- 111 | 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 "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/structures/formula.ml", line 112, characters 14-32:
- 112 | if c=0 then Pervasives.compare v1.tag v2.tag else c
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/structures/formula.ml", line 869, characters 6-20:
- 869 | 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
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/satml_types.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/satml_types.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/explanation.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/explanation.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/exception.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/exception.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/parsed.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/parsed.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/errors.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/errors.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/typed.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/typed.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/fpa_rounding.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/fpa_rounding.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/commands.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/commands.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/profiling.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/profiling.ml
- File "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.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
- File "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/structures/profiling.ml", line 629, characters 5-19:
- 629 | 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 "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/structures/profiling.ml", line 630, characters 10-24:
- 630 | 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 "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/structures/profiling.ml", line 631, characters 10-24:
- 631 | 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
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/matching_types.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/sig.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/matching.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/matching.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/use.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/use.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/ac.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/ac.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/uf.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/uf.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/sum.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/sum.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/records.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/records.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/polynome.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/polynome.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/ite.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/ite.ml
- File "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/reasoners/ite.ml", line 75, characters 32-50:
- 75 | if c <> 0 then c else Pervasives.compare b1 b2
- ^^^^^^^^^^^^^^^^^^
- 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 -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/bitv.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/bitv.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/arrays.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/arrays.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/intervals.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/intervals.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/inequalities.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/inequalities.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/intervalCalculus.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/intervalCalculus.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/arith.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/arith.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/combine.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/combine.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/ccx.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/ccx.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/theory.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/theory.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/instances.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/instances.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/sat_solver_sig.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/sat_solver_sig.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/fun_sat.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/fun_sat.ml
- File "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/reasoners/fun_sat.ml", line 72, characters 34-49:
- 72 | 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 "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/reasoners/fun_sat.ml", line 98, characters 21-39:
- 98 | 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 "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/reasoners/fun_sat.ml", line 100, characters 18-36:
- 100 | 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 "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/reasoners/fun_sat.ml", line 970, characters 7-22:
- 970 | 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
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/satml.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/satml.ml
- File "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/reasoners/satml.ml", line 354, characters 4-18:
- 354 | 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 "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/reasoners/satml.ml", line 368, characters 7-21:
- 368 | 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 "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/reasoners/satml.ml", line 380, characters 7-21:
- 380 | 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 "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/reasoners/satml.ml", line 864, characters 12-30:
- 864 | 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
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/satml_frontend.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/satml_frontend.ml
- File "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/reasoners/satml_frontend.ml", line 536, characters 16-34:
- 536 | 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
- File "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/reasoners/satml_frontend.ml", line 925, characters 19-33:
- 925 | let aux mx f = Pervasives.max mx (F.max_term_depth f) 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 -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/sat_solver.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/sat_solver.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/triggers.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/triggers.ml
- File "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/frontend/triggers.ml", line 36, characters 54-72:
- 36 | 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 "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/frontend/triggers.ml", line 53, characters 17-35:
- 53 | | 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 "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/frontend/triggers.ml", line 58, characters 9-27:
- 58 | 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 "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/frontend/triggers.ml", line 78, characters 11-29:
- 78 | | _ -> 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 "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/frontend/triggers.ml", line 156, characters 28-46:
- 156 | 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 "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/frontend/triggers.ml", line 194, characters 14-32:
- 194 | 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
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/cnf.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/cnf.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/typechecker.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/typechecker.ml
- File "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.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 "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.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 "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.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 "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.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 "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/frontend/typechecker.ml", line 772, characters 17-31:
- 772 | 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 "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/frontend/typechecker.ml", line 772, characters 42-56:
- 772 | 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 "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/frontend/typechecker.ml", line 1874, characters 6-20:
- 1874 | 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 "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/frontend/typechecker.ml", line 1877, characters 6-20:
- 1877 | 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
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/parsed_interface.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/parsed_interface.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/frontend.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/frontend.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/parsers.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/parsers.ml
- File "/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0/lib/frontend/parsers.ml", line 103, characters 9-24:
- 103 | 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
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib parsers/why/why_parser.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib parsers/why/why_parser.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib parsers/why/why_lexer.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib parsers/smt2/psmt2_to_alt_ergo.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib parsers/smt2/psmt2_to_alt_ergo.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/parsers_loader.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/parsers_loader.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib tools/text/main_text.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib tools/text/main_text.ml
- ocamlopt.opt -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib -o alt-ergo.opt zarith.cmxa nums.cmxa unix.cmxa dynlink.cmxa str.cmxa zip.cmxa ocplibSimplex.cmxa psmt2Frontend.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/vec.cmx lib/util/iheap.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/satml_types.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/ite.cmx lib/reasoners/combine.cmx lib/reasoners/ccx.cmx lib/reasoners/theory.cmx lib/reasoners/sat_solver_sig.cmx lib/reasoners/fun_sat.cmx lib/reasoners/satml.cmx lib/reasoners/satml_frontend.cmx lib/reasoners/sat_solver.cmx lib/frontend/triggers.cmx lib/frontend/cnf.cmx lib/frontend/typechecker.cmx lib/frontend/parsed_interface.cmx lib/frontend/frontend.cmx lib/frontend/parsers.cmx parsers/why/why_parser.cmx parsers/why/why_lexer.cmx parsers/smt2/psmt2_to_alt_ergo.cmx lib/frontend/parsers_loader.cmx tools/text/main_text.cmx
- gui compilation skipped (lablgtksourceview not detected)
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib plugins/fm-simplex/simplex.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib plugins/fm-simplex/simplex_cache.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib plugins/fm-simplex/fmSimplexIneqs.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib plugins/fm-simplex/fmSimplexIneqs.ml
- ocamlopt.opt -I /home/opam/.opam/4.09/lib/num -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I /home/opam/.opam/4.09/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -shared -o fm-simplex-plugin.cmxs plugins/fm-simplex/simplex_cache.cmx plugins/fm-simplex/simplex.cmx plugins/fm-simplex/fmSimplexIneqs.cmx
-> compiled alt-ergo.2.2.0
Processing 40/40: [alt-ergo: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" "MANDIR=/home/opam/.opam/4.09/man" (CWD=/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0)
- autoconf
- configure.in:328: warning: AC_OUTPUT should be used without arguments.
- configure.in:328: You should run autoupdate.
- ./configure
- checking for ocp-ocamlc... no
- checking for ocamlc... ocamlc
- ocaml version is 4.09.1
- ocaml library path is /home/opam/.opam/4.09/lib/ocaml
- checking for ocamlfind... yes
- ocamlfind found zarith in -I /home/opam/.opam/4.09/lib/zarith
- ocamlfind found num in -I /home/opam/.opam/4.09/lib/num
- ocamlfind found camlzip in -I /home/opam/.opam/4.09/lib/camlzip/../zip
- ocamlfind found ocplib-simplex in -I /home/opam/.opam/4.09/lib/ocplib-simplex
- ocamlfind found psmt2-frontend in -I /home/opam/.opam/4.09/lib/psmt2-frontend
- checking for ocp-ocamlopt... no
- checking for ocamlopt... ocamlopt
- checking ocamlopt version... ok
- checking for ocp-ocamlc.opt... no
- checking for ocamlc.opt... ocamlc.opt
- checking ocamlc.opt version... ok
- checking for ocp-ocamlopt.opt... no
- checking for ocamlopt.opt... ocamlopt.opt
- checking ocamlc.opt version... ok
- checking for ocamldep... ocamldep
- checking for ocamllex... ocamllex
- checking for ocamllex.opt... ocamllex.opt
- checking for menhir... menhir
- ocamlfind: Package `lablgtk2.sourceview2' not found
- checking for /home/opam/.opam/4.09/lib/ocaml/lablgtk2/lablgtksourceview2.cma... no
- Will not be able to compile GUI. Please install the *liblablgtksourceview2-ocaml-dev* Debian package - or use the GODI caml package system *http://godi.ocaml-programming.de/* - or compile from sources *http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/lablgtk.html*
- checking for ocamlweb... true
- checking platform... configure: creating ./config.status
- config.status: creating Makefile.configurable
- config.status: WARNING: 'Makefile.configurable.in' seems to ignore the --datarootdir setting
- ocamldep -slash -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -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* parsers/smt2/*.ml* plugins/fm-simplex/*ml* > .depend
- autoconf
- configure.in:328: warning: AC_OUTPUT should be used without arguments.
- configure.in:328: You should run autoupdate.
- ./configure
- checking for ocp-ocamlc... no
- checking for ocamlc... ocamlc
- ocaml version is 4.09.1
- ocaml library path is /home/opam/.opam/4.09/lib/ocaml
- checking for ocamlfind... yes
- ocamlfind found zarith in -I /home/opam/.opam/4.09/lib/zarith
- ocamlfind found num in -I /home/opam/.opam/4.09/lib/num
- ocamlfind found camlzip in -I /home/opam/.opam/4.09/lib/camlzip/../zip
- ocamlfind found ocplib-simplex in -I /home/opam/.opam/4.09/lib/ocplib-simplex
- ocamlfind found psmt2-frontend in -I /home/opam/.opam/4.09/lib/psmt2-frontend
- checking for ocp-ocamlopt... no
- checking for ocamlopt... ocamlopt
- checking ocamlopt version... ok
- checking for ocp-ocamlc.opt... no
- checking for ocamlc.opt... ocamlc.opt
- checking ocamlc.opt version... ok
- checking for ocp-ocamlopt.opt... no
- checking for ocamlopt.opt... ocamlopt.opt
- checking ocamlc.opt version... ok
- checking for ocamldep... ocamldep
- checking for ocamllex... ocamllex
- checking for ocamllex.opt... ocamllex.opt
- checking for menhir... menhir
- ocamlfind: Package `lablgtk2.sourceview2' not found
- checking for /home/opam/.opam/4.09/lib/ocaml/lablgtk2/lablgtksourceview2.cma... no
- Will not be able to compile GUI. Please install the *liblablgtksourceview2-ocaml-dev* Debian package - or use the GODI caml package system *http://godi.ocaml-programming.de/* - or compile from sources *http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/lablgtk.html*
- checking for ocamlweb... true
- checking platform... configure: creating ./config.status
- config.status: creating Makefile.configurable
- config.status: WARNING: 'Makefile.configurable.in' seems to ignore the --datarootdir setting
- mkdir -p /home/opam/.opam/4.09/man/man1
- cp -f doc/alt-ergo.1 /home/opam/.opam/4.09/man/man1
- mkdir -p /usr/local/lib/alt-ergo/preludes
- mkdir: cannot create directory '/usr/local/lib/alt-ergo': Read-only file system
- make: *** [Makefile.users:243: install-preludes] Error 1
[ERROR] The installation of alt-ergo failed at "make install MANDIR=/home/opam/.opam/4.09/man".
Processing 40/40: [alt-ergo: autoconf]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "remove" "autoconf" (CWD=/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0)
- configure.in:328: warning: AC_OUTPUT should be used without arguments.
- configure.in:328: You should run autoupdate.
Processing 40/40: [alt-ergo: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "remove" "./configure" "-prefix" "/home/opam/.opam/4.09" (CWD=/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0)
- checking for ocp-ocamlc... no
- checking for ocamlc... ocamlc
- ocaml version is 4.09.1
- ocaml library path is /home/opam/.opam/4.09/lib/ocaml
- checking for ocamlfind... yes
- ocamlfind found zarith in -I /home/opam/.opam/4.09/lib/zarith
- ocamlfind found num in -I /home/opam/.opam/4.09/lib/num
- ocamlfind found camlzip in -I /home/opam/.opam/4.09/lib/camlzip/../zip
- ocamlfind found ocplib-simplex in -I /home/opam/.opam/4.09/lib/ocplib-simplex
- ocamlfind found psmt2-frontend in -I /home/opam/.opam/4.09/lib/psmt2-frontend
- checking for ocp-ocamlopt... no
- checking for ocamlopt... ocamlopt
- checking ocamlopt version... ok
- checking for ocp-ocamlc.opt... no
- checking for ocamlc.opt... ocamlc.opt
- checking ocamlc.opt version... ok
- checking for ocp-ocamlopt.opt... no
- checking for ocamlopt.opt... ocamlopt.opt
- checking ocamlc.opt version... ok
- checking for ocamldep... ocamldep
- checking for ocamllex... ocamllex
- checking for ocamllex.opt... ocamllex.opt
- checking for menhir... menhir
- ocamlfind: Package `lablgtk2.sourceview2' not found
- checking for /home/opam/.opam/4.09/lib/ocaml/lablgtk2/lablgtksourceview2.cma... no
- Will not be able to compile GUI. Please install the *liblablgtksourceview2-ocaml-dev* Debian package - or use the GODI caml package system *http://godi.ocaml-programming.de/* - or compile from sources *http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/lablgtk.html*
- checking for ocamlweb... true
- checking platform... configure: creating ./config.status
- config.status: creating Makefile.configurable
- config.status: WARNING: 'Makefile.configurable.in' seems to ignore the --datarootdir setting
Processing 40/40: [alt-ergo: make uninstall]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "remove" "make" "uninstall" "MANDIR=/home/opam/.opam/4.09/man" (CWD=/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0)
- autoconf
- configure.in:328: warning: AC_OUTPUT should be used without arguments.
- configure.in:328: You should run autoupdate.
- ./configure
- checking for ocp-ocamlc... no
- checking for ocamlc... ocamlc
- ocaml version is 4.09.1
- ocaml library path is /home/opam/.opam/4.09/lib/ocaml
- checking for ocamlfind... yes
- ocamlfind found zarith in -I /home/opam/.opam/4.09/lib/zarith
- ocamlfind found num in -I /home/opam/.opam/4.09/lib/num
- ocamlfind found camlzip in -I /home/opam/.opam/4.09/lib/camlzip/../zip
- ocamlfind found ocplib-simplex in -I /home/opam/.opam/4.09/lib/ocplib-simplex
- ocamlfind found psmt2-frontend in -I /home/opam/.opam/4.09/lib/psmt2-frontend
- checking for ocp-ocamlopt... no
- checking for ocamlopt... ocamlopt
- checking ocamlopt version... ok
- checking for ocp-ocamlc.opt... no
- checking for ocamlc.opt... ocamlc.opt
- checking ocamlc.opt version... ok
- checking for ocp-ocamlopt.opt... no
- checking for ocamlopt.opt... ocamlopt.opt
- checking ocamlc.opt version... ok
- checking for ocamldep... ocamldep
- checking for ocamllex... ocamllex
- checking for ocamllex.opt... ocamllex.opt
- checking for menhir... menhir
- ocamlfind: Package `lablgtk2.sourceview2' not found
- checking for /home/opam/.opam/4.09/lib/ocaml/lablgtk2/lablgtksourceview2.cma... no
- Will not be able to compile GUI. Please install the *liblablgtksourceview2-ocaml-dev* Debian package - or use the GODI caml package system *http://godi.ocaml-programming.de/* - or compile from sources *http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/lablgtk.html*
- checking for ocamlweb... true
- checking platform... configure: creating ./config.status
- config.status: creating Makefile.configurable
- config.status: WARNING: 'Makefile.configurable.in' seems to ignore the --datarootdir setting
- ocamldep -slash -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -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* parsers/smt2/*.ml* plugins/fm-simplex/*ml* > .depend
- autoconf
- configure.in:328: warning: AC_OUTPUT should be used without arguments.
- configure.in:328: You should run autoupdate.
- ./configure
- checking for ocp-ocamlc... no
- checking for ocamlc... ocamlc
- ocaml version is 4.09.1
- ocaml library path is /home/opam/.opam/4.09/lib/ocaml
- checking for ocamlfind... yes
- ocamlfind found zarith in -I /home/opam/.opam/4.09/lib/zarith
- ocamlfind found num in -I /home/opam/.opam/4.09/lib/num
- ocamlfind found camlzip in -I /home/opam/.opam/4.09/lib/camlzip/../zip
- ocamlfind found ocplib-simplex in -I /home/opam/.opam/4.09/lib/ocplib-simplex
- ocamlfind found psmt2-frontend in -I /home/opam/.opam/4.09/lib/psmt2-frontend
- checking for ocp-ocamlopt... no
- checking for ocamlopt... ocamlopt
- checking ocamlopt version... ok
- checking for ocp-ocamlc.opt... no
- checking for ocamlc.opt... ocamlc.opt
- checking ocamlc.opt version... ok
- checking for ocp-ocamlopt.opt... no
- checking for ocamlopt.opt... ocamlopt.opt
- checking ocamlc.opt version... ok
- checking for ocamldep... ocamldep
- checking for ocamllex... ocamllex
- checking for ocamllex.opt... ocamllex.opt
- checking for menhir... menhir
- ocamlfind: Package `lablgtk2.sourceview2' not found
- checking for /home/opam/.opam/4.09/lib/ocaml/lablgtk2/lablgtksourceview2.cma... no
- Will not be able to compile GUI. Please install the *liblablgtksourceview2-ocaml-dev* Debian package - or use the GODI caml package system *http://godi.ocaml-programming.de/* - or compile from sources *http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/lablgtk.html*
- checking for ocamlweb... true
- checking platform... configure: creating ./config.status
- config.status: creating Makefile.configurable
- config.status: WARNING: 'Makefile.configurable.in' seems to ignore the --datarootdir setting
- ocamlfind remove alt-ergo
- ocamlfind: [WARNING] No such file: /home/opam/.opam/4.09/lib/alt-ergo/META
- rm: cannot remove '/usr/local/bin/alt-ergo': No such file or directory
- make: *** [Makefile.users:271: uninstall] Error 1
#=== ERROR while installing alt-ergo.2.2.0 ====================================#
# context 2.2.0~alpha4~dev | linux/x86_64 | ocaml-base-compiler.4.09.1 | file:///home/opam/opam-repository
# path ~/.opam/4.09/.opam-switch/build/alt-ergo.2.2.0
# command ~/.opam/opam-init/hooks/sandbox.sh install make install MANDIR=/home/opam/.opam/4.09/man
# exit-code 2
# env-file ~/.opam/log/alt-ergo-8-91e937.env
# output-file ~/.opam/log/alt-ergo-8-91e937.out
### output ###
# autoconf
# configure.in:328: warning: AC_OUTPUT should be used without arguments.
# configure.in:328: You should run autoupdate.
# ./configure
# checking for ocp-ocamlc... no
# checking for ocamlc... ocamlc
# ocaml version is 4.09.1
# ocaml library path is /home/opam/.opam/4.09/lib/ocaml
# checking for ocamlfind... yes
# ocamlfind found zarith in -I /home/opam/.opam/4.09/lib/zarith
# ocamlfind found num in -I /home/opam/.opam/4.09/lib/num
# ocamlfind found camlzip in -I /home/opam/.opam/4.09/lib/camlzip/../zip
# ocamlfind found ocplib-simplex in -I /home/opam/.opam/4.09/lib/ocplib-simplex
# ocamlfind found psmt2-frontend in -I /home/opam/.opam/4.09/lib/psmt2-frontend
# checking for ocp-ocamlopt... no
# checking for ocamlopt... ocamlopt
# checking ocamlopt version... ok
# checking for ocp-ocamlc.opt... no
# checking for ocamlc.opt... ocamlc.opt
# checking ocamlc.opt version... ok
# checking for ocp-ocamlopt.opt... no
# checking for ocamlopt.opt... ocamlopt.opt
# checking ocamlc.opt version... ok
# checking for ocamldep... ocamldep
# checking for ocamllex... ocamllex
# checking for ocamllex.opt... ocamllex.opt
# checking for menhir... menhir
# ocamlfind: Package `lablgtk2.sourceview2' not found
# checking for /home/opam/.opam/4.09/lib/ocaml/lablgtk2/lablgtksourceview2.cma... no
# Will not be able to compile GUI. Please install the *liblablgtksourceview2-ocaml-dev* Debian package - or use the GODI caml package system *http://godi.ocaml-programming.de/* - or compile from sources *http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/lablgtk.html*
# checking for ocamlweb... true
# checking platform... configure: creating ./config.status
# config.status: creating Makefile.configurable
# config.status: WARNING: 'Makefile.configurable.in' seems to ignore the --datarootdir setting
# ocamldep -slash -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -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* parsers/smt2/*.ml* plugins/fm-simplex/*ml* > .depend
# autoconf
# configure.in:328: warning: AC_OUTPUT should be used without arguments.
# configure.in:328: You should run autoupdate.
# ./configure
# checking for ocp-ocamlc... no
# checking for ocamlc... ocamlc
# ocaml version is 4.09.1
# ocaml library path is /home/opam/.opam/4.09/lib/ocaml
# checking for ocamlfind... yes
# ocamlfind found zarith in -I /home/opam/.opam/4.09/lib/zarith
# ocamlfind found num in -I /home/opam/.opam/4.09/lib/num
# ocamlfind found camlzip in -I /home/opam/.opam/4.09/lib/camlzip/../zip
# ocamlfind found ocplib-simplex in -I /home/opam/.opam/4.09/lib/ocplib-simplex
# ocamlfind found psmt2-frontend in -I /home/opam/.opam/4.09/lib/psmt2-frontend
# checking for ocp-ocamlopt... no
# checking for ocamlopt... ocamlopt
# checking ocamlopt version... ok
# checking for ocp-ocamlc.opt... no
# checking for ocamlc.opt... ocamlc.opt
# checking ocamlc.opt version... ok
# checking for ocp-ocamlopt.opt... no
# checking for ocamlopt.opt... ocamlopt.opt
# checking ocamlc.opt version... ok
# checking for ocamldep... ocamldep
# checking for ocamllex... ocamllex
# checking for ocamllex.opt... ocamllex.opt
# checking for menhir... menhir
# ocamlfind: Package `lablgtk2.sourceview2' not found
# checking for /home/opam/.opam/4.09/lib/ocaml/lablgtk2/lablgtksourceview2.cma... no
# Will not be able to compile GUI. Please install the *liblablgtksourceview2-ocaml-dev* Debian package - or use the GODI caml package system *http://godi.ocaml-programming.de/* - or compile from sources *http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/lablgtk.html*
# checking for ocamlweb... true
# checking platform... configure: creating ./config.status
# config.status: creating Makefile.configurable
# config.status: WARNING: 'Makefile.configurable.in' seems to ignore the --datarootdir setting
# mkdir -p /home/opam/.opam/4.09/man/man1
# cp -f doc/alt-ergo.1 /home/opam/.opam/4.09/man/man1
# mkdir -p /usr/local/lib/alt-ergo/preludes
# mkdir: cannot create directory '/usr/local/lib/alt-ergo': Read-only file system
# make: *** [Makefile.users:243: install-preludes] Error 1
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - install alt-ergo 2.2.0
+-
+- The following changes have been performed
| - install camlzip 1.07
| - install conf-autoconf 0.1
| - install conf-gmp 4
| - install conf-which 1
| - install dune 3.12.2
| - install menhir 20211128
| - install menhirLib 20211128
| - install menhirSdk 20211128
| - install num 1.5
| - install ocamlfind 1.9.6
| - install ocplib-simplex 0.4.1
| - install psmt2-frontend 0.1
| - install zarith 1.13
+-
# Run eval $(opam env) to update the current shell environment
The former state can be restored with:
/usr/bin/opam switch import "/home/opam/.opam/4.09/.opam-switch/backup/state-20240117045149.export"
'opam install -vy alt-ergo.2.2.0' failed.
"/usr/bin/env" "bash" "-c" "
opam remove -y "alt-ergo.2.2.0"
opam install -vy "alt-ergo.2.2.0"
res=$?
if [ $res = 31 ]; then
if opam show -f x-ci-accept-failures: "alt-ergo.2.2.0" | grep -q '"debian-unstable"'; then
echo "This package failed and has been disabled for CI using the 'x-ci-accept-failures' field."
exit 69
fi
fi
exit $res
" failed with exit status 31
Failed: Build failed
Home|Differences with the last checks|Previous runs