[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] /dev/null, noweb and Axiom
From: |
Gabriel Dos Reis |
Subject: |
Re: [Axiom-developer] /dev/null, noweb and Axiom |
Date: |
14 Aug 2006 17:33:31 +0200 |
root <address@hidden> writes:
| > > I disagree with the idea that writing to /dev/null should be banned.
| >
| > But isn't /dev/null quite Unix-specific? It basically means that in
| > order to build Axiom one must have a Unix-like environment. Not that I
| > want to make the build process more complicated, but I am just curious
| > how difficult it would be to build Axiom without mingw or cygwin.
|
| The use of ${TMP}/null rather than /dev/null is intentional.
I know it is intentional. However, I seriously question the decision
behind it.
Anyway, currently ${TMP}/null is useless one build noweb.
| Axiom does not write outside of it's directory subtree for any reason.
| Following this philosophy it cannot write to /dev/null, which may not
| even exist on certain platforms such as windows.
That is close to theology. /dev/null is very particular and must be
exempted from the general rule.
Which "flavour" of windows that can built Axiom (with current build
system) and does not have /dev/null?
-- Gaby
- [Axiom-developer] /dev/null, noweb and Axiom, Gabriel Dos Reis, 2006/08/11
- Re: [Axiom-developer] /dev/null, noweb and Axiom, Ralf Hemmecke, 2006/08/12
- Re: [Axiom-developer] /dev/null, noweb and Axiom, Gabriel Dos Reis, 2006/08/12
- Re: [Axiom-developer] /dev/null, noweb and Axiom, root, 2006/08/14
- Re: [Axiom-developer] /dev/null, noweb and Axiom,
Gabriel Dos Reis <=
- Re: [Axiom-developer] /dev/null, noweb and Axiom, root, 2006/08/14
- Re: [Axiom-developer] /dev/null, noweb and Axiom, Ralf Hemmecke, 2006/08/14
- Re: [Axiom-developer] /dev/null, noweb and Axiom, root, 2006/08/14
- Re: [Axiom-developer] /dev/null, noweb and Axiom, root, 2006/08/14
- Re: [Axiom-developer] /dev/null, noweb and Axiom, Gabriel Dos Reis, 2006/08/14
- Re: [Axiom-developer] /dev/null, noweb and Axiom, root, 2006/08/14
- Re: [Axiom-developer] /dev/null, noweb and Axiom, Gabriel Dos Reis, 2006/08/14