[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: |
Gabriel Dos Reis |
Subject: |
Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements |
Date: |
12 Apr 2007 11:01:26 -0500 |
Martin Rubey <address@hidden> writes:
| Gabriel Dos Reis <address@hidden> writes:
|
| > Martin Rubey <address@hidden> writes:
| >
| > | address@hidden writes:
| > |
| > | > Quoting Martin Rubey <address@hidden>:
| > | >
| > | > > A request for both build-improvements and wh-sandbox:
| > | > >
| > | > > could you please install "document" by default, and include my
SPADEDIT file,
| > | > > which is located at
| > | >
| > | > Install it where?
| > | > I consider installing it in $prefix/bin an unwarranted pollution.
| > | > We can install it in $libdir and add an option "--document" to the
| > | > axiom script, e.g. you could say
| > | >
| > | > axiom --document=tangle foo.pamphlet
| > |
| > | that would be OK, although I'd prefer
| > |
| > | axiom --document foo.pamphlet
| > |
| > | (I know I'd forget the tangle all the time.)
| >
| >
| > How do you say, produce a clisp/dvi/pdf out of this? How do you say,
| > just compile the tangled code?
|
|
| OK, personally, I only use "document", from within emacs (I made it a command
| in AucTeX), so it produces the spad and the dvi.
|
| Since I strongly believe that we should switch to ALLPROSE as soon as
possible,
| (which will replace "document" with "make") I won't insist on anything.
|
| Thus, I think that
|
| axiom --document=tangle foo.pamphlet
|
| is quite ok.
We can simplify the switches if we are willing to use the same
switches as document itself.
-- Gaby
- Re: [Axiom-developer] problems compiling build-improvements 502 was: Re: problems compiling wh-sandbox 503, (continued)
- Re: [Axiom-developer] problems compiling build-improvements 502 was: Re: problems compiling wh-sandbox 503, Gabriel Dos Reis, 2007/04/12
- [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 <=
- 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, 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