1 files changed, 9 insertions, 0 deletions
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));