gcl-devel
[Top][All Lists]
Advanced

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

[Gcl-devel] Re: xgcl on Linux works


From: Camm Maguire
Subject: [Gcl-devel] Re: xgcl on Linux works
Date: 28 Aug 2002 18:20:09 -0400

Greetings!

Great!  So...

1) Did you use the Debian package setup?
2) Did you get readline support?
3) Are you using gmp customized for a p3?  (I've never exercised the
        ISA extension code gmp will generate on such machines in a gcl
        program such as acl2 or maxima)
4) Do you have an indication of gcl's performance
        strengths/weaknesses? 

Take care,

Matt Kaufmann <address@hidden> writes:

> Thanks, Gordon.  All ACL2 tests completed successfully on a P3 (craigievar)
> using your build.  And, gcl-2.5.0-P3 beat Allegro 6.0 on craigievar.
> 
> GCL:
> 14817.130u 121.280s 4:10:04.44 99.5%  0+0k 0+0io 5153829pf+0w
> 
> Allegro:
> 15527.850u 94.000s 4:21:11.23 99.6%   0+0k 0+0io 4881150pf+0w
> 
> I also ran a small test suite on odin (which I guess is a P4) using
> gcl-2.5.0-P3, without trouble.
> 
> Thanks (Kay and Camm too)!
> 
> -- Matt
>    From: "Gordon Shaw Novak" <address@hidden>
>    Date: Tue, 27 Aug 2002 18:09:40 -0500
>    Cc: address@hidden, address@hidden
> 
>    I have made GCL-2.5.0-P3 which seems to run on both odin and loki.
>    Give it a try.
>    Cheers, Gordon
> 
> 

-- 
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]