[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gcl-devel] Re: acl2-hons build in gcl 2.7.0 ok; regression running
From: |
Camm Maguire |
Subject: |
[Gcl-devel] Re: acl2-hons build in gcl 2.7.0 ok; regression running |
Date: |
23 Jun 2006 10:33:46 -0400 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
Greetings!
Robert Boyer <address@hidden> writes:
> Thanks to Camm's super fast fixes today, it looks to me that
> latest GCL 2.7.0 (cf. /p/bin/xg) builds the acl2-hons you
> pointed me towards, which, as I mentioned, I first copied to
> /u/boyer/my-partition/fooacl2hons/
>
> I used the single build command
>
> make LISP='xg -eval "(push :acl2-mv-as-values *features*)"'
>
> Hope that is what we wanted.
Yes, thank you so much!
>
> I'm now running
>
> (time nice make regression ) >>& \
> /u/boyer/acl2-logs/make-regression-gcl-`date --iso-8601`.log
>
> which you can observe, I believe, with the log in
> /u/boyer/acl2-logs/. So far no errors (**) that I can see
> in the log.
>
> Bob
>
> P. S. I did an ACL2 3.0 build in /p/bin/xg at safety=3 with
> (push :acl2-mv-as-values *features*), just to see if I could
> catch any arity errors, but didn't find any.
>
Great! Just curious what you might have expected to catch by this --
at present a return type of '* and anything above t are compiled
identically.
Take care,
>
>
--
Camm Maguire address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
- [Gcl-devel] Re: acl2-hons build in gcl 2.7.0 ok; regression running,
Camm Maguire <=