[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gcl-devel] Volunteering for Mac OS X port.
From: |
Camm Maguire |
Subject: |
Re: [Gcl-devel] Volunteering for Mac OS X port. |
Date: |
01 May 2003 06:47:39 -0400 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
[ reminder -- I'm away from email until 6/1, so correspndence until
then may be spotty.]
Greetings! GCL maintains platform specific .h and .defs files in the
h/ subdirectory of the source tree. What I would do first is to start
with the powerpc-linux set. Copy these to powerpc-macosx, and then
run configure with the additional switch
--enable-machine=powerpc-macosx
You may have to do some editing of these newly created
powerpc-macosx.{h,defs} files, but they should be rather close to the
working linux case. Please let me know how it goes.
Take care,
Ruben Gamboa <address@hidden> writes:
> Camm, I'm trying to compile GCL on MacOS X, and running into all sorts
> of problems. I tried using the latest from CVS, and then I switched
> to the Debian source tree (2.5.2-1). The first problem was that it
> couldn't find -ldl, and I solved that. But now, I'm running into this:
>
> % ./configure --disable-statsysbfd --enable-dlopen
> ...
> host=powerpc-apple-darwin6.5
> ...
> Unable to guess machine type
> use configure --enable-machine-XXX, for XXX such that
> h/XXX.defs exists, ....
>
> Any hints?
>
> Thanks,
> Rg
>
>
>
> On Monday, February 10, 2003, at 12:25 PM, Camm Maguire wrote:
>
> > Greetings! In short, you definitely can get this to work. Details
> > follow:
> >
> > 1) On some platforms, GCL relocates object modules natively, in most
> > cases using the bfd library. The advantages here are principally
> > the ability to load objects, to a save-system, and find the modules
> > again when restarting. BFD support is currently available on i386,
> > ppc, arm, m68k, s390 and sparc. It is intended to extend this
> > support universally eventually.
> >
> > 2) For very large images, such as acl2 when verifying *all* books,
> > occasionally a relocation will require more than the 24bits
> > available by default on ppc. Other arches such as mips (16 bit
> > relocs) have a -mlong-calls option to gcc to write all relocs as 32
> > bits. this will only be available on ppc with gcc-3.3
> >
> > 3) For platforms where bfd relocation is not available, or desirable,
> > one can use GCL with dlopen (./configure --disable-statsysbfd
> > --enable-dlopen). No relocation overflow problems then appear, but
> > one cannot build lisp packages in the conventional way with (load
> > "foo.o")(save-system). ACL2 uses this method by default. For such
> > cases, GCL provides its own function (compiler::link ...) (see info
> > pages) to build a custom lisp image like acl2 without save-system.
> > In the Debian acl2 package, this method is employed in debian/rules
> > to extend acl2 support to all 11 Debian architectures.
> >
> > 4) So in sum, with gcc-3.3, adding -mlongcalls, all will work out of
> > the box. Before then, all will work if you use dlopen and
> > (compiler::link). Eventually, it might be nice to get support for
> > this build option into the upstream acl2 makefiles.
> >
> > Take care,
> >
> >
> > Omar El-Domeiri <address@hidden> writes:
> >
> >> Hi,
> >>
> >> Where can I find more information about the issues ACL2 has
> >> at this point. I set out on this with hopes of having ACL2
> >> on my mac os x laptop. Also, What will need to be done once
> >> gcc 3.3 is here? will the problems just go away or will
> >> gcl need some minor revamping?
> >>
> >> -Omar
> >>
> >> On Sun, Feb 09, 2003 at 10:03:37PM -0500, Camm Maguire wrote:
> >>> Greetings!
> >>>
> >>> Wonderful -- please keep us informed! You may also want to look at
> >>> the linux-powerpc port files, which is used by the Debian ppc GCL
> >>> package. On Debian, ppc is fully supported, with the exception that
> >>> we will be needing the upcoming -mlongcalls gcc compiler switch which
> >>> will be available here in the gcc 3.3 release. Only a few large
> >>> object loads in ACL2 are known to be affected.
> >>>
> >>> Take care,
> >>>
> >>> Take care,
> >>>
> >>> --
> >>> Camm Maguire address@hidden
> >>> =====================================================================
> >>> =====
> >>> "The earth is but one country, and mankind its citizens." --
> >>> Baha'u'llah
> >>>
> >>
> >>
> >>
> >> _______________________________________________
> >> Gcl-devel mailing list
> >> address@hidden
> >> http://mail.gnu.org/mailman/listinfo/gcl-devel
> >>
> >>
> >
> > --
> > Camm Maguire address@hidden
> > =======================================================================
> > ===
> > "The earth is but one country, and mankind its citizens." --
> > Baha'u'llah
> >
> --
> Ruben Gamboa
> Computer Science Dept
> University of Wyoming
> Laramie, WY 82063 USA
>
>
>
>
--
Camm Maguire address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- Re: [Gcl-devel] Volunteering for Mac OS X port.,
Camm Maguire <=