Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Dynamically evaluating OCaml code
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-04-15 (16:39)
From: skaller <skaller@u...>
Subject: Re: [Caml-list] Re: GODI vs. Ocamake
On Thu, 2004-04-15 at 19:47, Markus Mottl wrote:
> On Thu, 15 Apr 2004, skaller wrote:
> > On Thu, 2004-04-15 at 02:49, Kenneth Knowles wrote:
> > 
> > > Just so I don't leave anyone out, I'd say both ocamake and OCamlMakefile handle
> > > (1) and (3) all at once.
> > 
> > Yeah? How would they handle Interscript sources?
> > What about Camlp4?
> No problem, OCamlMakefile handles them by letting the user specify a
> preprocessor in a comment in the first line.  See camlp4-example in
> the distribution.

That may work for camlp4 but not interscript.
Interscript is a code generator, there is no simplistic
1-1 correspondence between inputs and outputs for which
any make rule could be encoded.

Make is all wrong, as I said before. Interscript is a new,
correct concept for building systems. It uses fixpoints.
It doesn't care what the outputs are --- they have to be tracked,
but not specified.

John Skaller,
voice: 061-2-9660-0850, 
snail: PO BOX 401 Glebe NSW 2037 Australia
Checkout the Felix programming language

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: