From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id B27F07F6C9 for ; Mon, 26 Jan 2015 13:30:22 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of dario.teixeira@nleyten.com) identity=pra; client-ip=217.70.183.195; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dario.teixeira@nleyten.com"; x-sender="dario.teixeira@nleyten.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of dario.teixeira@nleyten.com) identity=mailfrom; client-ip=217.70.183.195; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dario.teixeira@nleyten.com"; x-sender="dario.teixeira@nleyten.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@relay3-d.mail.gandi.net) identity=helo; client-ip=217.70.183.195; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dario.teixeira@nleyten.com"; x-sender="postmaster@relay3-d.mail.gandi.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlQBACYyxlTZRrfDnGdsb2JhbABag1hdgnzDQIVxAoEUQwEBAQEBEQEBAQEBBg0JCRQuhA0BBAEjFUYLBAcaAiYCAlchEogKDAm+OpQtAQEIAQEBAQEZBIEhjl4WglKBQQWSOZgQAoQQgjN+AQEB X-IPAS-Result: AlQBACYyxlTZRrfDnGdsb2JhbABag1hdgnzDQIVxAoEUQwEBAQEBEQEBAQEBBg0JCRQuhA0BBAEjFUYLBAcaAiYCAlchEogKDAm+OpQtAQEIAQEBAQEZBIEhjl4WglKBQQWSOZgQAoQQgjN+AQEB X-IronPort-AV: E=Sophos;i="5.09,468,1418079600"; d="scan'208";a="97725039" Received: from relay3-d.mail.gandi.net ([217.70.183.195]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 26 Jan 2015 13:30:22 +0100 Received: from mfilter38-d.gandi.net (mfilter38-d.gandi.net [217.70.178.169]) by relay3-d.mail.gandi.net (Postfix) with ESMTP id 7D158A80D0 for ; Mon, 26 Jan 2015 13:30:21 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at mfilter38-d.gandi.net Received: from relay3-d.mail.gandi.net ([217.70.183.195]) by mfilter38-d.gandi.net (mfilter38-d.gandi.net [10.0.15.180]) (amavisd-new, port 10024) with ESMTP id zViXuGLZs+pe for ; Mon, 26 Jan 2015 13:30:20 +0100 (CET) X-Originating-IP: 10.58.1.142 Received: from webmail.gandi.net (unknown [10.58.1.142]) (Authenticated sender: dario.teixeira@nleyten.com) by relay3-d.mail.gandi.net (Postfix) with ESMTPA id 2B081A80AD for ; Mon, 26 Jan 2015 13:30:20 +0100 (CET) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Date: Mon, 26 Jan 2015 12:30:20 +0000 From: Dario Teixeira To: caml-list@inria.fr In-Reply-To: <6829d3482c94fbe2e22dd1574618e86e@nleyten.com> References: <7bca26c097b73f653bd8bbfa1a07eaa8@nleyten.com> <20150123164111.GA16664@yquem.inria.fr> <0fd907ee06bedeff816160b9e7b9c027@nleyten.com> <6829d3482c94fbe2e22dd1574618e86e@nleyten.com> Message-ID: <5c76729753733a2ccbf1cad96879c312@nleyten.com> X-Sender: dario.teixeira@nleyten.com User-Agent: Roundcube Webmail/0.9.5 Subject: Re: [Caml-list] Forcing OCamlbuild to compile a file before another Hi again, > Yeap, I understand. The good news is that it should be possible to use > module-aliases/no-aliases-deps/pseudo-circular-recursion within the > current > OASIS+OCamlbuild framework with only minimal extra burden on the user, > and zero modifications to OASIS or OCamlbuild. > > I had to bump my forehead against the wall a few times, but in the end > I've > managed to get the full combination working on a toy example, and I'm > confident > I can also get it to work on the much larger Lambdoc code base. I'll > keep > you posted... (replying to myself here) I may have spoken too soon on the ease of tweaking a build system based on OASIS + OCamlbuild to work with module aliases and -no-alias-deps: the toy example does compile from scratch, but the build system gets confused by subsequent modifications to source files. I have created a branch in the Lambdoc repo for experimenting with this process [1]. If you try to compile it, it almost works, but you do get lots of nasty warnings and a generally confused build system. Kind regards, Dario Teixeira [1] https://github.com/darioteixeira/lambdoc/tree/oasification