[Gcl-devel] Re: Can't build ACL2 using GCL under Mac OS X 3.3

[Camm Maguire]

Greetings!

I'm forwarding this to the GCL devel list and our MacOS X maintainer
for more detailed commentary.  But in brief, there appears to be a
difficulty in enabling SGC on your system.  One very simple though
non-optimal thing to try is echo '(fmakunbound
(quote si::sgc-on))(si::save-system "foo")' | gcl && mv foo
<path_to_your_saved_gcl>.  this will give you a build without SGC just
to check out everything else.  If this is the problem, just try
(si::sgc-on t) in GCL and see if you can reproduce the hang.  Please
keep us posted in either case.  There are further diagnostics we may
need to pursue.

Take care,

John Matthews <address@hidden> writes:

> Hi Camm,
> 
> Matt Kaufmann suggested that I forward this email to you. I've been
> having problems building ACL2 from
> my source-built GCL application. In the meantime, is there some way I
> could download a Mac OS X-compatible
> GCL binary?
> 
> Thanks,
> 
> -john
> 
> 
> 
> Begin forwarded message:
> 
> From: John Matthews <address@hidden>
> Date: May 19, 2004 6:03:36 PM PDT
> To: address@hidden
> Cc: address@hidden
> Subject: Can't build ACL2 using GCL under Mac OS X 3.3
> 
> GCL seems to be hanging when executing a "check and save" phase of
> ACL2's build.
> 
> I have a 1.5 GHz Mac Powerbook G4, running Mac OS X 10.3.3 (Build
> 7G43).
> 
> I've installed the Mac developer tools, and used fink to install GNU
> sed. My gcc version is
> 3.3 20030304 (Apple Computer, Inc. build 1495).
> 
> I used this cvs command to check out the latest GCL files:
> 
>   export CVS_RSH=ssh
>   cvs -z3 -d :ext:address@hidden:/cvsroot/gcl co gcl
> 
> I then set the following environment variables:
> 
>    ulimit -s 8192
>    export PATH=/sw/bin:/sw/sbin:/usr/local/bin:$PATH
>    export MACOSX_DEPLOYMENT_TARGET=10.2
>    export LIBRARY_PATH=/sw/lib
>    export C_INCLUDE_PATH=/sw/include
>    export CPPFLAGS="-no-cpp-precomp"
> 
> I then called configure, make, and make install within the GCL
> directory, which were all successful.
> gcl was installed into /usr/local/bin.
> 
> I downloaded ACL2 2.8, and typed
> 
>   make large
> 
> One of the "check and save" phases seems to have hung.
> Here are the last few pages of output:
> 
> -------------
> 
> Finished loading
> '((IN-PACKAGE "ACL2")
>   (DEFCONST *COMMON-LISP-SYMBOLS-FROM-MAIN-LISP-PACKAGE*
>             '(&ALLOW-OTHER-KEYS *PRINT-MISER-WIDTH*
>                                 &AUX *PRINT-PPRINT-DISPATCH*
>                                 &BODY *PRINT-PRETTY* &ENVIRONMENT
> ...))
>   (DEFCONST *ACL2-VERSION* "ACL2 Version 2.8")
>   (DEFCONST
>    *ACL2-FILES*
>    '("axioms" "basis" "translate" "type-set-a"
>               "linear-a" "type-set-b" "linear-b" ...)
>    "*acl2-files* is the list of all the files necessary to build
> ACL2 from scratch.")
>   (DEFCONST *COMMON-LISP-SPECIALS-AND-CONSTANTS*
>             '(* ** *** *BREAK-ON-SIGNALS*
>                 *COMPILE-FILE-PATHNAME*
>                 *COMPILE-FILE-TRUENAME*
>                 *COMPILE-PRINT* ...))
>   (DEFCONST *STOBJ-INLINE-DECLARE* '(DECLARE #))
>   (DEFMACRO MAKE-PACKAGE-ENTRY
>             (&KEY NAME IMPORTS
>                   HIDDEN-P BOOK-PATH DEFPKG-EVENT-INFO)
>             (CONS 'LIST* (CONS NAME #)))
>   ...).
> 
> 
> ACL2 loading '((COMP-FN :EXEC NIL STATE)).
> Compiling /Applications/acl2/acl2-sources/TMP1.lisp.
> [GC for 224 ARRAY pages..(T=31).GC finished]
> [GC for 224 ARRAY pages..(T=30).GC finished]
> [GC for 224 ARRAY pages..(T=32).GC finished]
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0,
> Speed=3
> Finished compiling /Applications/acl2/acl2-sources/TMP1.lisp.
> Loading TMP1.o
> [GC for 2098 CONTIGUOUS-BLOCKS pages..(T=34).GC finished]
> [GC for 2098 CONTIGUOUS-BLOCKS pages..(T=38).GC finished]
> [GC for 2098 CONTIGUOUS-BLOCKS pages..(T=37).GC finished]
> [GC for 2098 CONTIGUOUS-BLOCKS pages..(T=36).GC finished]
> [GC for 2098 CONTIGUOUS-BLOCKS pages..(T=37).GC finished]
> [GC for 2098 CONTIGUOUS-BLOCKS pages..(T=37).GC finished]
> [GC for 2098 CONTIGUOUS-BLOCKS pages..(T=36).GC finished]
> [GC for 2098 CONTIGUOUS-BLOCKS pages..(T=35).GC finished]
> start address -T 0xf66000 Finished loading TMP1.o
>  T
> 
> Finished loading '((COMP-FN :EXEC NIL STATE)).
> 
> ******************************************************************************
>           Initialization complete, beginning the check and save.
> ******************************************************************************
> Loading akcl-acl2-trace.lisp
> Warning: TRACE is being redefined.
> Warning: UNTRACE is being redefined.
> Finished loading akcl-acl2-trace.lisp
> [GC for 7543 CONS pages..(T=27).GC finished]
> [SGC on]
> Finished loading
> '((IN-PACKAGE "ACL2")
>   (DEFCONST *COMMON-LISP-SYMBOLS-FROM-MAIN-LISP-PACKAGE*
>             '(&ALLOW-OTHER-KEYS *PRINT-MISER-WIDTH*
>                                 &AUX *PRINT-PPRINT-DISPATCH*
>                                 &BODY *PRINT-PRETTY* &ENVIRONMENT
> ...))
>   (DEFCONST *ACL2-VERSION* "ACL2 Version 2.8")
>   (DEFCONST
>    *ACL2-FILES*
>    '("axioms" "basis" "translate" "type-set-a"
>               "linear-a" "type-set-b" "linear-b" ...)
>    "*acl2-files* is the list of all the files necessary to build
> ACL2 from scratch.")
>   (DEFCONST *COMMON-LISP-SPECIALS-AND-CONSTANTS*
>             '(* ** *** *BREAK-ON-SIGNALS*
>                 *COMPILE-FILE-PATHNAME*
>                 *COMPILE-FILE-TRUENAME*
>                 *COMPILE-PRINT* ...))
>   (DEFCONST *STOBJ-INLINE-DECLARE* '(DECLARE #))
>   (DEFMACRO MAKE-PACKAGE-ENTRY
>             (&KEY NAME IMPORTS
>                   HIDDEN-P BOOK-PATH DEFPKG-EVENT-INFO)
>             (CONS 'LIST* (CONS NAME #)))
>   ...).
> 
> 
> ACL2 loading '((COMP-FN :EXEC NIL STATE)).
> Compiling /Applications/acl2/acl2-sources/TMP1.lisp.
> [GC for 224 ARRAY pages..(T=31).GC finished]
> [GC for 224 ARRAY pages..(T=30).GC finished]
> [GC for 224 ARRAY pages..(T=32).GC finished]
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0,
> Speed=3
> Finished compiling /Applications/acl2/acl2-sources/TMP1.lisp.
> Loading TMP1.o
> [GC for 2098 CONTIGUOUS-BLOCKS pages..(T=34).GC finished]
> [GC for 2098 CONTIGUOUS-BLOCKS pages..(T=38).GC finished]
> [GC for 2098 CONTIGUOUS-BLOCKS pages..(T=37).GC finished]
> [GC for 2098 CONTIGUOUS-BLOCKS pages..(T=36).GC finished]
> [GC for 2098 CONTIGUOUS-BLOCKS pages..(T=37).GC finished]
> [GC for 2098 CONTIGUOUS-BLOCKS pages..(T=37).GC finished]
> [GC for 2098 CONTIGUOUS-BLOCKS pages..(T=36).GC finished]
> [GC for 2098 CONTIGUOUS-BLOCKS pages..(T=35).GC finished]
> start address -T 0xf66000 Finished loading TMP1.o
>  T
> 
> Finished loading '((COMP-FN :EXEC NIL STATE)).
> 
> ******************************************************************************
>           Initialization complete, beginning the check and save.
> ******************************************************************************
> Loading akcl-acl2-trace.lisp
> Warning: TRACE is being redefined.
> Warning: UNTRACE is being redefined.
> Finished loading akcl-acl2-trace.lisp
> [GC for 7543 CONS pages..(T=27).GC finished]
> [SGC on]
> 
> --------
> 
> The GCL process continues to take up nearly 50% of the CPU cycles,
> although almost none of that time is in user mode. The GCL process has
> been running for over 20 minutes now.
> 
> Does anyone have any ideas? I've been building from source because I
> don't know where to download a binary version of either GCL or ACL2
> that runs on Mac OS X.
> 
> Thanks,
> 
> -john
> 
> 
> John Matthews
> Sr. Technical Staff Assistant Professor, CSE Dept.
> Galois Connections, Inc.  Oregon Graduate Institute at OHSU
> http://www.galois.com http://cse.ogi.edu/~johnm
> (503) 626-6616, ext. 121
> 

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