Matteo Bernardini
|
15363381fe
|
development/menhir: Added the dependency dune (removed ocamlbuild).
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
|
2022-02-27 01:09:55 +07:00 |
|
Matteo Bernardini
|
6a37a4b4b6
|
development/menhir: Updated for version 20220210.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
|
2022-02-25 22:58:09 +07:00 |
|
Heinz Wiesinger
|
63daf9f79a
|
All: Support $PRINT_PACKAGE_NAME env var
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
|
2021-07-17 21:55:09 +02:00 |
|
Heinz Wiesinger
|
7f26b9929f
|
All: SlackBuilds run in the directory they are in
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
|
2021-07-05 16:01:32 +07:00 |
|
Heinz Wiesinger
|
fd9245fe0a
|
All: Change SlackBuild shebang to /bin/bash
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
|
2021-07-04 12:49:49 +02:00 |
|
Matteo Bernardini
|
81ea321307
|
development/menhir: Updated for version 20190924.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
|
2021-04-17 23:43:01 -05:00 |
|
B. Watson
|
ff8f1bb91c
|
development/menhir: Fix README.
Signed-off-by: B. Watson <yalhcru@gmail.com>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
|
2020-10-17 09:39:24 +07:00 |
|
Dimitris Zlatanidis
|
d5866d9d57
|
development/menhir: Updated for version 20170101.
Signed-off-by: Dimitris Zlatanidis <d.zlatanidis@gmail.com>
|
2017-04-22 08:11:10 +07:00 |
|
Dimitris Zlatanidis
|
73973466e6
|
development/menhir: Updated for version 20160825.
Signed-off-by: Dimitris Zlatanidis <d.zlatanidis@gmail.com>
|
2016-11-05 07:15:45 +07:00 |
|
Dimitris Zlatanidis
|
82d711e698
|
development/menhir: Switch to i586.
Signed-off-by: Dimitris Zlatanidis <d.zlatanidis@gmail.com>
|
2016-10-01 07:28:39 +07:00 |
|
David Spencer
|
5c831ab72b
|
development/menhir: Depend on ocamlbuild.
Signed-off-by: David Spencer <baildon.research@googlemail.com>
|
2016-07-20 14:20:08 -05:00 |
|
Matteo Bernardini
|
6a3b9bc733
|
development/menhir: Updated for version 20160526.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
|
2016-07-20 14:20:08 -05:00 |
|
David Spencer
|
709c5dbfd6
|
development/menhir: Fix embedded path in menhir binary.
Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
|
2016-03-31 12:48:02 +01:00 |
|
David Spencer
|
cd5ad874c9
|
development/menhir: Install menhirLib to $PKG.
Also use -j1 in SlackBuild.
Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
|
2016-01-10 21:34:39 -06:00 |
|
Dimitris Zlatanidis
|
12d80c284f
|
development/menhir: Updated for version 20140422.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
|
2014-05-12 07:35:49 +07:00 |
|
Dimitris Zlatanidis
|
4f35a1144b
|
development/menhir: Added (OCaml parser generator).
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
|
2014-02-21 14:41:02 -06:00 |