Package: prover9-200805a-4.fc9 Tag: dist-f9 Status: failed Built by: ausil ID: 14580 Started: Sun, 05 Oct 2008 12:32:39 CDT Finished: Sun, 05 Oct 2008 12:44:56 CDT Changelog: * Wed Jul 09 2008 Tim Colles <timc@xxxxxxxxxxxx> - 200805a-4 - exclude ppc64 architecture as test2 fails * Tue Jul 08 2008 Tim Colles <timc@xxxxxxxxxxxx> - 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@xxxxxxxxxxxx> - 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 korolev.ausil.us (noarch), korolev.ausil.us (sparc64): BuildrootError: error building package (arch sparc64), mock exited with status 1 SRPMS: prover9-200805a-4.fc9.src.rpm Failed tasks: ------------- Task 94870 on korolev.ausil.us Task Type: build (dist-f9, /cvs/pkgs:rpms/prover9/F-9:prover9-200805a-4_fc9) Task 98295 on korolev.ausil.us Task Type: buildArch (prover9-200805a-4.fc9.src.rpm, sparc64) logs: http://sparc.koji.fedoraproject.org/koji/getfile?taskID=98295&name=build.log http://sparc.koji.fedoraproject.org/koji/getfile?taskID=98295&name=root.log http://sparc.koji.fedoraproject.org/koji/getfile?taskID=98295&name=state.log Canceled tasks: --------------- Task 98298 on korolev.ausil.us Task Type: buildArch (prover9-200805a-4.fc9.src.rpm, sparcv9) logs: http://sparc.koji.fedoraproject.org/koji/getfile?taskID=98298&name=build.log http://sparc.koji.fedoraproject.org/koji/getfile?taskID=98298&name=root.log http://sparc.koji.fedoraproject.org/koji/getfile?taskID=98298&name=state.log Closed tasks: ------------- Task 98287 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=98287&name=srpm.log Task Info: http://sparc.koji.fedoraproject.org/koji/taskinfo?taskID=94870 Build Info: http://sparc.koji.fedoraproject.org/koji/buildinfo?buildID=14580 _______________________________________________ Fedora-sparc mailing list Fedora-sparc@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-sparc