142537 – [REQ] Add ebuild for PRISM Probabilistic Symbolic Model Checker

Bug 142537 - [REQ] Add ebuild for PRISM Probabilistic Symbolic Model Checker

Summary: [REQ] Add ebuild for PRISM Probabilistic Symbolic Model Checker

Status:	RESOLVED WONTFIX

Alias:	None

Product:	Gentoo Linux
Classification:	Unclassified
Component:	New packages (show other bugs)
Hardware:	All Linux

Importance:	High enhancement
Assignee:	Default Assignee for New Packages

URL:	http://www.cs.bham.ac.uk/~dxp/prism/
Whiteboard:
Keywords:

Depends on:
Blocks:

Reported:	2006-08-02 07:20 UTC by M. Edward Borasky
Modified:	2007-09-14 11:23 UTC (History)
CC List:	1 user (show)

See Also:
Package list:
Runtime testing required:	---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description M. Edward Borasky 2006-08-02 07:20:47 UTC

I'd like to see PRISM http://www.cs.bham.ac.uk/~dxp/prism/ in Portage. They just recently released 3.0, and as far as I can tell it's solid on x86. I don't have anything else to test it on, but it's pretty vanilla except for the Java GUI, which may only work with the Sun JDK. This would go in "sci-mathematics".

Is there a "simple" guide to creating an ebuild? I'd like to attempt to write one for this package.

Comment 1 Jakub Moc (RETIRED) gentoo-dev

2007-09-14 11:23:56 UTC

No progress for over 1 year, closing WONTFIX. Feel free to reopen with an ebuild.