Mock Version: 1.4.21 Mock Version: 1.4.21 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/ocaml-facile.spec'], chrootPath='/var/lib/mock/f33-build-181037-45198/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'}shell=Falselogger=timeout=432000uid=987gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/ocaml-facile.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1585785600 Wrote: /builddir/build/SRPMS/ocaml-facile-1.1-61.fc33.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/ocaml-facile.spec'], chrootPath='/var/lib/mock/f33-build-181037-45198/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'}shell=Falselogger=timeout=432000uid=987gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/ocaml-facile.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1585785600 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.FQKUUh + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf facile-1.1 + /usr/bin/tar -xof - + /usr/bin/gzip -dc /builddir/build/SOURCES/facile-1.1.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd facile-1.1 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + echo 'Patch #0 (facile-1.1-makefile-fixes.patch):' Patch #0 (facile-1.1-makefile-fixes.patch): + /usr/bin/patch --no-backup-if-mismatch -p1 -b --suffix .makefile-fixes --fuzz=2 patching file Makefile patching file src/Makefile Patch #1 (ocaml-facile-ocaml-4.patch): + echo 'Patch #1 (ocaml-facile-ocaml-4.patch):' + /usr/bin/patch --no-backup-if-mismatch -p1 -b --suffix .ocaml4 --fuzz=2 patching file src/facile.mli patching file src/fcl_data.mli + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.6V4MEj + umask 022 + cd /builddir/build/BUILD + cd facile-1.1 + ./configure --faciledir /builddir/build/BUILDROOT/ocaml-facile-1.1-61.fc33.riscv64/usr/lib64/ocaml/facile Checking for OCaml compiler (>= 3.02)... OCaml 4.09.0 found FaCiLe directory: /builddir/build/BUILDROOT/ocaml-facile-1.1-61.fc33.riscv64/usr/lib64/ocaml/facile + make cd src; make make[1]: Entering directory '/builddir/build/BUILD/facile-1.1/src' ocamldep *.mli *.ml > .depend ocamlc.opt -c fcl_debug.mli ocamlc.opt -g -c fcl_debug.ml ocamlc.opt -c fcl_misc.mli ocamlc.opt -g -c fcl_misc.ml File "fcl_misc.ml", line 52, characters 12-26: 52 | let (+) = Pervasives.(+) ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "fcl_misc.ml", line 53, characters 12-26: 53 | let (-) = Pervasives.(-) ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "fcl_misc.ml", line 54, characters 14-30: 54 | let ( * ) = Pervasives.( * ) ^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c fcl_domain.mli ocamlc.opt -g -c fcl_domain.ml File "fcl_domain.ml", line 152, characters 19-21: 152 | if x < min_d or x > m then d ^^ Alert deprecated: Stdlib.or Use (||) instead. File "fcl_domain.ml", line 218, characters 16-17: 218 | if min <= mi & ma <= max ^ Alert deprecated: Stdlib.& Use (&&) instead. File "fcl_domain.ml", line 220, characters 33-35: 220 | else if mi <= max & max <= ma or mi <= min & min <= ma ^^ Alert deprecated: Stdlib.or Use (||) instead. File "fcl_domain.ml", line 220, characters 21-22: 220 | else if mi <= max & max <= ma or mi <= min & min <= ma ^ Alert deprecated: Stdlib.& Use (&&) instead. File "fcl_domain.ml", line 220, characters 46-47: 220 | else if mi <= max & max <= ma or mi <= min & min <= ma ^ Alert deprecated: Stdlib.& Use (&&) instead. ocamlc.opt -c fcl_setDomain.mli ocamlc.opt -g -c fcl_setDomain.ml ocamlc.opt -c fcl_float.mli ocamlc.opt -g -c fcl_float.ml ocamlc.opt -c fcl_stak.mli ocamlc.opt -g -c fcl_stak.ml ocamlc.opt -c fcl_data.mli ocamlc.opt -g -c fcl_data.ml ocamlc.opt -c fcl_cstr.mli ocamlc.opt -g -c fcl_cstr.ml File "fcl_cstr.ml", line 49, characters 15-27: 49 | let solved = Array.create nb_wakings false ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make 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.opt -c fcl_var.mli ocamlc.opt -g -c fcl_var.ml ocamlc.opt -c fcl_invariant.mli ocamlc.opt -g -c fcl_invariant.ml File "fcl_invariant.ml", line 89, characters 6-11: 89 | let rname = Printf.sprintf "prod(%s...%s)" array.(0).name array.(n-1).name in ^^^^^ Warning 26: unused variable rname. ocamlc.opt -c fcl_reify.mli ocamlc.opt -g -c fcl_reify.ml ocamlc.opt -c fcl_boolean.mli ocamlc.opt -g -c fcl_boolean.ml ocamlc.opt -c fcl_linear.mli ocamlc.opt -g -c fcl_linear.ml ocamlc.opt -c fcl_nonlinear.mli ocamlc.opt -g -c fcl_nonlinear.ml File "fcl_nonlinear.ml", line 277, characters 9-23: 277 | max (Pervasives.abs min_y) (Pervasives.abs max_y) - 1 in ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "fcl_nonlinear.ml", line 277, characters 32-46: 277 | max (Pervasives.abs min_y) (Pervasives.abs max_y) - 1 in ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c fcl_expr.mli ocamlc.opt -g -c fcl_expr.ml File "fcl_expr.ml", line 320, characters 3-15: 320 | Inte 0 as re when typ = Multe -> (0, []) ^^^^^^^^^^^^ Warning 26: unused variable re. ocamlc.opt -c fcl_arith.mli ocamlc.opt -g -c fcl_arith.ml ocamlc.opt -c fcl_conjunto.mli ocamlc.opt -g -c fcl_conjunto.ml ocamlc.opt -c fcl_goals.mli ocamlc.opt -g -c fcl_goals.ml ocamlc.opt -c fcl_fdArray.mli ocamlc.opt -g -c fcl_fdArray.ml File "fcl_fdArray.ml", line 302, characters 6-20: 302 | (Pervasives.min mi (Fd.min e), Pervasives.max ma (Fd.max e))) ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "fcl_fdArray.ml", line 302, characters 36-50: 302 | (Pervasives.min mi (Fd.min e), Pervasives.max ma (Fd.max e))) ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c fcl_gcc.mli ocamlc.opt -g -c fcl_gcc.ml File "fcl_gcc.ml", line 25, characters 12-24: 25 | and dfn = Array.create nb_vertices 0 ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make 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.opt -c fcl_opti.mli ocamlc.opt -g -c fcl_opti.ml ocamlc.opt -c fcl_alldiff.mli ocamlc.opt -g -c fcl_alldiff.ml File "fcl_alldiff.ml", line 64, characters 18-30: 64 | let matchingl = Array.create n valout in (* var -> value : not backtrackable *) ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. ocamlc.opt -c fcl_sorting.mli ocamlc.opt -g -c fcl_sorting.ml File "fcl_sorting.ml", line 30, characters 12-24: 30 | let inv = Array.create n (-1) in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make 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.opt -c fcl_interval.mli ocamlc.opt -g -c fcl_interval.ml ocamlc.opt -c fcl_genesis.mli ocamlc.opt -g -c fcl_genesis.ml File "fcl_genesis.ml", line 28, characters 21-33: 28 | let cstr_array = Array.create max_cstr (0, 0) ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. ocamlc.opt -c facile.mli ocamlc.opt -g -c facile.ml ocamlc.opt -g -o facile.cma -a fcl_debug.cmo fcl_misc.cmo fcl_domain.cmo fcl_setDomain.cmo fcl_float.cmo fcl_stak.cmo fcl_data.cmo fcl_cstr.cmo fcl_var.cmo fcl_invariant.cmo fcl_reify.cmo fcl_boolean.cmo fcl_linear.cmo fcl_nonlinear.cmo fcl_expr.cmo fcl_arith.cmo fcl_conjunto.cmo fcl_goals.cmo fcl_fdArray.cmo fcl_gcc.cmo fcl_opti.cmo fcl_alldiff.cmo fcl_sorting.cmo fcl_interval.cmo fcl_genesis.cmo facile.cmo ocamlopt -unsafe -noassert -inline 10 -c fcl_debug.ml ocamlopt -unsafe -noassert -inline 10 -c fcl_misc.ml File "fcl_misc.ml", line 52, characters 12-26: 52 | let (+) = Pervasives.(+) ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "fcl_misc.ml", line 53, characters 12-26: 53 | let (-) = Pervasives.(-) ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "fcl_misc.ml", line 54, characters 14-30: 54 | let ( * ) = Pervasives.( * ) ^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlopt -unsafe -noassert -inline 10 -c fcl_domain.ml File "fcl_domain.ml", line 152, characters 19-21: 152 | if x < min_d or x > m then d ^^ Alert deprecated: Stdlib.or Use (||) instead. File "fcl_domain.ml", line 218, characters 16-17: 218 | if min <= mi & ma <= max ^ Alert deprecated: Stdlib.& Use (&&) instead. File "fcl_domain.ml", line 220, characters 33-35: 220 | else if mi <= max & max <= ma or mi <= min & min <= ma ^^ Alert deprecated: Stdlib.or Use (||) instead. File "fcl_domain.ml", line 220, characters 21-22: 220 | else if mi <= max & max <= ma or mi <= min & min <= ma ^ Alert deprecated: Stdlib.& Use (&&) instead. File "fcl_domain.ml", line 220, characters 46-47: 220 | else if mi <= max & max <= ma or mi <= min & min <= ma ^ Alert deprecated: Stdlib.& Use (&&) instead. ocamlopt -unsafe -noassert -inline 10 -c fcl_setDomain.ml ocamlopt -unsafe -noassert -inline 10 -c fcl_float.ml ocamlopt -unsafe -noassert -inline 10 -c fcl_stak.ml ocamlopt -unsafe -noassert -inline 10 -c fcl_data.ml ocamlopt -unsafe -noassert -inline 10 -c fcl_cstr.ml File "fcl_cstr.ml", line 49, characters 15-27: 49 | let solved = Array.create nb_wakings false ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make 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 File "fcl_invariant.ml", line 89, characters 6-11: 89 | let rname = Printf.sprintf "prod(%s...%s)" array.(0).name array.(n-1).name in ^^^^^ Warning 26: unused variable rname. ocamlopt -unsafe -noassert -inline 10 -c fcl_reify.ml ocamlopt -unsafe -noassert -inline 10 -c fcl_boolean.ml ocamlopt -unsafe -noassert -inline 10 -c fcl_linear.ml ocamlopt -unsafe -noassert -inline 10 -c fcl_nonlinear.ml File "fcl_nonlinear.ml", line 277, characters 9-23: 277 | max (Pervasives.abs min_y) (Pervasives.abs max_y) - 1 in ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "fcl_nonlinear.ml", line 277, characters 32-46: 277 | max (Pervasives.abs min_y) (Pervasives.abs max_y) - 1 in ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlopt -unsafe -noassert -inline 10 -c fcl_expr.ml File "fcl_expr.ml", line 320, characters 3-15: 320 | Inte 0 as re when typ = Multe -> (0, []) ^^^^^^^^^^^^ Warning 26: unused variable re. ocamlopt -unsafe -noassert -inline 10 -c fcl_arith.ml ocamlopt -unsafe -noassert -inline 10 -c fcl_conjunto.ml ocamlopt -unsafe -noassert -inline 10 -c fcl_goals.ml ocamlopt -unsafe -noassert -inline 10 -c fcl_fdArray.ml File "fcl_fdArray.ml", line 302, characters 6-20: 302 | (Pervasives.min mi (Fd.min e), Pervasives.max ma (Fd.max e))) ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "fcl_fdArray.ml", line 302, characters 36-50: 302 | (Pervasives.min mi (Fd.min e), Pervasives.max ma (Fd.max e))) ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlopt -unsafe -noassert -inline 10 -c fcl_gcc.ml File "fcl_gcc.ml", line 25, characters 12-24: 25 | and dfn = Array.create nb_vertices 0 ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make 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 '/builddir/build/BUILD/facile-1.1/src' + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.J78tOj + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/ocaml-facile-1.1-61.fc33.riscv64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/ocaml-facile-1.1-61.fc33.riscv64 ++ dirname /builddir/build/BUILDROOT/ocaml-facile-1.1-61.fc33.riscv64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/ocaml-facile-1.1-61.fc33.riscv64 + cd facile-1.1 + mkdir -p /builddir/build/BUILDROOT/ocaml-facile-1.1-61.fc33.riscv64/usr/lib64/ocaml + make install if test -d /builddir/build/BUILDROOT/ocaml-facile-1.1-61.fc33.riscv64/usr/lib64/ocaml/facile; then : ; else mkdir /builddir/build/BUILDROOT/ocaml-facile-1.1-61.fc33.riscv64/usr/lib64/ocaml/facile; fi install -m 644 src/*.mli /builddir/build/BUILDROOT/ocaml-facile-1.1-61.fc33.riscv64/usr/lib64/ocaml/facile if [ -e src/facile.cmi ] ; then cp src/facile.cmi /builddir/build/BUILDROOT/ocaml-facile-1.1-61.fc33.riscv64/usr/lib64/ocaml/facile ; fi if [ -e src/facile.cma ] ; then cp src/facile.cma /builddir/build/BUILDROOT/ocaml-facile-1.1-61.fc33.riscv64/usr/lib64/ocaml/facile ; fi if [ -e src/facile.a ] ; then cp src/facile.a /builddir/build/BUILDROOT/ocaml-facile-1.1-61.fc33.riscv64/usr/lib64/ocaml/facile ; fi if [ -e src/facile.cmxa ] ; then cp src/facile.cmxa /builddir/build/BUILDROOT/ocaml-facile-1.1-61.fc33.riscv64/usr/lib64/ocaml/facile ; fi if [ -e /builddir/build/BUILDROOT/ocaml-facile-1.1-61.fc33.riscv64/usr/lib64/ocaml/facile/facile.cmi ] ; then chmod a+r /builddir/build/BUILDROOT/ocaml-facile-1.1-61.fc33.riscv64/usr/lib64/ocaml/facile/facile.cmi ; fi if [ -e /builddir/build/BUILDROOT/ocaml-facile-1.1-61.fc33.riscv64/usr/lib64/ocaml/facile/facile.cma ] ; then chmod a+r /builddir/build/BUILDROOT/ocaml-facile-1.1-61.fc33.riscv64/usr/lib64/ocaml/facile/facile.cma ; fi if [ -e /builddir/build/BUILDROOT/ocaml-facile-1.1-61.fc33.riscv64/usr/lib64/ocaml/facile/facile.cmxa ] ; then chmod a+r /builddir/build/BUILDROOT/ocaml-facile-1.1-61.fc33.riscv64/usr/lib64/ocaml/facile/facile.cmxa ; fi if [ -e /builddir/build/BUILDROOT/ocaml-facile-1.1-61.fc33.riscv64/usr/lib64/ocaml/facile/facile.a ] ; then chmod a+r /builddir/build/BUILDROOT/ocaml-facile-1.1-61.fc33.riscv64/usr/lib64/ocaml/facile/facile.a ; fi + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip /usr/bin/strip + /usr/lib/rpm/brp-strip-comment-note /usr/bin/strip /usr/bin/objdump + /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/redhat/brp-python-bytecompile /usr/bin/python 1 0 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-mangle-shebangs Processing files: ocaml-facile-1.1-61.fc33.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.L7rSOh + umask 022 + cd /builddir/build/BUILD + cd facile-1.1 + DOCDIR=/builddir/build/BUILDROOT/ocaml-facile-1.1-61.fc33.riscv64/usr/share/doc/ocaml-facile + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/ocaml-facile-1.1-61.fc33.riscv64/usr/share/doc/ocaml-facile + cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-facile-1.1-61.fc33.riscv64/usr/share/doc/ocaml-facile + cp -pr README /builddir/build/BUILDROOT/ocaml-facile-1.1-61.fc33.riscv64/usr/share/doc/ocaml-facile + RPM_EC=0 ++ jobs -p + exit 0 Provides: ocaml(Facile) = d18de1fe671e14c333c6a8376339dea8 ocaml(Fcl_alldiff) = 4a7101e35f36e0b32e713ff739599a78 ocaml(Fcl_arith) = be342bfdc2a6d395aa05c3ef77c4639d ocaml(Fcl_boolean) = 8cd1122f610b0e8763fb682a7f34eb56 ocaml(Fcl_conjunto) = 90625383501283a42bd4b556ee28ed98 ocaml(Fcl_cstr) = 4b004b9bd1aa26b2a6080f1094436158 ocaml(Fcl_data) = f74bcfffdf97020cdb48d2ded5312d10 ocaml(Fcl_debug) = dce9d54f5033f4e194ec10bb2643125c ocaml(Fcl_domain) = a7cafe6462aa74de79939a453d1cac65 ocaml(Fcl_expr) = 50b8f4eda8f75e8fce0a8078430e86d4 ocaml(Fcl_fdArray) = 8ab8ada1d08096903b91828e4031c76a ocaml(Fcl_float) = 175309101b8e43dabb428d740200583e ocaml(Fcl_gcc) = 1345ffc6b21c4742bb1e11954fb1cf5e ocaml(Fcl_genesis) = 479aa0e0764e57c7166d126869baeaef ocaml(Fcl_goals) = cc4fd06cc5e531159835084c5ada4720 ocaml(Fcl_interval) = 253c9cd143dc54c305f75c0562ee5a11 ocaml(Fcl_invariant) = e4ede23e5a6d559af42bcacbc2052ffb ocaml(Fcl_linear) = ecc75ba441cd82d4b0a7daf92cfd917a ocaml(Fcl_misc) = 78b716b0bcb595bcb81e3844a83ff8be ocaml(Fcl_nonlinear) = 8dc0fb7d20ff30b6ad6216e6a736f2ee ocaml(Fcl_opti) = a1922cb499fb0ed673d89903ffca7fc0 ocaml(Fcl_reify) = 84d31fda29f51634d6bd000e003b8299 ocaml(Fcl_setDomain) = e07d21b20dec1da3158db425110d46fc ocaml(Fcl_sorting) = 39445c7cd05c277e5e41ddae0d39ebab ocaml(Fcl_stak) = 5fbd0699e8d51c2f9bab16ca9f62b72e ocaml(Fcl_var) = 67c37e138557a9357e0a7e46d95d4c3c ocaml-facile = 1.1-61.fc33 ocaml-facile(riscv-64) = 1.1-61.fc33 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(CamlinternalFormatBasics) = 96d16aae6255eb02a788ee96a8adb816 ocaml(Fcl_alldiff) = 4a7101e35f36e0b32e713ff739599a78 ocaml(Fcl_arith) = be342bfdc2a6d395aa05c3ef77c4639d ocaml(Fcl_boolean) = 8cd1122f610b0e8763fb682a7f34eb56 ocaml(Fcl_conjunto) = 90625383501283a42bd4b556ee28ed98 ocaml(Fcl_cstr) = 4b004b9bd1aa26b2a6080f1094436158 ocaml(Fcl_data) = f74bcfffdf97020cdb48d2ded5312d10 ocaml(Fcl_debug) = dce9d54f5033f4e194ec10bb2643125c ocaml(Fcl_domain) = a7cafe6462aa74de79939a453d1cac65 ocaml(Fcl_expr) = 50b8f4eda8f75e8fce0a8078430e86d4 ocaml(Fcl_fdArray) = 8ab8ada1d08096903b91828e4031c76a ocaml(Fcl_float) = 175309101b8e43dabb428d740200583e ocaml(Fcl_gcc) = 1345ffc6b21c4742bb1e11954fb1cf5e ocaml(Fcl_genesis) = 479aa0e0764e57c7166d126869baeaef ocaml(Fcl_goals) = cc4fd06cc5e531159835084c5ada4720 ocaml(Fcl_interval) = 253c9cd143dc54c305f75c0562ee5a11 ocaml(Fcl_invariant) = e4ede23e5a6d559af42bcacbc2052ffb ocaml(Fcl_linear) = ecc75ba441cd82d4b0a7daf92cfd917a ocaml(Fcl_misc) = 78b716b0bcb595bcb81e3844a83ff8be ocaml(Fcl_nonlinear) = 8dc0fb7d20ff30b6ad6216e6a736f2ee ocaml(Fcl_opti) = a1922cb499fb0ed673d89903ffca7fc0 ocaml(Fcl_reify) = 84d31fda29f51634d6bd000e003b8299 ocaml(Fcl_setDomain) = e07d21b20dec1da3158db425110d46fc ocaml(Fcl_sorting) = 39445c7cd05c277e5e41ddae0d39ebab ocaml(Fcl_stak) = 5fbd0699e8d51c2f9bab16ca9f62b72e ocaml(Fcl_var) = 67c37e138557a9357e0a7e46d95d4c3c ocaml(Stdlib) = 4d1e23b7e21beafc7e35ae8d03175363 ocaml(Stdlib__array) = cc0fd9ef9707b375e6d40d8358c106ad ocaml(Stdlib__buffer) = d43caaa1df354240fb88291babb07541 ocaml(Stdlib__hashtbl) = b794b186a6191285f001cf280b91ef64 ocaml(Stdlib__int32) = 6349c147264959acbf0ac9228e673059 ocaml(Stdlib__int64) = 30409038a8631920ea082e6dcf4015b4 ocaml(Stdlib__list) = 8e6fa4ee6fcb775ae0fe9bba7ec058dc ocaml(Stdlib__nativeint) = 8a11ebd83553fcd0972b4bb3c4b46fae ocaml(Stdlib__pervasives) = 19f9a0e483aa5b7b4eb09317d1e2c8d8 ocaml(Stdlib__printf) = a9c6559224689d87d5194d6c3ef5df0c ocaml(Stdlib__random) = 567144a2f9b0de09c7621f719be5e236 ocaml(Stdlib__seq) = 22b526b221509ae244d8671d8e17a697 ocaml(Stdlib__set) = b37499252b50613da5df36daa1effa1d ocaml(Stdlib__string) = 8739c8c6957f1b86d987671557e471cb ocaml(Stdlib__sys) = 39b7724a15a8f948532ebd48f628b988 ocaml(Stdlib__uchar) = 1bfeb4ea85f4136294d66dae21ce997c ocaml(Stdlib__weak) = 6ab4947f3fba4d104157db77d5b80445 Processing files: ocaml-facile-devel-1.1-61.fc33.riscv64 Provides: ocaml(Facile) = d18de1fe671e14c333c6a8376339dea8 ocaml(Fcl_alldiff) = 4a7101e35f36e0b32e713ff739599a78 ocaml(Fcl_arith) = be342bfdc2a6d395aa05c3ef77c4639d ocaml(Fcl_boolean) = 8cd1122f610b0e8763fb682a7f34eb56 ocaml(Fcl_conjunto) = 90625383501283a42bd4b556ee28ed98 ocaml(Fcl_cstr) = 4b004b9bd1aa26b2a6080f1094436158 ocaml(Fcl_data) = f74bcfffdf97020cdb48d2ded5312d10 ocaml(Fcl_debug) = dce9d54f5033f4e194ec10bb2643125c ocaml(Fcl_domain) = a7cafe6462aa74de79939a453d1cac65 ocaml(Fcl_expr) = 50b8f4eda8f75e8fce0a8078430e86d4 ocaml(Fcl_fdArray) = 8ab8ada1d08096903b91828e4031c76a ocaml(Fcl_float) = 175309101b8e43dabb428d740200583e ocaml(Fcl_gcc) = 1345ffc6b21c4742bb1e11954fb1cf5e ocaml(Fcl_genesis) = 479aa0e0764e57c7166d126869baeaef ocaml(Fcl_goals) = cc4fd06cc5e531159835084c5ada4720 ocaml(Fcl_interval) = 253c9cd143dc54c305f75c0562ee5a11 ocaml(Fcl_invariant) = e4ede23e5a6d559af42bcacbc2052ffb ocaml(Fcl_linear) = ecc75ba441cd82d4b0a7daf92cfd917a ocaml(Fcl_misc) = 78b716b0bcb595bcb81e3844a83ff8be ocaml(Fcl_nonlinear) = 8dc0fb7d20ff30b6ad6216e6a736f2ee ocaml(Fcl_opti) = a1922cb499fb0ed673d89903ffca7fc0 ocaml(Fcl_reify) = 84d31fda29f51634d6bd000e003b8299 ocaml(Fcl_setDomain) = e07d21b20dec1da3158db425110d46fc ocaml(Fcl_sorting) = 39445c7cd05c277e5e41ddae0d39ebab ocaml(Fcl_stak) = 5fbd0699e8d51c2f9bab16ca9f62b72e ocaml(Fcl_var) = 67c37e138557a9357e0a7e46d95d4c3c ocaml-facile-devel = 1.1-61.fc33 ocaml-facile-devel(riscv-64) = 1.1-61.fc33 ocamlx(Facile) = bbca90d6bf10406c15a70410a771ffab ocamlx(Fcl_alldiff) = bd151d947022a476aa3d24d2f4af7ddc ocamlx(Fcl_arith) = 2750c332741e98ce6b8e88ab286d552c ocamlx(Fcl_boolean) = fe33b015e3535459ead0492484bb3049 ocamlx(Fcl_conjunto) = 9d322e621cd579db1b570167b2f5169e ocamlx(Fcl_cstr) = 4ae732e6b2f38b35d4c0ded173e9c751 ocamlx(Fcl_data) = 8e4b799e8c1cfc786965fb9abd8e59a2 ocamlx(Fcl_debug) = fddc967d58943624bf6d33963494d570 ocamlx(Fcl_domain) = b091b49df7d32ca11be3376b8200f260 ocamlx(Fcl_expr) = ea0fee7e163fae01eda7f96f0a2f5559 ocamlx(Fcl_fdArray) = 187077bd2d8a267a0e76e1d45b8ddba9 ocamlx(Fcl_float) = 2b9c9946c5974170577a47f46375a590 ocamlx(Fcl_gcc) = 855f6b2a7d5311eb2285e0219fbe8795 ocamlx(Fcl_genesis) = 8958aa9f34061cd55592eff91e6913d8 ocamlx(Fcl_goals) = cd0fb7936512f873ddf79f09efc88a96 ocamlx(Fcl_interval) = 8aa0353ad2d687bc29334b641fa3bbc0 ocamlx(Fcl_invariant) = 8b128c71cddcf8986bbe3e44e451da8d ocamlx(Fcl_linear) = f6ed43e24a7a8596b61f0d973ff92744 ocamlx(Fcl_misc) = 771fc1eb42f6bf0cfe8be62a22dc25e5 ocamlx(Fcl_nonlinear) = 2b959937dfa9727ad4e5c1e2b447fcc0 ocamlx(Fcl_opti) = 5e857c688bbc4af40431afde04f84bf2 ocamlx(Fcl_reify) = e6c5a3820902483f0b28d0e2dbc67b6a ocamlx(Fcl_setDomain) = 02dcdd2b78fcb775d20ea5301a97ba64 ocamlx(Fcl_sorting) = 816e9d6a444905eca5d264f0cfb72a4c ocamlx(Fcl_stak) = 95c62715d8a87601410fdcb8913292b1 ocamlx(Fcl_var) = 086d2fb01eeb8743fa801704504f6753 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(CamlinternalFormatBasics) = 96d16aae6255eb02a788ee96a8adb816 ocaml(Fcl_alldiff) = 4a7101e35f36e0b32e713ff739599a78 ocaml(Fcl_arith) = be342bfdc2a6d395aa05c3ef77c4639d ocaml(Fcl_boolean) = 8cd1122f610b0e8763fb682a7f34eb56 ocaml(Fcl_conjunto) = 90625383501283a42bd4b556ee28ed98 ocaml(Fcl_cstr) = 4b004b9bd1aa26b2a6080f1094436158 ocaml(Fcl_data) = f74bcfffdf97020cdb48d2ded5312d10 ocaml(Fcl_debug) = dce9d54f5033f4e194ec10bb2643125c ocaml(Fcl_domain) = a7cafe6462aa74de79939a453d1cac65 ocaml(Fcl_expr) = 50b8f4eda8f75e8fce0a8078430e86d4 ocaml(Fcl_fdArray) = 8ab8ada1d08096903b91828e4031c76a ocaml(Fcl_float) = 175309101b8e43dabb428d740200583e ocaml(Fcl_gcc) = 1345ffc6b21c4742bb1e11954fb1cf5e ocaml(Fcl_genesis) = 479aa0e0764e57c7166d126869baeaef ocaml(Fcl_goals) = cc4fd06cc5e531159835084c5ada4720 ocaml(Fcl_interval) = 253c9cd143dc54c305f75c0562ee5a11 ocaml(Fcl_invariant) = e4ede23e5a6d559af42bcacbc2052ffb ocaml(Fcl_linear) = ecc75ba441cd82d4b0a7daf92cfd917a ocaml(Fcl_misc) = 78b716b0bcb595bcb81e3844a83ff8be ocaml(Fcl_nonlinear) = 8dc0fb7d20ff30b6ad6216e6a736f2ee ocaml(Fcl_opti) = a1922cb499fb0ed673d89903ffca7fc0 ocaml(Fcl_reify) = 84d31fda29f51634d6bd000e003b8299 ocaml(Fcl_setDomain) = e07d21b20dec1da3158db425110d46fc ocaml(Fcl_sorting) = 39445c7cd05c277e5e41ddae0d39ebab ocaml(Fcl_stak) = 5fbd0699e8d51c2f9bab16ca9f62b72e ocaml(Fcl_var) = 67c37e138557a9357e0a7e46d95d4c3c ocaml(Stdlib) = 4d1e23b7e21beafc7e35ae8d03175363 ocaml(Stdlib__array) = cc0fd9ef9707b375e6d40d8358c106ad ocaml(Stdlib__buffer) = d43caaa1df354240fb88291babb07541 ocaml(Stdlib__hashtbl) = b794b186a6191285f001cf280b91ef64 ocaml(Stdlib__int32) = 6349c147264959acbf0ac9228e673059 ocaml(Stdlib__int64) = 30409038a8631920ea082e6dcf4015b4 ocaml(Stdlib__list) = 8e6fa4ee6fcb775ae0fe9bba7ec058dc ocaml(Stdlib__nativeint) = 8a11ebd83553fcd0972b4bb3c4b46fae ocaml(Stdlib__pervasives) = 19f9a0e483aa5b7b4eb09317d1e2c8d8 ocaml(Stdlib__printf) = a9c6559224689d87d5194d6c3ef5df0c ocaml(Stdlib__random) = 567144a2f9b0de09c7621f719be5e236 ocaml(Stdlib__seq) = 22b526b221509ae244d8671d8e17a697 ocaml(Stdlib__set) = b37499252b50613da5df36daa1effa1d ocaml(Stdlib__string) = 8739c8c6957f1b86d987671557e471cb ocaml(Stdlib__sys) = 39b7724a15a8f948532ebd48f628b988 ocaml(Stdlib__uchar) = 1bfeb4ea85f4136294d66dae21ce997c ocaml(Stdlib__weak) = 6ab4947f3fba4d104157db77d5b80445 ocamlx(Fcl_alldiff) = bd151d947022a476aa3d24d2f4af7ddc ocamlx(Fcl_arith) = 2750c332741e98ce6b8e88ab286d552c ocamlx(Fcl_boolean) = fe33b015e3535459ead0492484bb3049 ocamlx(Fcl_conjunto) = 9d322e621cd579db1b570167b2f5169e ocamlx(Fcl_cstr) = 4ae732e6b2f38b35d4c0ded173e9c751 ocamlx(Fcl_data) = 8e4b799e8c1cfc786965fb9abd8e59a2 ocamlx(Fcl_debug) = fddc967d58943624bf6d33963494d570 ocamlx(Fcl_domain) = b091b49df7d32ca11be3376b8200f260 ocamlx(Fcl_expr) = ea0fee7e163fae01eda7f96f0a2f5559 ocamlx(Fcl_fdArray) = 187077bd2d8a267a0e76e1d45b8ddba9 ocamlx(Fcl_float) = 2b9c9946c5974170577a47f46375a590 ocamlx(Fcl_gcc) = 855f6b2a7d5311eb2285e0219fbe8795 ocamlx(Fcl_genesis) = 8958aa9f34061cd55592eff91e6913d8 ocamlx(Fcl_goals) = cd0fb7936512f873ddf79f09efc88a96 ocamlx(Fcl_interval) = 8aa0353ad2d687bc29334b641fa3bbc0 ocamlx(Fcl_invariant) = 8b128c71cddcf8986bbe3e44e451da8d ocamlx(Fcl_linear) = f6ed43e24a7a8596b61f0d973ff92744 ocamlx(Fcl_misc) = 771fc1eb42f6bf0cfe8be62a22dc25e5 ocamlx(Fcl_nonlinear) = 2b959937dfa9727ad4e5c1e2b447fcc0 ocamlx(Fcl_opti) = 5e857c688bbc4af40431afde04f84bf2 ocamlx(Fcl_reify) = e6c5a3820902483f0b28d0e2dbc67b6a ocamlx(Fcl_setDomain) = 02dcdd2b78fcb775d20ea5301a97ba64 ocamlx(Fcl_sorting) = 816e9d6a444905eca5d264f0cfb72a4c ocamlx(Fcl_stak) = 95c62715d8a87601410fdcb8913292b1 ocamlx(Fcl_var) = 086d2fb01eeb8743fa801704504f6753 ocamlx(Stdlib) = 735349555cf7e0c28516ddf9776314f5 ocamlx(Stdlib__array) = 5cdcaf879f148843babfe8e063e5a4d4 ocamlx(Stdlib__hashtbl) = 951fdeffe03369582f82857743c7534f ocamlx(Stdlib__list) = ba9e529c3463b59ecb36c36bae6f3180 ocamlx(Stdlib__pervasives) = cab0af145b8e307962eac923cf31bd00 ocamlx(Stdlib__printf) = 88e0ee33e17ea961bff3e06107e791f8 ocamlx(Stdlib__random) = 3a1a67b4fbfc850dea3b348c0b06ea10 ocamlx(Stdlib__set) = 5e99ad8877b4cc5089aceb4dd37cc8f0 ocamlx(Stdlib__sys) = 741465429fea6b7d9076effc692b7e8b ocamlx(Stdlib__weak) = 68e010085d6a7a4970466297ff78acff Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/ocaml-facile-1.1-61.fc33.riscv64 Wrote: /builddir/build/RPMS/ocaml-facile-1.1-61.fc33.riscv64.rpm Wrote: /builddir/build/RPMS/ocaml-facile-devel-1.1-61.fc33.riscv64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.fn9Vpk + umask 022 + cd /builddir/build/BUILD + cd facile-1.1 + /usr/bin/rm -rf /builddir/build/BUILDROOT/ocaml-facile-1.1-61.fc33.riscv64 + RPM_EC=0 ++ jobs -p + exit 0 Child return code was: 0