Attachment 444850 Details for Bug 631302 – build.log

build.log

build.log (text/plain), 4.02 KB, created by FTBFS on 2010-09-07 18:19:36 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: FTBFS

Created: 2010-09-07 18:19:36 UTC

Size: 4.02 KB

patch

obsolete

>Mock Version: 1.1.1
>ENTER do(['bash', '--login', '-c', 'rpmbuild -bs --target x86_64 --nodeps builddir/build/SPECS/coq.spec'], False, '/var/lib/mock/fedora-development-x86_64-coq-8.2pl1-1.fc12.src.rpm/root/', None, 25200, True, 0, 8116, 14667, None, logger=<mock.trace_decorator.getLog object at 0x19a2b10>)
>Executing command: ['bash', '--login', '-c', 'rpmbuild -bs --target x86_64 --nodeps builddir/build/SPECS/coq.spec']
>Building target platforms: x86_64
>Building for target x86_64
>Wrote: /builddir/build/SRPMS/coq-8.2pl1-1.fc14.src.rpm
>Child returncode was: 0
>LEAVE do --> 
>
>ENTER do(['bash', '--login', '-c', 'rpmbuild -bb --target x86_64 --nodeps builddir/build/SPECS/coq.spec'], False, '/var/lib/mock/fedora-development-x86_64-coq-8.2pl1-1.fc12.src.rpm/root/', None, 25200, True, 0, 8116, 14667, None, logger=<mock.trace_decorator.getLog object at 0x19a2b10>)
>Executing command: ['bash', '--login', '-c', 'rpmbuild -bb --target x86_64 --nodeps builddir/build/SPECS/coq.spec']
>Building target platforms: x86_64
>Building for target x86_64
>Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.yrfGmS
>+ umask 022
>+ cd /builddir/build/BUILD
>+ LANG=C
>+ export LANG
>+ unset DISPLAY
>+ cd /builddir/build/BUILD
>+ rm -rf coq-8.2pl1
>+ /usr/bin/gzip -dc /builddir/build/SOURCES/coq-8.2pl1.tar.gz
>+ /bin/tar -xf -
>+ STATUS=0
>+ '[' 0 -ne 0 ']'
>+ cd coq-8.2pl1
>+ /bin/chmod -Rf a+rX,u+w,g-w,o-w .
>Patch #0 (coq-makefile-strip-8.2.patch):
>+ echo 'Patch #0 (coq-makefile-strip-8.2.patch):'
>+ /bin/cat /builddir/build/SOURCES/coq-makefile-strip-8.2.patch
>+ /usr/bin/patch -s -p0 --fuzz=0
>Patch #1 (coq-check-8.2.patch):
>+ echo 'Patch #1 (coq-check-8.2.patch):'
>+ /bin/cat /builddir/build/SOURCES/coq-check-8.2.patch
>+ /usr/bin/patch -s -p0 --fuzz=0
>Patch #2 (coq-micromega-8.2.patch):
>+ echo 'Patch #2 (coq-micromega-8.2.patch):'
>+ /bin/cat /builddir/build/SOURCES/coq-micromega-8.2.patch
>+ /usr/bin/patch -s -p0 --fuzz=0
>+ for f in CHANGES CREDITS COPYRIGHT doc/LICENSE
>+ mv CHANGES CHANGES.old
>+ iconv -f ISO-8859-1 -t UTF-8
>+ rm CHANGES.old
>+ for f in CHANGES CREDITS COPYRIGHT doc/LICENSE
>+ mv CREDITS CREDITS.old
>+ iconv -f ISO-8859-1 -t UTF-8
>+ rm CREDITS.old
>+ for f in CHANGES CREDITS COPYRIGHT doc/LICENSE
>+ mv COPYRIGHT COPYRIGHT.old
>+ iconv -f ISO-8859-1 -t UTF-8
>+ rm COPYRIGHT.old
>+ for f in CHANGES CREDITS COPYRIGHT doc/LICENSE
>+ mv doc/LICENSE doc/LICENSE.old
>+ iconv -f ISO-8859-1 -t UTF-8
>+ rm doc/LICENSE.old
>+ cp /builddir/build/SOURCES/coqide.desktop /builddir/build/SOURCES/README.coq-emacs .
>Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.Hbbue6
>+ exit 0
>+ umask 022
>+ cd /builddir/build/BUILD
>+ cd coq-8.2pl1
>+ LANG=C
>+ export LANG
>+ unset DISPLAY
>+ ./configure -prefix /usr -libdir /usr/share/coq -bindir /usr/bin -mandir /usr/share/man -docdir /usr/share/doc/coq-8.2pl1 -emacs /usr/share/emacs/site-lisp -coqdocdir /usr/share/texmf/tex/latex/misc --opt -reals all -camlp5dir /usr/lib64/ocaml/camlp5 -coqrunbyteflags '-dllib -lcoqrun -dllpath /usr/lib64/ocaml/stublibs'
>GNU Make >= 3.81 is needed
>Make 3.81 can be downloaded from ftp://ftp.gnu.org/gnu/make/make-3.81.tar.gz
>then locally installed on a Unix-style system by issuing:
>  tar xzvf make-3.81.tar.gz
>  cd make-3.81
>  ./configure
>  make
>  mv make ..
>  cd ..
>Restart then the configure script and later use ./make instead of make
>RPM build errors:
>error: Bad exit status from /var/tmp/rpm-tmp.Hbbue6 (%build)
>    Bad exit status from /var/tmp/rpm-tmp.Hbbue6 (%build)
>Child returncode was: 1
>EXCEPTION: Command failed. See logs for output.
> # ['bash', '--login', '-c', 'rpmbuild -bb --target x86_64 --nodeps builddir/build/SPECS/coq.spec']
>Traceback (most recent call last):
>  File "/usr/lib/python2.6/site-packages/mock/trace_decorator.py", line 70, in trace
>    result = func(*args, **kw)
>  File "/usr/lib/python2.6/site-packages/mock/util.py", line 333, in do
>    raise mock.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 x86_64 --nodeps builddir/build/SPECS/coq.spec']
>LEAVE do --> EXCEPTION RAISED
>

Actions: View

Attachments on bug 631302: 444846 | 444847 | 444848 | 444849 | 444850 | 444851 | 445505