[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PVS-Help] advice on allegro cl version
I believe you're right, though we have an Enterprise site license at
SRI, so I haven't tried it myself.
> Unless I misunderstand, the less-expensive "professional" license would be sufficient.
> -----Original Message-----
> From: Sam Owre <firstname.lastname@example.org>
> Subj: Re: [PVS-Help] advice on allegro cl version
> Date: Fri Jan 12, 2007 12:04 pm
> Size: 945 bytes
> To: Hendrik Tews <H.Tews@cs.ru.nl>
> cc: email@example.com
> Hi Hendrik,
> You shouldn't need the runtime option unless you plan to distribute your
> own builds. So what you probably want is one of the Enterprise Editions
> described in http://franz.com/products/packages/, for whatever platform
> you're using. This gives you the compiler, debugger, etc., but you are
> not allowed to put images on more than one machine.
> This typically costs a couple thousand dollars, depending on your
> negotiations with Franz.
> Hendrik Tews <H.Tews@cs.ru.nl> wrote:
> > Hi,
> > I am thinking about buying allegro lisp to enjoy Pvs hacking.
> > Could somebody give advice about which of the various products
> > suits best?
> > - I guess I need the allegro runtime option
> > - I even need the dynamic runtime if I want to compile and load
> > .pvs.lisp? Or can I somehow exploit the allegro lisp that I
> > have in stalled with Pvs?
> > - I suspect the free version with 50MB is not sufficient.
> > Bye,
> > Hendrik