D: [iurt_root_command] chroot
Installing /home/pterjan/rpmbuild/SRPMS/alt-ergo-2.2.0-18.mga9.src.rpm
Building target platforms: x86_64
Building for target x86_64
Executing(%prep): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.3HXgTz
+ 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-2.2.0
+ /usr/bin/mkdir -p alt-ergo-2.2.0
+ cd alt-ergo-2.2.0
+ /usr/lib/rpm/rpmuncompress -x /home/pterjan/rpmbuild/SOURCES/alt-ergo-free-2.2.0.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ /usr/lib/rpm/rpmuncompress /home/pterjan/rpmbuild/SOURCES/alt-ergo-pervasives.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.rwn0l4
+ umask 022
+ cd /home/pterjan/rpmbuild/BUILD
+ cd alt-ergo-2.2.0
+ '[' 1 -eq 1 ']'
+ '[' 1 -eq 1 ']'
+ autoconf
configure.in:328: warning: AC_OUTPUT should be used without arguments.
configure.in:328: You should run autoupdate.
+ CFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables'
+ export CFLAGS
+ CXXFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables'
+ export CXXFLAGS
+ FFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables '
+ export FFLAGS
+ FCFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables '
+ export FCFLAGS
+ LDFLAGS=' -Wl,--as-needed -Wl,--no-undefined -Wl,-z,relro -Wl,-O1 -Wl,--build-id=sha1 -Wl,--enable-new-dtags'
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CONFIGURE_TOP=.
+ '[' 1 = 1 ']'
++ find . -name config.guess -o -name config.sub
+ /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
+ ./configure --host=x86_64-mageia-linux-gnu --build=x86_64-mageia-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 ocp-ocamlc... no
checking for ocamlc... ocamlc
ocaml version is 4.14.0
ocaml library path is /usr/lib64/ocaml
checking for ocamlfind... yes
ocamlfind found zarith in -I /usr/lib64/ocaml/zarith
ocamlfind found num in -I /usr/lib64/ocaml/num
ocamlfind found zip in -I /usr/lib64/ocaml/zip
ocamlfind found ocplib-simplex in -I /usr/lib64/ocaml/ocplib-simplex
ocamlfind found psmt2-frontend in -I /usr/lib64/ocaml/psmt2-frontend
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 menhir... menhir
ocamlfind: Package `lablgtk2.sourceview2' not found
checking for /usr/lib64/ocaml/lablgtk2/lablgtksourceview2.cma... no
Will not be able to compile GUI. Please install the *liblablgtksourceview2-ocaml-dev* Debian package - or use the GODI caml package system *http://godi.ocaml-programming.de/* - or compile from sources *http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/lablgtk.html*
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
configure: WARNING: unrecognized options: --disable-dependency-tracking
+ /usr/bin/make opt
menhir -v parsers/why/why_parser.mly 
Error: the code back-end requires the type of every nonterminal symbol to be
known. Please specify the type of every symbol via %type declarations, or
enable type inference (look up --infer in the manual).
Type inference is automatically enabled when Menhir is used via Dune,
provided the dune-project file says (using menhir 2.0) or later.
The types of the following nonterminal symbols are unknown:
ac_modifier
array_assignement
array_assignements
bound
decl
filters
ident
label_with_type
let_binders
lexpr
lexpr_or_dom
list0_lexpr_sep_comma
list0_logic_binder_sep_comma
list0_primitive_type_sep_comma
list1_constructors_sep_bar
list1_decl
list1_label_expr_sep_PV
list1_label_sep_PV
list1_lexpr_or_dom_sep_comma
list1_lexpr_sep_comma
list1_lexpr_sep_pv
list1_logic_binder_sep_comma
list1_multi_logic_binder
list1_named_ident_sep_comma
list1_primitive_type_sep_comma
list1_trigger_sep_bar
list1_type_var_sep_comma
list2_lexpr_sep_comma
logic_binder
logic_type
multi_logic_binder
named_ident
primitive_type
record_type
simple_expr
sq
theory_elt
theory_elts
trigger
triggers
type_var
type_vars
Makefile.users:336: .depend: No such file or directory
make: *** [Makefile.users:311: parsers/why/why_parser.ml] Error 1
error: Bad exit status from /home/pterjan/rpmbuild/tmp/rpm-tmp.rwn0l4 (%build)

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