From f366f25d714d39431c1e834941565c5ba90495d7 Mon Sep 17 00:00:00 2001 From: Thierry Moisan Date: Mon, 11 Feb 2013 12:09:24 -0500 Subject: New formula: minizinc Closes #17762. Signed-off-by: Jack Nagel --- Library/Formula/minizinc.rb | 67 +++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 67 insertions(+) create mode 100644 Library/Formula/minizinc.rb (limited to 'Library/Formula') 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="" + + #----------------------------------------------------------------------------# -- cgit v1.2.3