[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.


https://bugzilla.redhat.com/show_bug.cgi?id=548607





--- Comment #32 from Alexander Kahl <akahl at imttechnologies.com>  2010-01-04 11:18:01 EDT ---
Hi David,

(In reply to comment #31)
> The second sentence of:
> 
> http://fedoraproject.org/wiki/Packaging/Lisp#Guidelines_for_Libraries_and_Programs_written_in_Common_Lisp
> is:
>  "This document does not describe conventions and customs for application
> programs that are written in Common Lisp."
> So that document doesn't apply.
Ooh I must have missed that - thanks for pointing that out!

> To my knowledge, there are *no* special written guidelines for packaging
> applications *written* in Common Lisp (CL).  You just follow the usual
> conventions for packages (adding WHICH CL implementation you used in the
> package name).  I know that "maxima" is another packaged application written in
> CL, so PVS isn't unique.
Didn't know 'bout that one, thanks again.

> It might be nice to have guidelines, but someone will have to figure out good
> guidelines first :-).  
The original ones seem to have been written by Spot, I wonder if he just took
over those from Debian or whether he really knows about coding Lisps.
Well the only "someones" in question is Fedorans who can code Lisp (or here CL
in particular), right? So why not make something up?

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.