D: [iurt_root_command] chroot
Building target platforms: x86_64
Building for target x86_64
Installing /home/pterjan/rpmbuild/SRPMS/facile-1.1.3-13.mga10.src.rpm
Executing(%mkbuilddir): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.TJ1shF
+ umask 022
+ cd /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build
+ test -d /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build
+ /usr/bin/rm -rf /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build
+ /usr/bin/mkdir -p /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build
+ /usr/bin/mkdir -p /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build/SPECPARTS
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%prep): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.Fkmijm
+ umask 022
+ cd /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build
+ '[' 1 -eq 1 ']'
+ '[' 1 -eq 1 ']'
+ '[' 1 -eq 1 ']'
+ cd /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build
+ rm -rf facile-1.1.3
+ /usr/lib/rpm/rpmuncompress -x /home/pterjan/rpmbuild/SOURCES/facile-1.1.3.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd facile-1.1.3
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ /usr/lib/rpm/rpmuncompress /home/pterjan/rpmbuild/SOURCES/facile-1.1-install.patch
+ /usr/lib/rpm/rpmuncompress /home/pterjan/rpmbuild/SOURCES/10-srcMakefile
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ /usr/lib/rpm/rpmuncompress /home/pterjan/rpmbuild/SOURCES/20-Makefile
+ /usr/lib/rpm/rpmuncompress /home/pterjan/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/pterjan/rpmbuild/tmp/rpm-tmp.xwNO2H
+ umask 022
+ cd /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build
+ CFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full'
+ export CFLAGS
+ CXXFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full'
+ export CXXFLAGS
+ FFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full '
+ export FFLAGS
+ FCFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,--as-needed -Wl,--no-undefined -Wl,-z,relro -Wl,-z,now -Wl,-O1 -Wl,--build-id=sha1 -Wl,--enable-new-dtags -specs=/usr/lib/rpm/redhat/redhat-hardened-ld'
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd facile-1.1.3
+ '[' 1 -eq 1 ']'
+ '[' 1 -eq 1 ']'
+ ./configure
Checking for OCaml compiler (>= 3.02)...
OCaml 4.14.0 found
FaCiLe directory: /usr/lib64/ocaml/facile
+ make
cd src; make
make[1]: Entering directory '/home/pterjan/rpmbuild/BUILD/facile-1.1.3-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/pterjan/rpmbuild/BUILD/facile-1.1.3-build/facile-1.1.3/src'
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.8sw0dJ
+ umask 022
+ cd /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build
+ '[' 1 -eq 1 ']'
+ '[' /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build/BUILDROOT '!=' / ']'
+ rm -rf /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build/BUILDROOT
++ dirname /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build/BUILDROOT
+ mkdir -p /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build
+ mkdir /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build/BUILDROOT
+ CFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full'
+ export CFLAGS
+ CXXFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full'
+ export CXXFLAGS
+ FFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full '
+ export FFLAGS
+ FCFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,--as-needed -Wl,--no-undefined -Wl,-z,relro -Wl,-z,now -Wl,-O1 -Wl,--build-id=sha1 -Wl,--enable-new-dtags -specs=/usr/lib/rpm/redhat/redhat-hardened-ld'
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd facile-1.1.3
+ '[' 1 -eq 1 ']'
+ /usr/bin/make install DESTDIR=/home/pterjan/rpmbuild/BUILD/facile-1.1.3-build/BUILDROOT 'INSTALL=/usr/bin/install -p'
if test -d /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build/BUILDROOT//usr/lib64/ocaml/facile; then : ; else mkdir -p /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build/BUILDROOT//usr/lib64/ocaml/facile; fi
install -m 644 src/*.mli /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build/BUILDROOT//usr/lib64/ocaml/facile
if [ -e src/facile.cmi ] ; then cp src/facile.cmi /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build/BUILDROOT//usr/lib64/ocaml/facile ; fi
if [ -e src/facile.cma ] ; then cp src/facile.cma /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build/BUILDROOT//usr/lib64/ocaml/facile ; fi
if [ -e src/facile.a ] ; then cp src/facile.a /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build/BUILDROOT//usr/lib64/ocaml/facile ; fi
if [ -e src/facile.cmxa ] ; then cp src/facile.cmxa /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build/BUILDROOT//usr/lib64/ocaml/facile ; fi
if [ -e /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build/BUILDROOT//usr/lib64/ocaml/facile/facile.cmi ] ; then chmod a+r /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build/BUILDROOT//usr/lib64/ocaml/facile/facile.cmi ; fi
if [ -e /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build/BUILDROOT//usr/lib64/ocaml/facile/facile.cma ] ; then chmod a+r /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build/BUILDROOT//usr/lib64/ocaml/facile/facile.cma ; fi
if [ -e /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build/BUILDROOT//usr/lib64/ocaml/facile/facile.cmxa ] ; then chmod a+r /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build/BUILDROOT//usr/lib64/ocaml/facile/facile.cmxa ; fi
if [ -e /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build/BUILDROOT//usr/lib64/ocaml/facile/facile.a ] ; then chmod a+r /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build/BUILDROOT//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/check-rpaths
+ /usr/lib/rpm/brp-remove-la-files
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
+ env -u SOURCE_DATE_EPOCH /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j16
+ /usr/lib/rpm/redhat/brp-python-hardlink
Reading /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build/SPECPARTS/rpm-debuginfo.specpart
Executing(%check): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.SEURwQ
+ umask 022
+ cd /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build
+ CFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full'
+ export CFLAGS
+ CXXFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full'
+ export CXXFLAGS
+ FFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full '
+ export FFLAGS
+ FCFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,--as-needed -Wl,--no-undefined -Wl,-z,relro -Wl,-z,now -Wl,-O1 -Wl,--build-id=sha1 -Wl,--enable-new-dtags -specs=/usr/lib/rpm/redhat/redhat-hardened-ld'
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ 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/pterjan/rpmbuild/BUILD/facile-1.1.3-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/pterjan/rpmbuild/BUILD/facile-1.1.3-build/facile-1.1.3/examples'
11 backtracks
* - - - - - - -
- - - - - - * -
- - - * - - - -
- - - - - * - -
- - - - - - - *
- * - - - - - -
- - - - * - - -
- - * - - - - -
+ RPM_EC=0
++ jobs -p
+ exit 0
Processing files: facile-1.1.3-13.mga10.x86_64
Executing(%doc): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.SaYgV7
+ umask 022
+ cd /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build
+ cd facile-1.1.3
+ DOCDIR=/home/pterjan/rpmbuild/BUILD/facile-1.1.3-build/BUILDROOT/usr/share/doc/facile
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build/BUILDROOT/usr/share/doc/facile
+ cp -pr /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build/facile-1.1.3/README /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build/BUILDROOT/usr/share/doc/facile
+ cp -pr /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build/facile-1.1.3/LICENSE /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build/BUILDROOT/usr/share/doc/facile
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: facile = 1.1.3-13.mga10 facile(x86-64) = 1.1.3-13.mga10 ocaml(Facile) = b390c9ee9fcc329be179a9c329c8f334 ocaml(Fcl_alldiff) = 850a5fdf351401eccb8a047affe7cd80 ocaml(Fcl_arith) = 90d50c42366d157df8269f2ff8b9d635 ocaml(Fcl_boolean) = 113cbe314bbe81d6fc003a4fb9cc2bfb ocaml(Fcl_conjunto) = 3f267e772b613a0d225d44b3d50af91e ocaml(Fcl_cstr) = ed99df558fc15b2d45d16e52a8744f3f ocaml(Fcl_data) = f074b224aa2df241c50d32180fe3dbdf ocaml(Fcl_debug) = d298067ad781b7ecd2dd89db84474dea ocaml(Fcl_domain) = d119e881f7ffcca9f1a9a5371eab54a2 ocaml(Fcl_expr) = e42058762e8a26ac6d4e5379b1852a44 ocaml(Fcl_fdArray) = 8a8ebd984359e02123515acb077e96e2 ocaml(Fcl_float) = 2e0e7df669644a1814ebba5f6d8c5958 ocaml(Fcl_gcc) = 70510e62508a1fe57f46b5065df4c945 ocaml(Fcl_genesis) = b7ed5297852208ab2c0c892b088cecc2 ocaml(Fcl_goals) = 859bcc3177c1a0c15f2aed6be0e2203a ocaml(Fcl_interval) = d9fb2edd22893a156a4569418a6b1066 ocaml(Fcl_invariant) = b20b3a40b6887cc536bd858f9ed5f443 ocaml(Fcl_linear) = 7a5dbfe65a095d53f7af5df6bfd0fcc0 ocaml(Fcl_misc) = 537294553673f5beeee28921df3bce71 ocaml(Fcl_nonlinear) = 891f16f5297afb1487fb1ca7a1287d81 ocaml(Fcl_opti) = 6694e4357adffea08a8f4d2017cebd5b ocaml(Fcl_reify) = 963ee19fe6d496c8d65c96948a2f43ab ocaml(Fcl_setDomain) = cdf13a247645dca6ab96f61f0050ec1d ocaml(Fcl_sorting) = faf24595cb9b395a38767e2dc37f5fd4 ocaml(Fcl_stak) = 45cd334566e646d1100d776d0926293e ocaml(Fcl_var) = eaa33e0d7f47584fdc52bf23f0c11cae ocamlx(Facile) = a60b8019e3041a2918452a9083d1c590 ocamlx(Fcl_alldiff) = 2461f15ac9814f0254756f0b5ac16505 ocamlx(Fcl_arith) = c5c0d3f723219a6d25239e3231898715 ocamlx(Fcl_boolean) = c551d9f7f3ae38786e544d057ff47f1b ocamlx(Fcl_conjunto) = 0d87616c90b586744746fd56dcb7069d ocamlx(Fcl_cstr) = 5a1362e3fecefaab646867dc3b65a880 ocamlx(Fcl_data) = 70a7b45a5638f543fe21860864a54afa ocamlx(Fcl_debug) = 2bfbbc5068b67e1bd260130b27a2829b ocamlx(Fcl_domain) = 03154ec9546ee331be3df5328ae99a9b ocamlx(Fcl_expr) = 5730b6977b9ca5306323c379cc6b47b1 ocamlx(Fcl_fdArray) = 5c6c6b1c48010e2a81bfa476eb79a87c ocamlx(Fcl_float) = a8b8eb04afb2903c686d4e5594ddcf5c ocamlx(Fcl_gcc) = 7f353affa04bbb2b5a97ff2a82672ef2 ocamlx(Fcl_genesis) = f92ab8c0f501a50bd09e308e83c60ce6 ocamlx(Fcl_goals) = 13d4ee75e3ac8475c0e6644f1f4fd0b4 ocamlx(Fcl_interval) = c177e7c6cb1cb9d7e84189c5985b00c5 ocamlx(Fcl_invariant) = 3ec95d663325687def51472823ff7e51 ocamlx(Fcl_linear) = 5bdb7f0989c4d9179ac95fe9bc218f9e ocamlx(Fcl_misc) = 3a4f01d54f39e8cc51527ece882ba1cf ocamlx(Fcl_nonlinear) = 2e3bcdb466165d0b001578f18da17f6e ocamlx(Fcl_opti) = 593f5583e8b1d1db01ceb54b97b0a8b2 ocamlx(Fcl_reify) = 36fe70c4cf3ee44c3ddc5c800017e20c ocamlx(Fcl_setDomain) = a143bc56c90bf9171120abc6891d8ed8 ocamlx(Fcl_sorting) = 738ba75e9ecf32a041ed6ad9420fc96e ocamlx(Fcl_stak) = 6fe8201096e08dbcc421471a5684622c ocamlx(Fcl_var) = cef9f6855c2dbb2e221af960116367c7
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15 ocaml(Fcl_alldiff) = 850a5fdf351401eccb8a047affe7cd80 ocaml(Fcl_arith) = 90d50c42366d157df8269f2ff8b9d635 ocaml(Fcl_boolean) = 113cbe314bbe81d6fc003a4fb9cc2bfb ocaml(Fcl_conjunto) = 3f267e772b613a0d225d44b3d50af91e ocaml(Fcl_cstr) = ed99df558fc15b2d45d16e52a8744f3f ocaml(Fcl_data) = f074b224aa2df241c50d32180fe3dbdf ocaml(Fcl_debug) = d298067ad781b7ecd2dd89db84474dea ocaml(Fcl_domain) = d119e881f7ffcca9f1a9a5371eab54a2 ocaml(Fcl_expr) = e42058762e8a26ac6d4e5379b1852a44 ocaml(Fcl_fdArray) = 8a8ebd984359e02123515acb077e96e2 ocaml(Fcl_float) = 2e0e7df669644a1814ebba5f6d8c5958 ocaml(Fcl_gcc) = 70510e62508a1fe57f46b5065df4c945 ocaml(Fcl_genesis) = b7ed5297852208ab2c0c892b088cecc2 ocaml(Fcl_goals) = 859bcc3177c1a0c15f2aed6be0e2203a ocaml(Fcl_interval) = d9fb2edd22893a156a4569418a6b1066 ocaml(Fcl_invariant) = b20b3a40b6887cc536bd858f9ed5f443 ocaml(Fcl_linear) = 7a5dbfe65a095d53f7af5df6bfd0fcc0 ocaml(Fcl_misc) = 537294553673f5beeee28921df3bce71 ocaml(Fcl_nonlinear) = 891f16f5297afb1487fb1ca7a1287d81 ocaml(Fcl_opti) = 6694e4357adffea08a8f4d2017cebd5b ocaml(Fcl_reify) = 963ee19fe6d496c8d65c96948a2f43ab ocaml(Fcl_setDomain) = cdf13a247645dca6ab96f61f0050ec1d ocaml(Fcl_sorting) = faf24595cb9b395a38767e2dc37f5fd4 ocaml(Fcl_stak) = 45cd334566e646d1100d776d0926293e ocaml(Fcl_var) = eaa33e0d7f47584fdc52bf23f0c11cae ocaml(Stdlib) = 6d7bf11af14ea68354925f3a37387930 ocaml(Stdlib__Array) = 622d88fad859d0d0f019e691fc4fa865 ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822 ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9 ocaml(Stdlib__Hashtbl) = 34c0fdd524bf2a75e4d5af64a6d34401 ocaml(Stdlib__Int32) = a71ea5238030770647165f659f80b1ab ocaml(Stdlib__Int64) = 0fa5587c47baf16a06837c7dedfc2518 ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9 ocaml(Stdlib__Nativeint) = 989149bf8f2ce1a89fecbc3f5f40f52c ocaml(Stdlib__Pervasives) = dc77fedcffc67c0119b789c66d5ef7bf ocaml(Stdlib__Printf) = bc8af6214197dc8f40eaa738a4cd6a28 ocaml(Stdlib__Random) = 81e43bab9bd47bab804eb6e582306de1 ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962 ocaml(Stdlib__Set) = 871d2ee2167ac9e7977fa13994cf4658 ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972 ocaml(Stdlib__Sys) = 7726a14ce36f5c6c3abb04975cec748b ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57 ocaml(Stdlib__Weak) = 28f276c430fdc51a3a10691d3066b26a ocamlx(Fcl_alldiff) = 2461f15ac9814f0254756f0b5ac16505 ocamlx(Fcl_arith) = c5c0d3f723219a6d25239e3231898715 ocamlx(Fcl_boolean) = c551d9f7f3ae38786e544d057ff47f1b ocamlx(Fcl_conjunto) = 0d87616c90b586744746fd56dcb7069d ocamlx(Fcl_cstr) = 5a1362e3fecefaab646867dc3b65a880 ocamlx(Fcl_data) = 70a7b45a5638f543fe21860864a54afa ocamlx(Fcl_debug) = 2bfbbc5068b67e1bd260130b27a2829b ocamlx(Fcl_domain) = 03154ec9546ee331be3df5328ae99a9b ocamlx(Fcl_expr) = 5730b6977b9ca5306323c379cc6b47b1 ocamlx(Fcl_fdArray) = 5c6c6b1c48010e2a81bfa476eb79a87c ocamlx(Fcl_float) = a8b8eb04afb2903c686d4e5594ddcf5c ocamlx(Fcl_gcc) = 7f353affa04bbb2b5a97ff2a82672ef2 ocamlx(Fcl_genesis) = f92ab8c0f501a50bd09e308e83c60ce6 ocamlx(Fcl_goals) = 13d4ee75e3ac8475c0e6644f1f4fd0b4 ocamlx(Fcl_interval) = c177e7c6cb1cb9d7e84189c5985b00c5 ocamlx(Fcl_invariant) = 3ec95d663325687def51472823ff7e51 ocamlx(Fcl_linear) = 5bdb7f0989c4d9179ac95fe9bc218f9e ocamlx(Fcl_misc) = 3a4f01d54f39e8cc51527ece882ba1cf ocamlx(Fcl_nonlinear) = 2e3bcdb466165d0b001578f18da17f6e ocamlx(Fcl_opti) = 593f5583e8b1d1db01ceb54b97b0a8b2 ocamlx(Fcl_reify) = 36fe70c4cf3ee44c3ddc5c800017e20c ocamlx(Fcl_setDomain) = a143bc56c90bf9171120abc6891d8ed8 ocamlx(Fcl_sorting) = 738ba75e9ecf32a041ed6ad9420fc96e ocamlx(Fcl_stak) = 6fe8201096e08dbcc421471a5684622c ocamlx(Fcl_var) = cef9f6855c2dbb2e221af960116367c7 ocamlx(Stdlib) = 38e227ea48015bcdfb5d9a4f1cb2689a ocamlx(Stdlib__Array) = c17b2f7cf4a4cce9bfec4b26eec495f7 ocamlx(Stdlib__Hashtbl) = ffa6c0b4e31fbd58c5b0b7fda03f991f ocamlx(Stdlib__List) = 55527cfeed14dbd1464fa9bc64111883 ocamlx(Stdlib__Pervasives) = 0f866f8a50318d3d5e7b8917a3c15922 ocamlx(Stdlib__Printf) = b5325f43d38afc618da7b0fb873c7faa ocamlx(Stdlib__Random) = 4e7342c0bcf9660dc77ca008890965fc ocamlx(Stdlib__Set) = c0158eea0410a85c8ad557c3d3358cd9 ocamlx(Stdlib__Sys) = 5c3bb467dddca8a9684f29a499f12938 ocamlx(Stdlib__Weak) = dfb096ede16e512b37567ba33be3fb3c
Checking for unpackaged file(s): /usr/lib/rpm/check-files /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build/BUILDROOT
Wrote: /home/pterjan/rpmbuild/RPMS/x86_64/facile-1.1.3-13.mga10.x86_64.rpm
Executing(rmbuild): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.4fMy6f
+ umask 022
+ cd /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build
+ test -d /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build
+ rm -rf /home/pterjan/rpmbuild/BUILD/facile-1.1.3-build
+ RPM_EC=0
++ jobs -p
+ exit 0
D: [iurt_root_command] Success!