[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gcl-devel] Re: Can't build ACL2 using GCL under Mac OS X 3.3
From: |
Aurelien Chanudet |
Subject: |
[Gcl-devel] Re: Can't build ACL2 using GCL under Mac OS X 3.3 |
Date: |
Sun, 23 May 2004 08:11:32 +0200 |
Hi Camm & all,
On May 22, 2004, at 4:54, Camm Maguire wrote:
Greetings!
I'm forwarding this to the GCL devel list and our MacOS X maintainer
for more detailed commentary.
Thanks for that.
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?
I'm waiting for the 2.6.2 release before producing an executable
binary. I'm also waiting for this release before submitting a new gcl
package to fink.
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'm running the same version of Mac OS X.
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.
Hmm. I can't reproduce your error on my machine. Here is my 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)).
[GC for 122 STRING pages..(T=40).GC finished]
[GC for 122 STRING pages..(T=40).GC finished]
[GC for 122 STRING pages..(T=39).GC finished]
[GC for 122 STRING pages..(T=39).GC finished]
[GC for 122 STRING pages..(T=39).GC finished]
[GC for 122 STRING pages..(T=38).GC finished]
[GC for 122 STRING pages..(T=40).GC finished]
[GC for 122 STRING pages..(T=37).GC finished]
[GC for 122 STRING pages..(T=40).GC finished]
[GC for 122 STRING pages..(T=39).GC finished]
[GC for 122 STRING pages..(T=39).GC finished]
[GC for 122 STRING pages..(T=37).GC finished]
[GC for 122 STRING pages..(T=38).GC finished]
[GC for 122 STRING pages..(T=39).GC finished]
[GC for 122 STRING pages..(T=38).GC finished]
[GC for 122 STRING pages..(T=40).GC finished]
[GC for 5061 CONS pages..(T=41).GC finished]
[GC for 5071 CONS pages..(T=39).GC finished]
[GC for 5081 CONS pages..(T=41).GC finished]
[GC for 132 STRING pages..(T=41).GC finished]
[GC for 132 STRING pages..(T=40).GC finished]
[GC for 132 STRING pages..(T=40).GC finished]
[GC for 132 STRING pages..(T=41).GC finished]
[GC for 132 STRING pages..(T=38).GC finished]
[GC for 132 STRING pages..(T=38).GC finished]
[GC for 5091 CONS pages..(T=40).GC finished]
[GC for 132 STRING pages..(T=39).GC finished]
[GC for 132 STRING pages..(T=37).GC finished]
[GC for 132 STRING pages..(T=39).GC finished]
[GC for 132 STRING pages..(T=38).GC finished]
[GC for 132 STRING pages..(T=41).GC finished]
[GC for 132 STRING pages..(T=38).GC finished]
[GC for 132 STRING pages..(T=39).GC finished]
[GC for 132 STRING pages..(T=39).GC finished]
Compiling /src/src/acl2-v2-8-sources/TMP1.lisp.
[GC for 132 STRING pages..(T=42).GC finished]
[GC for 5101 CONS pages..(T=38).GC finished]
[GC for 5111 CONS pages..(T=40).GC finished]
[GC for 5121 CONS pages..(T=41).GC finished]
[GC for 5131 CONS pages..(T=41).GC finished]
[GC for 5141 CONS pages..(T=36).GC finished]
[GC for 5151 CONS pages..(T=37).GC finished]
[GC for 5161 CONS pages..(T=42).GC finished]
[GC for 5171 CONS pages..(T=40).GC finished]
[GC for 5181 CONS pages..(T=43).GC finished]
[GC for 5191 CONS pages..(T=43).GC finished]
[GC for 5201 CONS pages..(T=42).GC finished]
[GC for 5211 CONS pages..(T=39).GC finished]
[GC for 5221 CONS pages..(T=41).GC finished]
[GC for 5231 CONS pages..(T=42).GC finished]
[GC for 5241 CONS pages..(T=38).GC finished]
[GC for 5251 CONS pages..(T=41).GC finished]
[GC for 5261 CONS pages..(T=41).GC finished]
[GC for 5271 CONS pages..(T=41).GC finished]
[GC for 5281 CONS pages..(T=41).GC finished]
[GC for 5291 CONS pages..(T=42).GC finished]
[GC for 5301 CONS pages..(T=42).GC finished]
[GC for 5311 CONS pages..(T=43).GC finished]
[GC for 5321 CONS pages..(T=42).GC finished]
[GC for 5331 CONS pages..(T=42).GC finished]
[GC for 5341 CONS pages..(T=41).GC finished]
[GC for 5351 CONS pages..(T=41).GC finished]
[GC for 5361 CONS pages..(T=41).GC finished]
[GC for 5371 CONS pages..(T=44).GC finished]
[GC for 5381 CONS pages..(T=44).GC finished]
[GC for 5391 CONS pages..(T=43).GC finished]
[GC for 5401 CONS pages..(T=44).GC finished]
[GC for 5411 CONS pages..(T=43).GC finished]
[GC for 5421 CONS pages..(T=41).GC finished]
[GC for 5431 CONS pages..(T=43).GC finished]
[GC for 5441 CONS pages..(T=43).GC finished]
[GC for 5451 CONS pages..(T=43).GC finished]
[GC for 5461 CONS pages..(T=44).GC finished]
[GC for 5471 CONS pages..(T=46).GC finished]
[GC for 5481 CONS pages..(T=41).GC finished]
[GC for 5491 CONS pages..(T=42).GC finished]
[GC for 5501 CONS pages..(T=43).GC finished]
[GC for 5511 CONS pages..(T=45).GC finished]
End of Pass 1.
[GC for 5521 CONS pages..(T=43).GC finished]
[GC for 132 STRING pages..(T=43).GC finished]
[GC for 5531 CONS pages..(T=43).GC finished]
[GC for 5541 CONS pages..(T=44).GC finished]
[GC for 5551 CONS pages..(T=45).GC finished]
[GC for 5561 CONS pages..(T=42).GC finished]
[GC for 5571 CONS pages..(T=43).GC finished]
[GC for 28 FIXNUM pages..(T=46).GC finished]
[GC for 28 FIXNUM pages..(T=45).GC finished]
[GC for 28 FIXNUM pages..(T=44).GC finished]
[GC for 28 FIXNUM pages..(T=43).GC finished]
[GC for 28 FIXNUM pages..(T=43).GC finished]
[GC for 28 FIXNUM pages..(T=46).GC finished]
[GC for 28 FIXNUM pages..(T=45).GC finished]
[GC for 28 FIXNUM pages..(T=43).GC finished]
[GC for 5581 CONS pages..(T=43).GC finished]
[GC for 38 FIXNUM pages..(T=44).GC finished]
End of Pass 2.
OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
Finished compiling /src/src/acl2-v2-8-sources/TMP1.lisp.
Loading TMP1.o
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=85).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=81).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=80).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=83).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=81).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=82).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=83).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=83).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=79).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=83).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=83).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=83).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=79).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=80).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=83).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=81).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=83).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=81).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=81).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=79).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=84).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=79).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=82).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=77).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=83).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=86).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=82).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=81).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=81).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=83).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=81).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=81).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=79).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=81).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=81).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=81).GC finished]
[GC for 5585 CONTIGUOUS-BLOCKS pages..(T=82).GC finished]
[GC for 5957 CONTIGUOUS-BLOCKS pages..(T=85).GC finished]
[GC for 5957 CONTIGUOUS-BLOCKS pages..(T=84).GC finished]
[GC for 5957 CONTIGUOUS-BLOCKS pages..(T=83).GC finished]
[GC for 5957 CONTIGUOUS-BLOCKS pages..(T=82).GC finished]
[GC for 5957 CONTIGUOUS-BLOCKS pages..(T=82).GC finished]
[GC for 5957 CONTIGUOUS-BLOCKS pages..(T=83).GC finished]
[GC for 5957 CONTIGUOUS-BLOCKS pages..(T=82).GC finished]
[GC for 5957 CONTIGUOUS-BLOCKS pages..(T=84).GC finished]
[GC for 5957 CONTIGUOUS-BLOCKS pages..(T=82).GC finished]
[GC for 5957 CONTIGUOUS-BLOCKS pages..(T=86).GC finished]
[GC for 5957 CONTIGUOUS-BLOCKS pages..(T=88).GC finished]
[GC for 5957 CONTIGUOUS-BLOCKS pages..(T=84).GC finished]
[GC for 5957 CONTIGUOUS-BLOCKS pages..(T=85).GC finished]
[GC for 5957 CONTIGUOUS-BLOCKS pages..(T=84).GC finished]
[GC for 5957 CONTIGUOUS-BLOCKS pages..(T=83).GC finished]
[GC for 28 SFUN pages..(T=41).GC finished]
start address -T 0x2086880 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 5591 CONS pages..(T=38).GC finished]
[GC for 5591 CONS pages..(T=40).GC finished]
[GC for 249 SYMBOL pages..(T=43).GC finished]
[GC for 5591 CONS pages..(T=40).GC finished]
[GC for 5591 CONS pages..(T=43).GC finished]
[GC for 5242 RELOCATABLE-BLOCKS pages..(T=46).GC finished]
[SGC on][SGC off][GC for 6104 CONTIGUOUS-BLOCKS pages..[SGC
on](T=89).GC finished]
DBEGIN: 0x4a8000
mach_mapstart: 0x90d000
heap_end: 0x3cf8000
core_end: 0x3cf9000
mach_brkpt: 0xefd2000
mach_maplimit: 0x204a8000
--- List of All Regions ---
address size prot maxp zone_name
0 0x1000 none none (no zone)
0x1000 0x1000 r x rwx (no zone)
0x2000 0x4a6000 r x rwx (no zone)
0x4a8000 0x465000 rw rwx (no zone)
0x90d000 0x1000 r rwx (no zone)
0x90e000 0x1000 rwx rwx (no zone name)
0x90f000 0x1000 r rwx (no zone)
0x910000 0x23000 rwx rwx (no zone name)
0x933000 0x2000 r rwx (no zone)
0x935000 0x1000 rwx rwx (no zone)
0x936000 0x1000 r rwx (no zone)
0x937000 0x3000 r rwx (no zone)
0x93a000 0x3000 rwx rwx (no zone name)
0x93d000 0x1000 r rwx (no zone)
0x93e000 0x1000 r rwx (no zone)
0x93f000 0x1000 r rwx (no zone)
0x940000 0x1000 r rwx (no zone)
0x941000 0x2000 rwx rwx (no zone)
0x943000 0x1000 r rwx (no zone)
0x944000 0x1000 r rwx (no zone)
0x945000 0x4000 r rwx (no zone)
0x949000 0x1000 r rwx (no zone)
0x94a000 0xb62000 rwx rwx (no zone name)
--- List of Regions to be Dumped ---
address size prot maxp zone_name
0 0x1000 none none (no zone)
0x1000 0x4a7000 r x rwx (no zone)
0x4a8000 0x465000 rw rwx (no zone)
0x90d000 0x1000 r rwx (no zone)
0x90e000 0x1000 rwx rwx (no zone name)
0x90f000 0x1000 r rwx (no zone)
0x910000 0x23000 rwx rwx (no zone name)
0x933000 0x2000 r rwx (no zone)
0x935000 0x1000 rwx rwx (no zone)
0x936000 0x4000 r rwx (no zone)
0x93a000 0x3000 rwx rwx (no zone name)
0x93d000 0x4000 r rwx (no zone)
0x941000 0x2000 rwx rwx (no zone)
0x943000 0x7000 r rwx (no zone)
0x94a000 0xb62000 rwx rwx (no zone name)
--- Header Information ---
Magic = 0xfeedface
CPUType = 18
CPUSubType = 0
FileType = 0x2
NCmds = 14
SizeOfCmds = 1964
Flags = 0x00000085
Highest address of load commands in input file: 0x60091000
Lowest offset of all sections in __TEXT segment: 0xf48
--- List of Load Commands in Input File ---
no cmd cmdsize name address size
0 LC_SEGMENT 0x38 __PAGEZERO 0 0x1000
1 LC_SEGMENT 0x29c __TEXT 0x1000 0x4a7000
__text 0x1f48 0x49d0ec
__picsymbol_stub 0x49f034 0
__symbol_stub 0x49f034 0
__picsymbolstub1 0x49f034 0x15c0
__cstring 0x4a05f4 0x5e68
__literal8 0x4a6460 0xd0
__literal4 0x4a6530 0x18
__const 0x4a6548 0x1a80
__eh_frame 0x4a7fc8 0x38
2 LC_SEGMENT 0x214 __DATA 0x4a8000 0x465000
__data 0x4a8000 0x28430
__la_symbol_ptr 0x4d0430 0x2b8
__nl_symbol_ptr 0x4d06e8 0xb54
__dyld 0x4d123c 0x1c
__const 0x4d1258 0x2264
__bss 0x4d34c0 0x2694
__common 0x4d5b60 0x436a64
3 LC_SEGMENT 0x7c __DATA 0x90d000 0x1fb9b000
__data 0x90d000 0x1098000
4 LC_SEGMENT 0x38 __LINKEDIT 0x5fbde000 0x4b3000
5 LC_LOAD_DYLINKER 0x1c
6 LC_LOAD_DYLIB 0x34
7 LC_LOAD_DYLIB 0x34
8 LC_LOAD_DYLIB 0x34
9 LC_LOAD_DYLIB 0x30
10 LC_SYMTAB 0x18
11 LC_DYSYMTAB 0x50
12 LC_TWOLEVEL_HINTS 0x10
13 LC_UNIXTHREAD 0xb0
--- Load Commands written to Output File ---
Writing segment __PAGEZERO at 0 - 0 (sz:
0)
Writing segment __TEXT at 0 - 0x4a7000 (sz:
0x4a7000)
Writing segment __DATA at 0x4a7000 - 0x90c000 (sz:
0x465000)
section __data at 0x4a7000 - 0x4cf430 (sz:
0x28430)
section __la_symbol_ptr at 0x4cf430 - 0x4cf6e8 (sz:
0x2b8)
section __nl_symbol_ptr at 0x4cf6e8 - 0x4d023c (sz:
0xb54)
section __dyld at 0x4d023c - 0x4d0258 (sz:
0x1c)
section __const at 0x4d0258 - 0x4d24bc (sz:
0x2264)
section __bss at 0x4d24c0 - 0x4d4b54 (sz:
0x2694)
section __common at 0x4d4b60 - 0x90b5c4 (sz:
0x436a64)
Writing segment __DATA at 0x90c000 - 0x3cf8000 (sz:
0x33ec000)
Writing segment __LINKEDIT at 0x5e07000 - 0x62b9c74 (sz:
0x4b2c74)
Writing LC_LOAD_DYLINKER command
Writing LC_LOAD_DYLIB command
Writing LC_LOAD_DYLIB command
Writing LC_LOAD_DYLIB command
Writing LC_LOAD_DYLIB command
Writing LC_SYMTAB command
Fixed up 0/17 external relocation entries in data segment.
Writing LC_DYSYMTAB command
Writing LC_TWOLEVEL_HINTS command
Writing LC_UNIXTHREAD command
1920 unused bytes follow Mach-O header
However, I remember encountering this kind of SGC related issue you
seem to be running on. In my experience, compilation occasionally
happened to hang at this stage for me in the past because of the way
segmentation faults are handled on OS X. First of all, the signal
raised by segmentation faults on OS X appears to be different from the
one raised on Linux. Second of all, si_addr does not contain the
faulting address on OS X, which is a bug in Darwin. To workaround this,
you have to look at the dar field of the exception state. I'm
forwarding a copy of a mail I sent to one of Apple's development
mailing lists in the hope that will help you understand what I'm
alluding to here.
Could you please compile and run the following code ? Your output
should look like : "addr = 0x00000043".
#include <signal.h>
#include <unistd.h>
#include <stdio.h>
#include <sys/ucontext.h>
void handler (int sig, siginfo_t *info, void *scp)
{
ucontext_t *uc = (ucontext_t *)scp;
fprintf(stderr, "addr = 0x%08lx\n", uc->uc_mcontext->es.dar);
_exit(99);
}
int main(void)
{
struct sigaction sact;
int ret;
sigfillset(&(sact.sa_mask));
sact.sa_flags = SA_SIGINFO;
sact.sa_sigaction = (void (*)())handler;
ret = sigaction (SIGBUS, &sact, 0);
return *(int *)0x43;
}
Please, keep us posted !
Aurelien