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 ADB657F75C for ; Wed, 10 Sep 2014 16:04:21 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of thomas.braibant@gmail.com) identity=pra; client-ip=74.125.82.170; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="thomas.braibant@gmail.com"; x-sender="thomas.braibant@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of thomas.braibant@gmail.com designates 74.125.82.170 as permitted sender) identity=mailfrom; client-ip=74.125.82.170; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="thomas.braibant@gmail.com"; x-sender="thomas.braibant@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-we0-f170.google.com) identity=helo; client-ip=74.125.82.170; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="thomas.braibant@gmail.com"; x-sender="postmaster@mail-we0-f170.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AukBAGdZEFRKfVKqlGdsb2JhbABZhDcEgni1S5k1AQgBgQgIFhABAQEBBwsLCRIshAQBAQMBEhEdARsdAQMBCwYFCwMMAiYCAiIBEQEFARwGGxqICwEDCQicbmuLMIFygxCJFQoZJw1mhVMBEQEFDoEejiEHgnmBUwEEkkKKMZM8GCmFFDsvgk8BAQE X-IPAS-Result: AukBAGdZEFRKfVKqlGdsb2JhbABZhDcEgni1S5k1AQgBgQgIFhABAQEBBwsLCRIshAQBAQMBEhEdARsdAQMBCwYFCwMMAiYCAiIBEQEFARwGGxqICwEDCQicbmuLMIFygxCJFQoZJw1mhVMBEQEFDoEejiEHgnmBUwEEkkKKMZM8GCmFFDsvgk8BAQE X-IronPort-AV: E=Sophos;i="5.04,499,1406584800"; d="scan'208";a="78452211" Received: from mail-we0-f170.google.com ([74.125.82.170]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 10 Sep 2014 16:04:21 +0200 Received: by mail-we0-f170.google.com with SMTP id u57so5437789wes.15 for ; Wed, 10 Sep 2014 07:04:21 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=3cS3a/vdwteNc9crdM1lqwbIB2JkdOWLBKmiyI2Ysbk=; b=HdDv98b7OyLNXbkVGYHEIqwrSIw7CIvHQPEI2vk3vhS+/uE9zsiZwxWqtT/UQRreJI 2YZfA9/NLZKMUyophyAnTyOyT1rSSxLXFCgCUQNQO/+ssYNRCNPB7sJs3q7EoGbRIu4+ jjuLPFPTJ/ZetBhyl7STmqOJj62FPsewueVPvnjsiAThzH4KM+GGPZApTqibf9DPdUmP XdbcdTnj5k4uODgH0fNkCVgRMu4ysTind+o8DjouIRZ4t005XZJLQnwh2OZBnTjXITvP uAXkca27qY6xK8blYhyh2nQ9A40tSkLzRj3hJWudL+6kK+LVQmA9lHoVq6OJjIYjk/Tp 4zCQ== X-Received: by 10.194.243.230 with SMTP id xb6mr4099799wjc.100.1410357860941; Wed, 10 Sep 2014 07:04:20 -0700 (PDT) MIME-Version: 1.0 Received: by 10.194.79.231 with HTTP; Wed, 10 Sep 2014 07:04:00 -0700 (PDT) In-Reply-To: References: From: Thomas Braibant Date: Wed, 10 Sep 2014 16:04:00 +0200 Message-ID: To: David Sheets Cc: Yotam Barnoy , Ocaml Mailing List Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] One build system to rule them all? > Code-base size, dependency management, foreign-function binding, code > generation and staging, transparency, documentation, speed... and cross compilation, maybe?