summaryrefslogtreecommitdiffstats
path: root/development/menhir (unfollow)
Commit message (Collapse)AuthorFilesLines
2016-11-05development/menhir: Updated for version 20160825. Dimitris Zlatanidis2-5/+5
Signed-off-by: Dimitris Zlatanidis <d.zlatanidis@gmail.com>
2016-10-01development/menhir: Switch to i586. Dimitris Zlatanidis1-4/+4
Signed-off-by: Dimitris Zlatanidis <d.zlatanidis@gmail.com>
2016-07-20development/menhir: Depend on ocamlbuild. David Spencer1-1/+1
Signed-off-by: David Spencer <baildon.research@googlemail.com>
2016-07-20development/menhir: Updated for version 20160526. Matteo Bernardini2-4/+4
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
2016-03-31development/menhir: Fix embedded path in menhir binary. David Spencer1-2/+2
Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
2016-01-10development/menhir: Install menhirLib to $PKG. David Spencer1-1/+5
Also use -j1 in SlackBuild. Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
2014-05-12development/menhir: Updated for version 20140422. Dimitris Zlatanidis3-13/+12
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2014-02-21development/menhir: Added (OCaml parser generator). Dimitris Zlatanidis4-0/+135
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>