aboutsummaryrefslogtreecommitdiff
path: root/development/mlton/mlton.SlackBuild
AgeCommit message (Collapse)Author
2021-07-17All: Support $PRINT_PACKAGE_NAME env varHeinz Wiesinger
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
2021-07-05All: SlackBuilds run in the directory they are inHeinz 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/bashHeinz Wiesinger
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
2018-06-03development/mlton: Fix ownership + cleanups.David Spencer
Bad file ownership caused by 'make install' exploding tarballs in the upstream sources. Limit memory usage (build fail with large memory). ARCH wasn't checked when explicitly set. The build fails with multiple make jobs. BUILD is for the output package name, don't conflate it with the last bit of PREBUILT. Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
2018-05-17development/mlton: Updated for version 20180207 + new maintainer.Scot Doyle
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2017-01-07development/mlton: Change email.Ryan P.C. McQuen
Signed-off-by: Ryan P.C. McQuen <ryan.q@linux.com>
2015-09-12development/mlton: Allow GPLv2.Ryan P.C. McQuen
Signed-off-by: Ryan P.C. McQuen <ryan.q@linux.com>
2014-05-12development/mlton: Updated for version 20130715 + new maintainer.Ryan P.C. McQuen
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2013-11-22various: Update find command to match template.dsomero
Signed-off-by: dsomero <xgizzmo@slackbuilds.org>
2013-11-22various: Fix SlackBuild formatting and comment nit picks.dsomero
Signed-off-by: dsomero <xgizzmo@slackbuilds.org>
2012-02-18development/mlton: Added (MLton Standard ML Compiler)Jockey S. Kyd
Signed-off-by: Robby Workman <rworkman@slackbuilds.org>