elpi-option-legacy-parserversion

ELPI - option for legacy parser

Enables the -legacy-parser flag, implemented on top of CamlP5

AuthorEnrico Tassi
LicenseLGPL-2.1-or-later
Published
Homepagehttps://github.com/LPCIC/elpi
Issue Trackerhttps://github.com/LPCIC/elpi/issues
MaintainerEnrico Tassi <enrico.tassi@inria.fr>
Dependencies
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/elpi-option-legacy-parser/elpi-option-legacy-parser.1/opam
Optionally used by
  • elpi>=1.15.2 & <1.18.1