(include_subdirs unqualified)

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