2010-08-25 19:28:32 +00:00
|
|
|
require 'formula'
|
|
|
|
|
|
|
|
# Installs the binary build of MLton.
|
|
|
|
# Since MLton is written in ML, building from source
|
|
|
|
# would require an existing ML compiler/interpreter for bootstrapping.
|
|
|
|
|
|
|
|
class Mlton < Formula
|
2012-01-10 18:09:41 +00:00
|
|
|
url 'http://mlton.org/pages/Download/attachments/mlton-20100608-1.amd64-darwin.gmp-static.tgz'
|
2011-05-11 17:12:45 +00:00
|
|
|
homepage 'http://mlton.org'
|
2012-01-10 18:09:41 +00:00
|
|
|
md5 'd32430f2b66f05ac0ef6ff087ea109ca'
|
2010-08-25 19:28:32 +00:00
|
|
|
|
2012-01-10 18:09:41 +00:00
|
|
|
# We download and install the version of MLton which is statically linked to libgmp, but all
|
|
|
|
# generated executables will require gmp anyway, hence the dependency
|
2010-08-25 19:28:32 +00:00
|
|
|
depends_on 'gmp'
|
|
|
|
|
|
|
|
skip_clean :all
|
|
|
|
|
|
|
|
def install
|
2011-05-11 03:32:56 +00:00
|
|
|
unless HOMEBREW_PREFIX.to_s == "/usr/local"
|
|
|
|
opoo "mlton won't work outside of /usr/local."
|
|
|
|
puts "Because this uses pre-compiled binaries, it will not work if"
|
|
|
|
puts "Homebrew is installed somewhere other than /usr/local; mlton"
|
|
|
|
puts "will be unable to find GMP."
|
|
|
|
end
|
|
|
|
|
2010-08-25 19:28:32 +00:00
|
|
|
Dir.chdir "local" do
|
|
|
|
# Remove OS X droppings
|
|
|
|
rm Dir["man/man1/._*"]
|
|
|
|
mv "man", "share"
|
|
|
|
prefix.install Dir['*']
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|