summaryrefslogtreecommitdiffstats
path: root/development/mlton
Commit message (Collapse)AuthorAgeFilesLines
* All: Support $PRINT_PACKAGE_NAME env var Heinz Wiesinger2021-07-171-1/+10
| | | | Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
* All: SlackBuilds run in the directory they are in Heinz Wiesinger2021-07-051-1/+2
| | | | | | Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
* All: Change SlackBuild shebang to /bin/bash Heinz Wiesinger2021-07-041-1/+1
| | | | Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
* development/mlton: Fix ownership + cleanups. David Spencer2018-06-032-12/+18
| | | | | | | | | | | | 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>
* development/mlton: Updated for version 20180207 + new maintainer. Scot Doyle2018-05-174-57/+61
| | | | Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
* development/mlton: Orphan build. Ryan P.C. McQuen2017-04-151-2/+2
| | | | Signed-off-by: Ryan P.C. McQuen <ryanpcmcquen@member.fsf.org>
* development/mlton: Change email. Ryan P.C. McQuen2017-01-072-2/+2
| | | | Signed-off-by: Ryan P.C. McQuen <ryan.q@linux.com>
* development/mlton: Allow GPLv2. Ryan P.C. McQuen2015-09-121-1/+1
| | | | Signed-off-by: Ryan P.C. McQuen <ryan.q@linux.com>
* development/mlton: Updated for version 20130715 + new maintainer. Ryan P.C. McQuen2014-05-122-49/+37
| | | | Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
* various: Update find command to match template. dsomero2013-11-221-2/+2
| | | | Signed-off-by: dsomero <xgizzmo@slackbuilds.org>
* various: Fix SlackBuild formatting and comment nit picks. dsomero2013-11-221-1/+1
| | | | Signed-off-by: dsomero <xgizzmo@slackbuilds.org>
* various: Fix slack-desc formatting and comment nit picks. dsomero2013-11-221-5/+5
| | | | Signed-off-by: dsomero <xgizzmo@slackbuilds.org>
* development/mlton: Fixed download location. Matteo Bernardini2012-09-141-4/+4
| | | | Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
* Add REQUIRED field to .info files. Erik Hanson2012-08-191-0/+1
| | | | Signed-off-by: Erik Hanson <erik@slackbuilds.org>
* Entire Repo: Remove APPROVED field from .info files Robby Workman2012-08-141-1/+0
| | | | | | | | This field used to make sense in our pre-git days, but the Signed-Off-By: line serves the same purpose (and even more) now, so APPROVED has been rejected. ;-) Signed-off-by: Robby Workman <rworkman@slackbuilds.org>
* development/mlton: Added (MLton Standard ML Compiler) Jockey S. Kyd2012-02-184-0/+131
Signed-off-by: Robby Workman <rworkman@slackbuilds.org>