class Mlton < Formula desc "Whole-program, optimizing compiler for Standard ML" homepage "http://mlton.org" head "https://github.com/MLton/mlton.git" stable do url "https://downloads.sourceforge.net/project/mlton/mlton/20130715/mlton-20130715.src.tgz" version "20130715" sha256 "215857ad11d44f8d94c27f75e74017aa44b2c9703304bcec9e38c20433143d6c" # Configure GMP location via Makefile (https://github.com/MLton/mlton/pull/136) patch do url "https://github.com/MLton/mlton/commit/6e79342cdcf2e15193d95fcd3a46d164b783aed4.diff?full_index=1" sha256 "7da7f0daf398fcb5b2c51db85721bd0d1979314f1b897a4eec4324f2a6d1b363" end end bottle do cellar :any sha256 "cc534218ef56b8debc2c391821753433303698c3299a663ff0cac9af03f71ac5" => :sierra sha256 "97656e7b1533886252d034c4a6ac0391d386369598f36a72a0033df8bc54a339" => :el_capitan sha256 "96fb444b34e8a605445567482a480fb59be749f5f57f46bc704f44b4763f26ae" => :yosemite sha256 "fb9c2fbc7e1e0e975ef79a061d17d56b8300da5a60c4b347e6726966c30f8fc3" => :mavericks end depends_on "gmp" # The corresponding upstream binary release used to bootstrap. resource "bootstrap" do url "https://downloads.sourceforge.net/project/mlton/mlton/20130715/mlton-20130715-3.amd64-darwin.gmp-static.tgz" sha256 "7e865cd3d1e48ade3de9b7532a31e94af050ee45f38a2bc87b7b2c45ab91e8e1" end def install # Install the corresponding upstream binary release to 'bootstrap'. 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"]) end ENV.prepend_path "PATH", bootstrap/"bin" # Support parallel builds (https://github.com/MLton/mlton/issues/132) ENV.deparallelize args = %W[ WITH_GMP=#{Formula["gmp"].opt_prefix} DESTDIR= PREFIX=#{prefix} MAN_PREFIX_EXTRA=/share ] system "make", *(args + ["all-no-docs"]) system "make", *(args + ["install-no-docs"]) end test do (testpath/"hello.sml").write <<-'EOS'.undent val () = print "Hello, Homebrew!\n" EOS system "#{bin}/mlton", "hello.sml" assert_equal "Hello, Homebrew!\n", `./hello` end end