Rename gprolog.rb gnu-prolog.rb

As per our naming policies.

1 files changed, 20 insertions, 0 deletions

diff --git a/Library/Formula/gnu-prolog.rb b/Library/Formula/gnu-prolog.rb
new file mode 100644
index 000000000..e74b4fa2b
--- /dev/null
+++ b/Library/Formula/gnu-prolog.rb
@@ -0,0 +1,20 @@
+require 'formula'
+
+class GnuProlog <Formula
+  url 'http://www.gprolog.org/gprolog-1.3.1.tar.gz'
+  homepage 'http://www.gprolog.org/'
+  md5 'cbae19c31e17bcfca4b57fe35ec4aba2'
+
+  def skip_clean? path; true; end
+
+  def install
+    # make won't run in parallel
+    ENV.j1
+    
+    Dir.chdir 'src' do
+      system "./configure", "--prefix=#{prefix}", "--disable-debug", "--disable-dependency-tracking"
+      system "make"
+      system "make install-strip"
+    end
+  end
+end