ligo/vendors/Preproc/ProcMain.ml

6 lines
202 B
OCaml
Raw Normal View History

2020-01-27 19:05:47 +04:00
(* This is the entry point of the C# preprocessor. See [Makefile.cfg]. *)
match Array.length Sys.argv with
2 -> Preproc.trace Sys.argv.(1)
| _ -> prerr_endline ("Usage: " ^ Sys.argv.(0) ^ " [file]")