From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q21KELT4025611 for ; Thu, 1 Mar 2012 21:14:21 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvABAFHXT0/RVaC2kGdsb2JhbABDokiRNggiAQEBAQkJDQcUBCOBfQEBAQQSAiwBASkDCwEPCwsNDRARIQESAQUBChIGEwgKEIdkC5spCoo5hCoBjjsGiRuDegEFBQEQAgoGBAMEAwgECg4NAQIBAgYDAoRJfAQEBAcLAwoIA4MxiFGMbosbgxc9hBA X-IronPort-AV: E=Sophos;i="4.73,513,1325458800"; d="scan'208";a="133912668" Received: from mail-gy0-f182.google.com ([209.85.160.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 01 Mar 2012 21:14:15 +0100 Received: by ghrr20 with SMTP id r20so677204ghr.27 for ; Thu, 01 Mar 2012 12:14:14 -0800 (PST) Received-SPF: pass (google.com: domain of wojciech.meyer@googlemail.com designates 10.236.115.105 as permitted sender) client-ip=10.236.115.105; Authentication-Results: mr.google.com; spf=pass (google.com: domain of wojciech.meyer@googlemail.com designates 10.236.115.105 as permitted sender) smtp.mail=wojciech.meyer@googlemail.com; dkim=pass header.i=wojciech.meyer@googlemail.com Received: from mr.google.com ([10.236.115.105]) by 10.236.115.105 with SMTP id d69mr9250735yhh.89.1330632854295 (num_hops = 1); Thu, 01 Mar 2012 12:14:14 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; bh=WZLK1fMwS30DurObw/OX3nqm/5eOqLkbu5qYDZ5r3LY=; b=vXew9HEwdPSXaHe07beEAqVspGyNzTFGV2b5Ta2EXB0YqyNaxUFIR50CFTGbfOsnh9 CCvGprB7d310Wwt/090l/KAyCZNV/w4jpa7p2SJpl30A+y16+dc3d3eypZCwPxZIDt9a qYkQBnCALSwZFcSpS+enUKmPpOBQNCC6z8+1nPfpMN2lS4pCyn083N6U4rjnJ7ZfalBN wq4r5e3B/RbQ4q97HB8qoPNnwifCn6iEuP0R4ek2gAt24fDGN/EvMboBg8SDo0bFg1m9 IcUBktkH6DfvfqqhxxSVblsXL09rdmlQJEczs1dJC4w+4+GMO/VQGxrqstdU9abBjenK 3ZnQ== MIME-Version: 1.0 Received: by 10.236.115.105 with SMTP id d69mr7329244yhh.89.1330632854236; Thu, 01 Mar 2012 12:14:14 -0800 (PST) Received: by 10.100.88.6 with HTTP; Thu, 1 Mar 2012 12:14:14 -0800 (PST) In-Reply-To: <066176AC-436B-496D-A472-37973A2791E9@gmail.com> References: <066176AC-436B-496D-A472-37973A2791E9@gmail.com> Date: Fri, 2 Mar 2012 04:14:14 +0800 Message-ID: From: Wojciech Meyer To: Thomas Gazagnaire Cc: caml-list@inria.fr 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 q21KELT4025611 Subject: Re: [Caml-list] compiling static preprocessors Hi Thomas, Unfortunately I don't have much time to reply right now, so please excuse lack of information [i am not an camlp4 expert too] and I would need to see what I did at wok, but as far as I remember mkcamlp4 command helped mi a lot with building custom preprocessors. Cheers, Wojciech On Fri, Mar 2, 2012 at 3:58 AM, Thomas Gazagnaire wrote: > Dear camlp4 experts, > > I'm trying to compile a static version of a preprocessor built from type-conv and sexplib. > > I've tried: > > ocamlc dynlink.cma unix.cma \ >       -I +camlp4 camlp4lib.cma -linkall \ >       Camlp4Parsers/Camlp4OCamlRevisedParser.cmo \ >       Camlp4Parsers/Camlp4OCamlParser.cmo \ >       Camlp4Parsers/Camlp4OCamlRevisedParserParser.cmo \ >       Camlp4Parsers/Camlp4OCamlParserParser.cmo \ >       Camlp4Printers/Camlp4AutoPrinter.cmo \ >       Camlp4Bin.cmo \ >       -I +site-lib/type-conv pa_type_conv.cma \ >       -I +site-lib/sexplib pa_sexp_conv.cma \ >       -o sexppp > > I've taken the first lines by greping camlp4o.native in ocaml-3.12.1/_build/_log and I've appended what normally follows camlp4o when using sexplib. > > The command succeeds at building sexppp, but unfortunately, the preprocessor doesn't work as expected: "./my_pp foo.ml" gives: "Parse error: [semi] expected after [str_item] (in [implem])" for any type followed by "with sexp" in foo.ml. > > I am trying to do something crazy or is there a chance to make it work? > > Cheers, > Thomas > > -- > Caml-list mailing list.  Subscription management and archives: > https://sympa-roc.inria.fr/wws/info/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs >