Summary: | [ebuild request] sci-mathematics/pvs | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Jonathan-Christofer Demay <jcdemay> |
Component: | Current packages | Assignee: | Default Assignee for New Packages <maintainer-wanted> |
Status: | RESOLVED FIXED | ||
Severity: | normal | ||
Priority: | High | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
URL: | http://pvs.csl.sri.com/ | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Bug Depends on: | 257652 | ||
Bug Blocks: | 245807 | ||
Attachments: |
sci-mathematics/pvs/pvs-4.2.ebuild
sci-mathematics/pvs/files/pvs-4.2-patch-makefile-quote sci-mathematics/pvs/pvs-4.2.ebuild sci-mathematics/pvs/pvs-4.2.ebuild sci-mathematics/pvs/pvs-4.2.ebuild sci-mathematics/pvs/files/pvs-4.2-patch-make sci-mathematics/pvs/pvs-4.2.ebuild sci-mathematics/pvs/files/pvs-4.2-patch-bddp sci-mathematics/pvs/files/pvs-4.2-patch-sbcl sci-mathematics/pvs/pvs-4.2-r1.ebuild |
Description
Jonathan-Christofer Demay
2009-02-04 21:40:56 UTC
Created attachment 180966 [details]
sci-mathematics/pvs/pvs-4.2.ebuild
Here is a suggested ebuild.
Created attachment 180968 [details, diff]
sci-mathematics/pvs/files/pvs-4.2-patch-makefile-quote
A patch needed by the ebuild right above.
Created attachment 180987 [details]
sci-mathematics/pvs/pvs-4.2.ebuild
Forgot the generate TCCs after the compilation.
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...) Created attachment 182421 [details]
sci-mathematics/pvs/pvs-4.2.ebuild
A few clean up
Created attachment 186061 [details]
sci-mathematics/pvs/pvs-4.2.ebuild
A few clean ups
Created attachment 186211 [details, diff]
sci-mathematics/pvs/files/pvs-4.2-patch-make
Created attachment 186212 [details]
sci-mathematics/pvs/pvs-4.2.ebuild
More clean ups
Created attachment 186214 [details, diff]
sci-mathematics/pvs/files/pvs-4.2-patch-bddp
Created attachment 186215 [details, diff]
sci-mathematics/pvs/files/pvs-4.2-patch-sbcl
Comment on attachment 186211 [details, diff]
sci-mathematics/pvs/files/pvs-4.2-patch-make
Also fix doc makefile now
Comment on attachment 186214 [details, diff]
sci-mathematics/pvs/files/pvs-4.2-patch-bddp
Update BDD
Fix pointer on non 32bits arch
Comment on attachment 186215 [details, diff]
sci-mathematics/pvs/files/pvs-4.2-patch-sbcl
Allow pvs to build with sbcl
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 on attachment 186214 [details, diff]
sci-mathematics/pvs/files/pvs-4.2-patch-bddp
It's backported from SVN
Comment on attachment 186215 [details, diff] sci-mathematics/pvs/files/pvs-4.2-patch-sbcl Patch from Jerry James: http://jjames.fedorapeople.org/pvs/ pain in the ass to maintain, I drop it for now |