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 q21JwmDb025114
	for <caml-list@sympa-roc.inria.fr>; Thu, 1 Mar 2012 20:58:48 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AuoBAMHTT0/RVdS2kGdsb2JhbABDgwaweAgiAQEBAQkJDQcUBCOCFgImBgEbDw8DEhBeEQEFARZBh2QEmE2CXQqLcoJxhQk/iHQBBQuNFhACCAIKAQYLAgYHDBMBBgMChQgCAgYzCD2CP2MElTuFX4E6hxk9hAQ
X-IronPort-AV: E=Sophos;i="4.73,512,1325458800"; 
   d="scan'208";a="133910597"
Received: from mail-wi0-f182.google.com ([209.85.212.182])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 01 Mar 2012 20:58:42 +0100
Received: by wibhn6 with SMTP id hn6so340634wib.27
        for <caml-list@inria.fr>; Thu, 01 Mar 2012 11:58:42 -0800 (PST)
Received-SPF: pass (google.com: domain of thomas.gazagnaire@gmail.com designates 10.216.138.36 as permitted sender) client-ip=10.216.138.36;
Authentication-Results: mr.google.com; spf=pass (google.com: domain of thomas.gazagnaire@gmail.com designates 10.216.138.36 as permitted sender) smtp.mail=thomas.gazagnaire@gmail.com; dkim=pass header.i=thomas.gazagnaire@gmail.com
Received: from mr.google.com ([10.216.138.36])
        by 10.216.138.36 with SMTP id z36mr3571258wei.22.1330631922270 (num_hops = 1);
        Thu, 01 Mar 2012 11:58:42 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=from:content-type:content-transfer-encoding:subject:date:message-id
         :to:mime-version:x-mailer;
        bh=fLUQSH8/30L2ssvYOzZDgVqNmwNOj2jiLTFd2Dzfy00=;
        b=nuURYIRa13GcWWO/0rnlyBMIDg8G/vItivzt7JjEX1PysCmcqMCeYHWe8u8SVGBkXd
         lUfyH4wUDoUlbinhNDOIV8W2ne2zdeuZvDB4rB0c8wlS6RVIdOPOhqopANsHOYSPUDjj
         mGd0KnFFWoTtIeGiX5Sxaz6nYc4n6TZR5l9rnpIoE0dLRofF5LdCS5qLrxWorfUi0iIr
         EpvMKcvaUo6jRGsu2Lr2CUYFPazjCtVee2v60DPBUSqwOmNgJ4bYoaPc47xaxNweYOvd
         OTjeGikOw38vWiWrqtUvYJ0uZ6ylQLV2eWOnsi3r7aG0bgf+cchPei3xl8xQtwB5Xd+N
         b7qA==
Received: by 10.216.138.36 with SMTP id z36mr2881803wei.22.1330631922098;
        Thu, 01 Mar 2012 11:58:42 -0800 (PST)
Received: from [192.168.0.14] (gou06-3-88-170-165-56.fbx.proxad.net. [88.170.165.56])
        by mx.google.com with ESMTPS id p10sm44671628wic.0.2012.03.01.11.58.40
        (version=TLSv1/SSLv3 cipher=OTHER);
        Thu, 01 Mar 2012 11:58:41 -0800 (PST)
From: Thomas Gazagnaire <thomas.gazagnaire@gmail.com>
Content-Type: text/plain; charset=us-ascii
Date: Thu, 1 Mar 2012 20:58:38 +0100
Message-Id: <066176AC-436B-496D-A472-37973A2791E9@gmail.com>
To: caml-list@inria.fr
Mime-Version: 1.0 (Apple Message framework v1084)
X-Mailer: Apple Mail (2.1084)
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q21JwmDb025114
Subject: [Caml-list] compiling static preprocessors

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