Bug 912190
| Summary: | minisat2 to ship header files | ||
|---|---|---|---|
| Product: | [Fedora] Fedora | Reporter: | Shakthi Kannan <shakthimaan> |
| Component: | minisat2 | Assignee: | Jerry James <loganjerry> |
| Status: | CLOSED ERRATA | QA Contact: | Fedora Extras Quality Assurance <extras-qa> |
| Severity: | high | Docs Contact: | |
| Priority: | unspecified | ||
| Version: | 17 | CC: | loganjerry, shakthimaan |
| Target Milestone: | --- | ||
| Target Release: | --- | ||
| Hardware: | Unspecified | ||
| OS: | Unspecified | ||
| Whiteboard: | |||
| Fixed In Version: | Doc Type: | Bug Fix | |
| Doc Text: | Story Points: | --- | |
| Clone Of: | Environment: | ||
| Last Closed: | 2013-03-11 01:20:45 UTC | Type: | Bug |
| Regression: | --- | Mount Type: | --- |
| Documentation: | --- | CRM: | |
| Verified Versions: | Category: | --- | |
| oVirt Team: | --- | RHEL 7.3 requirements from Atomic Host: | |
| Cloudforms Team: | --- | Target Upstream Version: | |
| Embargoed: | |||
|
Description
Shakthi Kannan
2013-02-18 05:12:14 UTC
Hmmm, the trouble is that there is no library, either, and the Makefile shipped with minisat2 only creates static libraries. I'll have to work out (a) what should go in the library vs. the binary, and (b) how to build a shared library. Patches for either are welcome. The Debian (for example) sources have the header files, and Makefile updated for creating shared libraries. We can re-use them. http://gitorious.org/minisat-debian/minisat2/trees/master Thanks for the pointer, Shakthi. I couldn't quite use the Debian Makefile as is, but I used it as inspiration to modify the mtl/template.mk to accomplish the same ends. It is building for Rawhide now. minisat2-2.2.0-5.fc18 has been submitted as an update for Fedora 18. https://admin.fedoraproject.org/updates/minisat2-2.2.0-5.fc18 minisat2-2.2.0-5.fc17 has been submitted as an update for Fedora 17. https://admin.fedoraproject.org/updates/minisat2-2.2.0-5.fc17 Package minisat2-2.2.0-5.fc17: * should fix your issue, * was pushed to the Fedora 17 testing repository, * should be available at your local mirror within two days. Update it with: # su -c 'yum update --enablerepo=updates-testing minisat2-2.2.0-5.fc17' as soon as you are able to. Please go to the following url: https://admin.fedoraproject.org/updates/FEDORA-2013-3203/minisat2-2.2.0-5.fc17 then log in and leave karma (feedback). Fair enough. Thanks for the quick turnaround time. Appreciate it! minisat2-2.2.0-5.fc18 has been pushed to the Fedora 18 stable repository. If problems still persist, please make note of it in this bug report. minisat2-2.2.0-5.fc17 has been pushed to the Fedora 17 stable repository. If problems still persist, please make note of it in this bug report. |