[Fedora-sparc] Package: prover9-200805a-4.fc9 Tag: dist-f9 Status: failed Built by: ausil

[SPARC Koji Build System]

Package: prover9-200805a-4.fc9
Tag: dist-f9
Status: failed
Built by: ausil
ID: 14580
Started: Fri, 26 Sep 2008 02:54:57 CDT
Finished: Fri, 26 Sep 2008 03:07:38 CDT
Changelog:
* Wed Jul 09 2008 Tim Colles <timc at inf.ed.ac.uk> - 200805a-4
- exclude ppc64 architecture as test2 fails

* Tue Jul 08 2008 Tim Colles <timc at inf.ed.ac.uk> - 200805a-3
- make -apps require base package instead of other way around
- added check section to run built-in tests
- fix perms on static library
- fix perms on example script
- use name prefix and install all binaries in /usr/bin
- add name prefix to manpages, drop symlinks for missing manpages

* Fri Jun 06 2008 Tim Colles <timc at inf.ed.ac.uk> - 200805a-2
- dropped libtoolize patch and stopped shipping shared libraries
- changed build to use rpm optflags
- added -p flag to preserve timestamps
- install all binaries except mace4/prover9 to /usr/lib/prover9/bin



prover9-200805a-4.fc9 (14580) failed on daedalus.ausil.us (sparc64), daedalus.ausil.us (noarch):
  BuildrootError: error building package (arch sparc64), mock exited with status 1
SRPMS:
  prover9-200805a-4.fc9.src.rpm

Failed tasks:
-------------

Task 87426 on daedalus.ausil.us
Task Type: buildArch (prover9-200805a-4.fc9.src.rpm, sparc64)
logs:
  http://sparc.koji.fedoraproject.org/koji/getfile?taskID=87426&name=build.log
  http://sparc.koji.fedoraproject.org/koji/getfile?taskID=87426&name=root.log
  http://sparc.koji.fedoraproject.org/koji/getfile?taskID=87426&name=state.log

Task 86078 on daedalus.ausil.us
Task Type: build (dist-f9, /cvs/pkgs:rpms/prover9/F-9:prover9-200805a-4_fc9)


Canceled tasks:
---------------

Task 87427 on korolev.ausil.us
Task Type: buildArch (prover9-200805a-4.fc9.src.rpm, sparcv9)
logs:
  http://sparc.koji.fedoraproject.org/koji/getfile?taskID=87427&name=build.log
  http://sparc.koji.fedoraproject.org/koji/getfile?taskID=87427&name=root.log
  http://sparc.koji.fedoraproject.org/koji/getfile?taskID=87427&name=state.log


Closed tasks:
-------------

Task 87419 on daedalus.ausil.us
Task Type: buildSRPMFromSCM (/cvs/pkgs:rpms/prover9/F-9:prover9-200805a-4_fc9)
logs:
  http://sparc.koji.fedoraproject.org/koji/getfile?taskID=87419&name=srpm.log



Task Info: http://sparc.koji.fedoraproject.org/koji/taskinfo?taskID=86078
Build Info: http://sparc.koji.fedoraproject.org/koji/buildinfo?buildID=14580