Description of problem: No header files shipped with minisat2 Version-Release number of selected component (if applicable): minisat2-2.2.0-2.fc17.src.rpm How reproducible: $ rpmls minisat2-2.2.0-2.fc17.x86_64.rpm -rwxr-xr-x /usr/bin/minisat drwxr-xr-x /usr/share/doc/minisat2-2.2.0 -rw-r--r-- /usr/share/doc/minisat2-2.2.0/LICENSE -rw-r--r-- /usr/share/doc/minisat2-2.2.0/ReleaseNotes-2.2.0.txt -rw-r--r-- /usr/share/doc/minisat2-2.2.0/minisat-user-guide.html -rw-r--r-- /usr/share/doc/minisat2-2.2.0/minisat2-test.in -rw-r--r-- /usr/share/doc/minisat2-2.2.0/minisat2-test.out Additional Info: I need the header files in minisat2 for use in another packgae (CBMC). Can you please create a separate minisat2-devel subpackage including the same?
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.