mlton: add head spec (#11751)

Homebrew · Mar 29, 2017 · 9a93140 · 9a93140
1 parent 5929f84
commit 9a93140
Showing 1 changed file with 13 additions and 9 deletions.
diff --git a/Formula/mlton.rb b/Formula/mlton.rb
@@ -1,9 +1,19 @@
 class Mlton < Formula
   desc "Whole-program, optimizing compiler for Standard ML"
   homepage "http://mlton.org"
-  url "https://downloads.sourceforge.net/project/mlton/mlton/20130715/mlton-20130715.src.tgz"
-  version "20130715"
-  sha256 "215857ad11d44f8d94c27f75e74017aa44b2c9703304bcec9e38c20433143d6c"
+  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"
+      sha256 "2d44891eaf3fdecd3b0f6de2bdece463c71c425100fbac2d00196ad159e5c707"
+    end
+  end
 
   bottle do
     cellar :any
@@ -21,12 +31,6 @@ class Mlton < Formula
     sha256 "7e865cd3d1e48ade3de9b7532a31e94af050ee45f38a2bc87b7b2c45ab91e8e1"
   end
 
-  # Configure GMP location via Makefile (https://github.com/MLton/mlton/pull/136)
-  patch do
-    url "https://github.com/MLton/mlton/commit/6e79342cdcf2e15193d95fcd3a46d164b783aed4.diff"
-    sha256 "2d44891eaf3fdecd3b0f6de2bdece463c71c425100fbac2d00196ad159e5c707"
-  end
-
   def install
     # Install the corresponding upstream binary release to 'bootstrap'.
     bootstrap = buildpath/"bootstrap"