diff options
| author | Scott Lawrence <scott+git@ineffectivetheory.com> | 2024-06-25 21:11:01 -0700 |
|---|---|---|
| committer | Scott Lawrence <scott+git@ineffectivetheory.com> | 2024-06-25 21:11:01 -0700 |
| commit | 062d3944ee86c273ad3919993185d5901768ef2d (patch) | |
| tree | 585eeff84f1885c7d8748c267eb5ee171d3271e6 /bin/dune | |
| parent | 5c245e98d57be64bc329ba7b813a03260e6281c6 (diff) | |
| download | agate-062d3944ee86c273ad3919993185d5901768ef2d.tar.gz agate-062d3944ee86c273ad3919993185d5901768ef2d.tar.bz2 agate-062d3944ee86c273ad3919993185d5901768ef2d.zip | |
Attempting to use sedlex (and maybe Menhir)
Diffstat (limited to 'bin/dune')
| -rw-r--r-- | bin/dune | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -1,4 +1,5 @@ (executable (public_name agate) (name main) - (libraries agate)) + (libraries agate sedlex) + (preprocess (pps sedlex.ppx))) |