(include_subdirs unqualified)

(dirs * \ evercrypt)

(executable
  (name Main)
  (libraries
    batteries
    menhirLib
    fstar.lib
    process
    sha
    yojson
    ppx_deriving_yojson.runtime
    re
    sexplib
  )
  (preprocess (pps ppx_deriving_yojson))
  (flags (:standard -w -8-9-11-26-27-33-39))
)

(ocamllex lexer)


(menhir
  (modules parser)
)
