Building on phoebe.caelum.ci.dev
(from ocaml/opam:debian-unstable)
2025-05-13 23:25.51 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (env CI true)
/: (env OPAM_HEALTH_CHECK_CI true)
/: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2025-05-13 23:25.51 ---> using "40df4fa4cdfc68a5fa7a326047e82a7adc5df52b8059d4a7b745bdd50aad56e7" 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 dbc9ec7b83bac3673185542221a571372b6abb35"))
2025-05-13 23:25.51 ---> using "20357fbea61a92c2bdc1950610fb370ec30d4b4205b6f85be61a0d5ad16763e4" 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.
2025-05-13 23:25.51 ---> using "23658a5df8af9828e8d43700cc875c3ea271dfcb3ba9fa82b2220e54a557e121" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "sudo apt update && sudo apt install autoconf -y"))
WARNING: apt does not have a stable CLI interface. Use with caution in scripts.
Get:1 http://deb.debian.org/debian unstable InRelease [205 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-2025-05-13-2007.41-F-2025-05-04-0821.28.pdiff [478 kB]
Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-05-13-2007.41-F-2025-05-04-0821.28.pdiff [478 kB]
Fetched 747 kB in 3s (223 kB/s)
Reading package lists...
Building dependency tree...
Reading state information...
19 packages can be upgraded. Run 'apt list --upgradable' to see them.
WARNING: apt does not have a stable CLI interface. Use with caution in scripts.
Reading package lists...
Building dependency tree...
Reading state information...
Installing:
autoconf
Installing dependencies:
automake autotools-dev m4
Suggested packages:
autoconf-archive gnu-standards autoconf-doc libtool gettext m4-doc
Summary:
Upgrading: 0, Installing: 4, Removing: 0, Not Upgrading: 19
Download size: 1710 kB
Space needed: 5051 kB / 185 GB available
Get:1 http://deb.debian.org/debian unstable/main amd64 m4 amd64 1.4.19-8 [294 kB]
Get:2 http://deb.debian.org/debian unstable/main amd64 autoconf all 2.72-3.1 [494 kB]
Get:3 http://deb.debian.org/debian unstable/main amd64 autotools-dev all 20240727.1 [60.2 kB]
Get:4 http://deb.debian.org/debian unstable/main amd64 automake all 1:1.17-4 [862 kB]
Fetched 1710 kB in 0s (3925 kB/s)
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 ... 20677 files and directories currently installed.)
Preparing to unpack .../archives/m4_1.4.19-8_amd64.deb ...
Unpacking m4 (1.4.19-8) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../autoconf_2.72-3.1_all.deb ...
Unpacking autoconf (2.72-3.1) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../autotools-dev_20240727.1_all.deb ...
Unpacking autotools-dev (20240727.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../automake_1%3a1.17-4_all.deb ...
Unpacking automake (1:1.17-4) ...
Setting up m4 (1.4.19-8) ...
Setting up autotools-dev (20240727.1) ...
Setting up autoconf (2.72-3.1) ...
Setting up automake (1:1.17-4) ...
update-alternatives: using /usr/bin/automake-1.17 to provide /usr/bin/automake (automake) in auto mode
2025-05-13 23:25.51 ---> using "7500090cc9af80f322654254041f3fc602ac6ff9f4e9777943eb82a6c52ee3cc" from cache
/: (run (network host)
(shell "git clone -q 'https://github.com/janestreet/opam-repository' ~/'janestreet-with-extensions' && git -C ~/'janestreet-with-extensions' checkout -q 9fcba8f2828b1dd4de45313c7d472a9a0f1b55e7"))
2025-05-13 23:25.51 ---> using "b59a36de54dea5e80e8207f314640093212b667aab8294c8e5e29f555ddd3d36" from cache
/: (run (shell "opam repository add --dont-select 'janestreet-with-extensions' ~/'janestreet-with-extensions'"))
[janestreet-with-extensions] Initialised
2025-05-13 23:25.51 ---> using "10fe936c9d1e16eabb942356f07b8a169382f09aa6865fe5b5aff4658669e1b4" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=janestreet-with-extensions,default '5.2.0+flambda2' '5.2.0+flambda2'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-variants" {= "5.2.0+flambda2"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> retrieved init-compiler.4.14.1 (cached)
-> retrieved ocaml-config.3 (cached)
-> installed ocaml-options-vanilla.1
-> retrieved init-dune.3.9.3 (cached)
-> retrieved init-menhir.20231231 (cached)
-> retrieved ocaml-variants.5.2.0+flambda2 (cached)
-> installed init-compiler.4.14.1
-> installed init-dune.3.9.3
-> installed init-menhir.20231231
-> installed ocaml-variants.5.2.0+flambda2
-> installed ocaml-config.3
-> installed ocaml.5.2.0
-> installed base-domains.base
-> installed base-nnp.base
Done.
# To update the current shell environment, run: eval $(opam env --switch=5.2.0+flambda2)
2025-05-13 23:25.51 ---> using "9f23afe31887703a43d49f189611b0f7e2f0becabaae5932d8d0b25ddd85cc79" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian unstable InRelease
- Reading package lists...
-
2025-05-13 23:25.51 ---> using "87e27a9fa6d806fc35e8b46f539fdf3d7c669955ce3150e27e16209fde14592a" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam remove -y cubicle.1.2.0\
\nopam install -vy cubicle.1.2.0\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: cubicle.1.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"))
[NOTE] cubicle.1.2.0 is not installed.
Nothing to do.
The following actions will be performed:
=== install 3 packages
- install cubicle 1.2.0
- install num 1.4 [required by cubicle]
- install ocamlfind 1.9.8 [required by cubicle]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/9: [cubicle.1.2.0: extract]
Processing 2/9: [cubicle.1.2.0: extract] [num.1.4: extract]
Processing 3/9: [cubicle.1.2.0: extract] [num.1.4: extract] [ocamlfind.1.9.8: extract]
-> retrieved cubicle.1.2.0 (cached)
Processing 3/9: [num.1.4: extract] [ocamlfind.1.9.8: extract]
-> retrieved num.1.4 (cached)
Processing 3/9: [ocamlfind.1.9.8: extract]
-> retrieved ocamlfind.1.9.8 (cached)
Processing 4/9: [ocamlfind: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "-bindir" "/home/opam/.opam/5.2.0+flambda2/bin" "-sitelib" "/home/opam/.opam/5.2.0+flambda2/lib" "-mandir" "/home/opam/.opam/5.2.0+flambda2/man" "-config" "/home/opam/.opam/5.2.0+flambda2/lib/findlib.conf" "-no-custom" "-no-camlp4" (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8)
- Welcome to findlib version 1.9.8
- Configuring core...
- Checking for #remove_directory...
- Testing threading model...
- systhread_supported: true
- Testing DLLs...
- File "_none_", line 1:
- Error: Reference to undefined compilation unit "Stdlib__Mutex"
- Hint: This means that the interface of a module is loaded, but its implementation is not.
- Did you mean to load a compiled implementation of the module
- using "#load" or by passing it as an argument to the toplevel?
- Testing whether ppxopt can be supported...
- Checking for ocamlc -opaque...
- Checking for ocamlopt -g...
- Configuring libraries...
- unix: found (in +unix)
- dynlink: found (in +dynlink)
- bigarray: not present (possible since 4.08)
- compiler-libs: found
- dbm: not present (normal since 4.00)
- graphics: not present (normal since 4.09)
- num: not present (normal since 4.06)
- ocamlbuild: not present (normal since 4.03)
- ocamldoc: not present
- raw_spacetime: not present (normal since 4.12)
- threads: found (in +threads)
- str: found (in +str)
- labltk: not present (normal since 4.02)
- native dynlink: found
- camlp4: disabled
- bytes: found, installing fake library
- 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/5.2.0+flambda2/lib/ocaml
- Binaries: /home/opam/.opam/5.2.0+flambda2/bin
- Manual pages: /usr/local/man
- Multi-threading type: posix
- The directory of site-specific packages will be
- site-lib: /home/opam/.opam/5.2.0+flambda2/lib
- The configuration file is written to:
- findlib config file: /home/opam/.opam/5.2.0+flambda2/lib/findlib.conf
- Software will be installed:
- Libraries: in <site-lib>/findlib
- Binaries: /home/opam/.opam/5.2.0+flambda2/bin
- Manual pages: /home/opam/.opam/5.2.0+flambda2/man
- topfind script: /home/opam/.opam/5.2.0+flambda2/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 4/9: [ocamlfind: make all]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8)
- for p in findlib; do ( cd src/$p; make all ) || exit; done
- make[1]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8/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/5.2.0+flambda2/lib/findlib.conf' | \
- ../../tools/patch '@STDLIB@' '/home/opam/.opam/5.2.0+flambda2/lib/ocaml' | \
- ../../tools/patch '@RELATIVE_PATHS@' 'false' | \
- 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 fl_compat.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 findlib_config.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 fl_compat.cmo fl_split.cmo findlib_config.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
- File "frontend.ml", line 385, characters 6-16:
- 385 | Sys.signal Sys.sigint Sys.Signal_ignore in
- ^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Sys.signal
- Use [Sys.Safe.signal].
-
- File "frontend.ml", line 428, characters 4-18:
- 428 | Sys.set_signal Sys.sigint old_sigint;
- ^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Sys.set_signal
- Use [Sys.Safe.set_signal].
- 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
- File "topfind.ml", line 128, characters 40-63:
- 128 | match Hashtbl.find Toploop.directive_table "ppx" with
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
-
- File "topfind.ml", line 258, characters 4-27:
- 258 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
-
- File "topfind.ml", line 268, characters 4-27:
- 268 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
-
- File "topfind.ml", line 280, characters 4-27:
- 280 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
-
- File "topfind.ml", line 293, characters 4-27:
- 293 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
-
- File "topfind.ml", line 307, characters 4-27:
- 307 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
-
- File "topfind.ml", line 319, characters 4-27:
- 319 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- ocamlc -I +compiler-libs -a -o findlib_top.cma topfind.cmo
- if [ "1" = "1" ]; then \
- cp topfind.in topfind.compat.in; \
- else \
- sed -e '/REMOVE_DIRECTORY_BEGIN/,/REMOVE_DIRECTORY_END/ d' topfind.in \
- > topfind.compat.in ; \
- fi
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat topfind.compat.in | \
- ../../tools/patch '@SITELIB@' '/home/opam/.opam/5.2.0+flambda2/lib' | \
- ../../tools/patch '@RELATIVE_PATHS@' 'false' \
- >topfind
- 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/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8/src/findlib'
- make all-config
- make[1]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8'
- if [ "false" = "true" ]; then \
- make findlib-relative; \
- else \
- make findlib-absolute; \
- fi
- make[2]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8'
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib.conf.in | \
- tools/patch '@SITELIB@' '/home/opam/.opam/5.2.0+flambda2/lib' | \
- tools/patch '@FINDLIB_PATH@' '/home/opam/.opam/5.2.0+flambda2/lib/ocaml:/home/opam/.opam/5.2.0+flambda2/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[2]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8'
- make[1]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8'
Processing 4/9: [ocamlfind: make opt]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "opt" (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8)
- for p in findlib; do ( cd src/$p; make opt ) || exit; done
- make[1]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8/src/findlib'
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_compat.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 findlib_config.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 fl_compat.cmx fl_split.cmx findlib_config.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 fl_compat.cmx fl_split.cmx findlib_config.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
- File "frontend.ml", line 385, characters 6-16:
- 385 | Sys.signal Sys.sigint Sys.Signal_ignore in
- ^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Sys.signal
- Use [Sys.Safe.signal].
-
- File "frontend.ml", line 428, characters 4-18:
- 428 | Sys.set_signal Sys.sigint old_sigint;
- ^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Sys.set_signal
- Use [Sys.Safe.set_signal].
- 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 "topfind.ml", line 128, characters 40-63:
- 128 | match Hashtbl.find Toploop.directive_table "ppx" with
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
-
- File "topfind.ml", line 258, characters 4-27:
- 258 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
-
- File "topfind.ml", line 268, characters 4-27:
- 268 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
-
- File "topfind.ml", line 280, characters 4-27:
- 280 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
-
- File "topfind.ml", line 293, characters 4-27:
- 293 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
-
- File "topfind.ml", line 307, characters 4-27:
- 307 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
-
- File "topfind.ml", line 319, characters 4-27:
- 319 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
-
- File "_none_", line 1:
- Warning 58 [no-cmx-file]: 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]: 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/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8/src/findlib'
-> compiled ocamlfind.1.9.8
Processing 5/9: [ocamlfind: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8)
- if [ "0" -eq 1 ]; then \
- for x in camlp4 dbm graphics labltk num ocamlbuild; do \
- if [ -f "/home/opam/.opam/5.2.0+flambda2/lib/$x/META" ]; then \
- if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/5.2.0+flambda2/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/5.2.0+flambda2/bin"
- install -d "/home/opam/.opam/5.2.0+flambda2/man"
- make install-config
- make[1]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8'
- install -d "`dirname \"/home/opam/.opam/5.2.0+flambda2/lib/findlib.conf\"`"
- test -f "/home/opam/.opam/5.2.0+flambda2/lib/findlib.conf" || cp findlib.conf "/home/opam/.opam/5.2.0+flambda2/lib/findlib.conf"
- make[1]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8'
- for p in findlib; do ( cd src/$p; make install ); done
- make[1]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8/src/findlib'
- install -d "/home/opam/.opam/5.2.0+flambda2/lib/findlib"
- install -d "/home/opam/.opam/5.2.0+flambda2/bin"
- test 1 -eq 0 || install -d "/home/opam/.opam/5.2.0+flambda2/lib/ocaml"
- test 1 -eq 0 || cp topfind "/home/opam/.opam/5.2.0+flambda2/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` && \
- cp $files "/home/opam/.opam/5.2.0+flambda2/lib/findlib/"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- install -c $f "/home/opam/.opam/5.2.0+flambda2/bin/ocamlfind"
- # the following "if" block is only needed for 4.00beta2
- if [ 1 -eq 0 -a -f "/home/opam/.opam/5.2.0+flambda2/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \
- cd "/home/opam/.opam/5.2.0+flambda2/lib/ocaml/compiler-libs/"; \
- cp topdirs.cmi toploop.cmi "/home/opam/.opam/5.2.0+flambda2/lib/findlib/"; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8/src/findlib'
- make install-meta
- make[1]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8'
- for x in bytes ; do install -d "/home/opam/.opam/5.2.0+flambda2/lib/$x"; cp site-lib-src/$x/META "/home/opam/.opam/5.2.0+flambda2/lib/$x/META.tmp" && mv "/home/opam/.opam/5.2.0+flambda2/lib/$x/META.tmp" "/home/opam/.opam/5.2.0+flambda2/lib/$x/META"; done
- install -d "/home/opam/.opam/5.2.0+flambda2/lib/findlib"; cp Makefile.packages "/home/opam/.opam/5.2.0+flambda2/lib/findlib/Makefile.packages"
- make[1]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8'
- 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/5.2.0+flambda2/bin"
- make install-doc
- make[1]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8'
- install -d "/home/opam/.opam/5.2.0+flambda2/man/man1" "/home/opam/.opam/5.2.0+flambda2/man/man3" "/home/opam/.opam/5.2.0+flambda2/man/man5"
- cp doc/ref-man/ocamlfind.1 "/home/opam/.opam/5.2.0+flambda2/man/man1"
- cp: cannot stat 'doc/ref-man/ocamlfind.1': No such file or directory
- make[1]: [Makefile:91: install-doc] Error 1 (ignored)
- cp doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/5.2.0+flambda2/man/man5"
- cp: cannot stat 'doc/ref-man/META.5': No such file or directory
- cp: cannot stat 'doc/ref-man/site-lib.5': No such file or directory
- cp: cannot stat 'doc/ref-man/findlib.conf.5': No such file or directory
- make[1]: [Makefile:92: install-doc] Error 1 (ignored)
- make[1]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8'
-> installed ocamlfind.1.9.8
Processing 6/9: [num: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/num.1.4)
- make -C src all
- make[1]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/num.1.4/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 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c int_misc.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c int_misc.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c nat.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c nat.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c big_int.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c big_int.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_flags.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_flags.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c ratio.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c ratio.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c num.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c num.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_status.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -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
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c int_misc.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c nat.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c big_int.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_flags.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c ratio.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c num.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -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 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -I . -shared -o nums.cmxs nums.cmxa
- make[1]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/num.1.4/src'
- make -C toplevel all
- make[1]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/num.1.4/toplevel'
- ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -c num_top_printers.mli
- ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -c num_top_printers.ml
- ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -c num_top.mli
- ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -c num_top.ml
- ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -a -o num_top.cma num_top_printers.cmo num_top.cmo
- make[1]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/num.1.4/toplevel'
-> compiled num.1.4
Processing 7/9: [num: ocamlfind remove]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "ocamlfind" "remove" "num" (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/num.1.4)
- ocamlfind: [WARNING] No such file: /home/opam/.opam/5.2.0+flambda2/lib/num/META
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "ocamlfind" "remove" "num-top" (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/num.1.4)
- ocamlfind: [WARNING] No such file: /home/opam/.opam/5.2.0+flambda2/lib/num-top/META
Processing 7/9: [num: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/num.1.4)
- make -C src install
- make[1]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/num.1.4/src'
- install -d /home/opam/.opam/5.2.0+flambda2/lib/ocaml
- sed -e 's/%%VERSION%%/1.4/g' META.in > META
- ocamlfind install num META
- Installed /home/opam/.opam/5.2.0+flambda2/lib/num/META
- rm -f META
- install -m 644 nums.cma libnums.a big_int.cmi nat.cmi num.cmi ratio.cmi arith_status.cmi big_int.mli nat.mli num.mli ratio.mli arith_status.mli big_int.cmti nat.cmti num.cmti ratio.cmti arith_status.cmti nums.cmxa nums.a int_misc.cmx nat.cmx big_int.cmx arith_flags.cmx ratio.cmx num.cmx arith_status.cmx nums.cmxs /home/opam/.opam/5.2.0+flambda2/lib/ocaml
- install -d /home/opam/.opam/5.2.0+flambda2/lib/ocaml/stublibs
- install dllnums.so /home/opam/.opam/5.2.0+flambda2/lib/ocaml/stublibs
- make[1]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/num.1.4/src'
- make -C toplevel install
- make[1]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/num.1.4/toplevel'
- sed -e 's/%%VERSION%%/1.4/g' META.in > META
- ocamlfind install num-top META num_top.cma num_top.cmi num_top_printers.cmi
- Installed /home/opam/.opam/5.2.0+flambda2/lib/num-top/num_top_printers.cmi
- Installed /home/opam/.opam/5.2.0+flambda2/lib/num-top/num_top.cmi
- Installed /home/opam/.opam/5.2.0+flambda2/lib/num-top/num_top.cma
- Installed /home/opam/.opam/5.2.0+flambda2/lib/num-top/META
- rm -f META
- make[1]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/num.1.4/toplevel'
-> installed num.1.4
Processing 8/9: [cubicle: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "--prefix" "/home/opam/.opam/5.2.0+flambda2" (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/cubicle.1.2.0)
- checking for ocamlc.opt... ocamlc.opt
- OCaml version is 5.2.0+jst
- checking for gawk... no
- checking for mawk... mawk
- OCaml library path is /home/opam/.opam/5.2.0+flambda2/lib/ocaml
- checking for ocamlfind... yes
- checking for ocamlopt.opt... ocamlopt.opt
- checking for ocamldep... ocamldep
- checking for ocamllex... ocamllex
- checking for ocamlyacc... ocamlyacc
- ocamlfind: Package `functory' not found
- checking for /home/opam/.opam/5.2.0+flambda2/lib/ocaml/functory/functory.cma... no
- Cannot find functory library.
- Compiling without support for Z3.
- checking platform...
- Unix platform
- configure: creating ./config.status
- config.status: creating Makefile
Processing 8/9: [cubicle: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/cubicle.1.2.0)
- fatal: not a git repository (or any parent up to mount point /)
- Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set).
- Compiling parser.mly
- Compiling lexer.mll
- Compiling muparser.mly
- Compiling mulexer.mll
- Compiling version.cmx
- Compiling options.cmi
- Compiling options.cmx
- File "_none_", line 1:
- Alert ocaml_deprecated_auto_include:
- OCaml's lib directory layout changed in 5.0. The unix subdirectory has been
- automatically added to the search path, but you should add -I +unix to the
- command-line to silence this alert (e.g. by adding unix to the list of
- libraries in your dune file, or adding use_unix to your _tags file for
- ocamlbuild, or using -package unix for ocamlfind).
- Compiling common/timer.cmi
- Compiling common/timer.cmx
- File "_none_", line 1:
- Alert ocaml_deprecated_auto_include:
- OCaml's lib directory layout changed in 5.0. The unix subdirectory has been
- automatically added to the search path, but you should add -I +unix to the
- command-line to silence this alert (e.g. by adding unix to the list of
- libraries in your dune file, or adding use_unix to your _tags file for
- ocamlbuild, or using -package unix for ocamlfind).
- Compiling common/hashcons.cmi
- Compiling common/hashcons.cmx
- Compiling common/hstring.cmi
- Compiling common/hstring.cmx
- Compiling common/vec.cmi
- Compiling common/vec.cmx
- Compiling common/heap.cmi
- Compiling common/heap.cmx
- Compiling common/iheap.cmi
- Compiling common/iheap.cmx
- Compiling smt/ty.cmi
- Compiling smt/ty.cmx
- Compiling smt/symbols.cmi
- Compiling smt/symbols.cmx
- Compiling smt/term.cmi
- Compiling smt/term.cmx
- Compiling smt/literal.cmi
- Compiling smt/literal.cmx
- Compiling smt/solver_types.cmi
- Compiling smt/solver_types.cmx
- Compiling smt/explanation.cmi
- Compiling smt/explanation.cmx
- Compiling smt/exception.cmi
- Compiling smt/exception.cmx
- Compiling smt/polynome.cmi
- Compiling smt/polynome.cmx
- Compiling smt/sig.cmi
- Compiling smt/uf.cmi
- Compiling smt/uf.cmx
- Compiling smt/use.cmi
- Compiling smt/use.cmx
- Compiling smt/intervals.cmi
- Compiling smt/intervals.cmx
- Compiling smt/fm.cmi
- Compiling smt/fm.cmx
- File "smt/fm.ml", line 324, characters 1-24:
- 324 | Intervals.new_borne_sup expl b is_le uints
- ^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label is_le was omitted in the application of this function.
-
- File "smt/fm.ml", line 326, characters 1-24:
- 326 | Intervals.new_borne_inf expl b is_le uints in
- ^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label is_le was omitted in the application of this function.
-
- File "smt/fm.ml", line 344, characters 10-33:
- 344 | Intervals.new_borne_inf expl c is_le (Intervals.undefined ty)
- ^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label is_le was omitted in the application of this function.
-
- File "smt/fm.ml", line 346, characters 3-26:
- 346 | Intervals.new_borne_sup expl c is_le (Intervals.undefined ty) in
- ^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label is_le was omitted in the application of this function.
- Compiling smt/arith.cmi
- Compiling smt/arith.cmx
- Compiling smt/sum.cmi
- Compiling smt/sum.cmx
- Compiling smt/combine.cmi
- Compiling smt/combine.cmx
- Compiling smt/cc.cmi
- Compiling smt/cc.cmx
- Compiling smt/solver.cmi
- Compiling smt/solver.cmx
- Compiling smt/enumsolver_types.cmi
- Compiling smt/enumsolver_types.cmx
- Compiling smt/enumsolver.cmi
- Compiling smt/enumsolver.cmx
- Compiling smt/smt_sig.cmi
- Compiling smt/alt_ergo.cmi
- Compiling smt/alt_ergo.cmx
- File "smt/alt_ergo.ml", line 503, characters 6-20:
- 503 | CSolver.assume uc 0;
- ^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label cnumber was omitted in the application of this function.
-
- File "smt/alt_ergo.ml", line 538, characters 6-20:
- 538 | CSolver.assume cnf id;
- ^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label cnumber was omitted in the application of this function.
- Compiling smt/z3wrapper.cmi
- Compiling smt/z3wrapper.cmx
- Compiling smt/smt.cmi
- Compiling smt/smt.cmx
- Compiling util.cmi
- File "_none_", line 1:
- Alert ocaml_deprecated_auto_include:
- OCaml's lib directory layout changed in 5.0. The unix subdirectory has been
- automatically added to the search path, but you should add -I +unix to the
- command-line to silence this alert (e.g. by adding unix to the list of
- libraries in your dune file, or adding use_unix to your _tags file for
- ocamlbuild, or using -package unix for ocamlfind).
- Compiling util.cmx
- File "_none_", line 1:
- Alert ocaml_deprecated_auto_include:
- OCaml's lib directory layout changed in 5.0. The unix subdirectory has been
- automatically added to the search path, but you should add -I +unix to the
- command-line to silence this alert (e.g. by adding unix to the list of
- libraries in your dune file, or adding use_unix to your _tags file for
- ocamlbuild, or using -package unix for ocamlfind).
- Compiling variable.cmi
- Compiling variable.cmx
- Compiling types.cmi
- Compiling types.cmx
- Compiling cube.cmi
- Compiling cube.cmx
- Compiling ast.cmi
- Compiling node.cmi
- Compiling node.cmx
- Compiling pretty.cmi
- Compiling pretty.cmx
- Compiling ptree.cmi
- Compiling ptree.cmx
- Compiling parser.cmi
- Compiling parser.cmx
- Compiling lexer.cmx
- Compiling instantiation.cmi
- Compiling instantiation.cmx
- Compiling dot.cmi
- Compiling dot.cmx
- Compiling cubetrie.cmi
- Compiling cubetrie.cmx
- Compiling prover.cmi
- Compiling prover.cmx
- Compiling safety.cmi
- Compiling safety.cmx
- Compiling fixpoint.cmi
- Compiling fixpoint.cmx
- Compiling pre.cmi
- Compiling pre.cmx
- Compiling forward.cmi
- Compiling forward.cmx
- Compiling oracle.cmi
- Compiling enumerative.cmi
- Compiling enumerative.cmx
- File "enumerative.ml", line 1214, characters 2-16:
- 1214 | Sys.set_signal Sys.sigint
- ^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Sys.set_signal
- Use [Sys.Safe.set_signal].
- Compiling muparser_globals.cmi
- Compiling muparser_globals.cmx
- Compiling muparser.cmi
- Compiling muparser.cmx
- File "_none_", line 1:
- Alert ocaml_deprecated_auto_include:
- OCaml's lib directory layout changed in 5.0. The unix subdirectory has been
- automatically added to the search path, but you should add -I +unix to the
- command-line to silence this alert (e.g. by adding unix to the list of
- libraries in your dune file, or adding use_unix to your _tags file for
- ocamlbuild, or using -package unix for ocamlfind).
- Compiling mulexer.cmx
- Compiling murphi.cmi
- Compiling murphi.cmx
- File "_none_", line 1:
- Alert ocaml_deprecated_auto_include:
- OCaml's lib directory layout changed in 5.0. The unix subdirectory has been
- automatically added to the search path, but you should add -I +unix to the
- command-line to silence this alert (e.g. by adding unix to the list of
- libraries in your dune file, or adding use_unix to your _tags file for
- ocamlbuild, or using -package unix for ocamlfind).
-
- File "murphi.ml", line 908, characters 2-16:
- 908 | Sys.set_signal Sys.sigint
- ^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Sys.set_signal
- Use [Sys.Safe.set_signal].
- Compiling approx.cmi
- Compiling approx.cmx
- Compiling stats.cmi
- Compiling stats.cmx
- File "_none_", line 1:
- Alert ocaml_deprecated_auto_include:
- OCaml's lib directory layout changed in 5.0. The unix subdirectory has been
- automatically added to the search path, but you should add -I +unix to the
- command-line to silence this alert (e.g. by adding unix to the list of
- libraries in your dune file, or adding use_unix to your _tags file for
- ocamlbuild, or using -package unix for ocamlfind).
- Compiling bwd.cmi
- Compiling bwd.cmx
- Compiling brab.cmi
- Compiling brab.cmx
- File "brab.ml", line 49, characters 2-16:
- 49 | Sys.set_signal Sys.sigint
- ^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Sys.set_signal
- Use [Sys.Safe.set_signal].
- Compiling typing.cmi
- Compiling typing.cmx
- Compiling trace.cmi
- Compiling trace.cmx
- File "_none_", line 1:
- Alert ocaml_deprecated_auto_include:
- OCaml's lib directory layout changed in 5.0. The unix subdirectory has been
- automatically added to the search path, but you should add -I +unix to the
- command-line to silence this alert (e.g. by adding unix to the list of
- libraries in your dune file, or adding use_unix to your _tags file for
- ocamlbuild, or using -package unix for ocamlfind).
- Compiling main.cmx
- File "main.ml", line 27, characters 2-16:
- 27 | Sys.set_signal Sys.sigint
- ^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Sys.set_signal
- Use [Sys.Safe.set_signal].
-
- File "main.ml", line 36, characters 2-16:
- 36 | Sys.set_signal Sys.sigterm
- ^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Sys.set_signal
- Use [Sys.Safe.set_signal].
-
- File "main.ml", line 47, characters 4-18:
- 47 | Sys.set_signal Sys.sigusr1
- ^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Sys.set_signal
- Use [Sys.Safe.set_signal].
- Linking cubicle.opt
- File "_none_", line 1:
- Alert ocaml_deprecated_auto_include:
- OCaml's lib directory layout changed in 5.0. The unix subdirectory has been
- automatically added to the search path, but you should add -I +unix to the
- command-line to silence this alert (e.g. by adding unix to the list of
- libraries in your dune file, or adding use_unix to your _tags file for
- ocamlbuild, or using -package unix for ocamlfind).
-> compiled cubicle.1.2.0
-> installed cubicle.1.2.0
Done.
# To update the current shell environment, run: eval $(opam env)
2025-05-13 23:27.52 ---> saved as "e503856939f046fb97c2a879c1f00113d61b7af2028dde6c2d3de50b73482234"
Job succeeded
Home|Differences with the last checks|Previous runs