7 files changed, 53 insertions, 0 deletions
diff --git a/homebrew/ibex/.beer b/homebrew/ibex/.beer
new file mode 100644
index 000000000..6e77ebc43
--- /dev/null
+++ b/homebrew/ibex/.beer
@@ -0,0 +1,39 @@
+{
+    "name": "Ibex",
+    "description": "C++ library for constraint processing over real numbers",
+    "url": "https://github.com/ibex-team/ibex-lib/archive/ibex-2.8.0.tar.gz",
+    "mirror": null,
+    "homepage": "http://www.ibex-lib.org/",
+    "depends": [
+        {
+            "depend": "bison",
+            "build-depend": true
+        },
+        {
+            "depend": "flex",
+            "build-depend": true
+        },
+        {
+            "depend": "pkg-config",
+            "build-depend": false
+        }
+    ],
+    "resource": [],
+    "conflicts": [],
+    "patches": [],
+    "install": [
+        "ENV.cxx11",
+        "ENV.deparallelize",
+        "system \"./waf\", \"configure\", \"--prefix=#{prefix}\",",
+        "\"--enable-shared\",",
+        "\"--lp-lib=soplex\",",
+        "\"--with-optim\"",
+        "system \"./waf\", \"install\"",
+        "pkgshare.install %w[examples plugins/solver/benchs]",
+        "(pkgshare/\"examples/symb01.txt\").write <<~EOS",
+        "function f(x)",
+        "return ((2*x,-x);(-x,3*x));"
+    ],
+    "version": "2.8.0",
+    "file": "ibex.rb"
+}
+\ No newline at end of file
diff --git a/homebrew/ibex/.make.sh-auto b/homebrew/ibex/.make.sh-auto
new file mode 100644
index 000000000..58a34cce8
--- /dev/null
+++ b/homebrew/ibex/.make.sh-auto
@@ -0,0 +1,9 @@
+pkg:setup
+ENV.cxx11
+ENV.deparallelize
+./waf configure --prefix=${PKG_TAPF} --enable-shared --lp-lib=soplex --with-optim
+./waf install
+pkgshare.install %w[examples plugins/solver/benchs]
+(pkgshare/"examples/symb01.txt").write <<~EOS
+function f(x)
+return ((2*x,-x);(-x,3*x));
diff --git a/homebrew/ibex/_metadata/description b/homebrew/ibex/_metadata/description
new file mode 100644
index 000000000..6d54df00e
--- /dev/null
+++ b/homebrew/ibex/_metadata/description
@@ -0,0 +1 @@
+C++ library for constraint processing over real numbers
diff --git a/homebrew/ibex/_metadata/homepage b/homebrew/ibex/_metadata/homepage
new file mode 100644
index 000000000..b96e5411e
--- /dev/null
+++ b/homebrew/ibex/_metadata/homepage
@@ -0,0 +1 @@
+http://www.ibex-lib.org/
diff --git a/homebrew/ibex/_metadata/name b/homebrew/ibex/_metadata/name
new file mode 100644
index 000000000..a45dfcc8b
--- /dev/null
+++ b/homebrew/ibex/_metadata/name
@@ -0,0 +1 @@
+Ibex
diff --git a/homebrew/ibex/_metadata/version b/homebrew/ibex/_metadata/version
new file mode 100644
index 000000000..834f26295
--- /dev/null
+++ b/homebrew/ibex/_metadata/version
@@ -0,0 +1 @@
+2.8.0
diff --git a/homebrew/ibex/download.sh b/homebrew/ibex/download.sh
new file mode 100755
index 000000000..498576004
--- /dev/null
+++ b/homebrew/ibex/download.sh
@@ -0,0 +1 @@
+wget https://github.com/ibex-team/ibex-lib/archive/ibex-2.8.0.tar.gz
+\ No newline at end of file