2013-01-25 21:16:58 +00:00
|
|
|
require 'formula'
|
|
|
|
|
|
|
|
class Yap < Formula
|
|
|
|
homepage 'http://www.dcc.fc.up.pt/~vsc/Yap/index.html'
|
|
|
|
url 'http://www.dcc.fc.up.pt/~vsc/Yap/yap-6.2.2.tar.gz'
|
|
|
|
sha1 'a02f80cac67c287645b2ced9502f5ea24a07f1c3'
|
|
|
|
|
|
|
|
devel do
|
|
|
|
url 'http://www.dcc.fc.up.pt/~vsc/Yap/yap-6.3.3.tar.gz'
|
|
|
|
sha1 'd191e419e5cf74b11e003aae5fe148f3f2f26ac5'
|
|
|
|
end
|
|
|
|
|
|
|
|
depends_on 'gmp'
|
|
|
|
depends_on 'readline'
|
|
|
|
|
|
|
|
fails_with :clang do
|
2013-11-10 04:54:26 +00:00
|
|
|
cause "uses variable-length arrays in structs, which will never be supported by clang"
|
2013-01-25 21:16:58 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
def install
|
2013-11-10 04:51:46 +00:00
|
|
|
system "./configure", "--enable-tabling",
|
2013-01-25 21:16:58 +00:00
|
|
|
"--enable-depth-limit",
|
|
|
|
"--enable-coroutining",
|
|
|
|
"--enable-threads",
|
|
|
|
"--enable-pthread-locking",
|
2014-02-25 04:28:53 +00:00
|
|
|
"--with-gmp=#{Formula['gmp'].opt_prefix}",
|
|
|
|
"--with-readline=#{Formula['readline'].opt_prefix}",
|
2013-01-25 21:16:58 +00:00
|
|
|
"--with-java=/Library/Java/Home",
|
|
|
|
"--prefix=#{prefix}"
|
|
|
|
|
|
|
|
system "make"
|
|
|
|
system "make install"
|
|
|
|
end
|
|
|
|
|
2013-03-25 18:35:22 +00:00
|
|
|
test do
|
|
|
|
system "#{bin}/yap", "-dump-runtime-variables"
|
2013-01-25 21:16:58 +00:00
|
|
|
end
|
|
|
|
end
|