[Top][All Lists]

[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


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]