Mock Version: 3.3 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/ocaml-facile.spec'], chrootPath='/var/lib/mock/fedora-rawhide-x86_64-1668321234.686101/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': 'C.UTF-8'}shell=Falselogger=timeout=0uid=1000gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.q9capku2:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=TrueprintOutput=True) Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.q9capku2:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'] Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '33e82142883d45e7983e89fc52193d58', '-D', '/var/lib/mock/fedora-rawhide-x86_64-1668321234.686101/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.q9capku2:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --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': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1658448000 Wrote: /builddir/build/SRPMS/ocaml-facile-1.1-75.fc38.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --nodeps /builddir/build/SPECS/ocaml-facile.spec'], chrootPath='/var/lib/mock/fedora-rawhide-x86_64-1668321234.686101/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': 'C.UTF-8'}shell=Falselogger=timeout=0uid=1000gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.q9capku2:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=TrueprintOutput=True) Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.q9capku2:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'] Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '092df0a9d0d848fe8ea147503f1f158d', '-D', '/var/lib/mock/fedora-rawhide-x86_64-1668321234.686101/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.q9capku2:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --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': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1658448000 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.Oiam7Q + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf facile-1.1 + /usr/lib/rpm/rpmuncompress -x /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 . Patch #0 (facile-1.1-makefile-fixes.patch): + echo 'Patch #0 (facile-1.1-makefile-fixes.patch):' + /usr/bin/patch --no-backup-if-mismatch -f -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 -f -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.euHMY1 + umask 022 + cd /builddir/build/BUILD + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: Checking for OCaml compiler (>= 3.02)... + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd facile-1.1 + ./configure --faciledir /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc38.x86_64/usr/lib64/ocaml/facile OCaml 4.14.0 found FaCiLe directory: /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc38.x86_64/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/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.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-var]: 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-var]: 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/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.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/ArrayLabels.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/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.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/ArrayLabels.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/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 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-var]: 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-var]: 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/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 '/builddir/build/BUILD/facile-1.1/src' + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.loC0ig + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc38.x86_64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc38.x86_64 ++ dirname /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc38.x86_64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc38.x86_64 + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 ' + 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 + mkdir -p /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc38.x86_64/usr/lib64/ocaml + make install if test -d /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc38.x86_64/usr/lib64/ocaml/facile; then : ; else mkdir /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc38.x86_64/usr/lib64/ocaml/facile; fi install -m 644 src/*.mli /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc38.x86_64/usr/lib64/ocaml/facile if [ -e src/facile.cmi ] ; then cp src/facile.cmi /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc38.x86_64/usr/lib64/ocaml/facile ; fi if [ -e src/facile.cma ] ; then cp src/facile.cma /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc38.x86_64/usr/lib64/ocaml/facile ; fi if [ -e src/facile.a ] ; then cp src/facile.a /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc38.x86_64/usr/lib64/ocaml/facile ; fi if [ -e src/facile.cmxa ] ; then cp src/facile.cmxa /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc38.x86_64/usr/lib64/ocaml/facile ; fi if [ -e /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc38.x86_64/usr/lib64/ocaml/facile/facile.cmi ] ; then chmod a+r /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc38.x86_64/usr/lib64/ocaml/facile/facile.cmi ; fi if [ -e /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc38.x86_64/usr/lib64/ocaml/facile/facile.cma ] ; then chmod a+r /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc38.x86_64/usr/lib64/ocaml/facile/facile.cma ; fi if [ -e /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc38.x86_64/usr/lib64/ocaml/facile/facile.cmxa ] ; then chmod a+r /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc38.x86_64/usr/lib64/ocaml/facile/facile.cmxa ; fi if [ -e /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc38.x86_64/usr/lib64/ocaml/facile/facile.a ] ; then chmod a+r /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc38.x86_64/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/check-rpaths + /usr/lib/rpm/redhat/brp-mangle-shebangs + /usr/lib/rpm/brp-remove-la-files + /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 + /usr/lib/rpm/redhat/brp-python-hardlink Processing files: ocaml-facile-1.1-75.fc38.x86_64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.uxM5q8 + umask 022 + cd /builddir/build/BUILD + cd facile-1.1 + DOCDIR=/builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc38.x86_64/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-75.fc38.x86_64/usr/share/doc/ocaml-facile + cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc38.x86_64/usr/share/doc/ocaml-facile + cp -pr README /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc38.x86_64/usr/share/doc/ocaml-facile + RPM_EC=0 ++ jobs -p + exit 0 Provides: ocaml(Facile) = c1a325ecefe367b7cc6a6f423e36180c ocaml(Fcl_alldiff) = 850a5fdf351401eccb8a047affe7cd80 ocaml(Fcl_arith) = 90d50c42366d157df8269f2ff8b9d635 ocaml(Fcl_boolean) = 113cbe314bbe81d6fc003a4fb9cc2bfb ocaml(Fcl_conjunto) = 3f267e772b613a0d225d44b3d50af91e ocaml(Fcl_cstr) = ed99df558fc15b2d45d16e52a8744f3f ocaml(Fcl_data) = be92f59cfe0ed85564bb33725311f84a 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-facile = 1.1-75.fc38 ocaml-facile(x86-64) = 1.1-75.fc38 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) = be92f59cfe0ed85564bb33725311f84a 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 Processing files: ocaml-facile-devel-1.1-75.fc38.x86_64 Provides: ocaml(Facile) = c1a325ecefe367b7cc6a6f423e36180c ocaml(Fcl_alldiff) = 850a5fdf351401eccb8a047affe7cd80 ocaml(Fcl_arith) = 90d50c42366d157df8269f2ff8b9d635 ocaml(Fcl_boolean) = 113cbe314bbe81d6fc003a4fb9cc2bfb ocaml(Fcl_conjunto) = 3f267e772b613a0d225d44b3d50af91e ocaml(Fcl_cstr) = ed99df558fc15b2d45d16e52a8744f3f ocaml(Fcl_data) = be92f59cfe0ed85564bb33725311f84a 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-facile-devel = 1.1-75.fc38 ocaml-facile-devel(x86-64) = 1.1-75.fc38 ocamlx(Facile) = 2a45aa6deab14122d8f1680f7c2a9708 ocamlx(Fcl_alldiff) = 899545348855ba3224790cc93f404606 ocamlx(Fcl_arith) = f43b0852a9125ccc3eaecfd34bc4d577 ocamlx(Fcl_boolean) = 05424b3ec655865b7c4aa781670f9aba ocamlx(Fcl_conjunto) = 0a801d50bb9ef0f095b8f50d17b3e41e ocamlx(Fcl_cstr) = 5a1362e3fecefaab646867dc3b65a880 ocamlx(Fcl_data) = db3a01b8516b03da652255759bb505cc ocamlx(Fcl_debug) = 2bfbbc5068b67e1bd260130b27a2829b ocamlx(Fcl_domain) = f31008c968d9ed993f8c81d6da811c1d ocamlx(Fcl_expr) = f8714a37f1ab29fb0f706bc6b6e75965 ocamlx(Fcl_fdArray) = 256f201d9f3112ae71116bfbc92bb120 ocamlx(Fcl_float) = a8b8eb04afb2903c686d4e5594ddcf5c ocamlx(Fcl_gcc) = 30d4fec4c3134696c239cf95921001ec ocamlx(Fcl_genesis) = f92ab8c0f501a50bd09e308e83c60ce6 ocamlx(Fcl_goals) = 98cba380b7fd7b380517a80827529a0f ocamlx(Fcl_interval) = e72e043ff96bcbfa92b9ab8183d2558e ocamlx(Fcl_invariant) = ed0dbe92b9a9a1476fe5bea642282c51 ocamlx(Fcl_linear) = 75b22ecd754c6b164cdf428b04eb674c ocamlx(Fcl_misc) = 3a4f01d54f39e8cc51527ece882ba1cf ocamlx(Fcl_nonlinear) = c0f507d5e3e31eb540422502169a6249 ocamlx(Fcl_opti) = ac9aa3a68e612e5d2ed574843bafc6bf ocamlx(Fcl_reify) = a885870d8828ecc68dacd20cce3aa19e ocamlx(Fcl_setDomain) = bfa6e08483776ffe346ecfe45ded02a9 ocamlx(Fcl_sorting) = 4cf682a0fb619a1dcf86e81557bd49b1 ocamlx(Fcl_stak) = 6fe8201096e08dbcc421471a5684622c ocamlx(Fcl_var) = 96db4f02c1b0718cd33a0471bd30e8ef 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) = be92f59cfe0ed85564bb33725311f84a 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) = 899545348855ba3224790cc93f404606 ocamlx(Fcl_arith) = f43b0852a9125ccc3eaecfd34bc4d577 ocamlx(Fcl_boolean) = 05424b3ec655865b7c4aa781670f9aba ocamlx(Fcl_conjunto) = 0a801d50bb9ef0f095b8f50d17b3e41e ocamlx(Fcl_cstr) = 5a1362e3fecefaab646867dc3b65a880 ocamlx(Fcl_data) = db3a01b8516b03da652255759bb505cc ocamlx(Fcl_debug) = 2bfbbc5068b67e1bd260130b27a2829b ocamlx(Fcl_domain) = f31008c968d9ed993f8c81d6da811c1d ocamlx(Fcl_expr) = f8714a37f1ab29fb0f706bc6b6e75965 ocamlx(Fcl_fdArray) = 256f201d9f3112ae71116bfbc92bb120 ocamlx(Fcl_float) = a8b8eb04afb2903c686d4e5594ddcf5c ocamlx(Fcl_gcc) = 30d4fec4c3134696c239cf95921001ec ocamlx(Fcl_genesis) = f92ab8c0f501a50bd09e308e83c60ce6 ocamlx(Fcl_goals) = 98cba380b7fd7b380517a80827529a0f ocamlx(Fcl_interval) = e72e043ff96bcbfa92b9ab8183d2558e ocamlx(Fcl_invariant) = ed0dbe92b9a9a1476fe5bea642282c51 ocamlx(Fcl_linear) = 75b22ecd754c6b164cdf428b04eb674c ocamlx(Fcl_misc) = 3a4f01d54f39e8cc51527ece882ba1cf ocamlx(Fcl_nonlinear) = c0f507d5e3e31eb540422502169a6249 ocamlx(Fcl_opti) = ac9aa3a68e612e5d2ed574843bafc6bf ocamlx(Fcl_reify) = a885870d8828ecc68dacd20cce3aa19e ocamlx(Fcl_setDomain) = bfa6e08483776ffe346ecfe45ded02a9 ocamlx(Fcl_sorting) = 4cf682a0fb619a1dcf86e81557bd49b1 ocamlx(Fcl_stak) = 6fe8201096e08dbcc421471a5684622c ocamlx(Fcl_var) = 96db4f02c1b0718cd33a0471bd30e8ef 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 /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc38.x86_64 Wrote: /builddir/build/RPMS/ocaml-facile-devel-1.1-75.fc38.x86_64.rpm Wrote: /builddir/build/RPMS/ocaml-facile-1.1-75.fc38.x86_64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.E8RHGR + umask 022 + cd /builddir/build/BUILD + cd facile-1.1 + /usr/bin/rm -rf /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc38.x86_64 + RPM_EC=0 ++ jobs -p + exit 0 Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.knEqmY + umask 022 + cd /builddir/build/BUILD + rm -rf facile-1.1 facile-1.1.gemspec + RPM_EC=0 ++ jobs -p + exit 0 Child return code was: 0