Package: prover9-200805a-4.fc10 Tag: al3 Status: failed Built by: ausil

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



Package: prover9-200805a-4.fc10
Tag: al3
Status: failed
Built by: ausil
ID: 20905
Started: Sun, 15 Feb 2009 16:54:52 CST
Finished: Sun, 15 Feb 2009 17:04:45 CST
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.fc10 (20905) failed on korolev.ausil.us (noarch), korolev.ausil.us (sparc64):
  BuildError: error building package (arch sparc64), mock exited with status 1; see build.log for more information
Failed tasks:
-------------

Task 154536 on korolev.ausil.us
Task Type: build (None, prover9-200805a-4.fc10.src.rpm)

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


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

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



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

_______________________________________________
Fedora-sparc mailing list
Fedora-sparc@xxxxxxxxxx
https://www.redhat.com/mailman/listinfo/fedora-sparc

[Index of Archives]     [Fedora Users]     [Older Fedora Users]     [Linux ARM]     [ARM Kernel]     [Fedora Advisory Board]     [Fedora Security]     [Fedora Maintainers]     [Fedora Devel Java]     [Fedora Legacy]     [Fedora Desktop]     [ATA RAID]     [Fedora Marketing]     [Fedora Mentors]     [Fedora Package Announce]     [Fedora Package Review]     [Fedora Music]     [Fedora Packaging]     [Centos]     [Fedora SELinux]     [Fedora Triage]     [Coolkey]     [Yum Users]     [Tux]     [Big List of Linux Books]     [Yosemite Hiking & Camping]     [KDE Users]     [Fedora Art]     [Fedora Docs]     [Asterisk PBX]

  Powered by Linux