gcl-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Gcl-devel] Re: gcl-2.6.8pre on MAC OSX 10.2


From: Camm Maguire
Subject: [Gcl-devel] Re: gcl-2.6.8pre on MAC OSX 10.2
Date: 23 Oct 2006 10:23:25 -0400
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2

Greetings!

"Bill Page" <address@hidden> writes:

> Camm,
> 
> On October 21, 2006 4:05 PM you wrote:
> > 
> > Greetings!  Just checking that my last message hee was not lost.
> >
> 
> I was a bit confused because the message that you quote below is
> my reply to you not your last message. :-) But anyway I presume you
> meant the following email:
> 

Yes, thanks!

> On October 18, 2006 4:31 PM you asked:
> 
> >... 
> > Sigh.  I suppose reconfigured here?  The binutils configure scripts
> > do look for msgfmt.  I'm surprised they don't step around a missing
> > one, or at least bomb.  What does your binutils configure output say
> > in this regard?
> >
> 
> I am not sure what you are asking. I showed out the partial output
> from gcl-2.6.8pre/binutils/bfd/config.log below.
>  
> > > 
> > > ---------
> > > 
> > > gcl-2.6.8pre/binutils/bfd/config.log confirms:
> > > 
> > >  Invocation command line was
> > > 
> > >   $ ./configure --with-included-gettext
> > > 
> > > But apparently recursive makefile in bfd/po does not make
> > > use of the included gettext. Maybe this is a binutils bug? 
> > >  
> 
> When I looked further in this log file it showed that inspite of
> --with-included-gettext, the configure script also found the msgfmt
> in my local bin directory. I didn't understand this so I tried to
> reproduce the result but first I removed all the gettext and msgfmt
> from by local bin, but left it in the path in order to use the
> replacement for sed.
> 
> When I re-ran the gcl build it ran properly to completion without
> any error. Hmmmm... don't know. Can't reproduce. So scrap this one.
> Must have been my mistake.
> 

OK great!  But Gaby's suggestion of --disable-nls might also work --
to pressed for time to get this in unless it is really needed.

