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 8AA357FACD for ; Thu, 18 Sep 2014 23:23:18 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of yminsky@janestreet.com) identity=pra; client-ip=38.105.200.229; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="yminsky@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of yminsky@janestreet.com designates 38.105.200.229 as permitted sender) identity=mailfrom; client-ip=38.105.200.229; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="yminsky@janestreet.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@mxout3.mail.janestreet.com) identity=helo; client-ip=38.105.200.229; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="postmaster@mxout3.mail.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvcBABFMG1QmacjlnGdsb2JhbABgg2BXBIJ8tQuRQIdNAYEDCBYBEQEBAQEBBhYJPoQEAQEEEhEdAQEsCwEPCwsNAgIJHQICIQESAQUBChIGExICBweICAMRAwqfcGuKOHiFAgEFiXwDCocsAREGCoEiiGmDNYF6MweCeIFThGAyBZBzhDZBghCBYIVphz2EUBgphStQgkoBAQE X-IPAS-Result: AvcBABFMG1QmacjlnGdsb2JhbABgg2BXBIJ8tQuRQIdNAYEDCBYBEQEBAQEBBhYJPoQEAQEEEhEdAQEsCwEPCwsNAgIJHQICIQESAQUBChIGExICBweICAMRAwqfcGuKOHiFAgEFiXwDCocsAREGCoEiiGmDNYF6MweCeIFThGAyBZBzhDZBghCBYIVphz2EUBgphStQgkoBAQE X-IronPort-AV: E=Sophos;i="5.04,549,1406584800"; d="scan'208";a="96507681" Received: from mxout3.mail.janestreet.com ([38.105.200.229]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 18 Sep 2014 23:23:17 +0200 Received: from tot-oib-smtp1 ([172.27.22.15] helo=tot-smtp) by mxout3.mail.janestreet.com with esmtps (UNKNOWN:DHE-RSA-AES256-GCM-SHA384:256) (Exim 4.82) (envelope-from ) id 1XUjAa-0003C9-7N for caml-list@inria.fr; Thu, 18 Sep 2014 17:23:16 -0400 Received: from [172.27.229.230] (helo=mxgoog1.mail.janestreet.com) by tot-smtp with esmtps (UNKNOWN:AES256-GCM-SHA384:256) (Exim 4.72) (envelope-from ) id 1XUjAa-0003O7-4d for caml-list@inria.fr; Thu, 18 Sep 2014 17:23:16 -0400 Received: from mail-lb0-f179.google.com ([209.85.217.179]) by mxgoog1.mail.janestreet.com with esmtps (TLSv1:RC4-SHA:128) (Exim 4.72) (envelope-from ) id 1XUjAZ-0002gD-Ut for caml-list@inria.fr; Thu, 18 Sep 2014 17:23:16 -0400 Received: by mail-lb0-f179.google.com with SMTP id 10so1497245lbg.24 for ; Thu, 18 Sep 2014 14:23:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; bh=kVL8H2zueoiTBqz7AtkkSBbutgHj6A2k+ajtXOGZLgs=; b=D9cC2mQO8bLitgAPm0O2/kYjKI4rDOCCH5ZN+EzdRvDyKGz2tpPGINIRA+1vdyXQH+ YYU6aUZNN7P4axcbFIzZdMyKwrHbYsYwp0+wTiI0LZ7qIeC++369h2BavRHJl4DZbUcR leD1dBj8JvZ2QmwewQyJd3nGeCK+7UrrW7GlE= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc:content-type :content-transfer-encoding; bh=kVL8H2zueoiTBqz7AtkkSBbutgHj6A2k+ajtXOGZLgs=; b=MWGPliy3G88izIc6drmKEwWufBnQQTb9qlJXlp/CSjnrOavmIWyXCVHM7qC5zf6taN DBQjjXYILJK1UHkxu/WOWAmQA3gr1Z1iqIM5nDdwbkAckfoYWKlerY9kDocQh4P6bL7M l5FeCXfWFdz4eMz2gu4tdy/JJIx8bYGf5NgBVPV0F9thtURhsU23HQ+Rqy6yOPnWnqIb r+lwBYwrvQ2kL+BR4l/3LW4jRnSTT25ZkCSjYcMrLsEG0As6bLQsAyX+YiUKkI/VFks1 ep/UFTUNUd1ok7vYUYf798RHKutOjNFNxQAVUCJ4Oh47XiH7vODUudYTcmeBL08fdwkT IWyA== X-Gm-Message-State: ALoCoQkN0EP6CXmnt/e+DzTMxUrE/EfN2lhUbzUSyQ7yXqnGHkQ8i43I2hC3VChWY/3VJZUqVISSwkKYxPwoL4BzcmgOP4TmkDHdXQoTSwkCa0mZCI5n5GR72B6A8YYHyg5rBY2IWJQF X-Received: by 10.152.28.134 with SMTP id b6mr2333444lah.33.1411075394822; Thu, 18 Sep 2014 14:23:14 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.152.28.134 with SMTP id b6mr2333433lah.33.1411075394756; Thu, 18 Sep 2014 14:23:14 -0700 (PDT) Received: by 10.112.56.136 with HTTP; Thu, 18 Sep 2014 14:23:14 -0700 (PDT) In-Reply-To: References: <5410522E.3050207@inria.fr> <1410359012.3003.34.camel@thinkpad> <54106B6D.4040607@gmail.com> <5416EAF8.9050800@glondu.net> Date: Thu, 18 Sep 2014 17:23:14 -0400 Message-ID: From: Yaron Minsky To: Yotam Barnoy Cc: Ocaml Mailing List Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] One build system to rule them all? I think the conclusion is that we're not "as a community" going to settle in on a single solution before there's one that's ready. There's a lot of work on competing approaches, which I think is healthy. Even those people who are working on competing approaches are cooperating pretty effectively (e.g., Thomas is working on Assemblage and at the same time looking into Jenga to see where the two can connect.) Rather than exhort everyone to focus in on a solution, I recommend you pick the one you think looks best, and see if you can contribute to it. I think consensus should follow code, not the other way around. y On Thu, Sep 18, 2014 at 5:15 PM, Yotam Barnoy wrote: > While there was no 'conclusion' to this thread, if I had to come up with > one, it would be that we have a bunch of build tools which are all not > amazing at this point in time. We have some DSL-based build tools and some > ocaml-based build tools, and all of them need a lot of love to get to a g= ood > state. > > My personal view is that we (as a community) should work at getting at le= ast > one DSL tool to be really great. I'm sure Jenga (an ocaml-based tool which > seems more like a build-tool engine) will continue to be developed by Jane > Street no matter what, so is there a DSL-based build system that we can > converge on to use and improve? The contenders for this slot appear to be > omake, obuild, and ocp-build. I'm more than willing to switch to one of > these if I know that other people will as well, and that it will be activ= ely > developed (preferably on github). More users =3D more invested parties = =3D more > development potential. Conversely, continuing to spread the community's > attention between these tools (as well as ocamlbuild, which seems destined > to stagnate) before any one of them is top notch seems to me to be > detrimental to ocaml's health as an ecosystem. > > BTW Anil: is assemblage supposed to be an entire build toolchain, or is it > only supposed to write makefiles (as the description in the readme states= )? > > -Yotam > > On Mon, Sep 15, 2014 at 9:34 AM, St=C3=A9phane Glondu = wrote: >> >> Le 10/09/2014 20:59, Yotam Barnoy a =C3=A9crit : >> > So here are some requirements I can think of (using some of the >> > suggestions that have been brought up): >> > - Easy to use, especially for small projects (large projects can afford >> > to put more time into their build systems) >> > - Abstract away platform considerations as much as possible. No >> > dependence on specific shells and POSIX utilities. >> > - Allows compilation of C files, which is quite common in ocaml >> > packages. >> > - Scalable to many directories and files >> > - Uses ocamlfind to locate packages >> > - Handles camlp4 and ppx >> > - Parallel & incremental compilation >> >> - Support of platforms without ocamlopt. Many build systems assume that >> ocamlopt is available and have to be called specially (or even patched) >> when it is missing, which complicates packaging on these platforms. >> >> -- >> St=C3=A9phane >> >> -- >> Caml-list mailing list. Subscription management and archives: >> https://sympa.inria.fr/sympa/arc/caml-list >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >> Bug reports: http://caml.inria.fr/bin/caml-bugs > >