X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;ds=sidebyside;f=cil-tools%2Fbitmatch_import_c.ml;h=dfe6dac410dea67d91304e3e5e3663bd0a053b7b;hb=627afca249c9e969e7a8d67c9cc3b9faf2947797;hp=6936facf52fb4dd73f600c61442e0ab121da589a;hpb=3323b2cf2fa267385714017979d1ab2a447c4b06;p=ocaml-bitstring.git

diff --git a/cil-tools/bitmatch_import_c.ml b/cil-tools/bitmatch_import_c.ml
index 6936fac..dfe6dac 100644
--- a/cil-tools/bitmatch_import_c.ml
+++ b/cil-tools/bitmatch_import_c.ml
@@ -26,6 +26,8 @@ open Cil
 
 module P = Bitmatch_persistent
 
+let (//) = Filename.concat
+
 let () =
   (* Parse command line arguments. *)
   let debug = ref false in
@@ -99,8 +101,9 @@ OPTIONS" in
     ) in
 
   let cmd =
-    sprintf "cpp %s -include bitmatch-import-prefix.h %s > %s"
+    sprintf "cpp %s -I %s -include bitmatch-import-prefix.h %s > %s"
       (String.concat " " (List.map Filename.quote cpp_args))
+      (Filename.quote (Bitmatch_config.ocamllibdir // "bitmatch"))
       (Filename.quote input_file) (Filename.quote tmp) in
   if debug then prerr_endline cmd;
   if Sys.command cmd <> 0 then (