Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
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, mailto:skaller@users.sf.net
voice: 061-2-9660-0850, 
snail: PO BOX 401 Glebe NSW 2037 Australia
Checkout the Felix programming language http://felix.sf.net



-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners