+ exec + rm -rf /rpmbuild + mkdir -p /rpmbuild + su -c 'rpmbuild -ba /builddir/build/SPECS/ocaml-tplib.spec --define "debug_package %{nil}" --undefine _annotated_build --define "_missing_doc_files_terminate_build %{nil}" --define "_emacs_sitestartdir /usr/share/emacs/site-lisp/site-start.d" --define "_emacs_sitelispdir /usr/share/emacs/site-lisp" --nocheck ' mockbuild Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.XmRacc + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf tplib-1.3 + /usr/bin/gzip -dc /builddir/build/SOURCES/tplib-1.3.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd tplib-1.3 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + echo 'Patch #0 (ocaml-tplib-ocamlbuild.patch):' Patch #0 (ocaml-tplib-ocamlbuild.patch): + /usr/bin/patch --no-backup-if-mismatch -p0 --fuzz=0 patching file Makefile.in + sed -i 's/@OCAMLBUILD@/& -cflag -g -lflag -g/' Makefile.in + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.ZGZ0Vo + umask 022 + cd /builddir/build/BUILD + cd tplib-1.3 + CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 ' + export CFLAGS + CXXFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 ' + export CXXFLAGS + FFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -I/usr/lib64/gfortran/modules' + export FCFLAGS + LDFLAGS='-Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' + export LDFLAGS + '[' 1 = 1 ']' +++ dirname ./configure ++ find . -name config.guess -o -name config.sub + '[' 1 = 1 ']' + '[' x '!=' x-specs=/usr/lib/rpm/redhat/redhat-hardened-ld ']' ++ find . -name ltmain.sh + ./configure --build=riscv64-redhat-linux-gnu --host=riscv64-redhat-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info configure: WARNING: unrecognized options: --disable-dependency-tracking checking for riscv64-redhat-linux-gnu-gcc... no checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking for riscv64-redhat-linux-gnu-ocamlc... no checking for ocamlc... ocamlc OCaml version is 4.06.0 OCaml library path is /usr/lib64/ocaml checking for riscv64-redhat-linux-gnu-ocamlopt... no checking for ocamlopt... ocamlopt checking for riscv64-redhat-linux-gnu-ocamlc.opt... no checking for ocamlc.opt... ocamlc.opt checking for riscv64-redhat-linux-gnu-ocamlopt.opt... no checking for ocamlopt.opt... ocamlopt.opt checking for riscv64-redhat-linux-gnu-ocaml... no checking for ocaml... ocaml checking for riscv64-redhat-linux-gnu-ocamldep... no checking for ocamldep... ocamldep checking for riscv64-redhat-linux-gnu-ocamlmktop... no checking for ocamlmktop... ocamlmktop checking for riscv64-redhat-linux-gnu-ocamlmklib... no checking for ocamlmklib... ocamlmklib checking for riscv64-redhat-linux-gnu-ocamldoc... no checking for ocamldoc... ocamldoc checking for riscv64-redhat-linux-gnu-ocamlbuild... no checking for ocamlbuild... ocamlbuild checking for grep that handles long lines and -e... /usr/bin/grep checking for cat... cat checking for rm... rm checking for cp... cp checking for ar... ar checking for mkdir... mkdir checking for riscv64-redhat-linux-gnu-ranlib... no checking for ranlib... ranlib checking for a BSD-compatible install... /usr/bin/install -c checking for gawk... gawk checking for riscv64-redhat-linux-gnu-ocamlfind... no checking for ocamlfind... ocamlfind checking for OCaml findlib package dynlink... found checking for OCaml findlib package zarith... found checking for OCaml findlib package gmp... not found checking for caml_startup in -lasmrun... no checking how to run the C preprocessor... gcc -E checking for egrep... /usr/bin/grep -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking caml/alloc.h usability... yes checking caml/alloc.h presence... yes checking for caml/alloc.h... yes checking caml/callback.h usability... yes checking caml/callback.h presence... yes checking for caml/callback.h... yes checking caml/memory.h usability... yes checking caml/memory.h presence... yes checking for caml/memory.h... yes checking caml/mlvalues.h usability... yes checking caml/mlvalues.h presence... yes checking for caml/mlvalues.h... yes checking for __gmpz_init in -lgmp... yes checking gmp.h usability... yes checking gmp.h presence... yes checking for gmp.h... yes configure: creating ./config.status config.status: creating Makefile config.status: creating src/config.ml config.status: creating src/META configure: WARNING: unrecognized options: --disable-dependency-tracking + make ocamlbuild -cflag -g -lflag -g -classic-display -no-links -build-dir _build -use-ocamlfind src/tplib.mllib \ src/numeric.cmi src/semiring.cmi src/vector.cmi src/halfspace.cmi src/hypergraph.cmi src/tplib_core.cmi src/tplib_abstract.cmi \ src/numeric_plugins/zarith_plugin.cmxs \ \ src/compute_ext_rays.native src/compute_ext_rays_polar.native src/compute_halfspaces.native src/compute_tangent_hypergraph.native src/compute_minimal_external_representations.native src/compute_tropical_complex.native Warning: Won't be able to compile a native plugin ocamlfind ocamlc unix.cma -I /usr/lib64/ocaml/ocamlbuild /usr/lib64/ocaml/ocamlbuild/ocamlbuildlib.cma -g -linkpkg myocamlbuild.ml /usr/lib64/ocaml/ocamlbuild/ocamlbuild.cmo -o myocamlbuild ocamlfind ocamldep -modules src/numeric.mli > src/numeric.mli.depends ocamlfind ocamldep -modules src/numeric_plugin.mli > src/numeric_plugin.mli.depends ocamlfind ocamlc -c -g -I src -o src/numeric_plugin.cmi src/numeric_plugin.mli ocamlfind ocamlc -c -g -I src -o src/numeric.cmi src/numeric.mli ocamlfind ocamldep -modules src/semiring.mli > src/semiring.mli.depends ocamlfind ocamlc -c -g -I src -o src/semiring.cmi src/semiring.mli ocamlfind ocamldep -modules src/vector.mli > src/vector.mli.depends ocamlfind ocamlc -c -g -I src -o src/vector.cmi src/vector.mli ocamlfind ocamldep -modules src/halfspace.mli > src/halfspace.mli.depends ocamlfind ocamlc -c -g -I src -o src/halfspace.cmi src/halfspace.mli ocamlfind ocamldep -modules src/hypergraph.mli > src/hypergraph.mli.depends ocamlfind ocamlc -c -g -I src -o src/hypergraph.cmi src/hypergraph.mli ocamlfind ocamldep -modules src/tplib_core.mli > src/tplib_core.mli.depends ocamlfind ocamlc -c -g -I src -o src/tplib_core.cmi src/tplib_core.mli ocamlfind ocamldep -modules src/tplib_abstract.mli > src/tplib_abstract.mli.depends ocamlfind ocamlc -c -g -I src -o src/tplib_abstract.cmi src/tplib_abstract.mli ocamlfind ocamldep -package zarith -modules src/numeric_plugins/zarith_plugin.ml > src/numeric_plugins/zarith_plugin.ml.depends ocamlfind ocamldep -package zarith -modules src/numeric_plugins/zarith_plugin.mli > src/numeric_plugins/zarith_plugin.mli.depends ocamlfind ocamlc -c -g -package zarith -I src/numeric_plugins -I src -o src/numeric_plugins/zarith_plugin.cmi src/numeric_plugins/zarith_plugin.mli ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/numeric_plugin.ml > src/numeric_plugin.ml.depends + ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/numeric_plugin.ml > src/numeric_plugin.ml.depends ocamlfind: Package `num' not found Command exited with code 2. make: *** [Makefile:133: ocaml-all] Error 10 error: Bad exit status from /var/tmp/rpm-tmp.ZGZ0Vo (%build) RPM build errors: Bad exit status from /var/tmp/rpm-tmp.ZGZ0Vo (%build) ++ cleanup ++ set +e ++ sync ++ sleep 5 ++ sync ++ poweroff Terminated +++ cleanup +++ set +e +++ sync Terminated ++++ cleanup ++++ set +e ++++ sync ++++ sleep 5 ++++ sync ++++ poweroff