[Gcl-devel] Re: acl2-hons build in gcl 2.7.0 ok; regression running

[Camm Maguire]

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