diff options
| author | Marc Coquand <marcc@fastmail.fr> | 2023-12-02 09:49:42 -0600 |
|---|---|---|
| committer | Marc Coquand <marcc@fastmail.fr> | 2023-12-02 09:49:42 -0600 |
| commit | 69d3f53365568524e18dfb1200a386309e174359 (patch) | |
| tree | 30e465d36ea03bceb1f4e9b54aadfdb6d7093162 /bin/dune | |
| download | wormhole-69d3f53365568524e18dfb1200a386309e174359.tar.gz wormhole-69d3f53365568524e18dfb1200a386309e174359.tar.bz2 wormhole-69d3f53365568524e18dfb1200a386309e174359.zip | |
Initial commit
Diffstat (limited to 'bin/dune')
| -rw-r--r-- | bin/dune | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/bin/dune b/bin/dune new file mode 100644 index 0000000..7126f64 --- /dev/null +++ b/bin/dune @@ -0,0 +1,15 @@ +(executable + (public_name wormhole) + (name main) + (libraries wormhole uri dream) + (preprocess (pps lwt_ppx ppx_yojson_conv))) + +(rule + (targets template.ml) + (deps template.eml) + (action (run dream_eml %{deps} --workspace %{workspace_root}))) + +(rule + (targets login.ml) + (deps login.eml) + (action (run dream_eml %{deps} --workspace %{workspace_root}))) |