Move mlton, mlkit, urweb to the boneyard.

mlton is a binary-only formula that only works when installed
to /usr/local. Moving it, and things that depend on it to the
boneyard.

Closes Homebrew/homebrew#21780.

Formula/mlkit.rb

@@ -1,25 +0,0 @@
-require 'formula'
-
-class Mlkit < Formula
-  homepage 'http://sourceforge.net/apps/mediawiki/mlkit'
-  url 'https://downloads.sourceforge.net/project/mlkit/mlkit-4.3.7/mlkit-4.3.7.tgz'
-  sha1 '7c1f69f0cde271f50776d33b194699b403bab598'
-
-  depends_on :autoconf => :build
-  depends_on 'mlton' => :build
-  depends_on :tex
-  depends_on 'gmp'
-
-  def install
-    system "./autobuild; true"
-    system "./configure", "--prefix=#{prefix}"
-    ENV.m32
-    system "make mlkit"
-    system "make mlkit_libs"
-    system "make install"
-  end
-
-  test do
-    system "#{bin}/mlkit", "-V"
-  end
-end

Formula/mlton.rb

@@ -1,38 +0,0 @@
-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 StandardHomebrewLocation < Requirement
-  satisfy HOMEBREW_PREFIX.to_s == "/usr/local"
-
-  def message; <<-EOS.undent
-    mlton won't work outside of /usr/local
-
-    Because this uses pre-compiled binaries, it will not work if
-    Homebrew is installed somewhere other than /usr/local; mlton
-    will be unable to find GMP.
-    EOS
-  end
-end
-
-class Mlton < Formula
-  homepage 'http://mlton.org'
-  url 'https://downloads.sourceforge.net/project/mlton/mlton/20130715/mlton-20130715-1.amd64-darwin.gmp-static.tgz'
-  sha1 'b3b13e0a606bf42d62d4d028687336106ada160a'
-
-  # 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
-  depends_on StandardHomebrewLocation
-  depends_on 'gmp'
-
-  def install
-    cd "local" do
-      # Remove OS X droppings
-      rm Dir["man/man1/._*"]
-      mv "man", "share"
-      prefix.install Dir['*']
-    end
-  end
-end

Formula/urweb.rb

@@ -1,35 +0,0 @@
-require 'formula'
-
-class Urweb < Formula
-  homepage 'http://impredicative.com/ur/'
-  url 'http://impredicative.com/ur/urweb-20130421.tgz'
-  sha1 '944165b5f5f638ae54d804e4957618e1ae257b81'
-  head 'http://hg.impredicative.com/urweb', :using => :hg
-
-  depends_on :autoconf
-  depends_on :automake
-  depends_on :libtool
-  depends_on 'mlton'
-  depends_on :postgresql => :optional
-  depends_on :mysql => :optional
-
-  def install
-    # The autoconf-generated shell scripts in the tarball
-    # are out of sync with our dependencies and force odd
-    # reconfigures and failures when running 'make.' It's better
-    # to just regenerate them and go for it.
-    system "aclocal"
-    system "autoreconf -i --force"
-    system "./configure", "--prefix=#{prefix}"
-    system "make"
-    system "make install"
-  end
-
-  def caveats; <<-EOS.undent
-    Programs generated by the Ur/Web compiler can use SQLite,
-    PostgreSQL, or MySQL for the data store. You probably want to
-    install either PostgreSQL or MySQL if you're going to deploy
-    real apps or test them heavily.
-    EOS
-  end
-end