Ralf,
Axiom is no longer maintained in SVN. All of the archives are git
sources now.
Ralf Hemmecke wrote:
In the FriCAS install script I can read...
cd fricas
mkdir zips
cd zips
wget
https://axiom.svn.sourceforge.net/svnroot/axiom/trunk/axiom/zips/noweb-2.10a.tgz
Unfortunately, there s
[EMAIL PROTECTED] writes:
> A) NOWEB ADVANTAGES
> 1) currently works
> 2) easily recognizable syntax
> 3) axiom noweb emacs mode recognizes syntax
> 4) current build machinery uses noweb
>
> B) NOWEB DISADVANTAGES
> 1) collides with user syntax, e.g. [[1,2],[3,4]] vs [[escapedstring]]
On Mon, 30 Apr 2007, Waldek Hebisch wrote:
> Gabriel Dos Reis wrote:
> > On Mon, 30 Apr 2007, Waldek Hebisch wrote:
> >
> > > > In config/var-def.mk we have:
> > > >
> > > > axiom_optional_srcdir = $(abs_top_srcdir)/zips
> > > >
> > >
> > > ATM axiom_optional_srcdir is not available in config
Gabriel Dos Reis wrote:
> On Mon, 30 Apr 2007, Waldek Hebisch wrote:
>
> > > In config/var-def.mk we have:
> > >
> > > axiom_optional_srcdir = $(abs_top_srcdir)/zips
> > >
> >
> > ATM axiom_optional_srcdir is not available in configure, so we would
> > have to set it in configure and propagate
On Mon, 30 Apr 2007, Waldek Hebisch wrote:
> > In config/var-def.mk we have:
> >
> > axiom_optional_srcdir = $(abs_top_srcdir)/zips
> >
>
> ATM axiom_optional_srcdir is not available in configure, so we would
> have to set it in configure and propagate to config/var-def.mk
If axiom_optional_s
Bill Page wrote:
> On April 27, 2007 8:52 AM Waldek Hebisch wrote:
> >
> > Let me restate my position: in general I am against putting
> > souces of prerequisities (especially as tarballs, but
> > unpacked form is also bad) in Axiom svn repositiry. Of
> > course, sometimes we want to make an exce
On April 27, 2007 8:52 AM Waldek Hebisch wrote:
>
> > Waldek Hebisch writes:
> >
> > | Revision: 517
> > | http://svn.sourceforge.net/axiom/?rev=517&view=rev
> > | Author: whebisch
> > | Date: 2007-04-26 03:56:16 -0700 (Thu, 26 Apr 2007)
> > |
> > | Log Message:
> > | ---
Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
| "Bill Page" <[EMAIL PROTECTED]> writes:
|
| [...]
|
| | > I think the the most natural solution for this problem is to
| | > require already installed external noweb.
| | >
| |
| | I agree. In fact I think it would be best to also require
| | exte
"Bill Page" <[EMAIL PROTECTED]> writes:
[...]
| > I think the the most natural solution for this problem is to
| > require already installed external noweb.
| >
|
| I agree. In fact I think it would be best to also require
| external gcl. We can do what is necessary to warn and advise
| the use
On March 21, 2007 1:39 PM Waldek Hebisch wrote:
> ...
> We have the same problem with few critical build files,
> notably with Makefile.in.
>
Yes, I confirm that sometimes this is problem. Sometimes
I have to 'touch' the Makefiles.
> I think the the most natural solution for this problem is to
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
[...]
| > Typically this is not a problem because if checkout is fast
| > enough file and its dependencies get the same timestamp.
| > But sometimes we may loose race and files are needlessly
| > re-made, which again typically is not a big problem. But
|
Waldek Hebisch <[EMAIL PROTECTED]> writes:
| Looking at build problem (reported in private mail) I noticed
| something which looks as serious incompatibility between svn
| and noweb. Namely, AFAICS files retrived by svn get timestamp
| corresponding to time of retrival. So, genereted files which
On 03/21/2007 06:39 PM, Waldek Hebisch wrote:
Looking at build problem (reported in private mail) I noticed
something which looks as serious incompatibility between svn
and noweb. Namely, AFAICS files retrived by svn get timestamp
corresponding to time of retrival. So, genereted files which
are
Gabriel Dos Reis wrote:
> I do not have an answer to your question. Different people function
> differently.
>
> But, if the question is directed to me, then the answer is "I do
> play with lots of programming languages, and fluent in quite a few of
> them, with totally different paradigms -- I
Gaby,
On Thursday, May 04, 2006 3:50 PM you wrote:
> ...
> Maybe there is a confusion about appreciating diverse
> programming languages and appreciating the set of tools
> we should use to deliver a coherent, attractive, scalable,
> and maintainable project.
I understand your point and actually
"Page, Bill" <[EMAIL PROTECTED]> writes:
| Gaby,
|
| On Thursday, May 04, 2006 2:17 PM you wrote:
| > ...
| > Bill Page writes:
| > |
| > | I have installed Icon on the axiom-developer.org server and it
| > | seems like a nice neat little language ... but I am sure Tim
| > | will say: "Oh horro
Gaby,
On Thursday, May 04, 2006 2:17 PM you wrote:
> ...
> Bill Page writes:
> |
> | I have installed Icon on the axiom-developer.org server and it
> | seems like a nice neat little language ... but I am sure Tim
> | will say: "Oh horrors, yet another programming language!" :)
>
> And I will se
"Page, Bill" <[EMAIL PROTECTED]> writes:
| On Thursday, May 04, 2006 12:01 PM Ralf Hemmecke wrote:
| >
| > Tim, you complained about the speed of NOWEB...
| >
| > Here a copy from noweb-2.11/src/INSTALL...
| >
| > To build noweb:
| >
| >1) First point to compilers to be used to built the t
On Thursday, May 04, 2006 12:01 PM Ralf Hemmecke wrote:
>
> Tim, you complained about the speed of NOWEB...
>
> Here a copy from noweb-2.11/src/INSTALL...
>
> To build noweb:
>
>1) First point to compilers to be used to built the tools and
> library by setting these variables in the M
On Sun, 9 Apr 2006, Frederic Lehobey wrote:
A `dream' of mine would be to provide also axiom as a kilk
application: http://klik.atekon.de/
Please, NO!!
It asks the user to execite an arbitrary code from an untrusted place in
the Internet. No sane person should do this. Ever.
Andrey
___
20 matches
Mail list logo
