English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] Announcing the OMake build system version 0.9.1
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-09-05 (16:09)
From: David Brown <caml-list@d...>
Subject: Re: [Caml-list] Announcing the OMake build system version 0.9.1
On Mon, Sep 06, 2004 at 01:08:13AM +1000, skaller wrote:

> Fixpoint iteration works and is universal.

It isn't universal, though.  There are pathalogical cases, even with common
tools where it never will stabilize.  It is an exercise in the TeXbook.
There are also some old Ada compilers that wouldn't build without proper
ordering.  Fortunately, with Ada, the order can be determined from the

In fact, other than C, and the few things I mentioned earlier about ocaml,
a possible (and correct) build order can be determined from an analysis of
the source, and an understanding of the languages involved.

I'm not sure if having a specific build order is a bad thing, I just think
make's approach to determine it aren't right.


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