gcl-devel
[Top][All Lists]
Advanced

[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





reply via email to

[Prev in Thread] Current Thread [Next in Thread]