[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements
From: |
Martin Rubey |
Subject: |
Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements |
Date: |
12 Apr 2007 18:41:08 +0200 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
Gabriel Dos Reis <address@hidden> writes:
> | Do you mean
> |
> | axiom --tangle foo.pamphlet
> |
> | ?
>
> For example.
>
> | Would
> |
> | axiom foo.pamphlet
> |
> | then do the same as currently
> |
> | document foo.pamphlet
> |
> | ?
>
> (1) latex the foo.tex
> (2) extract the root module and compile/interpret it
but currently, document does not compile/interpret, does it?
> | I'd rather have
> |
> | axiom --document=tangle foo.pamphlet
> |
> | tangle foo.pamphlet
> |
> | axiom --document foo.pamphlet
> |
> | be equivalent to current
> |
> | document foo.pamphlet
> |
> | and
> |
> | axiom foo.pamphlet
> |
> | show a usage message just as axiom -h.
>
> I would also like to be able to dump intermediate representation,
> compile to machine objects or FASLs, create a standalone executable.
I'd go for the
axiom --document=tangle foo.pamphlet
axiom --document foo.pamphlet
version. But do as you wish. In any case, please install ".spad.pamphlet"
instead of ".spad" into src/algebra. There is quite a bit of documented
algebra source meanwhile.
Martin
- Re: [Axiom-developer] problems compiling build-improvements 502 was: Re: problems compiling wh-sandbox 503, (continued)
- [Axiom-developer] Request for wh-sandbox and build-improvements, Martin Rubey, 2007/04/12
- [Axiom-developer] Re: Request for wh-sandbox and build-improvements, gdr, 2007/04/12
- [Axiom-developer] Re: Request for wh-sandbox and build-improvements, Martin Rubey, 2007/04/12
- Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements, Gabriel Dos Reis, 2007/04/12
- Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements, Martin Rubey, 2007/04/12
- Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements, Gabriel Dos Reis, 2007/04/12
- Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements, Martin Rubey, 2007/04/12
- Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements, Gabriel Dos Reis, 2007/04/12
- Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements,
Martin Rubey <=
- Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements, Gabriel Dos Reis, 2007/04/12
- Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements, Martin Rubey, 2007/04/13
- Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements, Gabriel Dos Reis, 2007/04/13
- Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements, Martin Rubey, 2007/04/13
- Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements, Waldek Hebisch, 2007/04/20
- Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements, Martin Rubey, 2007/04/20
- Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements, Ralf Hemmecke, 2007/04/20
Re: [Axiom-developer] problems compiling wh-sandbox 503, Waldek Hebisch, 2007/04/12