68d293e545
mlton has an install location requirement, and this does not strictly need to be duplicated in mlkit
25 lines
576 B
Ruby
25 lines
576 B
Ruby
require 'formula'
|
|
|
|
class Mlkit < Formula
|
|
homepage 'http://sourceforge.net/apps/mediawiki/mlkit'
|
|
url 'http://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
|