path: root/xacml-proofs/compiler/bin/dune

(executable
 (public_name compiler)
 (name main)
 (libraries base compiler str topological_sort xml-light)
 (preprocess (pps ppx_let ppx_jane)))