gcl-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Gcl-devel] Re: Building ACL2


From: Camm Maguire
Subject: [Gcl-devel] Re: Building ACL2
Date: 17 Jun 2006 18:47:58 -0400
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2

Greetings!

Robert Boyer <address@hidden> writes:

> The way that I normally build ACL2, from a big, static, ansi
> gcl 2.7.0 is not with a 'make' but by executing the command
> 
>    /u/boyer/bin-override/build-acl2
> 
> I normally construct the directory
> /u/boyer/acl2/acl2-sources/ with the command
> 
>    /u/boyer/bin-override/get-fresh-acl2
> 
> However, you should not pay any attention to me on this ACL2
> build stuff, only to Matt.
> 

Thanks!  Will keep this in mind.

> I don't have a clue about the "non-existent" problem yet.
> 
> By the way, are you trying to test ACL2 under ANSI or CLTL1?
> 

ansi on elgin, with the features mods only.  BTW, normal 3.0 appears
to be passing its tests, still in progress.

Take care,

> Bob
> 
> 
> 

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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]