From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p72LspD9027737 for ; Tue, 2 Aug 2011 23:54:56 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoQCAC9xOE7RVdK2mGdsb2JhbAA/A5gojzgIFAEBAQEBCAkNBxQlgUABAQEBAxICLAE4AQMMAQUFCw0uIQESAQUBHAYTIodOogYKjwOEay6IegIDBoM4gwQEh1qLIYlrgmE8gT+CPQ X-IronPort-AV: E=Sophos;i="4.67,307,1309730400"; d="scan'208";a="114805073" Received: from mail-iy0-f182.google.com ([209.85.210.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 02 Aug 2011 23:54:56 +0200 Received: by iyb11 with SMTP id 11so338317iyb.27 for ; Tue, 02 Aug 2011 14:54:54 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:from:date :x-google-sender-auth:message-id:subject:to:cc:content-type :content-transfer-encoding; bh=nv8FO94wtAoqqOg5eulFLXPcYqG1mhPGYw1+KIPyEmY=; b=G6TyA9o1stsgBCATNX6WlyQZ3surZTW5MGubEoYUXUn9gzXVlWeqo7OGpC4pERBVQB MXdQ3E4fNpW2KSzdiVK2l76WmAIJaKTnb6RVVUrA7sX3BitceyqOovSFnZM6liUDB9Yj 3hXZ2xuuk0eT1ICuixGfYi6xGsmZAa+Y8o4j8= Received: by 10.42.246.1 with SMTP id lw1mr80389icb.47.1312322094193; Tue, 02 Aug 2011 14:54:54 -0700 (PDT) MIME-Version: 1.0 Sender: warnegia@gmail.com Received: by 10.42.74.65 with HTTP; Tue, 2 Aug 2011 14:54:34 -0700 (PDT) In-Reply-To: References: From: William Le Ferrand Date: Tue, 2 Aug 2011 14:54:34 -0700 X-Google-Sender-Auth: SD7KuNSExjOwuDZU-htjwx4ln1k Message-ID: To: Philippe Veber Cc: caml users Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p72LspD9027737 Subject: Re: [Caml-list] Oasis and camlp4of Hi I let Sylvain detailing how things should be done properly but as a quick hack you can add at the bottom of the _tags file : syntax_camlp4of , it should do the trick (and it won't be erased by oasis setup if you put it after the #OASIS_END line. Hope it helps William On Tue, Aug 2, 2011 at 1:32 PM, Philippe Veber wrote: > Hello, > how can I tell oasis that my syntax extension needs camlp4of instead of > camlp4o ? I tried to add a ByteOpt line for this: > > Library pa_guizmin >   Path:               src/syntax >   Modules:            Pa_guizmin >   FindlibParent:      guizmin >   FindlibName:        syntax >   BuildDepends:       camlp4.lib, camlp4.quotations.o >   CompiledObject:     byte >   ByteOpt:            -pp camlp4of > > and indeed myocamlbuild.ml now contains: > > let package_default = >   { >      MyOCamlbuildBase.lib_ocaml = >        [("src/syntax/pa_guizmin", ["src/syntax"]); ("src/guizmin", > ["src"])]; >      lib_c = []; >      flags = >        [ >           (["oasis_library_pa_guizmin_byte"; "ocaml"; "link"; "byte"], >             [(OASISExpr.EBool true, S [A "-pp"; A "camlp4of"])]); >           (["oasis_library_pa_guizmin_byte"; "ocaml"; "ocamldep"; "byte"], >             [(OASISExpr.EBool true, S [A "-pp"; A "camlp4of"])]); >           (["oasis_library_pa_guizmin_byte"; "ocaml"; "compile"; "byte"], >             [(OASISExpr.EBool true, S [A "-pp"; A "camlp4of"])]) >        ]; >      } >   ;; > > But still, these options are not used when I compile using ocaml setup.ml > -build > > + ocamlfind ocamldep -package camlp4.quotations.o -package camlp4.lib > -package camlp4.extend -modules src/syntax/pa_guizmin.ml > > src/syntax/pa_guizmin.ml.depends > File "src/syntax/pa_guizmin.ml", line 22, characters 3-5: > Error: Syntax error > > Am I missing something ? > > Cheers, >   Philippe. > -- William Le Ferrand Mobile : (+1) (415) 683-1484 Web : http://williamleferrand.github.com/