[Top][All Lists]

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

[Axiom-developer] Re: GCL on Redhat FC1

From: Camm Maguire
Subject: [Axiom-developer] Re: GCL on Redhat FC1
Date: 08 Mar 2004 16:38:32 -0500
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2

Greetings!  GCL is fully functional on FC1 without global exec-shield
shutoff provided one makes use of 'setarch'.  Built gcl and acl2
binaries are in my home directory provided by J. Shapiro.

1) setarch i386 ./configure (optional --enable-dynsysgmp, etc.)
2) setarch i386 make

1) setarch i386 make lisp=gcl
2) setarch i386 ./saved_acl2


If there is a way in which a program can internally, i.e. from within,
do its own 'setarch' and one can explain this to me, I'd be happy to
put it in GCL, configured in when appropriate.  Or if someone can post
the sources to setarch.  At the moment, the most convenient thing
would appear to be to provide an acl2 (or maxima, gcl, axiom...)
wrapper script with the setarch i386 explicitly provided.

Matt --

1) Any chance to look over the acl2-2.7-8 deb?
2) Did the compiler fix work for you?  It is committed. BTW, we just
   passed the clisp high water mark on Paul Dietz' random testers
   (size 1000/8) with no failures.  Will proceed to the 10,000 size
   case and report further, but in any case its looking quite solid.
   We may be alone with clisp in this measure of compiler robustness,
   and of course in GCL's case the compile is much more aggressive, to
   native code.  Congrats to all the many people who've helped with
   this release, which (hopefully) should be soon now.

Take care,

"Matt Kaufmann" <address@hidden> writes:

> Hi --
> For Redhat Fedora Core 1 ACL2 users only:
> In case you are using Redhat FC1 and are thinking of using GCL, you may want 
> to
> read the following note from Jonathan S. Shapiro, who tells me that the GCL
> maintainer is working on the problem -- hence future versions of GCL may be OK
> on Redhat FC1, but currently GCL cannot be built on that platform.
>   It seems that the exec-shield changes that were introduced in Redhat
>   Fedora Core 1 (FC1) render GCL non-functional. There is a workaround,
>   but it requires disabling a major FC1 security feature, which is
>   inadvisable.
>   The best solution for the moment is to use CMUCL instead, which runs
>   fine under Fedore Core 1. After installing CMUCL, I successfully built
>   ACL2 with the command
>         make LISP=lisp
>   We have made the relevant RPM files available from the Systems Research
>   Laboratory at Johns Hopkins University. If you like, you can simply
>   download them from:
> -- Matt

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]