Building on x86-bm-c10.sw.ocaml.org
(from ocaml/opam:debian-unstable)
2024-07-01 02:03.39 ---> 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-07-01 02:03.39 ---> 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 3bcb45c36ed254e850b498bff678e3e5848b23e1"))
2024-07-01 02:03.39 ---> using "3d0bfbfa177ca2531fcfa9e2869627278a2c31cf290ac589bbf0639aba3b017c" 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-07-01 02:03.39 ---> using "5dff26d510618c1d48fe6b00f268416e83e2cb4c80c378ed525d97eb709030a0" 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 <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.1 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> retrieved ocaml-base-compiler.4.09.1 (cached)
-> 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-07-01 02:03.39 ---> using "94bee53fb3556e054887fcd618d76906ae1985d6ade3a1083f4edea9304098ee" 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-06-30-1411.31-F-2024-06-27-0211.32.pdiff [248 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2024-06-30-1411.31-F-2024-06-27-0211.32.pdiff [248 kB]
- Fetched 510 kB in 5s (110 kB/s)
- Reading package lists...
-
2024-07-01 02:03.39 ---> using "94c7b571280acf8b6f479f248e9c028c24468b873f9106e2ca28c5617111faf6" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"facile.1.1\"\
\nopam install -vy \"facile.1.1\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"facile.1.1\" | 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] facile.1.1 is not installed.
The following actions will be performed:
=== install 1 package
- install facile 1.1
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/3: [facile.1.1: extract]
-> retrieved facile.1.1 (cached)
[facile: patch] applying ocaml_4.00.patch
Processing 2/3: [facile: patch]
[facile: patch] applying bsdmake.patch
Processing 2/3: [facile: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "-faciledir" "/home/opam/.opam/4.09/lib/facile" (CWD=/home/opam/.opam/4.09/.opam-switch/build/facile.1.1)
- Checking for OCaml compiler (>= 3.02)...
- OCaml 4.09.1 found
- FaCiLe directory: /home/opam/.opam/4.09/lib/facile
Processing 2/3: [facile: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/4.09/.opam-switch/build/facile.1.1)
- cd src; make
- make[1]: Entering directory '/home/opam/.opam/4.09/.opam-switch/build/facile.1.1/src'
- ocamldep *.mli *.ml > .depend
- ocamlc.opt -c fcl_debug.mli
- ocamlc.opt -g -c fcl_debug.ml
- ocamlc.opt -c fcl_misc.mli
- ocamlc.opt -g -c fcl_misc.ml
- File "fcl_misc.ml", line 52, characters 12-26:
- 52 | let (+) = 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 "fcl_misc.ml", line 53, characters 12-26:
- 53 | let (-) = 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 "fcl_misc.ml", line 54, characters 14-30:
- 54 | let ( * ) = 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
- ocamlc.opt -c fcl_domain.mli
- ocamlc.opt -g -c fcl_domain.ml
- File "fcl_domain.ml", line 152, characters 19-21:
- 152 | if x < min_d or x > m then d
- ^^
- Alert deprecated: Stdlib.or
- Use (||) instead.
- File "fcl_domain.ml", line 218, characters 16-17:
- 218 | if min <= mi & ma <= max
- ^
- Alert deprecated: Stdlib.&
- Use (&&) instead.
- File "fcl_domain.ml", line 220, characters 33-35:
- 220 | else if mi <= max & max <= ma or mi <= min & min <= ma
- ^^
- Alert deprecated: Stdlib.or
- Use (||) instead.
- File "fcl_domain.ml", line 220, characters 21-22:
- 220 | else if mi <= max & max <= ma or mi <= min & min <= ma
- ^
- Alert deprecated: Stdlib.&
- Use (&&) instead.
- File "fcl_domain.ml", line 220, characters 46-47:
- 220 | else if mi <= max & max <= ma or mi <= min & min <= ma
- ^
- Alert deprecated: Stdlib.&
- Use (&&) instead.
- ocamlc.opt -c fcl_setDomain.mli
- ocamlc.opt -g -c fcl_setDomain.ml
- ocamlc.opt -c fcl_float.mli
- ocamlc.opt -g -c fcl_float.ml
- ocamlc.opt -c fcl_stak.mli
- ocamlc.opt -g -c fcl_stak.ml
- ocamlc.opt -c fcl_data.mli
- ocamlc.opt -g -c fcl_data.ml
- ocamlc.opt -c fcl_cstr.mli
- ocamlc.opt -g -c fcl_cstr.ml
- File "fcl_cstr.ml", line 49, characters 15-27:
- 49 | let solved = Array.create nb_wakings false
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- File "fcl_cstr.ml", line 53, characters 9-23:
- 53 | if Pervasives.not solved.(i) 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 "fcl_cstr.ml", line 64, characters 10-22:
- 64 | woken = Array.create nb_wakings false;
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- File "fcl_cstr.ml", line 90, characters 12-24:
- 90 | let queue = Array.create nb_priorities []
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- ocamlc.opt -c fcl_var.mli
- ocamlc.opt -g -c fcl_var.ml
- ocamlc.opt -c fcl_invariant.mli
- ocamlc.opt -g -c fcl_invariant.ml
- File "fcl_invariant.ml", line 89, characters 6-11:
- 89 | let rname = Printf.sprintf "prod(%s...%s)" array.(0).name array.(n-1).name in
- ^^^^^
- Warning 26: unused variable rname.
- ocamlc.opt -c fcl_reify.mli
- ocamlc.opt -g -c fcl_reify.ml
- ocamlc.opt -c fcl_boolean.mli
- ocamlc.opt -g -c fcl_boolean.ml
- ocamlc.opt -c fcl_linear.mli
- ocamlc.opt -g -c fcl_linear.ml
- ocamlc.opt -c fcl_nonlinear.mli
- ocamlc.opt -g -c fcl_nonlinear.ml
- File "fcl_nonlinear.ml", line 277, characters 9-23:
- 277 | max (Pervasives.abs min_y) (Pervasives.abs max_y) - 1 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 "fcl_nonlinear.ml", line 277, characters 32-46:
- 277 | max (Pervasives.abs min_y) (Pervasives.abs max_y) - 1 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 fcl_expr.mli
- ocamlc.opt -g -c fcl_expr.ml
- File "fcl_expr.ml", line 320, characters 3-15:
- 320 | Inte 0 as re when typ = Multe -> (0, [])
- ^^^^^^^^^^^^
- Warning 26: unused variable re.
- ocamlc.opt -c fcl_arith.mli
- ocamlc.opt -g -c fcl_arith.ml
- ocamlc.opt -c fcl_conjunto.mli
- ocamlc.opt -g -c fcl_conjunto.ml
- ocamlc.opt -c fcl_goals.mli
- ocamlc.opt -g -c fcl_goals.ml
- ocamlc.opt -c fcl_fdArray.mli
- ocamlc.opt -g -c fcl_fdArray.ml
- File "fcl_fdArray.ml", line 302, characters 6-20:
- 302 | (Pervasives.min mi (Fd.min e), Pervasives.max ma (Fd.max e)))
- ^^^^^^^^^^^^^^
- 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 "fcl_fdArray.ml", line 302, characters 36-50:
- 302 | (Pervasives.min mi (Fd.min e), Pervasives.max ma (Fd.max e)))
- ^^^^^^^^^^^^^^
- 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 fcl_gcc.mli
- ocamlc.opt -g -c fcl_gcc.ml
- File "fcl_gcc.ml", line 25, characters 12-24:
- 25 | and dfn = Array.create nb_vertices 0
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- File "fcl_gcc.ml", line 87, characters 18-37:
- 87 | let bool_doms = Array.create_matrix k n false
- ^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create_matrix
- Use Array.make_matrix instead.
- File "fcl_gcc.ml", line 88, characters 23-35:
- 88 | and size_bool_doms = Array.create k (-1) in
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- File "fcl_gcc.ml", line 96, characters 13-25:
- 96 | and flow = Array.create k none
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- File "fcl_gcc.ml", line 179, characters 16-28:
- 179 | let preds = Array.create n [] in
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- File "fcl_gcc.ml", line 245, characters 16-28:
- 245 | let tmp_flow = Array.create k none in
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- File "fcl_gcc.ml", line 385, characters 23-35:
- 385 | let components = Array.create (k+n) (-1) in
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- File "fcl_gcc.ml", line 418, characters 26-38:
- 418 | let known_values = Array.create n 0 in
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- ocamlc.opt -c fcl_opti.mli
- ocamlc.opt -g -c fcl_opti.ml
- ocamlc.opt -c fcl_alldiff.mli
- ocamlc.opt -g -c fcl_alldiff.ml
- File "fcl_alldiff.ml", line 64, characters 18-30:
- 64 | let matchingl = Array.create n valout in (* var -> value : not backtrackable *)
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- ocamlc.opt -c fcl_sorting.mli
- ocamlc.opt -g -c fcl_sorting.ml
- File "fcl_sorting.ml", line 30, characters 12-24:
- 30 | let inv = Array.create n (-1) in
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- File "fcl_sorting.ml", line 93, characters 15-27:
- 93 | let infI = Array.create n (-1) and supI = Array.create n (-1) in
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- File "fcl_sorting.ml", line 93, characters 46-58:
- 93 | let infI = Array.create n (-1) and supI = Array.create n (-1) in
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- File "fcl_sorting.ml", line 138, characters 16-28:
- 138 | let infI' = Array.create n (-1) and supI' = Array.create n (-1) in
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- File "fcl_sorting.ml", line 138, characters 48-60:
- 138 | let infI' = Array.create n (-1) and supI' = Array.create n (-1) in
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- File "fcl_sorting.ml", line 217, characters 14-26:
- 217 | let b = Array.create n false
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- File "fcl_sorting.ml", line 218, characters 14-26:
- 218 | and t = Array.create n (-1) in
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- File "fcl_sorting.ml", line 268, characters 14-26:
- 268 | let c = Array.create n [||] in
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- File "fcl_sorting.ml", line 358, characters 28-42:
- 358 | (fun (inf, sup) x -> Pervasives.min (Fd.min x) inf, Pervasives.max (Fd.max x) sup) (max_int, min_int) a 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 "fcl_sorting.ml", line 358, characters 59-73:
- 358 | (fun (inf, sup) x -> Pervasives.min (Fd.min x) inf, Pervasives.max (Fd.max x) sup) (max_int, min_int) a 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 "fcl_sorting.ml", line 371, characters 28-42:
- 371 | (fun (inf, sup) x -> Pervasives.min (Fd.min x) inf, Pervasives.max (Fd.max x) sup) (max_int, min_int) a 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 "fcl_sorting.ml", line 371, characters 59-73:
- 371 | (fun (inf, sup) x -> Pervasives.min (Fd.min x) inf, Pervasives.max (Fd.max x) sup) (max_int, min_int) a 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 fcl_interval.mli
- ocamlc.opt -g -c fcl_interval.ml
- ocamlc.opt -c fcl_genesis.mli
- ocamlc.opt -g -c fcl_genesis.ml
- File "fcl_genesis.ml", line 28, characters 21-33:
- 28 | let cstr_array = Array.create max_cstr (0, 0)
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- ocamlc.opt -c facile.mli
- ocamlc.opt -g -c facile.ml
- ocamlc.opt -g -o facile.cma -a fcl_debug.cmo fcl_misc.cmo fcl_domain.cmo fcl_setDomain.cmo fcl_float.cmo fcl_stak.cmo fcl_data.cmo fcl_cstr.cmo fcl_var.cmo fcl_invariant.cmo fcl_reify.cmo fcl_boolean.cmo fcl_linear.cmo fcl_nonlinear.cmo fcl_expr.cmo fcl_arith.cmo fcl_conjunto.cmo fcl_goals.cmo fcl_fdArray.cmo fcl_gcc.cmo fcl_opti.cmo fcl_alldiff.cmo fcl_sorting.cmo fcl_interval.cmo fcl_genesis.cmo facile.cmo
- ocamlopt -unsafe -noassert -inline 10 -c fcl_debug.ml
- ocamlopt -unsafe -noassert -inline 10 -c fcl_misc.ml
- File "fcl_misc.ml", line 52, characters 12-26:
- 52 | let (+) = 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 "fcl_misc.ml", line 53, characters 12-26:
- 53 | let (-) = 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 "fcl_misc.ml", line 54, characters 14-30:
- 54 | let ( * ) = 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
- ocamlopt -unsafe -noassert -inline 10 -c fcl_domain.ml
- File "fcl_domain.ml", line 152, characters 19-21:
- 152 | if x < min_d or x > m then d
- ^^
- Alert deprecated: Stdlib.or
- Use (||) instead.
- File "fcl_domain.ml", line 218, characters 16-17:
- 218 | if min <= mi & ma <= max
- ^
- Alert deprecated: Stdlib.&
- Use (&&) instead.
- File "fcl_domain.ml", line 220, characters 33-35:
- 220 | else if mi <= max & max <= ma or mi <= min & min <= ma
- ^^
- Alert deprecated: Stdlib.or
- Use (||) instead.
- File "fcl_domain.ml", line 220, characters 21-22:
- 220 | else if mi <= max & max <= ma or mi <= min & min <= ma
- ^
- Alert deprecated: Stdlib.&
- Use (&&) instead.
- File "fcl_domain.ml", line 220, characters 46-47:
- 220 | else if mi <= max & max <= ma or mi <= min & min <= ma
- ^
- Alert deprecated: Stdlib.&
- Use (&&) instead.
- ocamlopt -unsafe -noassert -inline 10 -c fcl_setDomain.ml
- ocamlopt -unsafe -noassert -inline 10 -c fcl_float.ml
- ocamlopt -unsafe -noassert -inline 10 -c fcl_stak.ml
- ocamlopt -unsafe -noassert -inline 10 -c fcl_data.ml
- ocamlopt -unsafe -noassert -inline 10 -c fcl_cstr.ml
- File "fcl_cstr.ml", line 49, characters 15-27:
- 49 | let solved = Array.create nb_wakings false
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- File "fcl_cstr.ml", line 53, characters 9-23:
- 53 | if Pervasives.not solved.(i) 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 "fcl_cstr.ml", line 64, characters 10-22:
- 64 | woken = Array.create nb_wakings false;
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- File "fcl_cstr.ml", line 90, characters 12-24:
- 90 | let queue = Array.create nb_priorities []
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- ocamlopt -unsafe -noassert -inline 10 -c fcl_var.ml
- ocamlopt -unsafe -noassert -inline 10 -c fcl_invariant.ml
- File "fcl_invariant.ml", line 89, characters 6-11:
- 89 | let rname = Printf.sprintf "prod(%s...%s)" array.(0).name array.(n-1).name in
- ^^^^^
- Warning 26: unused variable rname.
- ocamlopt -unsafe -noassert -inline 10 -c fcl_reify.ml
- ocamlopt -unsafe -noassert -inline 10 -c fcl_boolean.ml
- ocamlopt -unsafe -noassert -inline 10 -c fcl_linear.ml
- ocamlopt -unsafe -noassert -inline 10 -c fcl_nonlinear.ml
- File "fcl_nonlinear.ml", line 277, characters 9-23:
- 277 | max (Pervasives.abs min_y) (Pervasives.abs max_y) - 1 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 "fcl_nonlinear.ml", line 277, characters 32-46:
- 277 | max (Pervasives.abs min_y) (Pervasives.abs max_y) - 1 in
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlopt -unsafe -noassert -inline 10 -c fcl_expr.ml
- File "fcl_expr.ml", line 320, characters 3-15:
- 320 | Inte 0 as re when typ = Multe -> (0, [])
- ^^^^^^^^^^^^
- Warning 26: unused variable re.
- ocamlopt -unsafe -noassert -inline 10 -c fcl_arith.ml
- ocamlopt -unsafe -noassert -inline 10 -c fcl_conjunto.ml
- ocamlopt -unsafe -noassert -inline 10 -c fcl_goals.ml
- ocamlopt -unsafe -noassert -inline 10 -c fcl_fdArray.ml
- File "fcl_fdArray.ml", line 302, characters 6-20:
- 302 | (Pervasives.min mi (Fd.min e), Pervasives.max ma (Fd.max e)))
- ^^^^^^^^^^^^^^
- 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 "fcl_fdArray.ml", line 302, characters 36-50:
- 302 | (Pervasives.min mi (Fd.min e), Pervasives.max ma (Fd.max e)))
- ^^^^^^^^^^^^^^
- 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 -unsafe -noassert -inline 10 -c fcl_gcc.ml
- File "fcl_gcc.ml", line 25, characters 12-24:
- 25 | and dfn = Array.create nb_vertices 0
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- File "fcl_gcc.ml", line 87, characters 18-37:
- 87 | let bool_doms = Array.create_matrix k n false
- ^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create_matrix
- Use Array.make_matrix instead.
- File "fcl_gcc.ml", line 88, characters 23-35:
- 88 | and size_bool_doms = Array.create k (-1) in
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- File "fcl_gcc.ml", line 96, characters 13-25:
- 96 | and flow = Array.create k none
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- File "fcl_gcc.ml", line 179, characters 16-28:
- 179 | let preds = Array.create n [] in
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- File "fcl_gcc.ml", line 245, characters 16-28:
- 245 | let tmp_flow = Array.create k none in
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- File "fcl_gcc.ml", line 385, characters 23-35:
- 385 | let components = Array.create (k+n) (-1) in
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- File "fcl_gcc.ml", line 418, characters 26-38:
- 418 | let known_values = Array.create n 0 in
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- ocamlopt -unsafe -noassert -inline 10 -c fcl_opti.ml
- ocamlopt -unsafe -noassert -inline 10 -c fcl_alldiff.ml
- File "fcl_alldiff.ml", line 64, characters 18-30:
- 64 | let matchingl = Array.create n valout in (* var -> value : not backtrackable *)
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- ocamlopt -unsafe -noassert -inline 10 -c fcl_sorting.ml
- File "fcl_sorting.ml", line 30, characters 12-24:
- 30 | let inv = Array.create n (-1) in
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- File "fcl_sorting.ml", line 93, characters 15-27:
- 93 | let infI = Array.create n (-1) and supI = Array.create n (-1) in
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- File "fcl_sorting.ml", line 93, characters 46-58:
- 93 | let infI = Array.create n (-1) and supI = Array.create n (-1) in
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- File "fcl_sorting.ml", line 138, characters 16-28:
- 138 | let infI' = Array.create n (-1) and supI' = Array.create n (-1) in
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- File "fcl_sorting.ml", line 138, characters 48-60:
- 138 | let infI' = Array.create n (-1) and supI' = Array.create n (-1) in
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- File "fcl_sorting.ml", line 217, characters 14-26:
- 217 | let b = Array.create n false
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- File "fcl_sorting.ml", line 218, characters 14-26:
- 218 | and t = Array.create n (-1) in
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- File "fcl_sorting.ml", line 268, characters 14-26:
- 268 | let c = Array.create n [||] in
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- File "fcl_sorting.ml", line 358, characters 28-42:
- 358 | (fun (inf, sup) x -> Pervasives.min (Fd.min x) inf, Pervasives.max (Fd.max x) sup) (max_int, min_int) a 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 "fcl_sorting.ml", line 358, characters 59-73:
- 358 | (fun (inf, sup) x -> Pervasives.min (Fd.min x) inf, Pervasives.max (Fd.max x) sup) (max_int, min_int) a 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 "fcl_sorting.ml", line 371, characters 28-42:
- 371 | (fun (inf, sup) x -> Pervasives.min (Fd.min x) inf, Pervasives.max (Fd.max x) sup) (max_int, min_int) a 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 "fcl_sorting.ml", line 371, characters 59-73:
- 371 | (fun (inf, sup) x -> Pervasives.min (Fd.min x) inf, Pervasives.max (Fd.max x) sup) (max_int, min_int) a in
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlopt -unsafe -noassert -inline 10 -c fcl_interval.ml
- ocamlopt -unsafe -noassert -inline 10 -c fcl_genesis.ml
- File "fcl_genesis.ml", line 28, characters 21-33:
- 28 | let cstr_array = Array.create max_cstr (0, 0)
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make instead.
- ocamlopt -unsafe -noassert -inline 10 -c facile.ml
- ocamlopt -unsafe -noassert -inline 10 -o facile.cmxa -a fcl_debug.cmx fcl_misc.cmx fcl_domain.cmx fcl_setDomain.cmx fcl_float.cmx fcl_stak.cmx fcl_data.cmx fcl_cstr.cmx fcl_var.cmx fcl_invariant.cmx fcl_reify.cmx fcl_boolean.cmx fcl_linear.cmx fcl_nonlinear.cmx fcl_expr.cmx fcl_arith.cmx fcl_conjunto.cmx fcl_goals.cmx fcl_fdArray.cmx fcl_gcc.cmx fcl_opti.cmx fcl_alldiff.cmx fcl_sorting.cmx fcl_interval.cmx fcl_genesis.cmx facile.cmx
- ocamlmktop -o facile facile.cma
- make[1]: Leaving directory '/home/opam/.opam/4.09/.opam-switch/build/facile.1.1/src'
-> compiled facile.1.1
Processing 3/3: [facile: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.09/.opam-switch/build/facile.1.1)
- if test -d /home/opam/.opam/4.09/lib/facile; then : ; else mkdir /home/opam/.opam/4.09/lib/facile; fi
- cp src/facile.cmi src/facile.cma src/facile.cmxa src/facile.a /home/opam/.opam/4.09/lib/facile
- chmod a+r /home/opam/.opam/4.09/lib/facile/facile.cmi
- chmod a+r /home/opam/.opam/4.09/lib/facile/facile.cma
- chmod a+r /home/opam/.opam/4.09/lib/facile/facile.cmxa
- chmod a+r /home/opam/.opam/4.09/lib/facile/facile.a
-> installed facile.1.1
Done.
# Run eval $(opam env) to update the current shell environment
2024-07-01 02:03.57 ---> saved as "3080e827618fecc6986f43ebfdaa97643d62b87828d2b069852b8ebf81afa1eb"
Job succeeded
Home|Differences with the last checks|Previous runs