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 6C3E67F75C for ; Sat, 13 Sep 2014 14:22:03 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of drupyog+caml@zoho.com) identity=pra; client-ip=74.201.84.156; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="drupyog+caml@zoho.com"; x-sender="drupyog+caml@zoho.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of drupyog+caml@zoho.com designates 74.201.84.156 as permitted sender) identity=mailfrom; client-ip=74.201.84.156; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="drupyog+caml@zoho.com"; x-sender="drupyog+caml@zoho.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sender1.zohomail.com) identity=helo; client-ip=74.201.84.156; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="drupyog+caml@zoho.com"; x-sender="postmaster@sender1.zohomail.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApwBAP41FFRKyVScm2dsb2JhbABfhDfQbQGBCRYQAQEBAQEGCwsJFCqEBAEBBDIBBQsBNAECDgshFg8JAwIBAgFFEwEFAgEBiCUBAwEEDASlWoYAAoh0Iiglhl0BEAePTQcWhDUBklOKOYI5hQ6RWGqCSgEBAQ X-IPAS-Result: ApwBAP41FFRKyVScm2dsb2JhbABfhDfQbQGBCRYQAQEBAQEGCwsJFCqEBAEBBDIBBQsBNAECDgshFg8JAwIBAgFFEwEFAgEBiCUBAwEEDASlWoYAAoh0Iiglhl0BEAePTQcWhDUBklOKOYI5hQ6RWGqCSgEBAQ X-IronPort-AV: E=Sophos;i="5.04,517,1406584800"; d="scan'208";a="94520095" Received: from sender1.zohomail.com ([74.201.84.156]) by mail2-smtp-roc.national.inria.fr with ESMTP; 13 Sep 2014 14:22:01 +0200 DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=zapps768; d=zoho.com; h=message-id:date:from:user-agent:mime-version:to:cc:subject:references:in-reply-to:content-type; b=uPCT330qLqFwzfEu7WHFq5VmlZsVUhFZE3qZbKwlx+aZX1QV7XKuFdXhOnPYzZmXs1Onquvaspwj 6PKBmv8GbN+ejukZAChfcd5xETAD8q9a7O9LJhcWnwMN1M9w1EFR Received: from [192.168.1.234] (37.163.178.198 [37.163.178.198]) by mx.zohomail.com with SMTPS id 1410610917441956.3464897663365; Sat, 13 Sep 2014 05:21:57 -0700 (PDT) Message-ID: <541436E1.5010704@zoho.com> Date: Sat, 13 Sep 2014 14:21:53 +0200 From: Drup User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.1.1 MIME-Version: 1.0 To: rixed@happyleptic.org CC: caml-list@inria.fr References: <5410522E.3050207@inria.fr> <20140910161744.5a7eecd0@alcazar2> <5410A2F5.4070107@zoho.com> <20140913120106.GB9341@pim.happyleptic.org> In-Reply-To: <20140913120106.GB9341@pim.happyleptic.org> Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 8bit X-ZohoMailClient: External X-Zoho-Virus-Status: 2 Subject: Re: [Caml-list] One build system to rule them all? Le 13/09/2014 14:01, rixed@happyleptic.org a écrit : >> Every single makefile to compile ocaml (except OCaml-makefile[1]) I >> have encountered are broken. > Please, define broken. > > Pick several: - Work only with native or byte compilation, but not both (especially common for C bindings). - Don't work with dynlink. - Don't build some cmFOO or link the right things in the .so/.a, which is usually the cause for the two above (but not always, people are creative sometime). - Don't offer anything to build documentation. - Don't use ocamlfind correctly (and install things in the wrong places). - Worse: Don't use ocamlfind at all. - Don't have an uninstall target. - Break under -j (ocamlbuild parallelize badly, but at least, it doesn't break) - Assume linux (and GNU Make) (ask adrien about the compiler's build system for tasty war stories) I could go on, but I'm pretty you got the point.