From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA23687; Sun, 5 Sep 2004 18:09:40 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA28960 for ; Sun, 5 Sep 2004 18:09:39 +0200 (MET DST) Received: from mail.davidb.org (adsl-64-172-240-129.dsl.sndg02.pacbell.net [64.172.240.129]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id i85G9bTr001536 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Sun, 5 Sep 2004 18:09:39 +0200 Received: from davidb by mail.davidb.org with local (Exim 4.41 #1 (Debian)) id 1C3zaC-0007ci-4J; Sun, 05 Sep 2004 09:09:36 -0700 Date: Sun, 5 Sep 2004 09:09:36 -0700 From: David Brown To: skaller Cc: "Marcin 'Qrczak' Kowalczyk" , caml-list Subject: Re: [Caml-list] Announcing the OMake build system version 0.9.1 Message-ID: <20040905160936.GB29119@old.davidb.org> References: <4139ECD3.1050708@cs.caltech.edu> <001e01c492a6$872c7280$19b0e152@warp> <413A0921.7030607@ntlworld.com> <413A1E89.10806@libertysurf.fr> <1094361655.3352.476.camel@pelican.wigram> <87hdqc3kfr.fsf@qrnik.zagroda> <1094396893.3352.635.camel@pelican.wigram> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1094396893.3352.635.camel@pelican.wigram> User-Agent: Mutt/1.5.6i X-Miltered: at nez-perce with ID 413B3A41.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 caml-list:01 2004:99 fixpoint:01 compilers:01 ocaml:01 sep:01 06,:02 dave:03 wrote:03 languages:06 source:07 source:07 i'm:07 ada:08 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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 source. 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. Dave ------------------- 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