1 files changed, 5 insertions, 0 deletions

diff --git a/lib/dune b/lib/dune
index ca7e7b7..2d9154e 100644
--- a/lib/dune
+++ b/lib/dune
@@ -2,3 +2,8 @@
  (name sol)
  (public_name sol)
  (libraries zarith))
+
+(ocamllex lexer)
+
+(menhir
+ (modules parser))