From 5648ae5be3139908f2a4f91a41d5dbdc1f069bbe Mon Sep 17 00:00:00 2001
From: Adam Vandenberg
Date: Tue, 29 Jan 2013 20:07:44 -0800
Subject: Remove mosml.

Closes #17210.
Closes #16596.
Closes #13282.
---
 Library/Formula/mosml.rb | 22 ----------------------
 1 file changed, 22 deletions(-)
 delete mode 100644 Library/Formula/mosml.rb

(limited to 'Library')

diff --git a/Library/Formula/mosml.rb b/Library/Formula/mosml.rb
deleted file mode 100644
index 4d34b2745..000000000
--- a/Library/Formula/mosml.rb
+++ /dev/null
@@ -1,22 +0,0 @@
-require 'formula'
-
-class Mosml < Formula
-  version '2.01'
-  url 'http://www.itu.dk/people/sestoft/mosml/mos201src.tar.gz'
-  homepage 'http://www.itu.dk/people/sestoft/mosml.html'
-  sha1 'eba58486b10f0359fafba488fa1bf366b2aabf8a'
-
-  def install
-    cd "src"
-
-    inreplace "Makefile.inc" do |s|
-      s.change_make_var! 'MOSMLHOME', prefix
-      s.change_make_var! 'DOCDIR', doc
-      s.change_make_var! 'LIBDIR', lib+'mosml'
-      s.change_make_var! 'TOOLDIR', lib+'mosml'
-    end
-
-    system "make", "CPP=cpp"
-    system "make install"
-  end
-end
-- 
cgit v1.2.3