[Fedora-sparc] Package: minisat2-2.0-7.20070721.fc10 Tag: al3 Status: complete Built by: ausil
SPARC Koji Build System
buildsys at fedoraproject.org
Mon Feb 9 22:43:55 UTC 2009
Package: minisat2-2.0-7.20070721.fc10
Tag: al3
Status: complete
Built by: ausil
ID: 20778
Started: Mon, 09 Feb 2009 16:34:04 CST
Finished: Mon, 09 Feb 2009 16:41:32 CST
Changelog:
* Thu Aug 07 2008 David A. Wheeler <dwheeler at, dwheeler.com> 2.0-7.20070721
- Removed code for switching between -O2 and -O3, per reviewer request.
* Thu Aug 07 2008 David A. Wheeler <dwheeler at, dwheeler.com> 2.0-6.20070721
- Timing tests found -O3 was unhelpful; switched back to -O2, but left stub
in case a switch to another -O level would help in the future.
-O3 real 0m35.714s, 0m35.714s, 0m35.834s vs. -O2 real 0m35.296s, 0m35.301s
* Tue Jul 08 2008 David A. Wheeler <dwheeler at, dwheeler.com> 2.0-5.20070721
- Moved to higher optimization level (-O3); speed is critical for this app.
SRPMS:
minisat2-2.0-7.20070721.fc10.src.rpm
Closed tasks:
-------------
Task 142881 on korolev.ausil.us
Task Type: build (None, minisat2-2.0-7.20070721.fc10.src.rpm)
Task 142886 on korolev.ausil.us
Task Type: buildArch (minisat2-2.0-7.20070721.fc10.src.rpm, sparc64)
logs:
http://sparc.koji.fedoraproject.org/koji/getfile?taskID=142886&name=build.log
http://sparc.koji.fedoraproject.org/koji/getfile?taskID=142886&name=root.log
http://sparc.koji.fedoraproject.org/koji/getfile?taskID=142886&name=state.log
rpms:
http://sparc.koji.fedoraproject.org/packages/minisat2/2.0/7.20070721.fc10/sparc64/minisat2-2.0-7.20070721.fc10.sparc64.rpm
http://sparc.koji.fedoraproject.org/packages/minisat2/2.0/7.20070721.fc10/sparc64/minisat2-debuginfo-2.0-7.20070721.fc10.sparc64.rpm
Task 142887 on daedalus.ausil.us
Task Type: buildArch (minisat2-2.0-7.20070721.fc10.src.rpm, sparcv9)
logs:
http://sparc.koji.fedoraproject.org/koji/getfile?taskID=142887&name=build.log
http://sparc.koji.fedoraproject.org/koji/getfile?taskID=142887&name=root.log
http://sparc.koji.fedoraproject.org/koji/getfile?taskID=142887&name=state.log
rpms:
http://sparc.koji.fedoraproject.org/packages/minisat2/2.0/7.20070721.fc10/sparcv9/minisat2-2.0-7.20070721.fc10.sparcv9.rpm
http://sparc.koji.fedoraproject.org/packages/minisat2/2.0/7.20070721.fc10/sparcv9/minisat2-debuginfo-2.0-7.20070721.fc10.sparcv9.rpm
Task Info: http://sparc.koji.fedoraproject.org/koji/taskinfo?taskID=142881
Build Info: http://sparc.koji.fedoraproject.org/koji/buildinfo?buildID=20778
More information about the Fedora-sparc
mailing list