diff options
Diffstat (limited to 'homebrew/mosml/.beer')
-rw-r--r-- | homebrew/mosml/.beer | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/homebrew/mosml/.beer b/homebrew/mosml/.beer new file mode 100644 index 000000000..3e4cf4742 --- /dev/null +++ b/homebrew/mosml/.beer @@ -0,0 +1,23 @@ +{ + "name": "Mosml", + "description": "Moscow ML", + "url": "https://github.com/kfl/mosml/archive/ver-2.10.1.tar.gz", + "mirror": null, + "homepage": "https://mosml.org/", + "depends": [ + { + "depend": "gmp", + "build-depend": false + } + ], + "resource": [], + "conflicts": [], + "patches": [], + "install": [ + "cd \"src\" do", + "system \"make\", \"PREFIX=#{prefix}\", \"CC=#{ENV.cc}\", \"world\"", + "system \"make\", \"PREFIX=#{prefix}\", \"CC=#{ENV.cc}\", \"install\"" + ], + "version": "2.10.1", + "file": "mosml.rb" +}
\ No newline at end of file |