Ah -- our emails just crossed. Thanks! Sorry, I don't know the current way to get the latest version. Is it simply this?
git clone http://git.savannah.gnu.org/cgit/gcl.git Thanks -- -- Matt > From: Camm Maguire <[email protected]> > Date: Fri, 22 Jan 2016 15:21:07 -0500 > Cc: [email protected] > > Greetings! Just pushed a fix for macosx onto Version_2_6_13pre. Please > let me know if problems persist. > > Turns out that more than 64Mb is not available, at least not in any > straightforward manner. > > Take care, > > Matt Kaufmann <[email protected]> writes: > > > Hi, Camm -- > > > > I've run into a problem building ACL2 on GCL on a Mac (running > > Mac OS 10.10.5). This is very low priority for me right now, but I > > thought you might be interested. > > > > I've attached a log showing the problem, but here is an abbreviated > > version of it, which shows that the error goes away when turning off > > fast links. So I can't see how to get debugging info for you -- sorry. > > Maybe I should just update, but I'm not sure how these days -- is > > it simply "git clone http://git.savannah.gnu.org/cgit/gcl.git";? Anyhow > > here's the abbreviated version of the attached log. > > > > ~/acl2/acl2-git-scratch$ cat /Users/kaufmann/bin/my-fast-gcl > > #!/bin/sh > > > > # Built May 7 at UT CS: > > /Users/kaufmann/lisps/gcl/2.6.13pre14d/gcl/gcl/bin/gcl -eval > > "(defparameter user::*fast-acl2-gcl-build* t)" "$@" > > ~/acl2/acl2-git-scratch$ > > /Users/kaufmann/lisps/gcl/2.6.13pre14d/gcl/gcl/bin/gcl -eval > > "(defparameter user::*fast-acl2-gcl-build* t)" > > GCL (GNU Common Lisp) 2.6.12 ANSI May 7 2015 12:24:18 > > .... > >>(load "init.lisp") > > .... > > Finished loading init.lisp > > T > > > >>[GC for 54 SFUN pages..(T=1).GC finished] > > > > Error: > > Fast links are on: do (si::use-fast-links nil) for debugging > > Signalled by SYSTEM::GCL-TOP-LEVEL. > > > > Raw Lisp Break. > > Condition in SYSTEM::GCL-TOP-LEVEL [or a callee]: > > INTERNAL-SIMPLE-ERROR: Caught fatal error [memory may be damaged] > > > > [GC for 129 RELOCATABLE-BLOCKS pages.. > > Unrecoverable error: Segmentation violation.. > > Abort trap: 6 > > ~/acl2/acl2-git-scratch$ > > /Users/kaufmann/lisps/gcl/2.6.13pre14d/gcl/gcl/bin/gcl -eval > > "(defparameter user::*fast-acl2-gcl-build* t)" > > GCL (GNU Common Lisp) 2.6.12 ANSI May 7 2015 12:24:18 > > .... > >>(si::use-fast-links nil) > > > > NIL > > > >>(load "init.lisp") > > .... > > Finished loading init.lisp > > T > > > >>[GC for 54 SFUN pages..(T=0).GC finished] > > GCL (GNU Common Lisp) 2.6.12 ANSI May 7 2015 12:24:18 > > Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl) > > Binary License: GPL due to GPL'ed components: (READLINE UNEXEC) > > Modifications of this banner must retain notice of a compatible license > > Dedicated to the memory of W. Schelter > > > > Use (help) to get some basic information on how to use GCL. > > Temporary directory for compiler files: > > /private/var/folders/gg/583fkmvx1g70j4s7m33tg1500000gn/T/ > > > >> > > > > Thanks -- > > -- Matt > > > > -- > Camm Maguire [email protected] > ========================================================================== > "The earth is but one country, and mankind its citizens." -- Baha'u'llah > > _______________________________________________ > Gcl-devel mailing list > [email protected] > https://lists.gnu.org/mailman/listinfo/gcl-devel > _______________________________________________ Gcl-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/gcl-devel
