git.annexia.org
/
ocaml-bitstring.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Allow bitmatch-import-prefix.h to be installed centrally.
[ocaml-bitstring.git]
/
cil-tools
/
bitmatch_import_c.ml
diff --git
a/cil-tools/bitmatch_import_c.ml
b/cil-tools/bitmatch_import_c.ml
index
6936fac
..
dfe6dac
100644
(file)
--- a/
cil-tools/bitmatch_import_c.ml
+++ b/
cil-tools/bitmatch_import_c.ml
@@
-26,6
+26,8
@@
open Cil
module P = Bitmatch_persistent
module P = Bitmatch_persistent
+let (//) = Filename.concat
+
let () =
(* Parse command line arguments. *)
let debug = ref false in
let () =
(* Parse command line arguments. *)
let debug = ref false in
@@
-99,8
+101,9
@@
OPTIONS" in
) in
let cmd =
) 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))
(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 (
(Filename.quote input_file) (Filename.quote tmp) in
if debug then prerr_endline cmd;
if Sys.command cmd <> 0 then (