From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 0279F7EEF6 for ; Wed, 4 May 2016 14:15:29 +0200 (CEST) IronPort-PHdr: 9a23:nJrXKhIMP6ulEbYi/tmcpTZWNBhigK39O0sv0rFitYgUL/TxwZ3uMQTl6Ol3ixeRBMOAu6MC07Cd7/qocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC3oLvjavuodX6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD86Fpy8kVWqz/e+wlVrFCF3xyOGkw4IjvtALfZQqJ/HoVFGsMxElmGQ/AuT7zVI3wvy+yjeF91TOXJ4WiQrk+QzWv6+FwQx/lkiodHzE8+WDTzMd3ifQI81qauxVjztuMM8muP/1kc/aFcA== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f181.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.223.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.223.181 as permitted sender) identity=mailfrom; client-ip=209.85.223.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.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@mail-io0-f181.google.com) identity=helo; client-ip=209.85.223.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-io0-f181.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0A5AACi5ilXj7XfVdFEGoNWNX0GgnWkKwQDhzOLCAENgXUihWoCgTcHOBQBAQEBAQEBAREBAQEBBwsLCSEvgi2CJwYRHQEbHgMSAw0PAiYCJAERAQUBIjWHcgEDEg4sjhGNO4IHgTE+MYs7gWqCV4c0ChknDVGEGAEFCgVthSSDSohCglkFmBmBVYQniByCNoxbAoZ3hn8SHoEOHgEBgXgMVIFxIDABiDsBAQE X-IPAS-Result: A0A5AACi5ilXj7XfVdFEGoNWNX0GgnWkKwQDhzOLCAENgXUihWoCgTcHOBQBAQEBAQEBAREBAQEBBwsLCSEvgi2CJwYRHQEbHgMSAw0PAiYCJAERAQUBIjWHcgEDEg4sjhGNO4IHgTE+MYs7gWqCV4c0ChknDVGEGAEFCgVthSSDSohCglkFmBmBVYQniByCNoxbAoZ3hn8SHoEOHgEBgXgMVIFxIDABiDsBAQE X-IronPort-AV: E=Sophos;i="5.24,576,1454972400"; d="scan'208";a="216950357" Received: from mail-io0-f181.google.com ([209.85.223.181]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 04 May 2016 14:15:28 +0200 Received: by mail-io0-f181.google.com with SMTP id 190so51772863iow.1 for ; Wed, 04 May 2016 05:15:28 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to :content-transfer-encoding; bh=o37U6G201e3mHZONBeGcmCZM52OkIsz1vHdo1bRCf5s=; b=Y41gAY4j5ieUdtDhN366LWvG1mf7aiEzZhhKjgvxtF8UNyIeTT5neOOCqdTRX2gYyi tqnBUGyKo5AwBQ5NqNMsoJ1lKwCHo0+HYwRwh4cvRjUqqUKCOliIbZFB6inGc754f9uK rYxaGc8bWXeX5TAHiRcm46d1GSsYushQoDd9PTTXOw1wgGNu9vbcW78rqeBzT7+VbgB0 xBxZcQK/cIheVrSy6RUsofsMf4njdiNUWh7FJY5rAi4si50JXpMWvLimkro72fucVc5X 6lkfxmQuHj2veT9JiPlcrmw44yfDo/AAxNTF6mwuDNbKDmIn8AvBzIjMnp1eqep25UIr 88Uw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:from:date:message-id:subject:to :content-transfer-encoding; bh=o37U6G201e3mHZONBeGcmCZM52OkIsz1vHdo1bRCf5s=; b=M2piFSC48Y09acVNHu42E0AmmnsIcTqtYi/aSoBp7RpK8u5nJwbcB2GXLkLYrjz5lk moQh6umr/a3NK5QWeYhMEEm37QkHy7i5YaXHBLTWnuK8zlWX/Zf7nyRPJbWz0wq007Rp 72S72oWuKZ6RCmZLRqkwgbv2/HmX/SaSPjPAGA9c6Pt/DUm4yekgORenCNlOYyD9aKs6 bz9bjcY+nR5mvzkTi75r+y985if2FL9WJLPGvle6Uoymq3WxyTAAd9MnVcXeBVlvYwwD 5scKDeOOdwTqphpXeGt9nd8h55IljX8YEQqOUfv+fEbL+wspP9eomIdRwRpjLoWe62aP te1A== X-Gm-Message-State: AOPr4FXiCR7CMtKB2ws1uq5agfrc9PTOSq3KZAoloi6102r2xL4GB9MLCkgR+xgCb3zMXcgzUtFwV1kg14WVlw== X-Received: by 10.107.169.13 with SMTP id s13mr9616726ioe.19.1462364126709; Wed, 04 May 2016 05:15:26 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.89.195 with HTTP; Wed, 4 May 2016 05:14:47 -0700 (PDT) From: Gabriel Scherer Date: Wed, 4 May 2016 08:14:47 -0400 Message-ID: To: caml users Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] [ANN] OCamlbuild 0.9.2 Since 4.03, ocamlbuild is distributed separately from the OCaml compiler, as announced in: https://sympa.inria.fr/sympa/arc/caml-list/2015-12/msg00003.html Early-adopters have been able to use ocamlbuild 0.9.0 and 0.9.1 since before the official 4.03 release, and the migration seems to have been fairly smooth. OCamlbuild 0.9.2, released on the Workers' Day, better supports some 4.03-related options. In particular, Martin Neuh=C3=A4u=C3=9Fer contributed new flags for flambda= -specific optimization options. We also extend the scope of the flags -opaque and -for-pack, to align with 4.03 best practices. - #67: Add support for flambda's optimization parameters The flags are named according to the flambda options with two exceptions: optimization_rounds(int) for -rounds optimize({2,3,classic}) for -O{2,3,classic} (Martin Neuh=C3=A4u=C3=9Fer) - #70 (partial): fix hygiene complains about the build directory under Windows (Andreas Hauptmann, Gabriel Scherer) - #73: also pass predicates(foo) to ocamldep (J=C3=A9r=C3=A9mie Dimino) - extend the scope of the -opaque flag under 4.03 (Gabriel Scherer) - extend the scope of the -for-pack flag to ocamlc, as recommend by OCaml compiler maintainers in [PR#5996](http://caml.inria.fr/mantis/view.php?id=3D5995#c13339) (Gabriel Scherer)