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-11.mga9.src.rpm Building target platforms: aarch64 Building for target aarch64 Executing(%prep): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.LSsJbG + 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.JHsKNP + 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.13.1 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.tdTJqf + umask 022 + cd /home/iurt/rpmbuild/BUILD + '[' 1 -eq 1 ']' + '[' /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-11.mga9.aarch64 '!=' / ']' + rm -rf /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-11.mga9.aarch64 ++ dirname /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-11.mga9.aarch64 + mkdir -p /home/iurt/rpmbuild/BUILDROOT + mkdir /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-11.mga9.aarch64 + cd facile-1.1.3 + '[' 1 -eq 1 ']' + /usr/bin/make install DESTDIR=/home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-11.mga9.aarch64 'INSTALL=/usr/bin/install -p' if test -d /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-11.mga9.aarch64//usr/lib64/ocaml/facile; then : ; else mkdir -p /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-11.mga9.aarch64//usr/lib64/ocaml/facile; fi install -m 644 src/*.mli /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-11.mga9.aarch64//usr/lib64/ocaml/facile if [ -e src/facile.cmi ] ; then cp src/facile.cmi /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-11.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-11.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-11.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-11.mga9.aarch64//usr/lib64/ocaml/facile ; fi if [ -e /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-11.mga9.aarch64//usr/lib64/ocaml/facile/facile.cmi ] ; then chmod a+r /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-11.mga9.aarch64//usr/lib64/ocaml/facile/facile.cmi ; fi if [ -e /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-11.mga9.aarch64//usr/lib64/ocaml/facile/facile.cma ] ; then chmod a+r /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-11.mga9.aarch64//usr/lib64/ocaml/facile/facile.cma ; fi if [ -e /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-11.mga9.aarch64//usr/lib64/ocaml/facile/facile.cmxa ] ; then chmod a+r /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-11.mga9.aarch64//usr/lib64/ocaml/facile/facile.cmxa ; fi if [ -e /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-11.mga9.aarch64//usr/lib64/ocaml/facile/facile.a ] ; then chmod a+r /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-11.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.saEwaU + 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-11.mga9.aarch64 Executing(%doc): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.g5efLt + umask 022 + cd /home/iurt/rpmbuild/BUILD + cd facile-1.1.3 + DOCDIR=/home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-11.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-11.mga9.aarch64/usr/share/doc/facile + cp -pr README /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-11.mga9.aarch64/usr/share/doc/facile + cp -pr LICENSE /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-11.mga9.aarch64/usr/share/doc/facile + RPM_EC=0 ++ jobs -p + exit 0 Provides: facile = 1.1.3-11.mga9 facile(aarch-64) = 1.1.3-11.mga9 ocaml(Facile) = 939d1b3b18a76f9788181da72c686fa7 ocaml(Fcl_alldiff) = fbb9ea5d2e2c6b7574badfaacb1f97f4 ocaml(Fcl_arith) = 17cdf8e1dc80e6af3aadb615b9aa1041 ocaml(Fcl_boolean) = 9434e4637eeb0e56e4253582dfe70662 ocaml(Fcl_conjunto) = 8b83b246d664373b65442cb18fdff46a ocaml(Fcl_cstr) = 300431b662e707c6d4a5620653895769 ocaml(Fcl_data) = 3ae628f995bb9d9fda651f8aa26353f3 ocaml(Fcl_debug) = 8a0e233e9cd2e7c705f3f6d34517f3fa ocaml(Fcl_domain) = a5fa26333addd56256f8549ec3b5d20c ocaml(Fcl_expr) = b63fd0a1f4821b0937b6e855795ce7ec ocaml(Fcl_fdArray) = c11621fce2b0037235a0f6d6f4409e84 ocaml(Fcl_float) = cdce8c0211a58aa965a488fb5b75a6cc ocaml(Fcl_gcc) = fee56d00ae10d2bc2aaab6c0f9461b53 ocaml(Fcl_genesis) = 618d5c28aab376c43fe2ea87211ecdf4 ocaml(Fcl_goals) = bf0de9f74fdb731504b49600d8d6d4bd ocaml(Fcl_interval) = 0b7a1627c122f8ea784c74d410fbb693 ocaml(Fcl_invariant) = 6a34d078552882c0dce9026d55130af1 ocaml(Fcl_linear) = b88d59adcdb58538a9de96e37164d653 ocaml(Fcl_misc) = 0570544f7707b890b85c0afd43fd9e96 ocaml(Fcl_nonlinear) = a9d01a9c8b8b1cd00cc755074ec514be ocaml(Fcl_opti) = e048a774e019e33594c216149587d6d1 ocaml(Fcl_reify) = 5d0ff9276c7ecadecca7999a567014c8 ocaml(Fcl_setDomain) = 5ccd16c29baf0b27c7e6cb82c9e893e1 ocaml(Fcl_sorting) = cd3f42c214b0bd4f3d8a7838a6767ad3 ocaml(Fcl_stak) = 82c6af63054005ff35bdf6408f1fdd92 ocaml(Fcl_var) = c0550a09211332bc737e3edcfffbe4ac ocamlx(Facile) = 70a383ae38dd21a92c1ad80226b2f665 ocamlx(Fcl_alldiff) = b9ce86ea48b463586f95124db49b9df6 ocamlx(Fcl_arith) = b4b2d1ad2eecdb0a02db0f8ea6df69b6 ocamlx(Fcl_boolean) = 36e595a16318523ba1b4feda4980804d ocamlx(Fcl_conjunto) = 600d4e92c48307523b82ed057a85e7e5 ocamlx(Fcl_cstr) = 3566016e14b2036dfa6ddb8d9d3461eb ocamlx(Fcl_data) = 9e07bcdad7ac47764ae4752a419b4502 ocamlx(Fcl_debug) = 1399be66d2d2bc77d6e9b3267f83175c ocamlx(Fcl_domain) = f4e124176c841dc412366ff409453605 ocamlx(Fcl_expr) = 76e3e92c722ee71f91d460a2aa960e13 ocamlx(Fcl_fdArray) = 55d8481d8da4d3028635cf83a5849db8 ocamlx(Fcl_float) = 7f203db8905aac61220033e7b5b08bcb ocamlx(Fcl_gcc) = 547e2f62937ebae176ffdddf29611fd6 ocamlx(Fcl_genesis) = 403aaa28e8665d33c33e4a40689f4497 ocamlx(Fcl_goals) = e4334f4c5b1b899b1cbefb68e48ee910 ocamlx(Fcl_interval) = 7976a3e6a77529a727f5bfc658f32d75 ocamlx(Fcl_invariant) = 62d2fdad7b1f5342d2d55fed3c9db8bc ocamlx(Fcl_linear) = 1d4cef17a5eee4cc65420b9b227eecd3 ocamlx(Fcl_misc) = 79688c9adf211e324078fc71b1af80bb ocamlx(Fcl_nonlinear) = a4afdbce01dae124f706f3b12b80f0c4 ocamlx(Fcl_opti) = 14d3eba2675c90a83ed9eb1d4a8f5d4b ocamlx(Fcl_reify) = be7bff89b7d8e48330e9ed4d0669e00b ocamlx(Fcl_setDomain) = 9df0bc7f3a0294a058d16d8783e4d818 ocamlx(Fcl_sorting) = 7a976aac87853bfb950f38487179024f ocamlx(Fcl_stak) = adacbaa2c5346fc88133cf66529269e1 ocamlx(Fcl_var) = 35b341310e6fda6f3deb405fac558bbc Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(CamlinternalFormatBasics) = c4b583a727ec28f5bc9ba36adc64cfc7 ocaml(Fcl_alldiff) = fbb9ea5d2e2c6b7574badfaacb1f97f4 ocaml(Fcl_arith) = 17cdf8e1dc80e6af3aadb615b9aa1041 ocaml(Fcl_boolean) = 9434e4637eeb0e56e4253582dfe70662 ocaml(Fcl_conjunto) = 8b83b246d664373b65442cb18fdff46a ocaml(Fcl_cstr) = 300431b662e707c6d4a5620653895769 ocaml(Fcl_data) = 3ae628f995bb9d9fda651f8aa26353f3 ocaml(Fcl_debug) = 8a0e233e9cd2e7c705f3f6d34517f3fa ocaml(Fcl_domain) = a5fa26333addd56256f8549ec3b5d20c ocaml(Fcl_expr) = b63fd0a1f4821b0937b6e855795ce7ec ocaml(Fcl_fdArray) = c11621fce2b0037235a0f6d6f4409e84 ocaml(Fcl_float) = cdce8c0211a58aa965a488fb5b75a6cc ocaml(Fcl_gcc) = fee56d00ae10d2bc2aaab6c0f9461b53 ocaml(Fcl_genesis) = 618d5c28aab376c43fe2ea87211ecdf4 ocaml(Fcl_goals) = bf0de9f74fdb731504b49600d8d6d4bd ocaml(Fcl_interval) = 0b7a1627c122f8ea784c74d410fbb693 ocaml(Fcl_invariant) = 6a34d078552882c0dce9026d55130af1 ocaml(Fcl_linear) = b88d59adcdb58538a9de96e37164d653 ocaml(Fcl_misc) = 0570544f7707b890b85c0afd43fd9e96 ocaml(Fcl_nonlinear) = a9d01a9c8b8b1cd00cc755074ec514be ocaml(Fcl_opti) = e048a774e019e33594c216149587d6d1 ocaml(Fcl_reify) = 5d0ff9276c7ecadecca7999a567014c8 ocaml(Fcl_setDomain) = 5ccd16c29baf0b27c7e6cb82c9e893e1 ocaml(Fcl_sorting) = cd3f42c214b0bd4f3d8a7838a6767ad3 ocaml(Fcl_stak) = 82c6af63054005ff35bdf6408f1fdd92 ocaml(Fcl_var) = c0550a09211332bc737e3edcfffbe4ac ocaml(Stdlib) = 2d082666be7fc2ba916e7233397491df ocaml(Stdlib__Array) = 581e55eba14aacb7d3a90da809c6bf38 ocaml(Stdlib__Buffer) = ae6f92ba6bb2f608ab1494d80d56dc6a ocaml(Stdlib__Either) = 24a5d315a7028b5fabcaa9f6b3def93c ocaml(Stdlib__Hashtbl) = f8a1618a0afdf7b51a7efc58d3ada50b ocaml(Stdlib__Int32) = d70207015a28d6f8cb16cbf3df490417 ocaml(Stdlib__Int64) = 55e959e4ff2aaf232f465daffa26c424 ocaml(Stdlib__List) = a655ec23bee4d972dcda1182a3264cf3 ocaml(Stdlib__Nativeint) = 20906fc1420fb50992a02881ddf59b04 ocaml(Stdlib__Pervasives) = 972f7c198e72b06bf255eb0a8e40b5da ocaml(Stdlib__Printf) = 0e709b4af7558eb0589bebb98388ce8e ocaml(Stdlib__Random) = 81afc926de6c043b75047c5a3e297b5d ocaml(Stdlib__Seq) = 4a64380180d45f6d850ce24ab1076b18 ocaml(Stdlib__Set) = 62a5b2299175dac791c30d62e1518738 ocaml(Stdlib__String) = 2e8342c86495af4a502e4634e35933ed ocaml(Stdlib__Sys) = 77e29567f2d5143158a3c6ae227ebb37 ocaml(Stdlib__Uchar) = 6f39f075b573943ab932cfc8fc5bfd5d ocaml(Stdlib__Weak) = 7471767d4854a5be3a87fb957210a23a ocamlx(Fcl_alldiff) = b9ce86ea48b463586f95124db49b9df6 ocamlx(Fcl_arith) = b4b2d1ad2eecdb0a02db0f8ea6df69b6 ocamlx(Fcl_boolean) = 36e595a16318523ba1b4feda4980804d ocamlx(Fcl_conjunto) = 600d4e92c48307523b82ed057a85e7e5 ocamlx(Fcl_cstr) = 3566016e14b2036dfa6ddb8d9d3461eb ocamlx(Fcl_data) = 9e07bcdad7ac47764ae4752a419b4502 ocamlx(Fcl_debug) = 1399be66d2d2bc77d6e9b3267f83175c ocamlx(Fcl_domain) = f4e124176c841dc412366ff409453605 ocamlx(Fcl_expr) = 76e3e92c722ee71f91d460a2aa960e13 ocamlx(Fcl_fdArray) = 55d8481d8da4d3028635cf83a5849db8 ocamlx(Fcl_float) = 7f203db8905aac61220033e7b5b08bcb ocamlx(Fcl_gcc) = 547e2f62937ebae176ffdddf29611fd6 ocamlx(Fcl_genesis) = 403aaa28e8665d33c33e4a40689f4497 ocamlx(Fcl_goals) = e4334f4c5b1b899b1cbefb68e48ee910 ocamlx(Fcl_interval) = 7976a3e6a77529a727f5bfc658f32d75 ocamlx(Fcl_invariant) = 62d2fdad7b1f5342d2d55fed3c9db8bc ocamlx(Fcl_linear) = 1d4cef17a5eee4cc65420b9b227eecd3 ocamlx(Fcl_misc) = 79688c9adf211e324078fc71b1af80bb ocamlx(Fcl_nonlinear) = a4afdbce01dae124f706f3b12b80f0c4 ocamlx(Fcl_opti) = 14d3eba2675c90a83ed9eb1d4a8f5d4b ocamlx(Fcl_reify) = be7bff89b7d8e48330e9ed4d0669e00b ocamlx(Fcl_setDomain) = 9df0bc7f3a0294a058d16d8783e4d818 ocamlx(Fcl_sorting) = 7a976aac87853bfb950f38487179024f ocamlx(Fcl_stak) = adacbaa2c5346fc88133cf66529269e1 ocamlx(Fcl_var) = 35b341310e6fda6f3deb405fac558bbc ocamlx(Stdlib) = f8b8b4ee0b917ebd74ad56082a6500fe ocamlx(Stdlib__Array) = aab10518c3f1158148fe7713d20dc740 ocamlx(Stdlib__Hashtbl) = 04f772f8913c4d9f535a6c6c2d722fb4 ocamlx(Stdlib__List) = 21b8c13f8a244aae814f6acdfce31ac4 ocamlx(Stdlib__Pervasives) = f15e6b9f6b163d72b32658dc146ed556 ocamlx(Stdlib__Printf) = 54da4609e17a1893e7a0c08168b8726a ocamlx(Stdlib__Random) = 2e104ad369194bbb9ea5bf4e01263458 ocamlx(Stdlib__Set) = efe49a5ad96e68a687d220f58858ab41 ocamlx(Stdlib__Sys) = 3aa3655700ec2d80629d3a9555109f96 ocamlx(Stdlib__Weak) = 1a51f14f52d59ceb8e60a9f6f11a82a9 Checking for unpackaged file(s): /usr/lib/rpm/check-files /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-11.mga9.aarch64 Wrote: /home/iurt/rpmbuild/RPMS/aarch64/facile-1.1.3-11.mga9.aarch64.rpm Executing(%clean): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.RyBbIu + umask 022 + cd /home/iurt/rpmbuild/BUILD + cd facile-1.1.3 + /usr/bin/rm -rf /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-11.mga9.aarch64 + RPM_EC=0 ++ jobs -p + exit 0 Executing(--clean): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.YWi4mX + 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!