[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


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

Take care,


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]