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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 738AF7F249 for ; Fri, 2 Nov 2012 19:08:31 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=pra; client-ip=98.139.91.100; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=mailfrom; client-ip=98.139.91.100; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@nm30.bullet.mail.sp2.yahoo.com) identity=helo; client-ip=98.139.91.100; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="postmaster@nm30.bullet.mail.sp2.yahoo.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnICANUKlFBii1tkXWdsb2JhbAAqDQ2xHpIWGBgKCgcZJIIZBQEBBAELIBUBAhUhAQEDCwYFRi8BDgEEAhIGiAoBAQIJBgQHLalECYJuhHkBIwMBIwOJVwEGCgEBi3qGNgOIWo0mhWQtUIgRbINu X-IronPort-AV: E=Sophos;i="4.80,701,1344204000"; d="scan'208";a="179936692" Received: from nm30.bullet.mail.sp2.yahoo.com ([98.139.91.100]) by mail1-smtp-roc.national.inria.fr with ESMTP; 02 Nov 2012 19:08:30 +0100 Received: from [72.30.22.92] by nm30.bullet.mail.sp2.yahoo.com with NNFMP; 02 Nov 2012 18:08:29 -0000 Received: from [98.139.91.31] by tm14.bullet.mail.sp2.yahoo.com with NNFMP; 02 Nov 2012 18:08:29 -0000 Received: from [127.0.0.1] by omp1031.mail.sp2.yahoo.com with NNFMP; 02 Nov 2012 18:08:29 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 492317.81626.bm@omp1031.mail.sp2.yahoo.com Received: (qmail 44404 invoked by uid 60001); 2 Nov 2012 18:08:29 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1351879709; bh=5Pl5+Af5mLJUFpDunmWth0yLhBFO4VrVS4wjN0TtVqQ=; h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:References:Message-ID:Date:From:Reply-To:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=c2QJtPLsiqsoihi/hHfmn48oKBlHMBfgA//uoEM6GLYxAkAYiUDjg9aMgyz+MXsN0+UUAIikYPPrducd1Ene4GtKnvXmdoy8MJsUOM+DLycOOcsX3J7O1kU/vpJ4+ie853FuAZlUJlY+FwVjYbbA79ckcMe3RJlGCyva/I3cDfA= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:References:Message-ID:Date:From:Reply-To:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=nyDvmRiGf6tmxYjRkMLqxlaz9emhpny2eZthRQYQr1054k8cgRaJPgn2YhyQA54vh+R12ucGcwXPFO3uilaLeJOT7L8KBmR++/oR2KgRHOTDeIHxxDqfn2bwEH3ePRdXaL2dWl1whBj6ZA2ORpUGd04JtKTMYvmrWiwYLHX2f4U=; X-YMail-OSG: Gswzzf0VM1lu2uNZ3Tm.Jt00.J.yji6K9zQ9Z1v.GBgcxSk JXm_LBS08qhOazJGMN4yC2_6Ldt69MA69xr169tNNb_2z8UO6_etqkEuyUKA C7BEburjt3lzj8Si_C7uIESIwTVRrhMZsyWEB.gKSrGEs2STbUz0hIIDTv9w ofBn8mtWmNY0k4NR0RIMs7HwN3QLMoA3lEDFtvf0tfIPAKeXqgsKw315TIbh rd6froEjTdTTG4fmuJt.KvpLRgAxnBFbipsRvX8l96J6Os6cn77sZoaWf1mn 1XS_OHEiCeuvpKJYKUtKGgZTW4GfT6E1jdbR4L6s_Tin3asmYNBJR5XcI0Y4 iqOIvKtYuJe45IPPPj_TadZhfM3pNJ3BtYJjMYSE.2vLXo7_9pn3_zoJE4OW iUUPbwKEkigZEy6s1VqwN2s2H7mBYqzD24byDHp.ad1YAuinnvTluBSsSN_z ExBMPquxYHo05slFpr6eZpESlIgXVupI7hqyUxmyaFeoG352k9BliVSnhAVq 2GagAlgaA515DJAGGvYjo7MkmtDkHlPkCzAQd_F02Jry9MiUzUZ0.s5cgFf3 eAwmoixVK.qc7vPXDtMlc3pWr2ARdWijj31WjZwdci0kb Received: from [195.23.39.234] by web111508.mail.gq1.yahoo.com via HTTP; Fri, 02 Nov 2012 11:08:28 PDT X-Rocket-MIMEInfo: 001.001,SGksCgo.IEl0J3MgcHJvYmFibHkgeW91ciBfdGFncyBmaWxlIHRoYXQgaXMgbWlzc2luZyBhOgoKPiAKPiA8KiovKi5tbD46IHN5bnRheF9jYW1scDRvCj4gCj4gZm9yIHRoZSBzeW50YXggZXh0ZW5zaW9uLsKgIE9BU0lTIGRvZXNuJ3QgZnVsbHkgc3VwcG9ydCB1c2luZyBzeW50YXggCj4gZXh0ZW5zaW9ucyB5ZXQsIHNvIHlvdSBuZWVkIHRvIGJlIGNhcmVmdWwgdG8ga2VlcCB0aGUgX3RhZ3MgZmlsZSBtYW51YWxseSBpbiAKPiBzeW5jLgoKVGhhbmtzIEFuaWwsIHlvdSB3ZXJlIHNwb3Qgb24gLS0gdGhlIHABMAEBAQE- X-Mailer: YahooMailWebService/0.8.123.460 References: <1351173429.15638.YahooMailNeo@web111503.mail.gq1.yahoo.com> <58E915E9-0BD4-4F0B-9581-B446C93A4EB8@recoil.org> <1351274219.20181.YahooMailNeo@web111501.mail.gq1.yahoo.com> <1351783121.24914.YahooMailNeo@web111506.mail.gq1.yahoo.com> Message-ID: <1351879708.29248.YahooMailNeo@web111508.mail.gq1.yahoo.com> Date: Fri, 2 Nov 2012 11:08:28 -0700 (PDT) From: Dario Teixeira Reply-To: Dario Teixeira To: Anil Madhavapeddy Cc: Sylvain Le Gall , "caml-list@inria.fr" In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Re: Conditional BuildDepends in OASIS Hi, > It's probably your _tags file that is missing a: >=20 > <**/*.ml>: syntax_camlp4o >=20 > for the syntax extension.=A0 OASIS doesn't fully support using syntax=20 > extensions yet, so you need to be careful to keep the _tags file manually= in=20 > sync. Thanks Anil, you were spot on -- the problem was indeed in the _tags file. Anyway, most of the process of oasifying PG'OCaml is now complete, and I took the time also for a general cleanup of the project.=A0 The code can be fetched from the SVN repo: svn export svn://scm.ocamlcore.org/svn/pgocaml/branches/oasification As discussed previously, the project can be compiled against Batteries and/or ExtLib.=A0 Users should reference findlib package's pgocaml.batteries and pgocaml.batteries.syntax if using Batteries, for example. It would be very helpful if PG'OCaml users and packagers were to give me some feedback concerning the new version.=A0 Most stuff is working, there being only a few minor outstanding issues: - To build the documentation, "make doc" has to be issued twice! - The highlevel test isn't compiling.=A0 For some reason OASIS is =A0 ignoring the BuildDepends directive. - OASIS issues a warning during setup.=A0 This seems to be a known =A0 bug in OASIS, however: =A0 https://forge.ocamlcore.org/tracker/index.php?func=3Ddetail&aid=3D1043&= group_id=3D54&atid=3D291 Best regards, Dario Teixeira