diff options
Diffstat (limited to 'homebrew/mlton/.beer')
| -rw-r--r-- | homebrew/mlton/.beer | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/homebrew/mlton/.beer b/homebrew/mlton/.beer new file mode 100644 index 000000000..a90b3bad3 --- /dev/null +++ b/homebrew/mlton/.beer @@ -0,0 +1,33 @@ +{ + "name": "Mlton", + "description": "Whole-program, optimizing compiler for Standard ML", + "url": "https://downloads.sourceforge.net/project/mlton/mlton/20180207/mlton-20180207.src.tgz", + "mirror": null, + "homepage": "http://mlton.org", + "depends": [ + { + "depend": "gmp", + "build-depend": false + } + ], + "resource": [ + { + "name": "bootstrap", + "url": "https://downloads.sourceforge.net/project/mlton/mlton/20180207/mlton-20180207-1.amd64-darwin.gmp-static.tgz" + } + ], + "conflicts": [], + "patches": [], + "install": [ + "bootstrap = buildpath/\"bootstrap\"", + "resource(\"bootstrap\").stage do", + "args = %W[", + "WITH_GMP=#{Formula[\"gmp\"].opt_prefix}", + "PREFIX=#{bootstrap}", + "MAN_PREFIX_EXTRA=/share", + "]", + "system \"make\", *(args + [\"install\"])" + ], + "version": "20180207", + "file": "mlton.rb" +}
\ No newline at end of file |