New formula: minizinc

Closes #17762.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>

1 files changed, 67 insertions, 0 deletions

diff --git a/Library/Formula/minizinc.rb b/Library/Formula/minizinc.rb
new file mode 100644
index 000000000..2ca498b76
--- /dev/null
+++ b/Library/Formula/minizinc.rb
@@ -0,0 +1,67 @@
+require 'formula'
+
+class X86_64_Architecture < Requirement
+  fatal true
+
+  satisfy MacOS.prefer_64_bit?
+
+  def message; <<-EOS.undent
+    Your system appears to run on a 32-bit architecture.
+    Minizinc only supports 64-bit architectures, sorry.
+    EOS
+  end
+end
+
+
+class Minizinc < Formula
+  homepage 'http://www.g12.csse.unimelb.edu.au/minizinc/'
+  url 'http://www.g12.csse.unimelb.edu.au/minizinc/downloads/release-1.6/minizinc-1.6-x86_64-apple-darwin.tar.gz'
+  sha1 '71f0e08962eb8bb44c463851f0144c8b006fdb80'
+
+  depends_on X86_64_Architecture
+
+  def patches
+    # remove echoed recommendations about linking directories
+    # add installation location as parameter of SETUP script
+    DATA
+  end
+
+  def install
+    system "sh", "SETUP", prefix
+    bin.install Dir['bin/*']
+    man.install Dir['doc/man/*']
+    lib.install Dir['lib/*']
+  end
+
+  def test
+    system "#{bin}/mzn2fzn", "--help"
+  end
+end
+
+__END__
+diff --git a/SETUP b/SETUP
+index 33d973e..7715800 100755
+--- a/SETUP
++++ b/SETUP
+@@ -33,7 +33,3 @@ chmod a+x bin/mzn2fzn
+ #----------------------------------------------------------------------------#
+
+ echo "-- G12 MiniZinc distribution setup complete."
+-echo
+-echo "-- Don't forget to add $INSTALL_PATH/bin to your PATH"
+-echo "-- and $INSTALL_PATH/doc/man to your MANPATH."
+-echo
+
+diff --git a/SETUP b/SETUP
+index 7715800..71c93b6 100755
+--- a/SETUP
++++ b/SETUP
+@@ -11,7 +11,7 @@
+ 
+ #-----------------------------------------------------------------------------#
+
+-INSTALL_PATH=`pwd`
++INSTALL_PATH=$1
+ EXEEXT=""
+  
+ #----------------------------------------------------------------------------#