[Gcl-devel] Re: ACL2 build

[Camm Maguire]

Greetings! 

"Jonathan S. Shapiro" <address@hidden> writes:

> Camm: I was about to re-package gcl-2.6.7 and possibly ACL2 for Fedora
> Core. I had two questions and a reminder:
> 
> Q1: With 2.6.7, is the CLTL build of GCL still required?

Yes.

> Q2: Are you interested in the RPMs for fedora?
> 

Yes if its not too much trouble, great!  Do you know about alien?
Might be easiest to use this on the .debs as I did some time ago.

Take care,

> Best regards,
> 
> 
> Jonathan Shapiro
> 
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah