Build:
- 0
2026-06-24 11:02.51: New job: build facile.1.1 (c2aa82cf07fa) 2026-06-24 11:02.51: Waiting for resource in pool day11-builds 2026-06-24 11:05.48: Got resource from pool day11-builds 2026-06-24 11:05.48: [profile full] build facile.1.1 2026-06-24 11:05.49: build facile.1.1 (c2aa82cf07fa) === DEPENDENCIES (3 transitive) === ocaml.4.14.4 b047fb9251f4 ocaml-base-compiler.4.14.4 d3b7ccb2c6fb ocaml-config.2 2d9c209f5590 === STDOUT === Processing: [default: loading data] [facile.1.1: dl] [facile.1.1: extract] [facile.1.1/META: dl] [facile.1.1/bsdmake.patch: dl] [facile.1.1/facile.install: dl] [facile.1.1/ocaml_4.00.patch: dl] -> retrieved facile.1.1 (https://opam.ocaml.org/cache) [facile: patch] applying ocaml_4.00.patch [facile: patch] applying bsdmake.patch [facile: ./configure] + /home/opam/.opam/default/.opam-switch/build/facile.1.1/./configure "-faciledir" "/home/opam/.opam/default/lib/facile" (CWD=/home/opam/.opam/default/.opam-switch/build/facile.1.1) - Checking for OCaml compiler (>= 3.02)... - OCaml 4.14.4 found - FaCiLe directory: /home/opam/.opam/default/lib/facile [facile: make] + /usr/bin/make (CWD=/home/opam/.opam/default/.opam-switch/build/facile.1.1) - cd src; /usr/bin/make - make[1]: Entering directory '/home/opam/.opam/default/.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 - make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/facile.1.1/src' -> compiled facile.1.1 [facile: make install] + /usr/bin/make "install" (CWD=/home/opam/.opam/default/.opam-switch/build/facile.1.1) - if test -d /home/opam/.opam/default/lib/facile; then : ; else mkdir /home/opam/.opam/default/lib/facile; fi - cp src/facile.cmi src/facile.cma src/facile.cmxa src/facile.a /home/opam/.opam/default/lib/facile - chmod a+r /home/opam/.opam/default/lib/facile/facile.cmi - chmod a+r /home/opam/.opam/default/lib/facile/facile.cma - chmod a+r /home/opam/.opam/default/lib/facile/facile.cmxa - chmod a+r /home/opam/.opam/default/lib/facile/facile.a -> installed facile.1.1 === STDERR === 2026-06-24 11:06.03: OK: build facile.1.1 (runc: 7.6s, disk: 32KB) 2026-06-24 11:06.03: Job succeeded