1 files changed, 13 insertions, 0 deletions
diff --git a/Library/Formula/gecode.rb b/Library/Formula/gecode.rb
new file mode 100644
index 000000000..1677da837
--- /dev/null
+++ b/Library/Formula/gecode.rb
@@ -0,0 +1,13 @@
+require 'formula'
+
+class Gecode < Formula
+  url 'http://www.gecode.org/download/gecode-3.5.0.tar.gz'
+  homepage 'http://www.gecode.org/'
+  md5 'bb920bb708b6ef9c4e9f5fa47681a659'
+
+  def install
+    system "./configure", "--disable-debug", "--disable-dependency-tracking",
+                          "--prefix=#{prefix}"
+    system "make install"
+  end
+end