Merge branch 'master' of gitlab.com:gabriel.alfour/tezos

This commit is contained in:
Galfour 2019-05-02 21:14:32 +00:00
commit 26ffdf0808
4 changed files with 6 additions and 6 deletions

View File

@ -6,7 +6,7 @@ let parse_file (source: string) : Ast.entry_point result =
* and suffix = ".pp.ligo" * and suffix = ".pp.ligo"
* in prefix ^ suffix in * in prefix ^ suffix in
* *
* let cpp_cmd = Printf.sprintf "cpp -traditional-cpp %s -o %s" * let cpp_cmd = Printf.sprintf "cpp -traditional-cpp %s > %s"
* source pp_input in * source pp_input in
* let%bind () = sys_command cpp_cmd in * let%bind () = sys_command cpp_cmd in
* *

View File

@ -13,7 +13,7 @@ let parse_file (source: string) : AST_Raw.t result =
and suffix = ".pp.ligo" and suffix = ".pp.ligo"
in prefix ^ suffix in in prefix ^ suffix in
let cpp_cmd = Printf.sprintf "cpp -traditional-cpp %s -o %s" let cpp_cmd = Printf.sprintf "cpp -traditional-cpp %s > %s"
source pp_input in source pp_input in
let%bind () = sys_command cpp_cmd in let%bind () = sys_command cpp_cmd in

View File

@ -35,10 +35,10 @@ let pp_input =
let cpp_cmd = let cpp_cmd =
match EvalOpt.input with match EvalOpt.input with
None | Some "-" -> None | Some "-" ->
Printf.sprintf "cpp -traditional-cpp%s - -o %s" Printf.sprintf "cpp -traditional-cpp%s - > %s"
lib_path pp_input lib_path pp_input
| Some file -> | Some file ->
Printf.sprintf "cpp -traditional-cpp%s %s -o %s" Printf.sprintf "cpp -traditional-cpp%s %s > %s"
lib_path file pp_input lib_path file pp_input
let () = let () =

View File

@ -53,10 +53,10 @@ let pp_input =
let cpp_cmd = let cpp_cmd =
match EvalOpt.input with match EvalOpt.input with
None | Some "-" -> None | Some "-" ->
Printf.sprintf "cpp -traditional-cpp%s - -o %s" Printf.sprintf "cpp -traditional-cpp%s - > %s"
lib_path pp_input lib_path pp_input
| Some file -> | Some file ->
Printf.sprintf "cpp -traditional-cpp%s %s -o %s" Printf.sprintf "cpp -traditional-cpp%s %s > %s"
lib_path file pp_input lib_path file pp_input
let () = let () =