Bug 257679 – [ebuild request] sci-mathematics/pvs

• Status: RESOLVED FIXED
• Product: Gentoo Linux

[Description Jonathan-Christofer Demay 2009-02-04 21:40:56 UTC]

PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover.

The latest version can be downloaded here:
http://pvs.csl.sri.com/download-open/pvs-4.2-source.tgz

[Comment 1 Jonathan-Christofer Demay 2009-02-04 21:42:19 UTC]

Created attachment 180966 [details]
sci-mathematics/pvs/pvs-4.2.ebuild

Here is a suggested ebuild.

[Comment 2 Jonathan-Christofer Demay 2009-02-04 21:42:59 UTC]

Created attachment 180968 [details, diff]
sci-mathematics/pvs/files/pvs-4.2-patch-makefile-quote

A patch needed by the ebuild right above.

[Comment 3 Jonathan-Christofer Demay 2009-02-04 23:36:42 UTC]

Created attachment 180987 [details]
sci-mathematics/pvs/pvs-4.2.ebuild

Forgot the generate TCCs after the compilation.

[Comment 4 Jonathan-Christofer Demay 2009-02-04 23:44:34 UTC]

if you have problem compiling dev-lisp/cmucl with gcc 4.x, try this ebuild:
http://bugs.gentoo.org/show_bug.cgi?id=257652

(I forced the dependency in the ebuild anyway...)

[Comment 5 Jonathan-Christofer Demay 2009-02-18 14:09:04 UTC]

Created attachment 182421 [details]
sci-mathematics/pvs/pvs-4.2.ebuild

A few clean up

[Comment 6 Jonathan-Christofer Demay 2009-03-24 00:48:18 UTC]

Created attachment 186061 [details]
sci-mathematics/pvs/pvs-4.2.ebuild

A few clean ups

[Comment 7 Jonathan-Christofer Demay 2009-03-25 10:43:05 UTC]

Created attachment 186211 [details, diff]
sci-mathematics/pvs/files/pvs-4.2-patch-make

[Comment 8 Jonathan-Christofer Demay 2009-03-25 10:44:02 UTC]

Created attachment 186212 [details]
sci-mathematics/pvs/pvs-4.2.ebuild

More clean ups

[Comment 9 Jonathan-Christofer Demay 2009-03-25 10:44:43 UTC]

Created attachment 186214 [details, diff]
sci-mathematics/pvs/files/pvs-4.2-patch-bddp

[Comment 10 Jonathan-Christofer Demay 2009-03-25 10:45:04 UTC]

Created attachment 186215 [details, diff]
sci-mathematics/pvs/files/pvs-4.2-patch-sbcl

[Comment 11 Jonathan-Christofer Demay 2009-03-25 10:46:04 UTC]

Comment on attachment 186211 [details, diff]
sci-mathematics/pvs/files/pvs-4.2-patch-make

Also fix doc makefile now

[Comment 12 Jonathan-Christofer Demay 2009-03-25 10:47:07 UTC]

Comment on attachment 186214 [details, diff]
sci-mathematics/pvs/files/pvs-4.2-patch-bddp

Update BDD
Fix pointer on non 32bits arch

[Comment 13 Jonathan-Christofer Demay 2009-03-25 10:47:33 UTC]

Comment on attachment 186215 [details, diff]
sci-mathematics/pvs/files/pvs-4.2-patch-sbcl

Allow pvs to build with sbcl

[Comment 14 Jonathan-Christofer Demay 2009-03-25 10:50:33 UTC]

Created attachment 186217 [details]
sci-mathematics/pvs/pvs-4.2-r1.ebuild

More archs.
On non x86 arch, it will build using sbcl, it's highly untested, use it at your on risk.

[Comment 15 Jonathan-Christofer Demay 2009-03-25 10:51:08 UTC]

Comment on attachment 186214 [details, diff]
sci-mathematics/pvs/files/pvs-4.2-patch-bddp

It's backported from SVN

[Comment 16 Jonathan-Christofer Demay 2009-03-25 10:52:20 UTC]

Comment on attachment 186215 [details, diff]
sci-mathematics/pvs/files/pvs-4.2-patch-sbcl

Patch from Jerry James:
http://jjames.fedorapeople.org/pvs/

[Comment 17 Jonathan-Christofer Demay 2009-10-23 22:18:06 UTC]

pain in the ass to maintain, I drop it for now