Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Ensemble release 1.31
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Christophe Raffalli <Christophe.Raffalli@u...>
Subject: [Caml-list] camlp4 + another preprocessor

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