Re: [Gcl-devel] 2.6.2.....

[Camm Maguire]

Greetings!  I'm a bit confused here -- do we post that mingw passes
the acl2 books certify test or not?  We just are using 'make
certify-books-fresh' for this purpose, i.e. no workshops.  Please
advise.



"Mike Thomas" <address@hidden> writes:

> Hi Matt.
> 
> |    I should have mentioned this yesterday but I was moving fairly
> | quickly - the
> |    set.out file was completely empty.
> |
> | Just in case this helps:  Your other email mentioned base.out rather than
> | set.out.  Moreover, there shouldn't be a set.out -- it should be sets.out.
> 
> Yes, "set.out" was a clerical error.  "sets.out" is empty.
> 
> Regarding "base.out", I originally pasted into my email the output from (by
> memory):
> 
>   find books -iname "*.out" -exec fgrep -i error \{\} \; -print
> 
> which printed on my console the name of the file in which the error occurred
> so that I could look more closely; so that filename was really not a message
> from ACL2.
> 
> Sorry about the misunderstanding.
> 
> Cheers
> 
> Mike Thomas.
> 
> 
> 
> _______________________________________________
> Gcl-devel mailing list
> address@hidden
> http://lists.gnu.org/mailman/listinfo/gcl-devel
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah