D: [iurt_root_command] chroot Installing /home/iurt/rpmbuild/SRPMS/facile-1.1.3-8.mga8.src.rpm Building target platforms: x86_64 Building for target x86_64 Executing(%prep): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.zrsisz + 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 + /usr/bin/cat /home/iurt/rpmbuild/SOURCES/10-srcMakefile + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch + /usr/bin/cat /home/iurt/rpmbuild/SOURCES/20-Makefile + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch + /usr/bin/cat /home/iurt/rpmbuild/SOURCES/30-non-opt-check + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.48bqww + 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.10.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 instead. File "fcl_cstr.ml", line 53, characters 9-23: 53 | if Pervasives.not solved.(i) then begin ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "fcl_cstr.ml", line 64, characters 10-22: 64 | woken = Array.create nb_wakings false; ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. File "fcl_cstr.ml", line 90, characters 12-24: 90 | let queue = Array.create nb_priorities [] ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. ocamlc -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 instead. File "fcl_gcc.ml", line 87, characters 18-37: 87 | let bool_doms = Array.create_matrix k n false ^^^^^^^^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create_matrix Use Array.make_matrix instead. File "fcl_gcc.ml", line 88, characters 23-35: 88 | and size_bool_doms = Array.create k (-1) in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. File "fcl_gcc.ml", line 96, characters 13-25: 96 | and flow = Array.create k none ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. File "fcl_gcc.ml", line 179, characters 16-28: 179 | let preds = Array.create n [] in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. File "fcl_gcc.ml", line 245, characters 16-28: 245 | let tmp_flow = Array.create k none in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. File "fcl_gcc.ml", line 385, characters 23-35: 385 | let components = Array.create (k+n) (-1) in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. File "fcl_gcc.ml", line 418, characters 26-38: 418 | let known_values = Array.create n 0 in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. ocamlc -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 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 instead. File "fcl_sorting.ml", line 93, characters 15-27: 93 | let infI = Array.create n (-1) and supI = Array.create n (-1) in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. File "fcl_sorting.ml", line 93, characters 46-58: 93 | let infI = Array.create n (-1) and supI = Array.create n (-1) in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. File "fcl_sorting.ml", line 138, characters 16-28: 138 | let infI' = Array.create n (-1) and supI' = Array.create n (-1) in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. File "fcl_sorting.ml", line 138, characters 48-60: 138 | let infI' = Array.create n (-1) and supI' = Array.create n (-1) in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. File "fcl_sorting.ml", line 217, characters 14-26: 217 | let b = Array.create n false ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. File "fcl_sorting.ml", line 218, characters 14-26: 218 | and t = Array.create n (-1) in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. File "fcl_sorting.ml", line 268, characters 14-26: 268 | let c = Array.create n [||] in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. File "fcl_sorting.ml", line 358, characters 28-42: 358 | (fun (inf, sup) x -> Pervasives.min (Fd.min x) inf, Pervasives.max (Fd.max x) sup) (max_int, min_int) a in ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "fcl_sorting.ml", line 358, characters 59-73: 358 | (fun (inf, sup) x -> Pervasives.min (Fd.min x) inf, Pervasives.max (Fd.max x) sup) (max_int, min_int) a in ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "fcl_sorting.ml", line 371, characters 28-42: 371 | (fun (inf, sup) x -> Pervasives.min (Fd.min x) inf, Pervasives.max (Fd.max x) sup) (max_int, min_int) a in ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "fcl_sorting.ml", line 371, characters 59-73: 371 | (fun (inf, sup) x -> Pervasives.min (Fd.min x) inf, Pervasives.max (Fd.max x) sup) (max_int, min_int) a in ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc -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 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 instead. File "fcl_cstr.ml", line 53, characters 9-23: 53 | if Pervasives.not solved.(i) then begin ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "fcl_cstr.ml", line 64, characters 10-22: 64 | woken = Array.create nb_wakings false; ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. File "fcl_cstr.ml", line 90, characters 12-24: 90 | let queue = Array.create nb_priorities [] ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. ocamlopt -unsafe -noassert -inline 10 -c fcl_var.ml ocamlopt -unsafe -noassert -inline 10 -c fcl_invariant.ml 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 instead. File "fcl_gcc.ml", line 87, characters 18-37: 87 | let bool_doms = Array.create_matrix k n false ^^^^^^^^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create_matrix Use Array.make_matrix instead. File "fcl_gcc.ml", line 88, characters 23-35: 88 | and size_bool_doms = Array.create k (-1) in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. File "fcl_gcc.ml", line 96, characters 13-25: 96 | and flow = Array.create k none ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. File "fcl_gcc.ml", line 179, characters 16-28: 179 | let preds = Array.create n [] in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. File "fcl_gcc.ml", line 245, characters 16-28: 245 | let tmp_flow = Array.create k none in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. File "fcl_gcc.ml", line 385, characters 23-35: 385 | let components = Array.create (k+n) (-1) in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. File "fcl_gcc.ml", line 418, characters 26-38: 418 | let known_values = Array.create n 0 in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. ocamlopt -unsafe -noassert -inline 10 -c fcl_opti.ml ocamlopt -unsafe -noassert -inline 10 -c fcl_alldiff.ml File "fcl_alldiff.ml", line 64, characters 18-30: 64 | let matchingl = Array.create n valout in (* var -> value : not backtrackable *) ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. ocamlopt -unsafe -noassert -inline 10 -c fcl_sorting.ml File "fcl_sorting.ml", line 30, characters 12-24: 30 | let inv = Array.create n (-1) in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. File "fcl_sorting.ml", line 93, characters 15-27: 93 | let infI = Array.create n (-1) and supI = Array.create n (-1) in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. File "fcl_sorting.ml", line 93, characters 46-58: 93 | let infI = Array.create n (-1) and supI = Array.create n (-1) in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. File "fcl_sorting.ml", line 138, characters 16-28: 138 | let infI' = Array.create n (-1) and supI' = Array.create n (-1) in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. File "fcl_sorting.ml", line 138, characters 48-60: 138 | let infI' = Array.create n (-1) and supI' = Array.create n (-1) in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. File "fcl_sorting.ml", line 217, characters 14-26: 217 | let b = Array.create n false ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. File "fcl_sorting.ml", line 218, characters 14-26: 218 | and t = Array.create n (-1) in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. File "fcl_sorting.ml", line 268, characters 14-26: 268 | let c = Array.create n [||] in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. File "fcl_sorting.ml", line 358, characters 28-42: 358 | (fun (inf, sup) x -> Pervasives.min (Fd.min x) inf, Pervasives.max (Fd.max x) sup) (max_int, min_int) a in ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "fcl_sorting.ml", line 358, characters 59-73: 358 | (fun (inf, sup) x -> Pervasives.min (Fd.min x) inf, Pervasives.max (Fd.max x) sup) (max_int, min_int) a in ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "fcl_sorting.ml", line 371, characters 28-42: 371 | (fun (inf, sup) x -> Pervasives.min (Fd.min x) inf, Pervasives.max (Fd.max x) sup) (max_int, min_int) a in ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "fcl_sorting.ml", line 371, characters 59-73: 371 | (fun (inf, sup) x -> Pervasives.min (Fd.min x) inf, Pervasives.max (Fd.max x) sup) (max_int, min_int) a in ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlopt -unsafe -noassert -inline 10 -c fcl_interval.ml ocamlopt -unsafe -noassert -inline 10 -c fcl_genesis.ml File "fcl_genesis.ml", line 28, characters 21-33: 28 | let cstr_array = Array.create max_cstr (0, 0) ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. ocamlopt -unsafe -noassert -inline 10 -c facile.ml ocamlopt -unsafe -noassert -inline 10 -o facile.cmxa -a fcl_debug.cmx fcl_misc.cmx fcl_domain.cmx fcl_setDomain.cmx fcl_float.cmx fcl_stak.cmx fcl_data.cmx fcl_cstr.cmx fcl_var.cmx fcl_invariant.cmx fcl_reify.cmx fcl_boolean.cmx fcl_linear.cmx fcl_nonlinear.cmx fcl_expr.cmx fcl_arith.cmx fcl_conjunto.cmx fcl_goals.cmx fcl_fdArray.cmx fcl_gcc.cmx fcl_opti.cmx fcl_alldiff.cmx fcl_sorting.cmx fcl_interval.cmx fcl_genesis.cmx facile.cmx ocamlmktop -o facile facile.cma make[1]: Leaving directory '/home/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.h2yrNv + umask 022 + cd /home/iurt/rpmbuild/BUILD + '[' 1 -eq 1 ']' + '[' /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-8.mga8.x86_64 '!=' / ']' + rm -rf /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-8.mga8.x86_64 ++ dirname /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-8.mga8.x86_64 + mkdir -p /home/iurt/rpmbuild/BUILDROOT + mkdir /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-8.mga8.x86_64 + cd facile-1.1.3 + '[' 1 -eq 1 ']' + /usr/bin/make install DESTDIR=/home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-8.mga8.x86_64 'INSTALL=/usr/bin/install -p' if test -d /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-8.mga8.x86_64//usr/lib64/ocaml/facile; then : ; else mkdir -p /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-8.mga8.x86_64//usr/lib64/ocaml/facile; fi install -m 644 src/*.mli /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-8.mga8.x86_64//usr/lib64/ocaml/facile if [ -e src/facile.cmi ] ; then cp src/facile.cmi /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-8.mga8.x86_64//usr/lib64/ocaml/facile ; fi if [ -e src/facile.cma ] ; then cp src/facile.cma /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-8.mga8.x86_64//usr/lib64/ocaml/facile ; fi if [ -e src/facile.a ] ; then cp src/facile.a /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-8.mga8.x86_64//usr/lib64/ocaml/facile ; fi if [ -e src/facile.cmxa ] ; then cp src/facile.cmxa /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-8.mga8.x86_64//usr/lib64/ocaml/facile ; fi if [ -e /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-8.mga8.x86_64//usr/lib64/ocaml/facile/facile.cmi ] ; then chmod a+r /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-8.mga8.x86_64//usr/lib64/ocaml/facile/facile.cmi ; fi if [ -e /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-8.mga8.x86_64//usr/lib64/ocaml/facile/facile.cma ] ; then chmod a+r /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-8.mga8.x86_64//usr/lib64/ocaml/facile/facile.cma ; fi if [ -e /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-8.mga8.x86_64//usr/lib64/ocaml/facile/facile.cmxa ] ; then chmod a+r /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-8.mga8.x86_64//usr/lib64/ocaml/facile/facile.cmxa ; fi if [ -e /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-8.mga8.x86_64//usr/lib64/ocaml/facile/facile.a ] ; then chmod a+r /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-8.mga8.x86_64//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-strip-shared /usr/bin/strip + /usr/lib/rpm/brp-python-bytecompile /usr/bin/python3 1 1 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-mangle-shebangs Executing(%check): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.4fxZiv + 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-8.mga8.x86_64 Executing(%doc): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.HzP4Gy + umask 022 + cd /home/iurt/rpmbuild/BUILD + cd facile-1.1.3 + DOCDIR=/home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-8.mga8.x86_64/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-8.mga8.x86_64/usr/share/doc/facile + cp -pr README /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-8.mga8.x86_64/usr/share/doc/facile + cp -pr LICENSE /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-8.mga8.x86_64/usr/share/doc/facile + RPM_EC=0 ++ jobs -p + exit 0 Provides: facile = 1.1.3-8.mga8 facile(x86-64) = 1.1.3-8.mga8 ocaml(Facile) = 0728a90e05eca979fb606586d35efa85 ocaml(Fcl_alldiff) = 76ba33f93a598b0c89ee877ef05a315a ocaml(Fcl_arith) = f58fc2248400bc47046e3889bcb79bc8 ocaml(Fcl_boolean) = b1201928cd83261085e60f1f9a65109f ocaml(Fcl_conjunto) = 9c00b5c6dc2485184406087ec345d310 ocaml(Fcl_cstr) = d1028ab65eef959dd9d17dfa338d14d7 ocaml(Fcl_data) = f0685c599fad9bdabc401a3560ed71e1 ocaml(Fcl_debug) = 5890d6ab506c2b1c41894abb4ccd05db ocaml(Fcl_domain) = 6d03b41d3d78c47d8841730114decf3f ocaml(Fcl_expr) = 048c1f7af7996765fbbf3154dea03a2e ocaml(Fcl_fdArray) = 8826265cf6288e25e6ad697bbb94913c ocaml(Fcl_float) = 30804c3debab147190ccdc6a4a54fc23 ocaml(Fcl_gcc) = 3c0857167cf70b62ebca5b1d628fb108 ocaml(Fcl_genesis) = 49815e370d11c1510dea81fd0b1aed24 ocaml(Fcl_goals) = c03a3ece03ae9d03680c4f9e45815a9a ocaml(Fcl_interval) = e4e8638da364f875888df73b08d3ea7f ocaml(Fcl_invariant) = b79b550cb8924366e476c81bb0a7a690 ocaml(Fcl_linear) = 05d9e05914a2478e7065812c63f1c53d ocaml(Fcl_misc) = 66f5d27ed52e1e70c192294df302d31c ocaml(Fcl_nonlinear) = 830d1845d6cb0a2dbfccc0b5f56981ea ocaml(Fcl_opti) = 04a84029d2c9cad4a2607f282e7e0a3d ocaml(Fcl_reify) = 58446c238720215e394503516c2fc310 ocaml(Fcl_setDomain) = a3b67e12dfb6743b907399f327791302 ocaml(Fcl_sorting) = 9f5e9cd0c0b84dbd5366380283cca785 ocaml(Fcl_stak) = 398826b8a6bbe2bdac6ec39f9229f7d5 ocaml(Fcl_var) = 1fdbd69f0c491725816155eec75c686b ocamlx(Facile) = 13867440a3ef004f32b6ca12eceb7ad5 ocamlx(Fcl_alldiff) = a0d2dcc0d67baada3629864772062b00 ocamlx(Fcl_arith) = c11362616a6e82dd823d33aad9b79429 ocamlx(Fcl_boolean) = a24048ef5b547a01c929475aaa87228b ocamlx(Fcl_conjunto) = 695526e009a837c10f8e49597730afc8 ocamlx(Fcl_cstr) = 18dd47bf3b583e860382cebabca7922b ocamlx(Fcl_data) = 6d8b6855a1a7978061a193845035a9df ocamlx(Fcl_debug) = dae8a69b5f25757c86065b9f650b2c25 ocamlx(Fcl_domain) = 7458355284ea31de77a85f981aba2a59 ocamlx(Fcl_expr) = dbace9ca399fa197e65f2edc918f27b5 ocamlx(Fcl_fdArray) = 723ebc7cd42561e8e2432f7785363d61 ocamlx(Fcl_float) = 6aa0b41e1397847fa0e13b9a7d67d967 ocamlx(Fcl_gcc) = bcc972c345a4094f8cf7c1fe9caab391 ocamlx(Fcl_genesis) = 0ad58810511a2b8d50be6bf73a851f54 ocamlx(Fcl_goals) = dc6da853e59e35118727612fb448bb85 ocamlx(Fcl_interval) = b152776f13fc2ad300cc3b3afac2d7d4 ocamlx(Fcl_invariant) = 91d93ad31839799aa79cf5b3fcf9b720 ocamlx(Fcl_linear) = 143cf22d78bb08d554af81b52db293de ocamlx(Fcl_misc) = 137109e541caac1e30879fc9be2245cd ocamlx(Fcl_nonlinear) = 2085720dea9af50c9044fd4eaef7158f ocamlx(Fcl_opti) = f26af13e41a0dd546471cc17053ceb9e ocamlx(Fcl_reify) = 05424e74770b258f28f92368f76e9443 ocamlx(Fcl_setDomain) = 75451a852d787ebb02da8688c1d77feb ocamlx(Fcl_sorting) = 7d022aaaffc71af345b077226eee67af ocamlx(Fcl_stak) = 709b503db08ae410fa9ba682e875aa43 ocamlx(Fcl_var) = 84209a8c70e2a1b7e6cdaa85faec7f9d Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(CamlinternalFormatBasics) = f562e7b79dbe1bb1591060d6b4e854cf ocaml(Fcl_alldiff) = 76ba33f93a598b0c89ee877ef05a315a ocaml(Fcl_arith) = f58fc2248400bc47046e3889bcb79bc8 ocaml(Fcl_boolean) = b1201928cd83261085e60f1f9a65109f ocaml(Fcl_conjunto) = 9c00b5c6dc2485184406087ec345d310 ocaml(Fcl_cstr) = d1028ab65eef959dd9d17dfa338d14d7 ocaml(Fcl_data) = f0685c599fad9bdabc401a3560ed71e1 ocaml(Fcl_debug) = 5890d6ab506c2b1c41894abb4ccd05db ocaml(Fcl_domain) = 6d03b41d3d78c47d8841730114decf3f ocaml(Fcl_expr) = 048c1f7af7996765fbbf3154dea03a2e ocaml(Fcl_fdArray) = 8826265cf6288e25e6ad697bbb94913c ocaml(Fcl_float) = 30804c3debab147190ccdc6a4a54fc23 ocaml(Fcl_gcc) = 3c0857167cf70b62ebca5b1d628fb108 ocaml(Fcl_genesis) = 49815e370d11c1510dea81fd0b1aed24 ocaml(Fcl_goals) = c03a3ece03ae9d03680c4f9e45815a9a ocaml(Fcl_interval) = e4e8638da364f875888df73b08d3ea7f ocaml(Fcl_invariant) = b79b550cb8924366e476c81bb0a7a690 ocaml(Fcl_linear) = 05d9e05914a2478e7065812c63f1c53d ocaml(Fcl_misc) = 66f5d27ed52e1e70c192294df302d31c ocaml(Fcl_nonlinear) = 830d1845d6cb0a2dbfccc0b5f56981ea ocaml(Fcl_opti) = 04a84029d2c9cad4a2607f282e7e0a3d ocaml(Fcl_reify) = 58446c238720215e394503516c2fc310 ocaml(Fcl_setDomain) = a3b67e12dfb6743b907399f327791302 ocaml(Fcl_sorting) = 9f5e9cd0c0b84dbd5366380283cca785 ocaml(Fcl_stak) = 398826b8a6bbe2bdac6ec39f9229f7d5 ocaml(Fcl_var) = 1fdbd69f0c491725816155eec75c686b ocaml(Stdlib) = aea3513d44d604b62eaff79ad12007b3 ocaml(Stdlib__array) = 9558001a029d7270458a252505f6a024 ocaml(Stdlib__buffer) = 28161e4effde5ea372547815f87193ec ocaml(Stdlib__hashtbl) = ae8edb4e1fa8a825285031ff0efc80c8 ocaml(Stdlib__int32) = aa83c6f44c2474e5227a6c8f103e87cf ocaml(Stdlib__int64) = 4214fced4b9c03c07eae7c7eb29450c4 ocaml(Stdlib__list) = 13989ef6fbcb7235b257d3df9a80253a ocaml(Stdlib__nativeint) = b4e3a7a1158f02cabeb08cb0c21793e7 ocaml(Stdlib__pervasives) = b21448628d3d122ebdaa9995cac0ba7f ocaml(Stdlib__printf) = 908ae2bf186b4ad7c88e5443c57d73af ocaml(Stdlib__random) = 85663246c4eb3a0a28aa7640de3ef2ce ocaml(Stdlib__seq) = c5f4ef3f36de5f47b7041eed1deb9679 ocaml(Stdlib__set) = 2fa5bbe7cee6e11d5da34daaf89e1dbf ocaml(Stdlib__string) = f06d662544362cc717ad99f2d75ffa1e ocaml(Stdlib__sys) = bb80c4c4a8134d83861bb3ff49d07ce4 ocaml(Stdlib__uchar) = c51d7a295527e9500ba69b459f81d6b3 ocaml(Stdlib__weak) = 566904bc5a0ffe372f2b7937579598cc ocamlx(Fcl_alldiff) = a0d2dcc0d67baada3629864772062b00 ocamlx(Fcl_arith) = c11362616a6e82dd823d33aad9b79429 ocamlx(Fcl_boolean) = a24048ef5b547a01c929475aaa87228b ocamlx(Fcl_conjunto) = 695526e009a837c10f8e49597730afc8 ocamlx(Fcl_cstr) = 18dd47bf3b583e860382cebabca7922b ocamlx(Fcl_data) = 6d8b6855a1a7978061a193845035a9df ocamlx(Fcl_debug) = dae8a69b5f25757c86065b9f650b2c25 ocamlx(Fcl_domain) = 7458355284ea31de77a85f981aba2a59 ocamlx(Fcl_expr) = dbace9ca399fa197e65f2edc918f27b5 ocamlx(Fcl_fdArray) = 723ebc7cd42561e8e2432f7785363d61 ocamlx(Fcl_float) = 6aa0b41e1397847fa0e13b9a7d67d967 ocamlx(Fcl_gcc) = bcc972c345a4094f8cf7c1fe9caab391 ocamlx(Fcl_genesis) = 0ad58810511a2b8d50be6bf73a851f54 ocamlx(Fcl_goals) = dc6da853e59e35118727612fb448bb85 ocamlx(Fcl_interval) = b152776f13fc2ad300cc3b3afac2d7d4 ocamlx(Fcl_invariant) = 91d93ad31839799aa79cf5b3fcf9b720 ocamlx(Fcl_linear) = 143cf22d78bb08d554af81b52db293de ocamlx(Fcl_misc) = 137109e541caac1e30879fc9be2245cd ocamlx(Fcl_nonlinear) = 2085720dea9af50c9044fd4eaef7158f ocamlx(Fcl_opti) = f26af13e41a0dd546471cc17053ceb9e ocamlx(Fcl_reify) = 05424e74770b258f28f92368f76e9443 ocamlx(Fcl_setDomain) = 75451a852d787ebb02da8688c1d77feb ocamlx(Fcl_sorting) = 7d022aaaffc71af345b077226eee67af ocamlx(Fcl_stak) = 709b503db08ae410fa9ba682e875aa43 ocamlx(Fcl_var) = 84209a8c70e2a1b7e6cdaa85faec7f9d ocamlx(Stdlib) = 6b88613cf2b6620d6f11cd8a342880fc ocamlx(Stdlib__array) = d8cbd5c6bb9dc377a421cad028946a12 ocamlx(Stdlib__hashtbl) = 1f15ad224dfe918b6a17c157f0f5836e ocamlx(Stdlib__list) = e3a5f633b69d62d35929d9e3f6c26a20 ocamlx(Stdlib__pervasives) = a4e6439f19e44d97d49bbd087347b9ec ocamlx(Stdlib__printf) = 19b790b69e71cc8a18d06eb2330f9df4 ocamlx(Stdlib__random) = f020b2b5cbd6298e4259d8f07989b898 ocamlx(Stdlib__set) = 82f5cc8aac133142447f442798e3e68e ocamlx(Stdlib__sys) = cc30c95de291d0ad184f95f6134db5d2 ocamlx(Stdlib__weak) = b8f1a2821001d118c5570770bb7b673f Checking for unpackaged file(s): /usr/lib/rpm/check-files /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-8.mga8.x86_64 Wrote: /home/iurt/rpmbuild/RPMS/x86_64/facile-1.1.3-8.mga8.x86_64.rpm Executing(%clean): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.yLD48x + umask 022 + cd /home/iurt/rpmbuild/BUILD + cd facile-1.1.3 + /usr/bin/rm -rf /home/iurt/rpmbuild/BUILDROOT/facile-1.1.3-8.mga8.x86_64 + RPM_EC=0 ++ jobs -p + exit 0 Executing(--clean): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.cdsSWv + 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!