PR#5652: Add support for camlp4 native plugin.

Patch by Hongbo Zhang!

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13260 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Wojciech Meyer 2013-01-19 10:44:17 +00:00
parent 4c62de5d42
commit 67101c77f3
1 changed files with 6 additions and 0 deletions

View File

@ -488,6 +488,12 @@ let camlp4_flags camlp4s =
camlp4_flags ["camlp4o"; "camlp4r"; "camlp4of"; "camlp4rf"; "camlp4orf"; "camlp4oof"];;
let p4_series = ["camlp4o"; "camlp4r"; "camlp4of"; "camlp4rf"; "camlp4orf"; "camlp4oof"];;
let p4_opt_series = List.map (fun f -> f ^ ".opt") p4_series;;
camlp4_flags p4_series;;
camlp4_flags p4_opt_series;;
let camlp4_flags' camlp4s =
List.iter begin fun (camlp4, flags) ->
flag ["ocaml"; "pp"; camlp4] flags