> > ...
> > > But see later in the message - I apparently have a problem with
> > > __srget.
> > > 
> > 
> > There is a notorious platform specific _ name mangling issue here.
> > See the LEADING_UNDERSCORE variable.
> > ... 
> > > 
> > > Thank you. I look forward to a finally finalized 2.6.8. The
> > > evoluton of 2.6.8pre is causing us a little consternaton in
> > > the current Axiom source distribution... :-)
> > >  
> > 
> > My apologies.  So many moving parts.  I have to get everything synched
> > on one image, however, if we want these apps in Etch.  And there have
> > been so many gcc et. al. issues.
> > 
> > BTW, are we not updating
> > 
> > http://axiom.axiom-developer.org/axiom-website/DOWNLOADS/
> > 
> > anymore?  Is there a latest official tarball somewhere for Etch (eta
> > this December)?  Having a simple webpage with the filenames in some
> > sort of alphabetical/cronological sort order lets me automatically
> > know when the Debian package needs updating.
> >
> 
> One no one has been created any new tarballs lately. The latest version
> in Axiom Gold is patch-50 but I don't think Tim created a tarball when
> he release the patch. :-(
>  

OK.  As you might know, Debian is trying to release Etch in December.
I'm skeptical, but we need to be ready.  I need to get all the gcl
packages in their current state back into testing as they were thrown
out due to a transient gcc on some platforms (it appears).  There
might be time for another source update if everything goes smoothly.


> > > ... 
> > > Something is strange about thid symbol "___srget" with the 3
> > > underscore characters, I think??? The name "__srget" with 2
> > > underscore characters is properly defined in /usr/include/stdio.h
> > > 
> > > I don't understand what is going on here.
> > > 
> > 
> > OK, your linker is prepending an underscore, and apparently
> > LEADING_UNDERSCORE was improperly set.  Could you investigate?
> 
> I tried to track this down. LEADING_UNDERSCORE is set to 1, which
> seems to be correct when I use nm to look at the symbols in the
> test file compiled by the gcl configure script. The raw symbol
> "___srget" does have 3 underscores (two in the original name), and
> cos appears as "_cos" etc. Everything works fine during the Axiom
> build for quite a while (up to the start of the building interpsys)
> until the 
> 
>   Error: Undefined symbol "___srget"
> 
> message appears. I would have presumed that this symbol would have
> been needed long before this failure occured. I rather suspsect that
> this error is a consequence of some deeper but silent problem, e.g.
> failed compiler::link?
> 

OK here is a simple test (asusming this symbol comes from getc() on
the mac:

foo.l:
(defun foo nil (with-open-file (s "/tmp/foo") (read-byte s)))

gcl
>(compile-file "foo.l")
>(load "foo.o")
>(bye)
nm foo.o |grep srget


> 
> > There may also be a C compiler switch for this.  Is this gcc?
> >
> 
> Yes it is
> 
> $ gcc --version
> gcc (GCC) 3.1 20020420 (prerelease)
> Copyright (C) 2002 Free Software Foundation, Inc.
> 
> What sort of switch? How/when should I set it?
>  

Lets try the above first.

> > 
> > > Also prior to compiling depsys, bootsys was already successfully
> > > created however it did have one oddity. The original Axiom load
> > > commands like ')load postpar' run during building depsys fails
> > > with an error message like "'postpar.8' does not exist" (Yes, that's
> > > the digit 8 after the dot.). If I change the command to include the
> > > .o like this: ')load postpar.o' everything seems fine and depsys
> > > is built.
> > > 
> > > bootsys itself is actually built form a copy of gcl called 'lisp'
> > > that is created using compiler::link. The 'lisp' image includes
> > > several Axiom specific external routines. I.e.
> > > 
> > > echo '(compiler::link nil
> > >  
> > > 
> > "/home/users/b/bi/billpage/osx/axiom.build-improvements/build/
> > powerpc-ap
> > > ple-darwin6.8/bin/lisp" ' \
> > >               ' (format nil "(progn (let ((*load-path* (cons ~S
> > > *load-path*))'\
> > >               ' (si::*load-types* ~S))' \
> > >               ' (compiler::emit-fn t))' \
> > >               ' (when (fboundp (quote si::sgc-on))' \
> > >               ' (si::sgc-on t))' \
> > >               ' (setq compiler::*default-system-p* t))"' \
> > >               ' si::*system-directory* (quote (list ".lsp")))' \
> > >               '
> > > 
> > "/home/users/b/bi/billpage/osx/axiom.build-improvements/lsp/..
> > /./src/lib
> > > /cfuns-c.o' \
> > >                '
> > > 
> > /home/users/b/bi/billpage/osx/axiom.build-improvements/lsp/../
> > ./src/lib/
> > > sockio-c.o' \
> > >                '
> > > 
> > /home/users/b/bi/billpage/osx/axiom.build-improvements/lsp/../
> > ./src/lib/
> > > libspad.a")' \
> > >  | /home/users/b/bi/billpage/osx/bin/gcl
> > 
> > Can you post the output from this?
> >
> 
>             | /home/users/b/bi/billpage/osx/bin/gcl
> GCL (GNU Common Lisp)  2.6.8 CLtL1    Oct 18 2006 15:24:28
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License:  GPL due to GPL'ed components: (BFD 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 set to /tmp/
> 
> >DBEGIN:          0x1c9000
> mach_mapstart:   0x5f9000
> heap_end:        0x5f9000
> core_end:        0x5f9000
> mach_brkpt:      0x5f9000
> mach_maplimit: 0x201c9000
> --- List of All Regions ---
>    address       size prot maxp zone_name
>          0     0x1000 none none (no zone)
>     0x1000   0x1c8000 r x  rwx  (no zone)
>   0x1c9000     0xf000 rw   rwx  (no zone)
>   0x1d8000   0x421000 rw   rwx  (no zone)
>   0x5f9000   0x165000 r    rwx  (no zone)
>   0x75e000    0x40000 rw   rwx  DefaultMallocZone
> --- List of Regions to be Dumped ---
>    address       size prot maxp zone_name
>          0     0x1000 none none (no zone)
>     0x1000   0x1c8000 r x  rwx  (no zone)
>   0x1c9000   0x430000 rw   rwx  (no zone)
>   0x5f9000   0x165000 r    rwx  (no zone)
>   0x75e000    0x40000 rw   rwx  DefaultMallocZone
> --- Header Information ---
> Magic      = 0xfeedface
> CPUType    = 18
> CPUSubType = 0
> FileType   = 0x2
> NCmds      = 10
> SizeOfCmds = 1620
> Flags      = 0x00000085
> Highest address of load commands in input file:     0x75e000
> Lowest offset of all sections in __TEXT segment:      0xc30
> --- List of Load Commands in Input File ---
> no cmd                 cmdsize name                address       size
>  0 LC_SEGMENT             0x38 __PAGEZERO                0     0x1000
>  1 LC_SEGMENT            0x258 __TEXT               0x1000   0x1c8000
>                                __text               0x1c30   0x1ad804
>                                __picsymbol_stub   0x1af434     0x1998
>                                __symbol_stub      0x1b0dcc          0
>                                __cstring          0x1b0dcc    0x16110
>                                __literal4         0x1c6edc       0x18
>                                __literal8         0x1c6ef8      0x108
>                                __const            0x1c7000     0x1f9c
>                                __eh_frame         0x1c8f9c       0x60
>  2 LC_SEGMENT            0x214 __DATA             0x1c9000   0x430000
>                                __data             0x1c9000     0xaee4
>                                __la_symbol_ptr    0x1d3ee4      0x2d8
>                                __nl_symbol_ptr    0x1d41bc      0x9e0
>                                __dyld             0x1d4b9c       0x1c
>                                __const            0x1d4bb8     0x2748
>                                __bss              0x1d7300     0x9340
>                                __common           0x1e0640   0x418970
>  3 LC_SEGMENT             0x38 __LINKEDIT         0x5f9000   0x165000
>  4 LC_LOAD_DYLINKER       0x1c
>  5 LC_LOAD_DYLIB          0x34
>  6 LC_SYMTAB              0x18
>  7 LC_DYSYMTAB            0x50
>  8 LC_TWOLEVEL_HINTS      0x10
>  9 LC_UNIXTHREAD          0xb0
> --- Load Commands written to Output File ---
> Writing segment __PAGEZERO       at          0 -          0 (sz:          0)
> Writing segment __TEXT           at          0 -   0x1c8000 (sz:   0x1c8000)
> Writing segment __DATA           at   0x1c8000 -   0x1d7000 (sz:     0xf000)
>         section __data           at   0x1c8000 -   0x1d2ee4 (sz:     0xaee4)
>         section __la_symbol_ptr  at   0x1d2ee4 -   0x1d31bc (sz:      0x2d8)
>         section __nl_symbol_ptr  at   0x1d31bc -   0x1d3b9c (sz:      0x9e0)
>         section __dyld           at   0x1d3b9c -   0x1d3bb8 (sz:       0x1c)
>         section __const          at   0x1d3bb8 -   0x1d6300 (sz:     0x2748)
>         section __bss            at   0x1d6300 -   0x1df640 (sz:     0x9340)
>         section __common         at   0x1df640 -   0x5f7fb0 (sz:   0x418970)
> Writing segment __DATA           at   0x5f8000 -   0x5f8000 (sz:          0)
> WGCL (GNU Common Lisp)  April 1994  131072 pages
> 

Does this stop here?  Or do you see "Initializing ...." as in your
compiler::link output below?

> > > 
> > > If I intervene and make Axiom use the original 'saved_gcl' to build
> > > 'bootsys' instead of using 'lisp', then the 'postpar.8' problem does
> > > not occur and gcl finds the .o files anyway, as expected.
> > > 
> > > This makes me suspicious that something subtle may be wrong with
> > > the output of 'compiler:link'. The size of the result images also
> > > seem curious:
> > > 
> > > -rwxr-xr-x  1 billpage  100  18362444 Oct 17 19:08 saved_gcl
> > > ...
> > > -rwxr-xr-x  1 billpage  100  13072984 Oct 18 04:01 lisp
> > > -rwxr-xr-x  1 billpage  100  19159640 Oct 18 04:01 bootsys
> > > -rwxr-xr-x  1 billpage  100   7719512 Oct 18 04:01 raw_lisp.tmp
> > > -rw-r--r--  1 billpage  100         0 Oct 18 04:01 raw_lisp_map
> > > -rwxr-xr-x  1 billpage  100  49588824 Oct 18 03:10 depsys
> > > 
> > > Remember that 'lisp' is create by 'compiler::link' from
> > > saved_gcl plus some externals. Why is it smaller? Also the
> > > "raw" files were left here don't look "normal" to me.
> > > 
> > > A test image of gcl created by
> > > 
> > >   $ gcl
> > >   (si:save-system "test-image")
> > >   (quit)
> > > 
> > > is actually *larger* than the original saved_gcl.
> > > 
> > > -rwxr-xr-x  1 billpage  100  23699532 Oct 18 11:07 test-image
> > > 
> > > Are all these problems related?
> > > 
> > > Any thing you can suggest would be greatly appreciated.
> > > 
> > 
> > I also suspect compiler::link failure.  It is also odd that
> > save-system images are so much bigger.  Here is the tiny difference on
> > Linux:
> > 
> > ls -l /usr/lib/gcl-2.6.7/unixport/saved_gcl
> > -rwxr-xr-x 1 root root 9329131 Oct 18 13:43 
> > /usr/lib/gcl-2.6.7/unixport/saved_gcl
> > /usr/lib/gcl-2.6.7/unixport/saved_gcl
> > GCL (GNU Common Lisp)  2.6.7 CLtL1    Oct 18 2006 13:40:07
> > Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> > Binary License:  GPL due to GPL'ed components: (XGCL READLINE 
> > BFD 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 set to /tmp/
> > 
> > >(si::save-system "/tmp/ff")
> > ls -l /tmp/ff
> > -rwxr-x--- 1 camm camm 9333267 Oct 18 16:25 /tmp/ff
> > 
> > compiler::link should be no smaller than saved_gcl.  The raw files are
> > explicitly deleted as named and output by gcc -- the .tmp extension
> > appears non-std and might be expected to persist.
> > 
> > I'd make two images, one with
> > 
> > (si::save-system "foo")
> > 
> > and the other with
> > 
> > (compiler::link nil "bar")
> > 
> > And then in each, do a few tests, including looking at
> > si::*load-types*.
> >
> 
> Ok, here are the result of your suggested tests below:
> 
> --------------
> 
> ppc-osx3:~/osx/axiom.build-improvements $ echo '(si::save-system "foo")' |
> gcl > foo.log
> ppc-osx3:~/osx/axiom.build-improvements $ echo '(compiler::link nil "bar")'
> | gcl > bar.log
> ppc-osx3:~/osx/axiom.build-improvements $ ls -l foo bar
> -rwxr-xr-x  1 billpage  100  13029844 Oct 21 15:06 bar
> -rwxr-xr-x  1 billpage  100  23708096 Oct 21 15:05 foo
> 
> ppc-osx3:~/osx/axiom.build-improvements $ cat foo.log
> 
> GCL (GNU Common Lisp)  2.6.8 CLtL1    Oct 18 2006 15:24:28
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License:  GPL due to GPL'ed components: (BFD 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 set to /tmp/
> 
> >DBEGIN:          0x1c7000
> mach_mapstart:   0x5f5000
> heap_end:        0xb0c000
> core_end:        0xb0d000
> mach_brkpt:     0xe737000
> mach_maplimit: 0x201c7000
> --- List of All Regions ---
>    address       size prot maxp zone_name
>          0     0x1000 none none (no zone)
>     0x1000   0x1c6000 r x  rwx  (no zone)
>   0x1c7000   0x42e000 rw   rwx  (no zone)
>   0x5f5000   0x517000 rwx  rwx  (no zone)
>   0xb0c000 0x1f6bb000 rwx  rwx  (no zone)
> --- List of Regions to be Dumped ---
>    address       size prot maxp zone_name
>          0     0x1000 none none (no zone)
>     0x1000   0x1c6000 r x  rwx  (no zone)
>   0x1c7000   0x42e000 rw   rwx  (no zone)
>   0x5f5000 0x1fbd2000 rwx  rwx  (no zone)
> --- Header Information ---
> Magic      = 0xfeedface
> CPUType    = 18
> CPUSubType = 0
> FileType   = 0x2
> NCmds      = 11
> SizeOfCmds = 1744
> Flags      = 0x00000085
> Highest address of load commands in input file:   0x5fad0000
> Lowest offset of all sections in __TEXT segment:      0x6f8
> --- List of Load Commands in Input File ---
> no cmd                 cmdsize name                address       size
>  0 LC_SEGMENT             0x38 __PAGEZERO                0     0x1000
>  1 LC_SEGMENT            0x258 __TEXT               0x1000   0x1c6000
>                                __text               0x16f8   0x1aafc8
>                                __picsymbol_stub   0x1ac6c0     0x18e4
>                                __symbol_stub      0x1adfa4          0
>                                __cstring          0x1adfa4    0x15f5c
>                                __literal4         0x1c3f00       0x18
>                                __literal8         0x1c3f18      0x108
>                                __const            0x1c4020     0x1f9c
>                                __eh_frame         0x1c5fbc       0x60
>  2 LC_SEGMENT            0x214 __DATA             0x1c7000   0x42e000
>                                __data             0x1c7000     0xaec4
>                                __la_symbol_ptr    0x1d1ec4      0x2c4
>                                __nl_symbol_ptr    0x1d2188      0x9c8
>                                __dyld             0x1d2b50       0x1c
>                                __const            0x1d2b6c     0x2748
>                                __bss              0x1d52b8     0x8f28
>                                __common           0x1de1e0   0x416d68
>  3 LC_SEGMENT             0x7c __DATA             0x5f5000 0x1fbd2000
>                                __data             0x5f5000   0x517000
>  4 LC_SEGMENT             0x38 __LINKEDIT       0x5f96b000   0x165000
>  5 LC_LOAD_DYLINKER       0x1c
>  6 LC_LOAD_DYLIB          0x34
>  7 LC_SYMTAB              0x18
>  8 LC_DYSYMTAB            0x50
>  9 LC_TWOLEVEL_HINTS      0x10
> 10 LC_UNIXTHREAD          0xb0
> --- Load Commands written to Output File ---
> Writing segment __PAGEZERO       at          0 -          0 (sz:          0)
> Writing segment __TEXT           at          0 -   0x1c6000 (sz:   0x1c6000)
> Writing segment __DATA           at   0x1c6000 -   0x5f4000 (sz:   0x42e000)
>         section __data           at   0x1c6000 -   0x1d0ec4 (sz:     0xaec4)
>         section __la_symbol_ptr  at   0x1d0ec4 -   0x1d1188 (sz:      0x2c4)
>         section __nl_symbol_ptr  at   0x1d1188 -   0x1d1b50 (sz:      0x9c8)
>         section __dyld           at   0x1d1b50 -   0x1d1b6c (sz:       0x1c)
>         section __const          at   0x1d1b6c -   0x1d42b4 (sz:     0x2748)
>         section __bss            at   0x1d42b8 -   0x1dd1e0 (sz:     0x8f28)
>         section __common         at   0x1dd1e0 -   0x5f3f48 (sz:   0x416d68)
> Writing segment __DATA           at   0x5f4000 -   0xb0c000 (sz:   0x518000)
> Writing segment __LINKEDIT       at  0x1538000 -  0x169c1c0 (sz:   0x1641c0)
> Writing LC_LOAD_DYLINKER  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
> 12 unused bytes follow Mach-O header
> 
> 
> ppc-osx3:~/osx/axiom.build-improvements $ cat bar.log
> 
> GCL (GNU Common Lisp)  2.6.8 CLtL1    Oct 18 2006 15:24:28
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License:  GPL due to GPL'ed components: (BFD 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 set to /tmp/
> 
> >DBEGIN:          0x1c7000

What I don't understand is this output appearing twice.  This is the
place it appears not to belong.  Is this not output only from unexec?

> mach_mapstart:   0x5f5000
> heap_end:        0x5f5000
> core_end:        0x5f5000
> mach_brkpt:      0x5f5000
> mach_maplimit: 0x201c7000
> --- List of All Regions ---
>    address       size prot maxp zone_name
>          0     0x1000 none none (no zone)
>     0x1000   0x1c6000 r x  rwx  (no zone)
>   0x1c7000     0xf000 rw   rwx  (no zone)
>   0x1d6000   0x41f000 rw   rwx  (no zone)
>   0x5f5000   0x165000 r    rwx  (no zone)
>   0x75a000    0x40000 rw   rwx  (no zone)
>   0x79a000    0x40000 rw   rwx  DefaultMallocZone
> --- List of Regions to be Dumped ---
>    address       size prot maxp zone_name
>          0     0x1000 none none (no zone)
>     0x1000   0x1c6000 r x  rwx  (no zone)
>   0x1c7000   0x42e000 rw   rwx  (no zone)
>   0x5f5000   0x165000 r    rwx  (no zone)
>   0x75a000    0x40000 rw   rwx  (no zone)
>   0x79a000    0x40000 rw   rwx  DefaultMallocZone
> --- Header Information ---
> Magic      = 0xfeedface
> CPUType    = 18
> CPUSubType = 0
> FileType   = 0x2
> NCmds      = 10
> SizeOfCmds = 1620
> Flags      = 0x00000085
> Highest address of load commands in input file:     0x75a000
> Lowest offset of all sections in __TEXT segment:     0x1658
> --- List of Load Commands in Input File ---
> no cmd                 cmdsize name                address       size
>  0 LC_SEGMENT             0x38 __PAGEZERO                0     0x1000
>  1 LC_SEGMENT            0x258 __TEXT               0x1000   0x1c6000
>                                __text               0x2658   0x1ab044
>                                __picsymbol_stub   0x1ad69c     0x18e4
>                                __symbol_stub      0x1aef80          0
>                                __cstring          0x1aef80    0x15f5c
>                                __literal4         0x1c4edc       0x18
>                                __literal8         0x1c4ef8      0x108
>                                __const            0x1c5000     0x1f9c
>                                __eh_frame         0x1c6f9c       0x60
>  2 LC_SEGMENT            0x214 __DATA             0x1c7000   0x42e000
>                                __data             0x1c7000     0xaec4
>                                __la_symbol_ptr    0x1d1ec4      0x2c4
>                                __nl_symbol_ptr    0x1d2188      0x9c8
>                                __dyld             0x1d2b50       0x1c
>                                __const            0x1d2b6c     0x2748
>                                __bss              0x1d52b8     0x8f28
>                                __common           0x1de1e0   0x416d58
>  3 LC_SEGMENT             0x38 __LINKEDIT         0x5f5000   0x165000
>  4 LC_LOAD_DYLINKER       0x1c
>  5 LC_LOAD_DYLIB          0x34
>  6 LC_SYMTAB              0x18
>  7 LC_DYSYMTAB            0x50
>  8 LC_TWOLEVEL_HINTS      0x10
>  9 LC_UNIXTHREAD          0xb0
> --- Load Commands written to Output File ---
> Writing segment __PAGEZERO       at          0 -          0 (sz:          0)
> Writing segment __TEXT           at          0 -   0x1c6000 (sz:   0x1c6000)
> Writing segment __DATA           at   0x1c6000 -   0x1d5000 (sz:     0xf000)
>         section __data           at   0x1c6000 -   0x1d0ec4 (sz:     0xaec4)
>         section __la_symbol_ptr  at   0x1d0ec4 -   0x1d1188 (sz:      0x2c4)
>         section __nl_symbol_ptr  at   0x1d1188 -   0x1d1b50 (sz:      0x9c8)
>         section __dyld           at   0x1d1b50 -   0x1d1b6c (sz:       0x1c)
>         section __const          at   0x1d1b6c -   0x1d42b4 (sz:     0x2748)
>         section __bss            at   0x1d42b8 -   0x1dd1e0 (sz:     0x8f28)
>         section __common         at   0x1dd1e0 -   0x5f3f38 (sz:   0x41GCL
> (GNU Common Lisp)  April 1994  131072 pages
> Building symbol table for
> /private/automount/home/users/b/bi/billpage/osx/axiom.build-improvements/raw
> _bar.tmp ..
> loading
> /home/users/b/bi/billpage/osx/lib/gcl-2.6.8/unixport/../lsp/gcl_export.lsp
> Initializing gcl_defmacro.o
> Initializing gcl_evalmacros.o
> Initializing gcl_top.o
> Initializing gcl_module.o
> loading
> /home/users/b/bi/billpage/osx/lib/gcl-2.6.8/unixport/../lsp/gcl_autoload.lsp
> 
> >
> NIL
> 
> >
> #<"COMPILER" package>
> 
> >
> #<"SLOOP" package>
> 
> >
> #<"SERROR" package>
> 
> >
> #<"ANSI-LOOP" package>
> 
> >
> #<"DEFPACKAGE" package>
> 
> >
> #<"TK" package>
> 
> >
> #<"SYSTEM" package>
> 
> SYSTEM>
> *COMMAND-ARGS*
> 
> SYSTEM>Initializing gcl_predlib.o
> Initializing gcl_setf.o
> Initializing gcl_arraylib.o
> Initializing gcl_assert.o
> Initializing gcl_defstruct.o
> Initializing gcl_describe.o
> Initializing gcl_iolib.o
> Initializing gcl_listlib.o
> Initializing gcl_mislib.o
> Initializing gcl_numlib.o
> Initializing gcl_packlib.o
> Initializing gcl_seq.o
> Initializing gcl_seqlib.o
> Initializing gcl_trace.o
> Initializing gcl_sloop.o
> Initializing gcl_serror.o
> Initializing gcl_destructuring_bind.o
> Initializing gcl_loop.o
> Initializing gcl_defpackage.o
> Initializing gcl_make_defpackage.o
> Initializing gcl_cmpinline.o
> Initializing gcl_cmputil.o
> Initializing gcl_debug.o
> Initializing gcl_info.o
> Initializing gcl_cmptype.o
> Initializing gcl_cmpbind.o
> Initializing gcl_cmpblock.o
> Initializing gcl_cmpcall.o
> Initializing gcl_cmpcatch.o
> Initializing gcl_cmpenv.o
> Initializing gcl_cmpeval.o
> Initializing gcl_cmpflet.o
> Initializing gcl_cmpfun.o
> Initializing gcl_cmpif.o
> Initializing gcl_cmplabel.o
> Initializing gcl_cmplam.o
> Initializing gcl_cmplet.o
> Initializing gcl_cmploc.o
> Initializing gcl_cmpmap.o
> Initializing gcl_cmpmulti.o
> Initializing gcl_cmpspecial.o
> Initializing gcl_cmptag.o
> Initializing gcl_cmptop.o
> Initializing gcl_cmpvar.o
> Initializing gcl_cmpvs.o
> Initializing gcl_cmpwt.o
> 
> Loading
> /home/users/b/bi/billpage/osx/lib/gcl-2.6.8/unixport/../lsp/sys-proclaim.lis
> p
> Finished loading
> /home/users/b/bi/billpage/osx/lib/gcl-2.6.8/unixport/../lsp/sys-proclaim.lis
> p
> Loading
> /home/users/b/bi/billpage/osx/lib/gcl-2.6.8/unixport/../cmpnew/sys-proclaim.
> lisp
> Finished loading
> /home/users/b/bi/billpage/osx/lib/gcl-2.6.8/unixport/../cmpnew/sys-proclaim.
> lisp
> Loading
> /home/users/b/bi/billpage/osx/lib/gcl-2.6.8/unixport/../gcl-tk/tk-package.ls
> p
> Finished loading
> /home/users/b/bi/billpage/osx/lib/gcl-2.6.8/unixport/../gcl-tk/tk-package.ls
> p
> Loading
> /home/users/b/bi/billpage/osx/lib/gcl-2.6.8/unixport/../cmpnew/gcl_cmpmain.l
> sp
> Warning: COMPILE-FILE is being redefined.
> Warning: COMPILE is being redefined.
> Warning: DISASSEMBLE is being redefined.
> Finished loading
> /home/users/b/bi/billpage/osx/lib/gcl-2.6.8/unixport/../cmpnew/gcl_cmpmain.l
> sp
> Loading
> /home/users/b/bi/billpage/osx/lib/gcl-2.6.8/unixport/../cmpnew/gcl_lfun_list
> .lsp
> Finished loading
> /home/users/b/bi/billpage/osx/lib/gcl-2.6.8/unixport/../cmpnew/gcl_lfun_list
> .lsp
> Loading
> /home/users/b/bi/billpage/osx/lib/gcl-2.6.8/unixport/../cmpnew/gcl_cmpopt.ls
> p
> Finished loading
> /home/users/b/bi/billpage/osx/lib/gcl-2.6.8/unixport/../cmpnew/gcl_cmpopt.ls
> p
> Loading
> /home/users/b/bi/billpage/osx/lib/gcl-2.6.8/unixport/../lsp/gcl_auto_new.lsp
> Finished loading
> /home/users/b/bi/billpage/osx/lib/gcl-2.6.8/unixport/../lsp/gcl_auto_new.lsp
> 
> T
> 
> >DBEGIN:          0x1c7000
> mach_mapstart:   0x5f5000
> heap_end:        0xb09000
> core_end:        0xb0a000
> mach_brkpt:     0x57df000
> mach_maplimit: 0x201c7000
> --- List of All Regions ---
>    address       size prot maxp zone_name
>          0     0x1000 none none (no zone)
>     0x1000   0x1c6000 r x  rwx  (no zone)
>   0x1c7000   0x42e000 rw   rwx  (no zone)
>   0x5f5000 0x1fbd2000 rwx  rwx  (no zone)
> --- List of Regions to be Dumped ---
>    address       size prot maxp zone_name
>          0     0x1000 none none (no zone)
>     0x1000   0x1c6000 r x  rwx  (no zone)
>   0x1c7000   0x42e000 rw   rwx  (no zone)
>   0x5f5000 0x1fbd2000 rwx  rwx  (no zone)
> --- Header Information ---
> Magic      = 0xfeedface
> CPUType    = 18
> CPUSubType = 0
> FileType   = 0x2
> NCmds      = 11
> SizeOfCmds = 1744
> Flags      = 0x00000085
> Highest address of load commands in input file:   0x2032c000
> Lowest offset of all sections in __TEXT segment:     0x1658
> --- List of Load Commands in Input File ---
> no cmd                 cmdsize name                address       size
>  0 LC_SEGMENT             0x38 __PAGEZERO                0     0x1000
>  1 LC_SEGMENT            0x258 __TEXT               0x1000   0x1c6000
>                                __text               0x2658   0x1ab044
>                                __picsymbol_stub   0x1ad69c     0x18e4
>                                __symbol_stub      0x1aef80          0
>                                __cstring          0x1aef80    0x15f5c
>                                __literal4         0x1c4edc       0x18
>                                __literal8         0x1c4ef8      0x108
>                                __const            0x1c5000     0x1f9c
>                                __eh_frame         0x1c6f9c       0x60
>  2 LC_SEGMENT            0x214 __DATA             0x1c7000   0x42e000
>                                __data             0x1c7000     0xaec4
>                                __la_symbol_ptr    0x1d1ec4      0x2c4
>                                __nl_symbol_ptr    0x1d2188      0x9c8
>                                __dyld             0x1d2b50       0x1c
>                                __const            0x1d2b6c     0x2748
>                                __bss              0x1d52b8     0x8f28
>                                __common           0x1de1e0   0x416d58
>  3 LC_SEGMENT             0x7c __DATA             0x5f5000 0x1fbd2000
>                                __data             0x5f5000          0
>  4 LC_SEGMENT             0x38 __LINKEDIT       0x201c7000   0x165000
>  5 LC_LOAD_DYLINKER       0x1c
>  6 LC_LOAD_DYLIB          0x34
>  7 LC_SYMTAB              0x18
>  8 LC_DYSYMTAB            0x50
>  9 LC_TWOLEVEL_HINTS      0x10
> 10 LC_UNIXTHREAD          0xb0
> --- Load Commands written to Output File ---
> Writing segment __PAGEZERO       at          0 -          0 (sz:          0)
> Writing segment __TEXT           at          0 -   0x1c6000 (sz:   0x1c6000)
> Writing segment __DATA           at   0x1c6000 -   0x5f4000 (sz:   0x42e000)
>         section __data           at   0x1c6000 -   0x1d0ec4 (sz:     0xaec4)
>         section __la_symbol_ptr  at   0x1d0ec4 -   0x1d1188 (sz:      0x2c4)
>         section __nl_symbol_ptr  at   0x1d1188 -   0x1d1b50 (sz:      0x9c8)
>         section __dyld           at   0x1d1b50 -   0x1d1b6c (sz:       0x1c)
>         section __const          at   0x1d1b6c -   0x1d42b4 (sz:     0x2748)
>         section __bss            at   0x1d42b8 -   0x1dd1e0 (sz:     0x8f28)
>         section __common         at   0x1dd1e0 -   0x5f3f38 (sz:   0x416d58)
> Writing segment __DATA           at   0x5f4000 -   0xb09000 (sz:   0x515000)
> Writing segment __LINKEDIT       at   0xb09000 -   0xc6d1d4 (sz:   0x1641d4)
> Writing LC_LOAD_DYLINKER  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
> 3948 unused bytes follow Mach-O header
> 
> "bar"
> 
> ppc-osx3:~/osx/axiom.build-improvements $ ./foo
> GCL (GNU Common Lisp)  2.6.8 CLtL1    Oct 18 2006 15:24:28
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License:  GPL due to GPL'ed components: (BFD 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 set to /tmp/
> 
> >si::*load-types*
> 
> (".o" ".lsp" ".lisp")
> 
> >(+ 1 1)
> 
> 2
> 
> >(quit)
> 
> ppc-osx3:~/osx/axiom.build-improvements $ ./bar
> GCL (GNU Common Lisp)  2.6.8 CLtL1    Oct 18 2006 15:24:28
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License:  GPL due to GPL'ed components: (BFD 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 set to /tmp/
> 
> >si::*load-types*
> 
> (".o" ".lsp" ".lisp")
> 
> >(+ 1 1)
> 
> 2
> 
> >(quit)
> 
> ppc-osx3:~/osx/axiom.build-improvements $
> 
> -----------
> 
> Besides the difference in size in the images, I don't see any
> other visible problems. Does the output from the save-system
> and compiler::link help? I have no idea what it should look
> like.

Might be of use seeing if both images can compile and load files,
especially the test file foo.l above.


> 
> > 
> > Lastly, you all in the axiom world might like to know that I'm about
> > to release an HOL88 Debian package build atop GCL.  In addition to
> > providing an alternate theorem proving environment, one also has the
> > ML language built into the same image for potential use by axiom.
> > More on this later.
> > 
> 
> That sounds very interesting.
> 
> I think we need to move this part of the message to a more conspicuous
> place. :-)

OK reply separately.

Take care,

> 
> Thanks.
> 
> Regards,
> Bill Page.
> 
> 
> 
> 
> 

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




reply via email to

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