Greetings! Robert Boyer <[EMAIL PROTECTED]> 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 [EMAIL PROTECTED] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list Gcl-devel@gnu.org http://lists.gnu.org/mailman/listinfo/gcl-devel
