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
