gnu-prolog 1.4.1

Thanks to @2bits for the patch.

Closes #13145.

1 files changed, 3 insertions, 21 deletions

diff --git a/Library/Formula/gnu-prolog.rb b/Library/Formula/gnu-prolog.rb
index 0c6e5ee16..f429f0619 100644
--- a/Library/Formula/gnu-prolog.rb
+++ b/Library/Formula/gnu-prolog.rb
@@ -2,19 +2,8 @@ require 'formula'
 
 class GnuProlog < Formula
   homepage 'http://www.gprolog.org/'
-  url 'http://gprolog.univ-paris1.fr/gprolog-1.4.0.tar.gz'
-  sha1 '40d99cd3fcb8fa86103ad5692e2cd35b17a90706'
-
-  skip_clean :all
-
-  # Support OSX x86-64. See:
-  # https://github.com/mxcl/homebrew/pull/7428
-  # http://lists.gnu.org/archive/html/users-prolog/2011-09/msg00004.html
-  # Includes previous inreplace fix from:
-  # http://lists.gnu.org/archive/html/users-prolog/2011-07/msg00013.html
-  def patches
-    "https://gist.github.com/raw/1191268/35db85d5cfe5ecd5699286bdd945856ea9cee1a1/patch-x86_64-darwin.diff"
-  end
+  url 'http://www.gprolog.org/gprolog-1.4.1.tar.gz'
+  sha1 'f25e11dbef2467c8ea1bb16cfd20623fd2f4fad4'
 
   fails_with :clang do
     build 318
@@ -23,15 +12,8 @@ class GnuProlog < Formula
 
   def install
     ENV.j1 # make won't run in parallel
-
     cd 'src' do
-      args = ["--prefix=#{prefix}"]
-
-      if MacOS.prefer_64_bit?
-        args << "--build=x86_64-apple-darwin" << "--host=x86_64-apple-darwin"
-      end
-
-      system "./configure", *args
+      system "./configure", "--prefix=#{prefix}", "--with-doc-dir=#{doc}"
       system "make"
       system "make install-strip"
     end