Greetings! Thanks again so much for your feedback! git clone git://git.sv.gnu.org/gcl.git cd gcl/gcl git checkout Version_2_6_13pre ./configure --enable-ansi && make
Might I try to ping you in a bit re: the experimental branch I'm trying to debug, or are you busy? Take care, Matt Kaufmann <[email protected]> writes: > 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 >> > > > > -- 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
