[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 #31 from David A. Wheeler <dwheeler at dwheeler.com>  2010-01-04 10:43:27 EDT ---
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.

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.

It might be nice to have guidelines, but someone will have to figure out good
guidelines first :-).

-- 
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.