summaryrefslogtreecommitdiffstats
path: root/development/menhir
Commit message (Collapse)AuthorAgeFilesLines
* development/menhir: Fix embedded path in menhir binary. David Spencer2016-03-311-2/+2
| | | | Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
* development/menhir: Install menhirLib to $PKG. David Spencer2016-01-101-1/+5
| | | | | | Also use -j1 in SlackBuild. Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
* development/menhir: Updated for version 20140422. Dimitris Zlatanidis2014-05-123-13/+12
| | | | Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
* development/menhir: Added (OCaml parser generator). Dimitris Zlatanidis2014-02-214-0/+135
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>