Camm Maguire writes:
Greetings!
"Vadim V. Zhytnikov" <[EMAIL PROTECTED]> writes:
Since I already spent some time meditating on GCL's makefile and
things it is supposed to do I'll try do some cosmetic patch for t4.
Thanks! Also, if you have the time for some of the ansi print/format
funct
Camm,
On Wednesday, August 10, 2005 2:14 PM you wrote:
> ...
> Re: [Gcl-devel] Version_2_7_0t5
>
> Greetings! Small correction -- there is a minor issue remaining
> in t5 for axiom.
>
I am glad to hear that building Axiom (on Linux at least) with
gcl 2.7.0 is so close! :)
Tim has recently mov
Greetings! OK, that's in cvs head now -- wonder how that got broken.
Take care,
Robert Boyer <[EMAIL PROTECTED]> writes:
> For t5, in the most recent fix to *split-files* stuff, in the function
> compile-file, in cmpnew/cmpmain.lisp, the first print statement should read
>
> (pri
Greetings! Small correction -- there is a minor issue remaining in t5
for axiom.
Take care,
Camm Maguire <[EMAIL PROTECTED]> writes:
> Greetings! Happy to announce
>
> Stable version: 2.6.6
> Testing version: (cvs tag) Version_2_7_0t5
>
> This is just a cleanup tag for the very helpful flurr
I recently installed GCL from source. To do this I followed the
instructions in the README file.
It worked, but I noticed the readme file was very old. The latest dates
it mentions are in the mid 90s (it talks about "the forthcoming ANSI
spec" for Common Lisp. Some of the internet URLs it gives
Greetings! Happy to announce
Stable version: 2.6.6
Testing version: (cvs tag) Version_2_7_0t5
This is just a cleanup tag for the very helpful flurry of error
reports submitted against t4. This builds axiom, acl2, and maxima, at
least for me.
Take care,
--
Camm Maguire
Greetings! Thanks as always Mike for your incredible efforts here. I
really apologize if recent developments have made your life more
difficult. I think the immediate fixnum and two word cons which they
support ar eworth the effort on mingw -- certainly (hopefully) Jared
at the University of Tex
Greetings!
Robert Boyer <[EMAIL PROTECTED]> writes:
> You might want to look at
>
>http://www.BitWagon.com/tub/tub.html
>
> for documentation of tub (evade task_unapped_base) for a hack that supposedly
> lets one get up 2.8GB. Fairly recent. And it is a user-mode hack, i.e., one
> does no
Greetings!
"Vadim V. Zhytnikov" <[EMAIL PROTECTED]> writes:
> Since I already spent some time meditating on GCL's makefile and
> things it is supposed to do I'll try do some cosmetic patch for t4.
>
Thanks! Also, if you have the time for some of the ansi print/format
function compliance, that
Greetings! I believe this is fixed now in cvs head. Working on a t5
cleanup tag.
Take care,
Robert Boyer <[EMAIL PROTECTED]> writes:
> t4 still has the bug about *split-files* (the overwriting of a file being
> compiled)!! This comes up trying to run the nqthm-1992 tests. I'll
> just rep
Greetings! I believe this is fixed now in cvs head. Working on a t5
cleanup tag.
Take care,
"Paul F. Dietz" <[EMAIL PROTECTED]> writes:
> The following rather odd bug has showed up (from running
> random-type-prop.typep.1):
>
> (deftest misc.612
>(funcall
> (compile nil '(lambda (p1
Greetings! I believe this is fixed now in cvs head. Working on a t5
cleanup tag.
Take care,
Robert Boyer <[EMAIL PROTECTED]> writes:
> Just got t4 and tried to compile ACL2 but it quickly broke in the earliest
> part of compilation. Here is any easy demo of the problem.
>
> 1. Be connected t
Greetings! I believe this is fixed now in cvs head. Working on a t5
cleanup tag.
Take care,
"Paul F. Dietz" <[EMAIL PROTECTED]> writes:
> I've added two more random tester-found bugs to misc.lsp.
>
> misc.613 is a failure involving throws in lambda forms
> in REDUCE. The enclosing catch form
13 matches
Mail list logo
