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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id B42587FE44 for ; Tue, 5 Jul 2016 14:00:28 +0200 (CEST) IronPort-PHdr: 9a23:djFbwxAuXczVfb0XOadOUyQJP3N1i/DPJgcQr6AfoPdwSP74o8bcNUDSrc9gkEXOFd2CrakV06yM7+u8AiQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd+KyZ7rnLzps7ToICxwzAKnZr1zKBjk5S7wjeIxxbVYF6Aq1xHSqWFJcekFjUlhJFaUggqurpzopM0roGxsvKcq/stEFKH7ZLgQTLpCDT1gPXpmytfssEztVwKJaXwdSVI8lRBPH0CR4gvzWJz2szC8vO133zWyNsD/C74uD2fxp5x3QQPl3X9UfwUy93va35R9 Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=francois.bobot@cea.fr; spf=None smtp.mailfrom=francois.bobot@cea.fr; spf=None smtp.helo=postmaster@cirse-out.extra.cea.fr Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of francois.bobot@cea.fr) identity=pra; client-ip=132.167.192.142; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of francois.bobot@cea.fr) identity=mailfrom; client-ip=132.167.192.142; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@cirse-out.extra.cea.fr) identity=helo; client-ip=132.167.192.142; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="postmaster@cirse-out.extra.cea.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AsAQAIoHtXh47Ap4RdhD68CoYYAoE4OxEBAQEBAQEBAREBAQEKCwkJIS+CMoIbAQUjDwEFUQsYAgImAgJXEwgCF4gVqkWPKwELASSBAYceCIJNhQyCNYJaBYgThyOJXZgShV+QCjSCOYFZiWUBAQE X-IPAS-Result: A0AsAQAIoHtXh47Ap4RdhD68CoYYAoE4OxEBAQEBAQEBAREBAQEKCwkJIS+CMoIbAQUjDwEFUQsYAgImAgJXEwgCF4gVqkWPKwELASSBAYceCIJNhQyCNYJaBYgThyOJXZgShV+QCjSCOYFZiWUBAQE X-IronPort-AV: E=Sophos;i="5.26,579,1459807200"; d="scan'208";a="225641255" Received: from cirse-out.extra.cea.fr ([132.167.192.142]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 05 Jul 2016 14:00:28 +0200 Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by cirse.extra.cea.fr (8.15.2/8.15.2/CEAnet-Internet-out-2.4) with ESMTP id u65C0S1k029152 for ; Tue, 5 Jul 2016 14:00:28 +0200 Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id 2588E2063B2 for ; Tue, 5 Jul 2016 14:01:37 +0200 (CEST) Received: from muguet1.intra.cea.fr (muguet1.intra.cea.fr [132.166.192.6]) by pisaure.intra.cea.fr (Postfix) with ESMTP id 11CFE204233 for ; Tue, 5 Jul 2016 14:01:37 +0200 (CEST) Received: from [10.8.32.80] (is222783.intra.cea.fr [10.8.32.80]) by muguet1.intra.cea.fr (8.15.2/8.15.2/CEAnet-Intranet-out-1.4) with ESMTP id u65C0RC1027279 for ; Tue, 5 Jul 2016 14:00:27 +0200 To: caml-list@inria.fr References: From: =?UTF-8?Q?Fran=c3=a7ois_Bobot?= Message-ID: Date: Tue, 5 Jul 2016 14:00:31 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Icedove/45.1.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] ocamldep, transitive dependencies, build systems, flambda On 04/07/2016 18:49, Alain Frisch wrote: > So if any other group has faced the same problem and found a nice solution (with omake or another > build system), I'd love to hear about it! The solution is not nice and similar to JaneStreet solution. Nick Chapman wrote: > We sidestep the ocamldep issues you describe by using ocamldep only to determine dependencies > within a library but not between libraries. Dependencies between libraries and handled by > requiring the user explicitly list dependent libraries But we do everything in `Makefile` with `make` and we are using packs. The only tricky point is to create dumb `.ml` and `.mli` in the "pub" directory so that ocamldep add the right dependencies. When I tried to use module-alias instead of packs I failed. -- François