diff options
| author | Jakob L. Kreuze | 2023-12-05 15:50:44 -0500 |
|---|---|---|
| committer | Jakob L. Kreuze | 2023-12-05 15:50:44 -0500 |
| commit | 328d8bf54255ec9be6dd19360ea66b0cb4e0c9e5 (patch) | |
| tree | 0183b870de55dce76d46d668d8ad7d1cbe77d6e9 /xacml-proofs/compiler/lib/dune | |
| parent | 7a94b432ebb602710bdef9857528b8a29565bd81 (diff) | |
Proper executable for XACML compiler
Diffstat (limited to 'xacml-proofs/compiler/lib/dune')
| -rw-r--r-- | xacml-proofs/compiler/lib/dune | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/xacml-proofs/compiler/lib/dune b/xacml-proofs/compiler/lib/dune index 15b8510..d243c0a 100644 --- a/xacml-proofs/compiler/lib/dune +++ b/xacml-proofs/compiler/lib/dune @@ -1,2 +1,4 @@ (library - (name compiler)) + (name compiler) + (libraries base str topological_sort xml-light) + (preprocess (pps ppx_let ppx_jane))) |