From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA01406; Wed, 28 Nov 2001 09:32:43 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA01400 for caml-list@pauillac.inria.fr; Wed, 28 Nov 2001 09:32:43 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id BAA30652 for ; Wed, 28 Nov 2001 01:50:27 +0100 (MET) Received: from smtp2.9tel.net (smtp2.9tel.net [212.30.96.123]) by concorde.inria.fr (8.11.1/8.11.1) with SMTP id fAS0oMf18244 for ; Wed, 28 Nov 2001 01:50:22 +0100 (MET) Received: (qmail 25280 invoked from network); 28 Nov 2001 00:50:21 -0000 Received: from unknown (HELO univ-savoie.fr) (213.203.73.206) by 0 with SMTP; 28 Nov 2001 00:50:21 -0000 Message-ID: <3C04359C.61E15A6A@univ-savoie.fr> Date: Wed, 28 Nov 2001 01:53:48 +0100 From: Christophe Raffalli Organization: =?iso-8859-1?Q?Universit=E9?= de Savoie X-Mailer: Mozilla 4.78 [fr] (X11; U; Linux 2.4.8-26mdk i686) X-Accept-Language: en MIME-Version: 1.0 CC: caml-list@inria.fr Subject: [Caml-list] camlp4 + another preprocessor References: Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk For some of my code (my PhoX theorem prover) I have now to use camlp4o because of stream parser ... But I still want to use sed as preprocessor (for instance replacing CAMLSTREAMERROR by ? or ?? depending of the version of Caml people want to use. The easiest way for me to stay compatible with all the versions of OCaml (from 2.02 I think) would be that the compiler accept -pp "sed ..." --pp camlp4o as options ... This mean I can use two preprocessors in a simple way ? Someone see another solution ? (I know I can probably use a pipe with -pp "set ... | camlp4o) -- Christophe Raffalli Université de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex tél: (33) 4 79 75 81 03 fax: (33) 4 79 75 87 42 mail: Christophe.Raffalli@univ-savoie.fr www: http://www.lama.univ-savoie.fr/~RAFFALLI ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr