xacml-proofs/compiler/bin/main.ml


1
2
3
4
5
6
7
8

open Core
open Compiler

let () =
  let argv = Sys.get_argv () in
  let file_names = Array.sub argv ~pos:1 ~len:(Array.length argv - 1) |> Array.to_list in
  let policy_code = List.map file_names ~f:In_channel.read_all in
  compile_policies policy_code |> Stdio.print_endline