D: [iurt_root_command] chroot
Installing /home/pterjan/rpmbuild/SRPMS/alt-ergo-1.30-1.mga7.src.rpm
Executing(%prep): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.UOIsl8
+ umask 022
+ cd /home/pterjan/rpmbuild/BUILD
+ '[' 1 -eq 1 ']'
+ '[' 1 -eq 1 ']'
+ '[' 1 -eq 1 ']'
+ cd /home/pterjan/rpmbuild/BUILD
+ rm -rf alt-ergo-1.30
+ /usr/bin/gzip -dc /home/pterjan/rpmbuild/SOURCES/alt-ergo-1.30.tar.gz
+ /usr/bin/tar -xof -
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd alt-ergo-1.30
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ exit 0
Executing(%build): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.otEKSD
+ umask 022
+ cd /home/pterjan/rpmbuild/BUILD
+ cd alt-ergo-1.30
+ '[' 1 -eq 1 ']'
+ '[' 1 -eq 1 ']'
+ CFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4'
+ export CFLAGS
+ CXXFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4'
+ export CXXFLAGS
+ FFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4'
+ export FFLAGS
+ LDFLAGS=' -Wl,--as-needed -Wl,--no-undefined -Wl,-z,relro -Wl,-O1 -Wl,--build-id -Wl,--enable-new-dtags'
+ export LDFLAGS
+ CONFIGURE_TOP=.
+ /usr/lib/rpm/mageia/force-as-needed-for-shared-lib-in-libtool
Forcing -Wl,--as-needed in configure/libtool to workaround libtool bug (cf http://lists.gnu.org/archive/html/libtool-patches/2004-06/msg00002.html)
+ /usr/lib/rpm/mageia/drop-ld-no-undefined-for-shared-lib-modules-in-libtool
+ /usr/lib/rpm/mageia/fix-libtool-ltmain-from-overlinking
+ /usr/lib/rpm/mageia/fix-libtool-from-moving-options-after-libs .
+ /usr/lib/rpm/mageia/fix-dlsearch-path-in-libtool-for-multilib . lib64
+ '[' -f ./configure.in -o -f ./configure.ac ']'
+ CONFIGURE_XPATH='--x-includes=/usr/include --x-libraries=/usr/lib64'
+ ./configure --build=x86_64-mageia-linux-gnu --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 --x-includes=/usr/include --x-libraries=/usr/lib64
checking for ocp-ocamlc... no
checking for ocamlc... ocamlc
ocaml version is 4.06.0
ocaml library path is /usr/lib64/ocaml
checking for ocamlfind... yes
ocamlfind found zarith in -I /usr/lib64/ocaml/zarith
ocamlfind found camlzip in -I /usr/lib64/ocaml/camlzip/../zip
ocamlfind found ocplib-simplex in -I /usr/lib64/ocaml/ocplib-simplex
checking for ocp-ocamlopt... no
checking for ocamlopt... ocamlopt
checking ocamlopt version... ok
checking for ocp-ocamlc.opt... no
checking for ocamlc.opt... ocamlc.opt
checking ocamlc.opt version... ok
checking for ocp-ocamlopt.opt... no
checking for ocamlopt.opt... ocamlopt.opt
checking ocamlc.opt version... ok
checking for ocamldep... ocamldep
checking for ocamllex... ocamllex
checking for ocamllex.opt... ocamllex.opt
checking for ocamlyacc... ocamlyacc
ocamlfind found lablgtk2.sourceview2 in -I /usr/lib64/ocaml/lablgtk2
checking for ocamlweb... true
checking platform... configure: creating ./config.status
config.status: creating Makefile.configurable
config.status: WARNING:  'Makefile.configurable.in' seems to ignore the --datarootdir setting
+ /usr/bin/make opt gui
ocamlyacc -v src/parsing/why_parser.mly 
ocamllex.opt src/parsing/why_lexer.mll > /dev/null
ocamldep -slash -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/*.ml* src/structures/*.ml* src/theories/*.ml* src/instances/*.ml* src/sat/*.ml* src/preprocess/*.ml* src/parsing/*.ml* src/gui/*.ml* src/main/*.ml* non-free/plugins/common/*ml* non-free/plugins/satML/*ml* non-free/plugins/fm-simplex/*ml* non-free/plugins/profiler/*ml* > .depend
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I /usr/lib64/ocaml/camlzip/../zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/config.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I /usr/lib64/ocaml/camlzip/../zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/version.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I /usr/lib64/ocaml/camlzip/../zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/version.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I /usr/lib64/ocaml/camlzip/../zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/emap.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I /usr/lib64/ocaml/camlzip/../zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/emap.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I /usr/lib64/ocaml/camlzip/../zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/myUnix.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I /usr/lib64/ocaml/camlzip/../zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/myUnix.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I /usr/lib64/ocaml/camlzip/../zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/myDynlink.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I /usr/lib64/ocaml/camlzip/../zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/myDynlink.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I /usr/lib64/ocaml/camlzip/../zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/myZip.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I /usr/lib64/ocaml/camlzip/../zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/myZip.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I /usr/lib64/ocaml/camlzip/../zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/util.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I /usr/lib64/ocaml/camlzip/../zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/util.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I /usr/lib64/ocaml/camlzip/../zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/lists.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I /usr/lib64/ocaml/camlzip/../zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/lists.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I /usr/lib64/ocaml/camlzip/../zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/numbersInterface.mli
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/lablgtk2 -I +threads  -I /usr/lib64/ocaml/camlzip/../zip -I /usr/lib64/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/numsNumbers.mli
File "/home/pterjan/rpmbuild/BUILD/alt-ergo-1.30/src/util/numsNumbers.mli", line 24, characters 47-62:
Error: Unbound module Big_int
make: *** [Makefile.users:225: src/util/numsNumbers.cmi] Error 2
error: Bad exit status from /home/pterjan/rpmbuild/tmp/rpm-tmp.otEKSD (%build)


RPM build errors:
    Bad exit status from /home/pterjan/rpmbuild/tmp/rpm-tmp.otEKSD (%build)
I: [iurt_root_command] ERROR: chroot