Building on falling
(from freebsd-ocaml-5.0)
2023-09-16 23:20.32 ---> using "b0ee167c73857b60ecf6c06eff6bbe96857a02ac84fefd2b9807cb2eea16bf97" 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/local/bin/opam-2.1 /usr/local/bin/opam"))
2023-09-16 23:20.32 ---> using "58da31f76f3dd28576bb2b11a05c1473a2cbc0bc8e959f83414ab7001888e94f" 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 b61304c6db353e679a36720d8b914b029d6fbc0c"))
2023-09-16 23:20.32 ---> using "8d3da13405344b39e752afb838c3c735052c4eec4b16365a8f42fa332f48db13" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare ~/opam-repository"))
No configuration file found, using 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:
/usr/home/opam/.profile is already up-to-date.
[NOTE] Make sure that /usr/home/opam/.profile is well sourced in your ~/.bashrc.
2023-09-16 23:20.32 ---> using "8116be61a4c735c894d82723f81082e77bc159c30ffe9a35227f19965692cf33" from cache
/: (run (cache (opam-archives (target /usr/home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.14.1' 'ocaml-base-compiler.4.14.1'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.14.1"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.4.14.1 (https://github.com/ocaml/ocaml/archive/4.14.1.tar.gz)
-> installed ocaml-base-compiler.4.14.1
-> installed ocaml-config.2
-> installed ocaml.4.14.1
Done.
# Run eval $(opam env --switch=4.14.1) to update the current shell environment
2023-09-16 23:20.32 ---> using "d74ca11c81cb94850460e040b430ca34af571abb56e8a7a8f872c85baa4c4e5d" from cache
/: (run (network host)
(shell "opam update --depexts"))
[WARNING] Unknown update command for bsd, skipping system update
2023-09-16 23:20.33 ---> using "c0b3aedd2094499d94806c83a2a6d025c18f903b4e4191cfd35f3ee66a43d1bd" from cache
/: (run (cache (opam-archives (target /usr/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 '\"freebsd\"'; 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"))
[NOTE] facile.1.1 is not installed.
Nothing to do.
The following actions will be performed:
- install facile 1.1
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/3: [facile.1.1: http]
Processing 1/3:
-> retrieved facile.1.1 (http://facile.recherche.enac.fr/distrib/facile-1.1.tar.gz)
[facile: patch] applying ocaml_4.00.patch
Processing 2/3: [facile: patch]
[facile: patch] applying bsdmake.patch
Processing 2/3: [facile: ./configure]
+ /usr/home/opam/.opam/4.14.1/.opam-switch/build/facile.1.1/./configure "-faciledir" "/usr/home/opam/.opam/4.14.1/lib/facile" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/facile.1.1)
- Checking for OCaml compiler (>= 3.02)...
- OCaml 4.14.1 found
- FaCiLe directory: /usr/home/opam/.opam/4.14.1/lib/facile
Processing 2/3: [facile: gmake]
+ /usr/local/bin/gmake (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/facile.1.1)
- cd src; /usr/local/bin/gmake
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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-var]: 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-var]: 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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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-var]: 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-var]: 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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/facile.1.1/src'
-> compiled facile.1.1
Processing 3/3: [facile: gmake install]
+ /usr/local/bin/gmake "install" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/facile.1.1)
- if test -d /usr/home/opam/.opam/4.14.1/lib/facile; then : ; else mkdir /usr/home/opam/.opam/4.14.1/lib/facile; fi
- cp src/facile.cmi src/facile.cma src/facile.cmxa src/facile.a /usr/home/opam/.opam/4.14.1/lib/facile
- chmod a+r /usr/home/opam/.opam/4.14.1/lib/facile/facile.cmi
- chmod a+r /usr/home/opam/.opam/4.14.1/lib/facile/facile.cma
- chmod a+r /usr/home/opam/.opam/4.14.1/lib/facile/facile.cmxa
- chmod a+r /usr/home/opam/.opam/4.14.1/lib/facile/facile.a
-> installed facile.1.1
Done.
2023-09-16 23:21.20 ---> saved as "1b16868d799cd6002779f038d81894fdfb69d5997ead0a158e7095300156f2be"
Job succeeded
Home|Differences with the last checks|Previous runs