[Top][All Lists]
[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