From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 1514D7FAD2 for ; Thu, 23 Oct 2014 16:27:10 +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.52; 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.52 as permitted sender) identity=mailfrom; client-ip=74.125.82.52; 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-f52.google.com) identity=helo; client-ip=74.125.82.52; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jp.deplaix@gmail.com"; x-sender="postmaster@mail-wg0-f52.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoBAFcPSVRKfVI0m2dsb2JhbABCGoNig16FW8Qjh0sCgRIWAREBAQEBAQYLCwkULoQDAQEEEhEdARseAwwGBQQHDQkhAgIPAhIRAQUBHAYBDAgCHogKAQMRBQg4pkhuizGBcoMRiEYKGScNZ4VRAQEBAQEBAQMBAQEBAQEBARQBBQ6OMoIfgneBVAWTDIM/hxKHbIxMQYUtawEBgkkBAQE X-IPAS-Result: ApoBAFcPSVRKfVI0m2dsb2JhbABCGoNig16FW8Qjh0sCgRIWAREBAQEBAQYLCwkULoQDAQEEEhEdARseAwwGBQQHDQkhAgIPAhIRAQUBHAYBDAgCHogKAQMRBQg4pkhuizGBcoMRiEYKGScNZ4VRAQEBAQEBAQMBAQEBAQEBARQBBQ6OMoIfgneBVAWTDIM/hxKHbIxMQYUtawEBgkkBAQE X-IronPort-AV: E=Sophos;i="5.04,775,1406584800"; d="scan'208,217";a="84374599" Received: from mail-wg0-f52.google.com ([74.125.82.52]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 23 Oct 2014 16:27:09 +0200 Received: by mail-wg0-f52.google.com with SMTP id a1so1234670wgh.23 for ; Thu, 23 Oct 2014 07:27:08 -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:references :in-reply-to:content-type; bh=nOJ2REOxf2pVnjUTXjUm5fJU/khbmgAWn81SHZn4GaE=; b=UWpg2iLG3Qhxn2FZ6TBGTQLmB398RpmRCrXcSG8It4SXB8mPfTmsw7wJLjYNp1j2nI ZoF5qwXpHvkCjxbbJICjsyhRuq5OsosxBpFKU0h4w2fG9lO5AmirGCojPg8xRSCqXtcS jos7eaBpH8yFbsGtHqTr/mjXZdOh4ZkUiwXYA9EZqeiZSznNswvHy3+J6skPfpO47dtw 8FfReFbaTTrV+eA68C4N7Os8UvWruNGx9Mfb8Kz0dRrov496wjaYO4tG/hZtdDJm5a6y GJ1fIAVRujsr+M1Y7HFfK/gYyNKRqysP/w0PQYqwCPhbcoV5zMhDXaudFi/mQ+nxOYM9 boWg== X-Received: by 10.181.27.197 with SMTP id ji5mr45030822wid.26.1414074428770; Thu, 23 Oct 2014 07:27:08 -0700 (PDT) Received: from [129.12.131.203] (stu83CB.kent.ac.uk. [129.12.131.203]) by mx.google.com with ESMTPSA id gt7sm5593232wib.18.2014.10.23.07.27.07 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 23 Oct 2014 07:27:07 -0700 (PDT) Message-ID: <5449103A.40604@gmail.com> Date: Thu, 23 Oct 2014 15:27:06 +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 References: <54483506.7020505@gmail.com> In-Reply-To: <54483506.7020505@gmail.com> Content-Type: multipart/alternative; boundary="------------070400070500000201050902" Subject: Re: [Caml-list] [OASIS-devel] [ANN] OASIS v0.4.5 This is a multi-part message in MIME format. --------------070400070500000201050902 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit The new release is now available on opam. On 10/22/2014 11:51 PM, Jacques-Pascal Deplaix wrote: > 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 --------------070400070500000201050902 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: 7bit
The new release is now available on opam.

On 10/22/2014 11:51 PM, Jacques-Pascal Deplaix wrote:
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

--------------070400070500000201050902--