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 35A6A7FAD2 for ; Thu, 23 Oct 2014 00:51:54 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of jp.deplaix@gmail.com) identity=pra; client-ip=74.125.82.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jp.deplaix@gmail.com"; x-sender="jp.deplaix@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of jp.deplaix@gmail.com designates 74.125.82.49 as permitted sender) identity=mailfrom; client-ip=74.125.82.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jp.deplaix@gmail.com"; x-sender="jp.deplaix@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-wg0-f49.google.com) identity=helo; client-ip=74.125.82.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jp.deplaix@gmail.com"; x-sender="postmaster@mail-wg0-f49.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjwCAGY0SFRKfVIxlGdsb2JhbABCGoNiWIMGvSSMLgELiFcWAREBAQEBBwsLCRIwhBsRHQEbHAIDEgkHFhYLAgsDAgECARERAQUBIgEMCAIeiAkBAxEFCDikRm6LMYFygxGIQgoZJw1nhVEBCwEZAQUOjjGEVQ8yEoFCBZMLgz+HE4dsjElBhS1rAQGCSQEBAQ X-IPAS-Result: AjwCAGY0SFRKfVIxlGdsb2JhbABCGoNiWIMGvSSMLgELiFcWAREBAQEBBwsLCRIwhBsRHQEbHAIDEgkHFhYLAgsDAgECARERAQUBIgEMCAIeiAkBAxEFCDikRm6LMYFygxGIQgoZJw1nhVEBCwEZAQUOjjGEVQ8yEoFCBZMLgz+HE4dsjElBhS1rAQGCSQEBAQ X-IronPort-AV: E=Sophos;i="5.04,771,1406584800"; d="scan'208,217";a="84278592" Received: from mail-wg0-f49.google.com ([74.125.82.49]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 23 Oct 2014 00:51:53 +0200 Received: by mail-wg0-f49.google.com with SMTP id x12so4764293wgg.8 for ; Wed, 22 Oct 2014 15:51:53 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:subject :content-type; bh=2jtVwVd5HZ/OZHXy+huwM1idEB7NAt7KwFsRq1bbP8Y=; b=zkaJC5T2VgQHx9sZ7P33tgmaFg4DkdW5TAGaQMHaU74EI2O9KPbeEnwnWGyrGARTMO 5DGxyX7yLSHDEEcF0zKaKpxzSjk+/zquRMgxRtYvBQz7P7tI3S32vu5k216590G/d4U5 upYvIUEI+i6RCoY9Wbfg176M22RGpN0jdw77Le2gKU8VyPxkDcOFuqEQYd97tsrC1SBi d/s7iRJH/O15Opcf3nR8ctkUxBx3ioT5Jc2zXl/mKBY46Ylpl9z2h/40LakVm9skPiW2 Xic69g6+3ypia2s6iZubwFVHmbWzl0WC/6sGCk77tq4Ei1xMEpp1ng6xSJPTymHTOqZJ 0nuw== X-Received: by 10.180.75.116 with SMTP id b20mr39745299wiw.49.1414018312449; Wed, 22 Oct 2014 15:51:52 -0700 (PDT) Received: from [129.12.131.203] (stu83CB.kent.ac.uk. [129.12.131.203]) by mx.google.com with ESMTPSA id ua8sm160270wjc.7.2014.10.22.15.51.51 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 22 Oct 2014 15:51:51 -0700 (PDT) Message-ID: <54483506.7020505@gmail.com> Date: Wed, 22 Oct 2014 23:51:50 +0100 From: Jacques-Pascal Deplaix User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.1.2 MIME-Version: 1.0 To: OCaml mailing list , oasis-devel Content-Type: multipart/alternative; boundary="------------050909060202070402020000" Subject: [Caml-list] [OASIS-devel] [ANN] OASIS v0.4.5 This is a multi-part message in MIME format. --------------050909060202070402020000 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Hi all, I and Sylvain Le Gall just released OASIS 0.4.5. OASIS is a tool to help OCaml developers to integrate configure, build and install systems in their projects. It should help to create standard entry points in the source code build system, allowing external tools to analyse projects easily. Important changes: * Build and install annotation files. * Use builtin bin_annot and annot tags. * Tag .mly files on the same basis as .ml and .mli files (required by menhir). * Remove 'program' constraint from C-dependencies. Currently, when a library has C-sources and e.g. an executable depends on that library, then changing the C-sources and running '-build' does not yield a rebuild of the library. By adding these dependencies (rather removing the constraint), it seems to work fine. * Some bug fixes Features: * no_automatic_syntax (alpha): Disable the automatic inclusion of -syntax camlp4o for packages that matches the internal heuristic (if a dependency ends with a .syntax or is a well known syntax). * compiled_setup_ml (alpha): Fix a bug using multiple arguments to the configure script. Full blog post here: http://le-gall.net/sylvain+violaine/blog/index.php?post/2014/10/23/Release-of-OASIS-0.4.5 Download here: https://forge.ocamlcore.org/frs/?group_id=54&release_id=1109 Cheers Jacques-Pascal Deplaix --------------050909060202070402020000 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: 7bit Hi all,

I and Sylvain Le Gall just released OASIS 0.4.5.

OASIS is a tool to help OCaml developers to integrate configure, build and install systems in their projects. It should help to create standard entry points in the source code build system, allowing external tools to analyse projects easily.


Important changes:
* Build and install annotation files.
* Use builtin bin_annot and annot tags.
* Tag .mly files on the same basis as .ml and .mli files (required by menhir).
* Remove 'program' constraint from C-dependencies. Currently, when a library has C-sources and e.g. an executable depends on that library, then changing the C-sources and running '-build' does not yield a rebuild of the library. By adding these dependencies (rather removing the constraint), it seems to work fine.
* Some bug fixes

Features:
* no_automatic_syntax (alpha): Disable the automatic inclusion of -syntax camlp4o for packages that matches the internal heuristic (if a dependency ends with a .syntax or is a well known syntax).
* compiled_setup_ml (alpha): Fix a bug using multiple arguments to the configure script.


Download here:

Cheers
Jacques-Pascal Deplaix
--------------050909060202070402020000--