summaryrefslogtreecommitdiff
path: root/development/menhir
Commit message (Collapse)AuthorAge
* development/menhir: Added the dependency dune (removed ocamlbuild).Matteo Bernardini2022-02-27
| | | | | | Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
* development/menhir: Updated for version 20220210.Matteo Bernardini2022-02-25
| | | | | | Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
* All: Support $PRINT_PACKAGE_NAME env varHeinz Wiesinger2021-07-17
| | | | Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
* All: SlackBuilds run in the directory they are inHeinz Wiesinger2021-07-05
| | | | | | Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
* All: Change SlackBuild shebang to /bin/bashHeinz Wiesinger2021-07-04
| | | | Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
* development/menhir: Updated for version 20190924.Matteo Bernardini2021-04-17
| | | | Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
* development/menhir: Fix README.B. Watson2020-10-17
| | | | | | Signed-off-by: B. Watson <yalhcru@gmail.com> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
* development/menhir: Updated for version 20170101.Dimitris Zlatanidis2017-04-22
| | | | Signed-off-by: Dimitris Zlatanidis <d.zlatanidis@gmail.com>
* development/menhir: Updated for version 20160825.Dimitris Zlatanidis2016-11-05
| | | | Signed-off-by: Dimitris Zlatanidis <d.zlatanidis@gmail.com>
* development/menhir: Switch to i586.Dimitris Zlatanidis2016-10-01
| | | | Signed-off-by: Dimitris Zlatanidis <d.zlatanidis@gmail.com>
* development/menhir: Depend on ocamlbuild.David Spencer2016-07-20
| | | | Signed-off-by: David Spencer <baildon.research@googlemail.com>
* development/menhir: Updated for version 20160526.Matteo Bernardini2016-07-20
| | | | Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
* development/menhir: Fix embedded path in menhir binary.David Spencer2016-03-31
| | | | Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
* development/menhir: Install menhirLib to $PKG.David Spencer2016-01-10
| | | | | | Also use -j1 in SlackBuild. Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
* development/menhir: Updated for version 20140422.Dimitris Zlatanidis2014-05-12
| | | | Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
* development/menhir: Added (OCaml parser generator).Dimitris Zlatanidis2014-02-21
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>