From de5c12c826fb337fedd24e9c797731b256114cb4 Mon Sep 17 00:00:00 2001 From: Marc Simpson Date: Sat, 16 Feb 2013 18:09:54 +0000 Subject: polyml 5.5 Closes #17888. Signed-off-by: Jack Nagel --- Library/Formula/polyml.rb | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'Library/Formula/polyml.rb') diff --git a/Library/Formula/polyml.rb b/Library/Formula/polyml.rb index af8fb6f85..dc6002dd1 100644 --- a/Library/Formula/polyml.rb +++ b/Library/Formula/polyml.rb @@ -2,8 +2,8 @@ require 'formula' class Polyml < Formula homepage 'http://www.polyml.org' - url 'http://downloads.sourceforge.net/project/polyml/polyml/5.3/polyml.5.3.tar.gz' - sha1 'a037cd8cf4ce4a43b685b0e0d80f3f1e20d7c9fa' + url 'http://downloads.sourceforge.net/project/polyml/polyml/5.5/polyml.5.5.tar.gz' + sha1 '9b308d3ac69316d1fcb0f6ac5f9b9e2d2390d511' def install # for whatever reason, the configure script fails to find c++ if CXX is defined. @@ -11,6 +11,7 @@ class Polyml < Formula ENV["check_cpp"] = "yes" system "./configure", "--disable-dependency-tracking", "--disable-debug", "--prefix=#{prefix}" + system "make" system "make install" end end -- cgit v1.2.3