Attachment 897211 Details for Bug 1099153 – build.log

build.log

build.log (text/plain), 27.03 KB, created by Richard W.M. Jones on 2014-05-19 15:13:28 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Richard W.M. Jones

Created: 2014-05-19 15:13:28 UTC

Size: 27.03 KB

patch

obsolete

>Mock Version: 1.1.38
>Mock Version: 1.1.38
>ENTER do(['bash', '--login', '-c', 'rpmbuild -bs --target aarch64 --nodeps builddir/build/SPECS/alt-ergo.spec'], False, '/var/lib/mock/f21-build-521719-394590/root/', None, 86400, True, False, 996, 425, None, False, {'LANG': 'en_US.UTF-8', 'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOSTNAME': 'mock', 'PROMPT_COMMAND': 'echo -n "<mock-chroot>"', 'HOME': '/builddir', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin'}, logger=<mockbuild.trace_decorator.getLog object at 0x5143ad0>)
>Executing command: ['bash', '--login', '-c', 'rpmbuild -bs --target aarch64 --nodeps builddir/build/SPECS/alt-ergo.spec'] with env {'LANG': 'en_US.UTF-8', 'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOSTNAME': 'mock', 'PROMPT_COMMAND': 'echo -n "<mock-chroot>"', 'HOME': '/builddir', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin'}
>warning: Could not canonicalize hostname: mustang-11.farm.hsv.redhat.com
>Building target platforms: aarch64
>Building for target aarch64
>Wrote: /builddir/build/SRPMS/alt-ergo-0.95.2-5.fc21.src.rpm
>Child return code was: 0
>LEAVE do --> 
>
>ENTER do(['bash', '--login', '-c', 'rpmbuild -bb --target aarch64 --nodeps  builddir/build/SPECS/alt-ergo.spec'], False, '/var/lib/mock/f21-build-521719-394590/root/', None, 86400, True, False, 996, 425, None, False, {'LANG': 'en_US.UTF-8', 'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOSTNAME': 'mock', 'PROMPT_COMMAND': 'echo -n "<mock-chroot>"', 'HOME': '/builddir', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin'}, logger=<mockbuild.trace_decorator.getLog object at 0x5143ad0>)
>Executing command: ['bash', '--login', '-c', 'rpmbuild -bb --target aarch64 --nodeps  builddir/build/SPECS/alt-ergo.spec'] with env {'LANG': 'en_US.UTF-8', 'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOSTNAME': 'mock', 'PROMPT_COMMAND': 'echo -n "<mock-chroot>"', 'HOME': '/builddir', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin'}
>Building target platforms: aarch64
>Building for target aarch64
>Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.UOd4rf
>+ umask 022
>+ cd /builddir/build/BUILD
>+ cd /builddir/build/BUILD
>+ rm -rf alt-ergo-0.95.2
>+ /usr/bin/gzip -dc /builddir/build/SOURCES/alt-ergo-0.95.2.tar.gz
>+ /usr/bin/tar -xf -
>+ STATUS=0
>+ '[' 0 -ne 0 ']'
>+ cd alt-ergo-0.95.2
>+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
>+ cd /builddir/build/BUILD
>+ cd alt-ergo-0.95.2
>+ /usr/bin/xz -dc /builddir/build/SOURCES/alt-ergo-icons.tar.xz
>+ /usr/bin/tar -xf -
>+ STATUS=0
>+ '[' 0 -ne 0 ']'
>+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
>+ cp -p /builddir/build/SOURCES/swap0_why.why /builddir/build/SOURCES/alt-ergo.desktop .
>+ sed -e '/let print_flag =/s/true/false/' -i.orig src/preprocess/pruning.ml
>+ touch -r src/preprocess/pruning.ml.orig src/preprocess/pruning.ml
>+ rm -f src/preprocess/pruning.ml.orig
>+ sed -i 's/^OFLAGS =.*/& -g -ccopt -Wl,-z,relro,-z,now/' Makefile.in
>+ exit 0
>Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.04esvl
>+ umask 022
>+ cd /builddir/build/BUILD
>+ cd alt-ergo-0.95.2
>+ CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches '
>+ export CFLAGS
>+ CXXFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches '
>+ export CXXFLAGS
>+ FFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches  -I/usr/lib64/gfortran/modules'
>+ export FFLAGS
>+ FCFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches  -I/usr/lib64/gfortran/modules'
>+ export FCFLAGS
>+ LDFLAGS='-Wl,-z,relro '
>+ export LDFLAGS
>+ '[' 1 = 1 ']'
>++ find . -name config.guess -o -name config.sub
>+ '[' 1 = 1 ']'
>+ '[' x '!=' x ']'
>+ ./configure --build=aarch64-redhat-linux-gnu --host=aarch64-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 ocp-ocamlc... no
>checking for ocamlc... ocamlc
>ocaml version is 4.01.0
>ocaml library path is /usr/lib64/ocaml
>checking for ocamlfind... yes
>ocamlfind found ocamlgraph in -I /usr/lib64/ocaml/ocamlgraph
>ocamlfind found zarith in -I /usr/lib64/ocaml/zarith
>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... checking for ocamlwizard... true
>configure: creating ./config.status
>config.status: creating Makefile
>config.status: WARNING:  'Makefile.in' seems to ignore the --datarootdir setting
>configure: WARNING: unrecognized options: --disable-dependency-tracking
>+ make OCAMLBEST=opt OCAMLOPT=ocamlopt.opt
>Makefile:485: .depend: No such file or directory
>ocamlyacc -v src/parsing/why_parser.mly 
>ocamllex.opt src/parsing/why_lexer.mll > /dev/null
>ocamlyacc -v src/parsing/smt_parser.mly 
>ocamllex.opt src/parsing/smt_lex.mll > /dev/null
>ocamlyacc -v src/parsing/smtlib2_parse.mly 
>ocamllex.opt src/parsing/smtlib2_lex.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  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* > .depend
>ocamlc.opt -c -annot -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  src/util/version.mli
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/util/version.ml
>ocamlc.opt -c -annot -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  src/util/numbers.mli
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/util/numbers.ml
>ocamlc.opt -c -annot -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  src/util/timers.mli
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/util/timers.ml
>ocamlc.opt -c -annot -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  src/util/options.mli
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/util/options.ml
>ocamlc.opt -c -annot -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  src/util/loc.mli
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/util/loc.ml
>ocamlc.opt -c -annot -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  src/util/hashcons.mli
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/util/hashcons.ml
>ocamlc.opt -c -annot -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  src/util/hstring.mli
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/util/hstring.ml
>ocamlc.opt -c -annot -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  src/structures/ty.mli
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/structures/ty.ml
>ocamlc.opt -c -annot -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  src/structures/symbols.mli
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/structures/symbols.ml
>ocamlc.opt -c -annot -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  src/structures/subst.mli
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/structures/subst.ml
>ocamlc.opt -c -annot -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  src/structures/term.mli
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/structures/term.ml
>ocamlc.opt -c -annot -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  src/structures/literal.mli
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/structures/literal.ml
>ocamlc.opt -c -annot -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  src/structures/formula.mli
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/structures/formula.ml
>ocamlc.opt -c -annot -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  src/structures/explanation.mli
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/structures/explanation.ml
>ocamlc.opt -c -annot -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  src/structures/exception.mli
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/structures/exception.ml
>ocamlc.opt -c -annot -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  src/structures/why_ptree.mli
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/structures/why_ptree.ml
>ocamlc.opt -c -annot -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  src/structures/smtlib2_ast.mli
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/structures/smtlib2_ast.ml
>ocamlc.opt -c -annot -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  src/parsing/errors.mli
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/parsing/errors.ml
>ocamlc.opt -c -annot -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  src/parsing/why_parser.mli
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/parsing/why_parser.ml
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/parsing/why_lexer.ml
>ocamlc.opt -c -annot -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  src/structures/smt_ast.mli
>ocamlc.opt -c -annot -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  src/parsing/smt_parser.mli
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/parsing/smt_parser.ml
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/parsing/smt_lex.ml
>ocamlc.opt -c -annot -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  src/parsing/smtlib2_parse.mli
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/parsing/smtlib2_parse.ml
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/parsing/smtlib2_lex.ml
>ocamlc.opt -c -annot -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  src/preprocess/existantial.mli
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/preprocess/existantial.ml
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/preprocess/smt_to_why.ml
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/preprocess/smtlib2_to_why.ml
>ocamlc.opt -c -annot -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  src/preprocess/triggers.mli
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/preprocess/triggers.ml
>ocamlc.opt -c -annot -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  src/preprocess/why_typing.mli
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/preprocess/why_typing.ml
>ocamlc.opt -c -annot -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  src/preprocess/cnf.mli
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/preprocess/cnf.ml
>ocamlc.opt -c -annot -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  src/theories/boxed.mli
>ocamlc.opt -c -annot -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  src/theories/sig.mli
>ocamlc.opt -c -annot -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  src/instances/matching.mli
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/instances/matching.ml
>ocamlc.opt -c -annot -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  src/theories/polynome.mli
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/theories/polynome.ml
>ocamlc.opt -c -annot -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  src/theories/ac.mli
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/theories/ac.ml
>ocamlc.opt -c -annot -g -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  src/theories/intervals.mli
>ocamlopt.opt -c -annot -inline 1000 -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/ocamlgraph -I /usr/lib64/ocaml/lablgtk2 -I +threads -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  -for-pack AltErgo -g -ccopt -Wl,-z,relro,-z,now src/theories/intervals.ml
>/tmp/camlasm166d5e.s: Assembler messages:
>/tmp/camlasm166d5e.s:20877: Error: conditional branch out of range
>File "src/theories/intervals.ml", line 1:
>Error: Assembler error, input left in file /tmp/camlasm166d5e.s
>make: *** [src/theories/intervals.cmx] Error 2
>error: Bad exit status from /var/tmp/rpm-tmp.04esvl (%build)
>    Bad exit status from /var/tmp/rpm-tmp.04esvl (%build)
>RPM build errors:
>Child return code was: 1
>EXCEPTION: Command failed. See logs for output.
> # ['bash', '--login', '-c', 'rpmbuild -bb --target aarch64 --nodeps  builddir/build/SPECS/alt-ergo.spec']
>Traceback (most recent call last):
>  File "/usr/lib/python2.7/site-packages/mockbuild/trace_decorator.py", line 70, in trace
>    result = func(*args, **kw)
>  File "/usr/lib/python2.7/site-packages/mockbuild/util.py", line 377, in do
>    raise mockbuild.exception.Error, ("Command failed. See logs for output.\n # %s" % (command,), child.returncode)
>Error: Command failed. See logs for output.
> # ['bash', '--login', '-c', 'rpmbuild -bb --target aarch64 --nodeps  builddir/build/SPECS/alt-ergo.spec']
>LEAVE do --> EXCEPTION RAISED
>

Actions: View

Attachments on bug 1099153: 897211