[Fedora-sparc] Package: prover9-200805a-4.fc10 Tag: al3 Status: failed Built by: ausil
SPARC Koji Build System
buildsys at fedoraproject.org
Sat Feb 14 12:18:38 UTC 2009
Package: prover9-200805a-4.fc10
Tag: al3
Status: failed
Built by: ausil
ID: 20905
Started: Sat, 14 Feb 2009 12:09:17 CST
Finished: Sat, 14 Feb 2009 12:18:13 CST
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.fc10 (20905) failed on daedalus.ausil.us (sparc64), daedalus.ausil.us (noarch):
BuildError: error building package (arch sparc64), mock exited with status 1; see build.log for more information
Failed tasks:
-------------
Task 151088 on daedalus.ausil.us
Task Type: buildArch (prover9-200805a-4.fc10.src.rpm, sparc64)
logs:
http://sparc.koji.fedoraproject.org/koji/getfile?taskID=151088&name=build.log
http://sparc.koji.fedoraproject.org/koji/getfile?taskID=151088&name=root.log
http://sparc.koji.fedoraproject.org/koji/getfile?taskID=151088&name=state.log
Task 151087 on daedalus.ausil.us
Task Type: build (None, prover9-200805a-4.fc10.src.rpm)
Canceled tasks:
---------------
Task 151089 on korolev.ausil.us
Task Type: buildArch (prover9-200805a-4.fc10.src.rpm, sparcv9)
logs:
http://sparc.koji.fedoraproject.org/koji/getfile?taskID=151089&name=build.log
http://sparc.koji.fedoraproject.org/koji/getfile?taskID=151089&name=root.log
http://sparc.koji.fedoraproject.org/koji/getfile?taskID=151089&name=state.log
Task Info: http://sparc.koji.fedoraproject.org/koji/taskinfo?taskID=151087
Build Info: http://sparc.koji.fedoraproject.org/koji/buildinfo?buildID=20905
More information about the sparc
mailing list