Greetings, and thanks for the report! Just curious as to how the timings compare to the cltl1 build. Please don't expend any great effort here.
Take care, Robert Boyer <[EMAIL PROTECTED]> writes: > For what it's worth, I built a 2.7.0 GCL ANSI on elgin from fresh sources on > Saturday and then an ACL2 2.9.2 today and got the times below for a > certify-books. > > real 152m15.477s > user 148m58.350s > sys 1m22.760s > > Perhaps ACL2's days of connection with the CLTL1 version of GCL are drawing > to an end. > > Probably you all knew this could be done, but I did not until today. > > Bob > > > -- Camm Maguire [EMAIL PROTECTED] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/gcl-devel
