diff options
author | Malte Voos <git@mal.tc> | 2024-02-16 00:43:04 +0100 |
---|---|---|
committer | Malte Voos <git@mal.tc> | 2024-02-16 00:43:04 +0100 |
commit | 06d52c8ba30b1bd6e1174ebffbd6cc5ba668ecc2 (patch) | |
tree | c558e81d84fd12ef66e99c558e5b7dd1322e5c03 /dune-project | |
parent | 2bc6cae2458ba5f9573985791536618a00cbed8a (diff) | |
download | toytt-06d52c8ba30b1bd6e1174ebffbd6cc5ba668ecc2.tar.gz toytt-06d52c8ba30b1bd6e1174ebffbd6cc5ba668ecc2.zip |
basic lexer and parser
Diffstat (limited to 'dune-project')
-rw-r--r-- | dune-project | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/dune-project b/dune-project index c3564ad..ede6aa8 100644 --- a/dune-project +++ b/dune-project @@ -1,7 +1,7 @@ -(lang dune 3.7) +(lang dune 3.13) (generate_opam_files true) -(using menhir 2.1) +(using menhir 3.0) (name toytt) (source @@ -15,7 +15,7 @@ (name toytt) (synopsis "A short synopsis") (description "A longer description") - (depends ocaml dune asai) + (depends ocaml dune ppx_deriving asai) (tags (topics "to describe" your project))) |