aboutsummaryrefslogtreecommitdiffstats
path: root/Library
diff options
context:
space:
mode:
Diffstat (limited to 'Library')
-rw-r--r--Library/Formula/yap.rb43
1 files changed, 43 insertions, 0 deletions
diff --git a/Library/Formula/yap.rb b/Library/Formula/yap.rb
new file mode 100644
index 000000000..da127ff4f
--- /dev/null
+++ b/Library/Formula/yap.rb
@@ -0,0 +1,43 @@
+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
+ build 425
+ cause "Undefined symbols linking for architecture x86_64"
+ end
+
+ def install
+ system "./configure", "--disable-debug", "--disable-dependency-tracking",
+ "--enable-tabling",
+ "--enable-depth-limit",
+ "--enable-coroutining",
+ "--enable-threads",
+ "--enable-pthread-locking",
+ "--enable-clpbn-bp=no",
+ "--with-gmp=#{Formula.factory('gmp').opt_prefix}",
+ "--with-readline=#{Formula.factory('readline').opt_prefix}",
+ "--with-java=/Library/Java/Home",
+ "--prefix=#{prefix}"
+
+ inreplace 'Makefile', '-DMYDDAS_ODBC', ''
+
+ system "make"
+ system "make install"
+ end
+
+ def test
+ system "#{bin}/yap -dump-runtime-variables"
+ end
+end