Greetings! Robert Boyer <[EMAIL PROTECTED]> writes:
> The way that I normally build ACL2, from a big, static, ansi > gcl 2.7.0 is not with a 'make' but by executing the command > > /u/boyer/bin-override/build-acl2 > > I normally construct the directory > /u/boyer/acl2/acl2-sources/ with the command > > /u/boyer/bin-override/get-fresh-acl2 > > However, you should not pay any attention to me on this ACL2 > build stuff, only to Matt. > Thanks! Will keep this in mind. > I don't have a clue about the "non-existent" problem yet. > > By the way, are you trying to test ACL2 under ANSI or CLTL1? > ansi on elgin, with the features mods only. BTW, normal 3.0 appears to be passing its tests, still in progress. Take care, > Bob > > > -- 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
