[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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