use idris_opts instead of opts in elba.toml

gallais / idris-tparsec

TParsec - Total Parser Combinators in Idris

https://gallais.github.io/idris-tparsec/

GNU General Public License v3.0

93 stars 10 forks source link

Closed marcosh closed 4 years ago

marcosh commented 4 years ago

it looks like that with the newest version of Elba (0.3.2) using opts produces an error

invalid manifest file: unknown field `opts`, expected one of `path`, `mods`, `idris_opts` for key `targets.lib`