D: [iurt_root_command] chroot warning: Found bdb_ro Packages database while attempting sqlite backend: using bdb_ro backend. Installing /home/iurt/rpmbuild/SRPMS/facile-1.1.3-9.mga9.src.rpm Building target platforms: aarch64 Building for target aarch64 Executing(%prep): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.hW7mv7 + umask 022 + cd /home/iurt/rpmbuild/BUILD + '[' 1 -eq 1 ']' + '[' 1 -eq 1 ']' + '[' 1 -eq 1 ']' + cd /home/iurt/rpmbuild/BUILD + rm -rf facile-1.1.3 + /usr/bin/gzip -dc /home/iurt/rpmbuild/SOURCES/facile-1.1.3.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd facile-1.1.3 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/bin/cat /home/iurt/rpmbuild/SOURCES/facile-1.1-install.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/bin/cat /home/iurt/rpmbuild/SOURCES/10-srcMakefile + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/bin/cat /home/iurt/rpmbuild/SOURCES/20-Makefile + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/bin/cat /home/iurt/rpmbuild/SOURCES/30-non-opt-check + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.6rspHX + umask 022 + cd /home/iurt/rpmbuild/BUILD + cd facile-1.1.3 + '[' 1 -eq 1 ']' + '[' 1 -eq 1 ']' + ./configure Checking for OCaml compiler (>= 3.02)... OCaml 4.12.0 found FaCiLe directory: /usr/lib64/ocaml/facile + make cd src; make make[1]: Entering directory '/home/iurt/rpmbuild/BUILD/facile-1.1.3/src' ocamldep *.mli *.ml > .depend ocamlc -c fcl_debug.mli ocamlc -g -c fcl_debug.ml ocamlc -c fcl_misc.mli ocamlc -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 -c fcl_domain.mli ocamlc -g -c fcl_domain.ml ocamlc -c fcl_setDomain.mli ocamlc -g -c fcl_setDomain.ml ocamlc -c fcl_float.mli ocamlc -g -c fcl_float.ml ocamlc -c fcl_stak.mli ocamlc -g -c fcl_stak.ml ocamlc -c fcl_data.mli ocamlc -g -c fcl_data.ml ocamlc -c fcl_cstr.mli ocamlc -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 -c fcl_var.mli ocamlc -g -c fcl_var.ml ocamlc -c fcl_invariant.mli ocamlc -g -c fcl_invariant.ml ocamlc -c fcl_reify.mli ocamlc -g -c fcl_reify.ml ocamlc -c fcl_boolean.mli ocamlc -g -c fcl_boolean.ml ocamlc -c fcl_linear.mli ocamlc -g -c fcl_linear.ml ocamlc -c fcl_nonlinear.mli ocamlc -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 -c fcl_expr.mli ocamlc -g -c fcl_expr.ml ocamlc -c fcl_arith.mli ocamlc -g -c fcl_arith.ml ocamlc -c fcl_conjunto.mli ocamlc -g -c fcl_conjunto.ml ocamlc -c fcl_goals.mli ocamlc -g -c fcl_goals.ml ocamlc -c fcl_fdArray.mli ocamlc -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 -c fcl_gcc.mli ocamlc -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 -c fcl_opti.mli ocamlc -g -c fcl_opti.ml ocamlc -c fcl_alldiff.mli ocamlc -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 -c fcl_sorting.mli ocamlc -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 -c fcl_interval.mli ocamlc -g -c fcl_interval.ml ocamlc -c fcl_genesis.mli ocamlc -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 -c facile.mli ocamlc -g -c facile.ml ocamlc -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 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 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 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/iurt/rpmbuild/BUILD/facile-1.1.3/src' + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.ufIiWS + umask 022 + cd /home/iurt/rpmbuild/BUILD + '[' 1 -eq 1 ']' + '[' /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-9.mga9.aarch64 '!=' / ']' + rm -rf /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-9.mga9.aarch64 ++ dirname /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-9.mga9.aarch64 + mkdir -p /home/iurt/rpmbuild/BUILDROOT + mkdir /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-9.mga9.aarch64 + cd facile-1.1.3 + '[' 1 -eq 1 ']' + /usr/bin/make install DESTDIR=/home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-9.mga9.aarch64 'INSTALL=/usr/bin/install -p' if test -d /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-9.mga9.aarch64//usr/lib64/ocaml/facile; then : ; else mkdir -p /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-9.mga9.aarch64//usr/lib64/ocaml/facile; fi install -m 644 src/*.mli /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-9.mga9.aarch64//usr/lib64/ocaml/facile if [ -e src/facile.cmi ] ; then cp src/facile.cmi /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-9.mga9.aarch64//usr/lib64/ocaml/facile ; fi if [ -e src/facile.cma ] ; then cp src/facile.cma /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-9.mga9.aarch64//usr/lib64/ocaml/facile ; fi if [ -e src/facile.a ] ; then cp src/facile.a /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-9.mga9.aarch64//usr/lib64/ocaml/facile ; fi if [ -e src/facile.cmxa ] ; then cp src/facile.cmxa /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-9.mga9.aarch64//usr/lib64/ocaml/facile ; fi if [ -e /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-9.mga9.aarch64//usr/lib64/ocaml/facile/facile.cmi ] ; then chmod a+r /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-9.mga9.aarch64//usr/lib64/ocaml/facile/facile.cmi ; fi if [ -e /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-9.mga9.aarch64//usr/lib64/ocaml/facile/facile.cma ] ; then chmod a+r /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-9.mga9.aarch64//usr/lib64/ocaml/facile/facile.cma ; fi if [ -e /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-9.mga9.aarch64//usr/lib64/ocaml/facile/facile.cmxa ] ; then chmod a+r /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-9.mga9.aarch64//usr/lib64/ocaml/facile/facile.cmxa ; fi if [ -e /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-9.mga9.aarch64//usr/lib64/ocaml/facile/facile.a ] ; then chmod a+r /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-9.mga9.aarch64//usr/lib64/ocaml/facile/facile.a ; fi + /usr/lib/rpm/check-buildroot + '[' -n '' ']' + /usr/share/spec-helper/clean_files + '[' -n '' ']' + /usr/share/spec-helper/compress_files .xz + '[' -n '' ']' + /usr/share/spec-helper/relink_symlinks + '[' -n '' ']' + /usr/share/spec-helper/clean_perl + '[' -n '' ']' + /usr/share/spec-helper/lib_symlinks + '[' -n '' ']' + /usr/share/spec-helper/gprintify + '[' -n '' ']' + /usr/share/spec-helper/fix_mo + '[' -n '' ']' + /usr/share/spec-helper/fix_pamd + '[' -n '' ']' + /usr/share/spec-helper/remove_info_dir + '[' -n '' ']' + /usr/share/spec-helper/fix_eol + '[' -n '' ']' + /usr/share/spec-helper/check_desktop_files + '[' -n '' ']' + /usr/share/spec-helper/check_elf_files + /usr/lib/rpm/brp-strip /usr/bin/strip + /usr/lib/rpm/brp-strip-comment-note /usr/bin/strip /usr/bin/objdump + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/brp-python-bytecompile /usr/bin/python3 1 0 + /usr/lib/rpm/check-rpaths + /usr/lib/rpm/brp-remove-la-files + /usr/lib/rpm/redhat/brp-mangle-shebangs Executing(%check): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.KvRfFI + umask 022 + cd /home/iurt/rpmbuild/BUILD + cd facile-1.1.3 + '[' 1 -eq 1 ']' + make check cd examples; make FACILEDIR=../src queens.out && ./queens.out 8 make[1]: Entering directory '/home/iurt/rpmbuild/BUILD/facile-1.1.3/examples' ocamldep -I ../src *.mli *.ml > .depend ocamlc -g -I ../src -c queens.ml ocamlc -g -I ../src -o queens.out facile.cma queens.cmo make[1]: Leaving directory '/home/iurt/rpmbuild/BUILD/facile-1.1.3/examples' 11 backtracks * - - - - - - - - - - - - - * - - - - * - - - - - - - - - * - - - - - - - - - * - * - - - - - - - - - - * - - - - - * - - - - - + RPM_EC=0 ++ jobs -p + exit 0 Processing files: facile-1.1.3-9.mga9.aarch64 Executing(%doc): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.IrxXIF + umask 022 + cd /home/iurt/rpmbuild/BUILD + cd facile-1.1.3 + DOCDIR=/home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-9.mga9.aarch64/usr/share/doc/facile + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-9.mga9.aarch64/usr/share/doc/facile + cp -pr README /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-9.mga9.aarch64/usr/share/doc/facile + cp -pr LICENSE /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-9.mga9.aarch64/usr/share/doc/facile + RPM_EC=0 ++ jobs -p + exit 0 Provides: facile = 1.1.3-9.mga9 facile(aarch-64) = 1.1.3-9.mga9 ocaml(Facile) = 230da3ef1cc01fffa95cf904768baa51 ocaml(Fcl_alldiff) = 8f6dab1ed914422d65d052dca58b30c2 ocaml(Fcl_arith) = 71035217e2f7f121424a83f0ae0ca518 ocaml(Fcl_boolean) = 32e74853975d7989898a13f15502df77 ocaml(Fcl_conjunto) = 52d4fc3db42186c43c12988d66a75ff5 ocaml(Fcl_cstr) = f3e005307a709a951cfc70ed8aa98670 ocaml(Fcl_data) = d46ccf89e909c4273ed447a5b90286d5 ocaml(Fcl_debug) = a2da1750cdbbd9dd2fdc6c26c2e02814 ocaml(Fcl_domain) = 7775e1ba8852497a455d2e95a77c0745 ocaml(Fcl_expr) = 76897792b3637d9b32bd200088712fd2 ocaml(Fcl_fdArray) = 45afb0936fc4f525454fb71b539ad438 ocaml(Fcl_float) = 27249d50eb92f3aa69b0fd0af5b0c9d0 ocaml(Fcl_gcc) = 6529ec0ebce0c27b925ce5ac46eba93e ocaml(Fcl_genesis) = 251ce840641f42a47f538268db5d8f68 ocaml(Fcl_goals) = c8e531f2ca4ef71274152a6d82f6f3cd ocaml(Fcl_interval) = ed7312f4c04cc2bca290b778d95ad1c0 ocaml(Fcl_invariant) = b6e3a37b9ffcd832651a3d86113cc660 ocaml(Fcl_linear) = a214dd2d0cdebaea7ca547d10fd070fd ocaml(Fcl_misc) = eaaf1b168ccd6ed19fd7eb8fcb0f89de ocaml(Fcl_nonlinear) = f99ddf754e65f8c4b363bf03de183e4c ocaml(Fcl_opti) = 9354514de633b07ee9926d4c535f3008 ocaml(Fcl_reify) = 75ec43c68b7a5ab14efe2f43c9749f90 ocaml(Fcl_setDomain) = 48a06572bdc748d1f62232818f61c789 ocaml(Fcl_sorting) = cdac664e78ae1d194ca6a46cfddb5550 ocaml(Fcl_stak) = b0f8fe110136510e8bc4e3021131af98 ocaml(Fcl_var) = e0c8715e0062ed1ab087e8ecae9b8d53 ocamlx(Facile) = c365049b93d081fb7682f041be2c83f2 ocamlx(Fcl_alldiff) = 057880b16ff24915394fb387659b3f75 ocamlx(Fcl_arith) = ebcdfd9f436d7dde6abcf90ce423c0c9 ocamlx(Fcl_boolean) = 38ee4b89e3d21218f4fe745916dbb806 ocamlx(Fcl_conjunto) = 63e5c2dd043c0014263eebd0ea08274e ocamlx(Fcl_cstr) = 4092febdcb16e5209aab91deadf77359 ocamlx(Fcl_data) = 2d9e4e423d5484cc7a76094f452a6ad0 ocamlx(Fcl_debug) = 30950acce1ba89ddceaced3200ac210c ocamlx(Fcl_domain) = de609715be3b09ea5733b3e8a99fe142 ocamlx(Fcl_expr) = 6673b7759d56d4d18b08ad55c973f983 ocamlx(Fcl_fdArray) = aee1cadab88274df0dfd5a6e991556c4 ocamlx(Fcl_float) = 616702eab58479025c502e62e15b0c36 ocamlx(Fcl_gcc) = 543bd557a308d1be17081b3c70dd3b2f ocamlx(Fcl_genesis) = a390b17b6dca4b4f43fa90160a795d23 ocamlx(Fcl_goals) = f9a6560e4d60b2a689f130ff98bfec66 ocamlx(Fcl_interval) = cf6933c1bdb2ddf7b16a98fed9b05777 ocamlx(Fcl_invariant) = 1cc377b22b7118e7bf53324973d58df4 ocamlx(Fcl_linear) = d93765956bb4237d7d04c425bdd0795a ocamlx(Fcl_misc) = 5c87694a7a9318b5d0708986338cb5bb ocamlx(Fcl_nonlinear) = e37cde6a8a4d7671f2f2e82af64f5c4d ocamlx(Fcl_opti) = 6cfe928b4f6890f7adf4b79fda2ee082 ocamlx(Fcl_reify) = 15a1a5e1fbfac0611af144abbbb32e78 ocamlx(Fcl_setDomain) = fb32f9f428a9aaf7c0673a5c79d1931d ocamlx(Fcl_sorting) = 87cdebb7e89e28d030ee01dab742972d ocamlx(Fcl_stak) = 48ccfa6840373fde66ee4c2f349271fb ocamlx(Fcl_var) = 8bffa32cdfb82c72be26a08d6c50bc64 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(CamlinternalFormatBasics) = b6c6694955e10001aed267571104a961 ocaml(Fcl_alldiff) = 8f6dab1ed914422d65d052dca58b30c2 ocaml(Fcl_arith) = 71035217e2f7f121424a83f0ae0ca518 ocaml(Fcl_boolean) = 32e74853975d7989898a13f15502df77 ocaml(Fcl_conjunto) = 52d4fc3db42186c43c12988d66a75ff5 ocaml(Fcl_cstr) = f3e005307a709a951cfc70ed8aa98670 ocaml(Fcl_data) = d46ccf89e909c4273ed447a5b90286d5 ocaml(Fcl_debug) = a2da1750cdbbd9dd2fdc6c26c2e02814 ocaml(Fcl_domain) = 7775e1ba8852497a455d2e95a77c0745 ocaml(Fcl_expr) = 76897792b3637d9b32bd200088712fd2 ocaml(Fcl_fdArray) = 45afb0936fc4f525454fb71b539ad438 ocaml(Fcl_float) = 27249d50eb92f3aa69b0fd0af5b0c9d0 ocaml(Fcl_gcc) = 6529ec0ebce0c27b925ce5ac46eba93e ocaml(Fcl_genesis) = 251ce840641f42a47f538268db5d8f68 ocaml(Fcl_goals) = c8e531f2ca4ef71274152a6d82f6f3cd ocaml(Fcl_interval) = ed7312f4c04cc2bca290b778d95ad1c0 ocaml(Fcl_invariant) = b6e3a37b9ffcd832651a3d86113cc660 ocaml(Fcl_linear) = a214dd2d0cdebaea7ca547d10fd070fd ocaml(Fcl_misc) = eaaf1b168ccd6ed19fd7eb8fcb0f89de ocaml(Fcl_nonlinear) = f99ddf754e65f8c4b363bf03de183e4c ocaml(Fcl_opti) = 9354514de633b07ee9926d4c535f3008 ocaml(Fcl_reify) = 75ec43c68b7a5ab14efe2f43c9749f90 ocaml(Fcl_setDomain) = 48a06572bdc748d1f62232818f61c789 ocaml(Fcl_sorting) = cdac664e78ae1d194ca6a46cfddb5550 ocaml(Fcl_stak) = b0f8fe110136510e8bc4e3021131af98 ocaml(Fcl_var) = e0c8715e0062ed1ab087e8ecae9b8d53 ocaml(Stdlib) = 4b04b4eda19aa722df365141895fb347 ocaml(Stdlib__array) = 4e32e71cf085ea7194f43622fdc89508 ocaml(Stdlib__buffer) = 9eaf2b1cd70e33601c152d1ce1bb8be9 ocaml(Stdlib__either) = 2555bf09b020b8887a4d8a645b0ed347 ocaml(Stdlib__hashtbl) = c3ec10b93bb358686d02fa9c5f4adb6b ocaml(Stdlib__int32) = 4c0749e51d8fce5752bcb00fe42a4ddc ocaml(Stdlib__int64) = 6cf7f095ea7fd59bad44ff22d084c4ee ocaml(Stdlib__list) = 88609ef3a3066dcf16ad7456f53122d2 ocaml(Stdlib__nativeint) = 28b842ced0fedd41c55b9dd34f0fe79c ocaml(Stdlib__pervasives) = 382fd7518824380092708706588e1eed ocaml(Stdlib__printf) = 6b41a35d77938603dd2ed0f7d80764f6 ocaml(Stdlib__random) = de46e8f11a20ccab9d54a09afb8394b8 ocaml(Stdlib__seq) = 185075aa99b059ad4cae15cb411fcc0c ocaml(Stdlib__set) = d47fad5d5151b45276616200bec25877 ocaml(Stdlib__string) = 9f0e42299fccc5fb76df62d28ba67759 ocaml(Stdlib__sys) = eb89f871835c4515431f0752466ac613 ocaml(Stdlib__uchar) = 82dadcd908dde621b8842c96ba644dc6 ocaml(Stdlib__weak) = cba3563dd81326f4bdf520cd5fbcc4cc ocamlx(Fcl_alldiff) = 057880b16ff24915394fb387659b3f75 ocamlx(Fcl_arith) = ebcdfd9f436d7dde6abcf90ce423c0c9 ocamlx(Fcl_boolean) = 38ee4b89e3d21218f4fe745916dbb806 ocamlx(Fcl_conjunto) = 63e5c2dd043c0014263eebd0ea08274e ocamlx(Fcl_cstr) = 4092febdcb16e5209aab91deadf77359 ocamlx(Fcl_data) = 2d9e4e423d5484cc7a76094f452a6ad0 ocamlx(Fcl_debug) = 30950acce1ba89ddceaced3200ac210c ocamlx(Fcl_domain) = de609715be3b09ea5733b3e8a99fe142 ocamlx(Fcl_expr) = 6673b7759d56d4d18b08ad55c973f983 ocamlx(Fcl_fdArray) = aee1cadab88274df0dfd5a6e991556c4 ocamlx(Fcl_float) = 616702eab58479025c502e62e15b0c36 ocamlx(Fcl_gcc) = 543bd557a308d1be17081b3c70dd3b2f ocamlx(Fcl_genesis) = a390b17b6dca4b4f43fa90160a795d23 ocamlx(Fcl_goals) = f9a6560e4d60b2a689f130ff98bfec66 ocamlx(Fcl_interval) = cf6933c1bdb2ddf7b16a98fed9b05777 ocamlx(Fcl_invariant) = 1cc377b22b7118e7bf53324973d58df4 ocamlx(Fcl_linear) = d93765956bb4237d7d04c425bdd0795a ocamlx(Fcl_misc) = 5c87694a7a9318b5d0708986338cb5bb ocamlx(Fcl_nonlinear) = e37cde6a8a4d7671f2f2e82af64f5c4d ocamlx(Fcl_opti) = 6cfe928b4f6890f7adf4b79fda2ee082 ocamlx(Fcl_reify) = 15a1a5e1fbfac0611af144abbbb32e78 ocamlx(Fcl_setDomain) = fb32f9f428a9aaf7c0673a5c79d1931d ocamlx(Fcl_sorting) = 87cdebb7e89e28d030ee01dab742972d ocamlx(Fcl_stak) = 48ccfa6840373fde66ee4c2f349271fb ocamlx(Fcl_var) = 8bffa32cdfb82c72be26a08d6c50bc64 ocamlx(Stdlib) = 905355729c82ef4d2184c394a250f1a3 ocamlx(Stdlib__array) = bd748df8b673a5572a68c6ed97643075 ocamlx(Stdlib__hashtbl) = d6c11956a20f699b6d99ffbeaf7af8ce ocamlx(Stdlib__list) = 53d7956dcffc648bb93ed4703fe49f2c ocamlx(Stdlib__pervasives) = 57ad99849d3d858359a22c12d3944c85 ocamlx(Stdlib__printf) = 9c372b73f35fb3b53e15ee17339edabc ocamlx(Stdlib__random) = 6d2f1dcbbfaef5ccedc4500e239fdb4a ocamlx(Stdlib__set) = c27557b5a6100db8742e263f38fd23be ocamlx(Stdlib__sys) = 53713114014cf8545db403b325aa77cd ocamlx(Stdlib__weak) = 7eb8f855f952c8efb56dc2d6be10ebc8 Checking for unpackaged file(s): /usr/lib/rpm/check-files /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-9.mga9.aarch64 Wrote: /home/iurt/rpmbuild/RPMS/aarch64/facile-1.1.3-9.mga9.aarch64.rpm Executing(%clean): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.4IgroW + umask 022 + cd /home/iurt/rpmbuild/BUILD + cd facile-1.1.3 + /usr/bin/rm -rf /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-9.mga9.aarch64 + RPM_EC=0 ++ jobs -p + exit 0 Executing(--clean): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.p3EKNu + umask 022 + cd /home/iurt/rpmbuild/BUILD + rm -rf facile-1.1.3 + RPM_EC=0 ++ jobs -p + exit 0 D: [iurt_root_command] Success!