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 423967EFCD for ; Wed, 15 Oct 2014 13:32:38 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.17.24; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.17.24; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.kundenserver.de) identity=helo; client-ip=212.227.17.24; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@mout.kundenserver.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkEBAIhaPlTU4xEYnGdsb2JhbABbgyM+j2IBsw6JaIhhFgERAQEBAQEGDQkJFC6EXoFiEwmIOQmjMo9PIW8Nh2GMRoozim0Fhi2MDYQHhxGBbIV3BZADAYIlagGCSQEBAQ X-IPAS-Result: AkEBAIhaPlTU4xEYnGdsb2JhbABbgyM+j2IBsw6JaIhhFgERAQEBAQEGDQkJFC6EXoFiEwmIOQmjMo9PIW8Nh2GMRoozim0Fhi2MDYQHhxGBbIV3BZADAYIlagGCSQEBAQ X-IronPort-AV: E=Sophos;i="5.04,723,1406584800"; d="asc'?scan'208";a="83332641" Received: from mout.kundenserver.de ([212.227.17.24]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 15 Oct 2014 13:32:37 +0200 Received: from office1.lan.sumadev.de (dslb-178-004-068-137.178.004.pools.vodafone-ip.de [178.4.68.137]) by mrelayeu.kundenserver.de (node=mreue105) with ESMTP (Nemesis) id 0ML7th-1Xednh2mgb-000P7S; Wed, 15 Oct 2014 13:32:36 +0200 Received: from [192.168.0.147] (546BEFE6.cm-12-4d.dynamic.ziggo.nl [84.107.239.230]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id F0144DC270 for ; Wed, 15 Oct 2014 13:32:35 +0200 (CEST) Message-ID: <1413372746.30506.15.camel@e130.lan.sumadev.de> From: Gerd Stolpmann To: caml-list Date: Wed, 15 Oct 2014 13:32:26 +0200 Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-bDQKq4w7Qpi/bdME6SpO" X-Mailer: Evolution 3.10.4-0ubuntu2 Mime-Version: 1.0 X-Provags-ID: V02:K0:r6JboPiFA4YW2sWHk2btLW48Z/MuWh/y0yArmsLNac2 VBvS8qu4GcS5GOTi5n6Bq+N74Y39ydJyyXPUr+FjHUleNTJnOw S/JeSIJh48VBjUsjF4+nbmj5g/4s8gDEnljeNFlpii+e1KtV8n 33FUV6DQ4fAsertlulLZkg3pdsveotPvRX5VhsNfN7ZUDXvd/w TR0xUawU4h/df6nyjuhWmW2WFT7CNsYGIpRCcsahsL9UaGoXv2 l00hZ/IsH31VjehtJmgMEgDyE5sPGqXnGN2WdVjHxfij+AeYYj Sg+QWKQtukFGHO4y9dvqiy8UsFaK84ncxi/OsZD3pDv8BEzKON oJttveRzNT8GcT1csUay9lLZ2VPhYQNRWfzIOsdE30MqGGSeJH fzkaa23VI8vSw== X-UI-Out-Filterresults: notjunk:1; Subject: [Caml-list] [ANN] findlib-1.5.4 --=-bDQKq4w7Qpi/bdME6SpO Content-Type: text/plain; charset="ISO-8859-15" Content-Transfer-Encoding: quoted-printable Hi, a new minor version has been released. There is a new ppxopt META variable allowing to pass options to ppx rewriters (for toploop use, ocaml-4.02.1 is required). This variable allows to set options for required ppx packages (e.g. ppxopt=3D"pkg1,foo pkg2,bar" passes option foo to the ppx rewriter in package pkg1, and bar to the ppx rewriter defined in pkg2). Also, a new environment variable FINDLIB_TOOLCHAIN was added. Both changes were developed by Peter Zotov (thanks for this). As always, links for download can be found here: http://projects.camlcity.org/projects/findlib.html Gerd --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de My OCaml site: http://www.camlcity.org Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------ --=-bDQKq4w7Qpi/bdME6SpO Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAABAgAGBQJUPltKAAoJEAaM4b9ZLB5TMb4IAIledZh5t4zYj86Lib46LsCq TzJGz/Kipn+Ji7va4n45i4n260VVmvO/kM23EbmlW5nTdYeYCBBVeVsMhF8U8PZg 6iWE7pgEZsLnVgTTTDRcxOyGEP6iQjTI7o0m8amDRCp82VWMsYUo25YwI2NLsai8 p+V7i+HwtjmbLEZR7WnoYqLnmi9ABWVV2fks/aEOr3YVds9xEZf48jzo5bMPinkY G0s1/aia9TtXEMeY6TFGx1UAh1CpdXP6kZf6VpmwJOBGtkdjkEuHyfdXxNgElWFo bQymI5dmcSLQ3DP412Zwqdqpe+FqmuZ0EsZg1RecvJ3xPqueOS8yBhACrlS37NM= =YP+9 -----END PGP SIGNATURE----- --=-bDQKq4w7Qpi/bdME6SpO--