# -------------------------------------------------------------------- true : use_menhir, menhir_explain, menhir_table true : debug true : warn_Z, warn_Y, warn_+28, warn_-23, warn_+33 true : -traverse true : bin_annot # true : menhir_trace # true : bisect # -------------------------------------------------------------------- : include : include : include : include : include # -------------------------------------------------------------------- : package(batteries, menhirLib, why3, zarith, pcre) : package(batteries, menhirLib, why3, zarith, pcre) : package(batteries, menhirLib, why3, zarith, pcre)