gnu-prolog fails with (some versions of) clang

1 files changed, 6 insertions, 1 deletions

diff --git a/Library/Formula/gnu-prolog.rb b/Library/Formula/gnu-prolog.rb
index 1b01a040b..0c6e5ee16 100644
--- a/Library/Formula/gnu-prolog.rb
+++ b/Library/Formula/gnu-prolog.rb
@@ -3,7 +3,7 @@ require 'formula'
 class GnuProlog < Formula
   homepage 'http://www.gprolog.org/'
   url 'http://gprolog.univ-paris1.fr/gprolog-1.4.0.tar.gz'
-  md5 'cc944e5637a04a9184c8aa46c947fd16'
+  sha1 '40d99cd3fcb8fa86103ad5692e2cd35b17a90706'
 
   skip_clean :all
 
@@ -16,6 +16,11 @@ class GnuProlog < Formula
     "https://gist.github.com/raw/1191268/35db85d5cfe5ecd5699286bdd945856ea9cee1a1/patch-x86_64-darwin.diff"
   end
 
+  fails_with :clang do
+    build 318
+    cause "Fatal Error: Segmentation Violation"
+  end
+
   def install
     ENV.j1 # make won't run in parallel