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 q0H8WBQe003693 for ; Tue, 17 Jan 2012 09:32:15 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgcFADcxFU/VuiYS/2dsb2JhbABEhEFQpymBBoEFgXIBAQUMF1YQCQIaAiYCAiwrBogPpE+RYBOBHId7FQkCAgEBEgEFCAUaARoJDRABAgEBAgMBAgEBAQECczcRgUcBHAIHAQECAw0BAgMBAQMCAwIDBAEEgjGBFgSnUw X-IronPort-AV: E=Sophos;i="4.71,522,1320620400"; d="scan'208";a="127601915" Received: from solaria.dimino.org ([213.186.38.18]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 17 Jan 2012 09:32:15 +0100 Received: from arrakis (localhost.localdomain [127.0.0.1]) by solaria.dimino.org (Postfix) with ESMTP id CE2B48003C; Tue, 17 Jan 2012 09:32:14 +0100 (CET) Received: by arrakis (Postfix, from userid 1000) id E287811F0DB; Tue, 17 Jan 2012 09:32:16 +0100 (CET) Message-ID: <1326789136.7483.3.camel@arrakis> From: =?ISO-8859-1?Q?J=E9r=E9mie?= Dimino To: Francois Berenger Cc: caml-list@yquem.inria.fr, ocaml_beginners@yahoogroups.com Date: Tue, 17 Jan 2012 09:32:16 +0100 In-Reply-To: <4F1527BB.1070509@riken.jp> References: <4F14E234.7000407@riken.jp> <4F1527BB.1070509@riken.jp> Content-Type: text/plain; charset="UTF-8" X-Mailer: Evolution 3.2.2-1 Mime-Version: 1.0 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q0H8WBQe003693 Subject: Re: [Caml-list] Re: OASIS help : adding -pp camlp4of and camlp4.gramlib to the compilation flags Le mardi 17 janvier 2012 à 16:48 +0900, Francois Berenger a écrit : > In fact, now I only need to use cppo to preprocess my source files. > So the updated command is: > ocamlfind ocamlopt -package batteries -linkpkg -o test_logger -annot -g > -pp cppo logger.ml test_logger.ml > > How do I request oasis to preprocess all files using cppo? You must modify the _tags file. You can add this line (outside OASIS_START/OASIS_STOP): <**/*.ml>: pp(cppo) you may also want to add: BuildTools: cppo to your _oasis file so oasis will check for cppo. Cheers, -- Jérémie