summaryrefslogtreecommitdiffstats
path: root/development/menhir
AgeCommit message (Collapse)Author
2022-02-26development/menhir: Added the dependency dune (removed ocamlbuild). Matteo Bernardini
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2022-02-25development/menhir: Updated for version 20220210. Matteo Bernardini
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2021-07-17All: Support $PRINT_PACKAGE_NAME env var Heinz Wiesinger
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
2021-07-05All: SlackBuilds run in the directory they are in Heinz Wiesinger
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2021-07-04All: Change SlackBuild shebang to /bin/bash Heinz Wiesinger
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
2021-04-18development/menhir: Updated for version 20190924. Matteo Bernardini
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
2020-10-17development/menhir: Fix README. B. Watson
Signed-off-by: B. Watson <yalhcru@gmail.com> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2017-04-22development/menhir: Updated for version 20170101. Dimitris Zlatanidis
Signed-off-by: Dimitris Zlatanidis <d.zlatanidis@gmail.com>
2016-11-05development/menhir: Updated for version 20160825. Dimitris Zlatanidis
Signed-off-by: Dimitris Zlatanidis <d.zlatanidis@gmail.com>
2016-10-01development/menhir: Switch to i586. Dimitris Zlatanidis
Signed-off-by: Dimitris Zlatanidis <d.zlatanidis@gmail.com>
2016-07-20development/menhir: Depend on ocamlbuild. David Spencer
Signed-off-by: David Spencer <baildon.research@googlemail.com>
2016-07-20development/menhir: Updated for version 20160526. Matteo Bernardini
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
2016-03-31development/menhir: Fix embedded path in menhir binary. David Spencer
Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
2016-01-11development/menhir: Install menhirLib to $PKG. David Spencer
Also use -j1 in SlackBuild. Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
2014-05-12development/menhir: Updated for version 20140422. Dimitris Zlatanidis
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2014-02-21development/menhir: Added (OCaml parser generator). Dimitris Zlatanidis
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>