| Summary: | Please bump sci-mathematics/nusmv to 2.4.3 | ||
|---|---|---|---|
| Product: | Gentoo Linux | Reporter: | Paweł Hajdan, Jr. (RETIRED) <phajdan.jr> |
| Component: | New packages | Assignee: | Gentoo Science Mathematics related packages <sci-mathematics> |
| Status: | RESOLVED FIXED | ||
| Severity: | enhancement | CC: | robbat2 |
| Priority: | High | ||
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | Linux | ||
| URL: | http://nusmv.irst.itc.it/ | ||
| Whiteboard: | |||
| Package list: | Runtime testing required: | --- | |
| Attachments: | The ebuild | ||
|
Description
Paweł Hajdan, Jr. (RETIRED)
2010-03-29 11:18:18 UTC
I was able to get 2.4.3 to compile just by renaming the existing ebuild, updating the version number of Cudd inside it, and removing the "--enable-sa" and "--enable-sa-cpp" configure flags (with those left in, configure complained that the SA sources weren't present). I'll attach an ebuild. Created attachment 229607 [details]
The ebuild
Note, this ebuild has a small problem. While the installed NuSMV binary seems to work fine, it also installs libnusmv.la. revdep-rebuild subsequently complains that libnusmv.la depends on -lcudd, -lcudd_util, -lmtr, and -lst, which are not installed. I ended up just deleting the installed copy of libnusmv.la to shut up revdep-rebuild; the NuSMV binary still works fine after that. Not sure what the LA file is for, nor what the right answer is here. Maintainer timeout, and the ebuild is attached. I've taken it even further and bumped to 2.5.0. For safety, the added version is hard masked. sci-mathematics, please review the added ebuild if possible. I've done my best to package it nicely, but it's not very packager-friendly. I've also done some testing with SMV files I have, bot with and without minisat. |