search

frenetic-lang / frenetic

The Frenetic Programming Language and Runtime System
http://www.frenetic-lang.org/
Other
222 stars 52 forks source link

Note that Menhir is only a build dependency. #626

Closed fpottier closed 5 years ago

fpottier commented 5 years ago

This should remove the need to recompile frenetic when Menhir is updated. Since frenetic doesn't use Menhir's --table mode, it doesn't depend on MenhirLib, so this should be OK.

smolkaj commented 5 years ago

Thanks!