From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Tiphaine.Turpin@irisa.fr>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled 
	version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id 885C8BBAF
	for <caml-list@yquem.inria.fr>; Wed, 20 May 2009 21:08:17 +0200 (CEST)
X-IronPort-AV: E=Sophos;i="4.41,222,1241388000"; 
   d="scan'208";a="40308341"
Received: from 88-123-247-21.rev.libertysurf.net (HELO [192.168.1.99]) ([88.123.247.21])
  by mail4-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 20 May 2009 21:08:17 +0200
Message-ID: <4A145504.4000604@irisa.fr>
Date: Wed, 20 May 2009 21:07:48 +0200
From: Tiphaine Turpin <Tiphaine.Turpin@irisa.fr>
User-Agent: Thunderbird 2.0.0.19 (X11/20090216)
MIME-Version: 1.0
To: caml-list@yquem.inria.fr
Subject: syntax extensions using batteries
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Spam: no; 0.00; irisa:01 syntax:01 syntax:01 camlp:01 ocamlfind:01 ocamlc:01 -pp:01 camlp:01 cmo:01 ocamlfind:01 ocamlc:01 cmo:01 toplevel:01 ocaml:01 prolog:01 

Hi,

I can't use the syntax extension I just wrote : I don't know how to make
camlp4 load a module which depends on batteries.

First attempt: if I do something like

    ocamlfind batteries/ocamlc -pp "camlp4o pa_prolog.cmo"

then pa_prolog is never loaded.

Second attempt: if I try

    ocamlfind batteries/ocamlc -ppopt pa_prolog.cmo

then I have to also add -ppopt batteries.cma, then sexplib.cma, which
fails due to unavailable native functions.

However, the extension works fine in the toplevel (ocamlfind
batteries/ocaml).

Any Ideas ? How can I achieve "batteries/camlp4" ?