[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 |
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
- [Gcl-devel] Re: Building ACL2,
Camm Maguire <=