[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] RE: algebra Makefiles with explicitdependencies, b
From: |
Stephen Wilson |
Subject: |
Re: [Axiom-developer] RE: algebra Makefiles with explicitdependencies, bootstrap, fixed-points etc. |
Date: |
Sun, 9 Jan 2005 10:54:04 -0500 |
User-agent: |
Mutt/1.5.6+20040907i |
Tim, Bill,
I attempted a build overnight with the updated bootstrap code for
single integer. I was trying to keep myself optimistic that this was
all of the bootstrap code which would need to be touched. Alas, a
simple substitution has not worked for me; the compilation choked soon
after I left the keyboard for the night.
It would seem that at least all of the bootstrap which involves SINT
needs to be rebuilt. My current list of such categories/domains is
SINT BOOLEAN COMRING INT
RING ISTRING ABELMON PI
RNG LIST SETCAT CHAR
ABELGRP NNI SETCAT- SYMBOL
CABMON OUTFORM UFD DFLOAT
ABELMON PI GCDDOM ILIST
ABELSG PRIMARR REF VECTOR
Given that the list is quite long, and yet might still be incomplete,
perhaps we should dump all the bootstrap code and update all pamphlet
files?
If you agree this is a good move, perhaps we can think of the possible
advantage of automating the process. e.g. a make option to update the
related bootstrap pamphlet files with fresh code. I have a feeling,
however, that this is such a central aspect of the build it might
better be left as a `by hand process'. What do you think?
I am willing to do this work today if you like. Tim, would you prefer
to take this on given your expertise? If not, any words of wisdom? ;)
Cheers,
Steve
On Sat, Jan 08, 2005 at 11:04:19PM -0500, root wrote:
> Bill,
>
> The ONEP change is mine. ONEP is a CCL function, not a common lisp function.
> The question that needs to be answered in order to implement ONEP in
> common lisp is what is the representation of '1' in various domains?
>
> Notice that in a domain 'foo = 1' is a spad way of asking the question.
> This used to be the way it was done but NAG changed it in the CCL
> implementation (probably for efficiency).
>
> Since I couldn't decide what the exact semantics of ONEP are I took
> the safest route.
>
> Tim
- RE: [Axiom-developer] RE: algebra Makefiles with explicit dependencies, bootstrap, fixed-points etc., (continued)
- RE: [Axiom-developer] RE: algebra Makefiles with explicit dependencies, bootstrap, fixed-points etc., Bill Page, 2005/01/07
- Message not available
- Re: [Axiom-developer] RE: algebra Makefiles with explicit dependencies, bootstrap, fixed-points etc., root, 2005/01/07
- Message not available
- Re: [Axiom-developer] RE: algebra Makefiles with explicit dependencies, bootstrap, fixed-points etc., root, 2005/01/07
- RE: [Axiom-developer] RE: algebra Makefiles with explicit dependencies, bootstrap, fixed-points etc., Bill Page, 2005/01/07
- RE: [Axiom-developer] RE: algebra Makefiles with explicitdependencies, bootstrap, fixed-points etc., Bill Page, 2005/01/07
- Re: [Axiom-developer] RE: algebra Makefiles with explicitdependencies, bootstrap, fixed-points etc., Stephen Wilson, 2005/01/08
- Re: [Axiom-developer] RE: algebra Makefiles with explicitdependencies, bootstrap, fixed-points etc., Stephen Wilson, 2005/01/08
- Re: [Axiom-developer] RE: algebra Makefiles with explicitdependencies, bootstrap, fixed-points etc., Stephen Wilson, 2005/01/08
- RE: [Axiom-developer] RE: algebra Makefiles with explicitdependencies, bootstrap, fixed-points etc., Bill Page, 2005/01/08
- Re: [Axiom-developer] RE: algebra Makefiles with explicitdependencies, bootstrap, fixed-points etc., root, 2005/01/08
- Re: [Axiom-developer] RE: algebra Makefiles with explicitdependencies, bootstrap, fixed-points etc.,
Stephen Wilson <=
- RE: [Axiom-developer] RE: algebra Makefiles with explicitdependencies, bootstrap, fixed-points etc., Bill Page, 2005/01/09
- Re: [Axiom-developer] RE: algebra Makefiles with explicitdependencies, bootstrap, fixed-points etc., Stephen Wilson, 2005/01/09
- Re: [Axiom-developer] RE: algebra Makefiles with explicitdependencies, bootstrap, fixed-points etc., root, 2005/01/09
- [Axiom-developer] Axiom website statistics for December and January to date, Bill Page, 2005/01/09
- RE: [Axiom-developer] RE: algebra Makefiles with explicit dependencies, bootstrap, fixed-points etc., Bill Page, 2005/01/09
- RE: [Axiom-developer] RE: algebra Makefiles with explicitdependencies, bootstrap, fixed-points etc., Bill Page, 2005/01/09
- Re: [Axiom-developer] RE: algebra Makefiles with explicit dependencies, bootstrap, fixed-points etc., root, 2005/01/10
- RE: [Axiom-developer] RE: algebra Makefiles with explicit dependencies, bootstrap, fixed-points etc., Bill Page, 2005/01/10
- Re: [Axiom-developer] RE: algebra Makefiles with explicit dependencies, bootstrap, fixed-points etc., root, 2005/01/10
- Re: [Axiom-developer] RE: algebra Makefiles with explicitdependencies, bootstrap, fixed-points etc., Stephen Wilson, 2005/01/10