coq 8.4pl4

1 files changed, 13 insertions, 13 deletions

diff --git a/Library/Formula/coq.rb b/Library/Formula/coq.rb
index c95211d8b..55c593153 100644
--- a/Library/Formula/coq.rb
+++ b/Library/Formula/coq.rb
@@ -1,10 +1,10 @@
-require 'formula'
+require "formula"
 
 class TransitionalMode < Requirement
   fatal true
 
   satisfy do
-    Tab.for_name('camlp5').unused_options.include? 'strict'
+    Tab.for_name("camlp5").unused_options.include? "strict"
   end
 
   def message; <<-EOS.undent
@@ -15,19 +15,19 @@ class TransitionalMode < Requirement
 end
 
 class Coq < Formula
-  homepage 'http://coq.inria.fr/'
-  url 'http://coq.inria.fr/distrib/V8.4pl3/files/coq-8.4pl3.tar.gz'
-  version '8.4pl3'
-  sha1 'b7d7f49412b0b9827bc461a78b5340e69cc0d3f4'
+  homepage "http://coq.inria.fr/"
+  url "http://coq.inria.fr/distrib/V8.4pl4/files/coq-8.4pl4.tar.gz"
+  version "8.4pl4"
+  sha1 "4dfc3a1ae65f5c480ddc4387d21549a526183e00"
 
-  head 'git://scm.gforge.inria.fr/coq/coq.git'
+  head "git://scm.gforge.inria.fr/coq/coq.git"
 
   depends_on TransitionalMode
-  depends_on 'objective-caml'
-  depends_on 'camlp5'
+  depends_on "objective-caml"
+  depends_on "camlp5"
 
   def install
-    camlp5_lib = Formula['camlp5'].lib+'ocaml/camlp5'
+    camlp5_lib = Formula["camlp5"].opt_lib+"ocaml/camlp5"
     system "./configure", "-prefix", prefix,
                           "-mandir", man,
                           "-camlp5dir", camlp5_lib,
@@ -36,13 +36,13 @@ class Coq < Formula
                           "-coqide", "no",
                           "-with-doc", "no"
     ENV.j1 # Otherwise "mkdir bin" can be attempted by more than one job
-    system "make world"
-    system "make install"
+    system "make", "world"
+    system "make", "install"
   end
 
   def caveats; <<-EOS.undent
     Coq's Emacs mode is installed into
-      #{lib}/emacs/site-lisp
+      #{opt_lib}/emacs/site-lisp
 
     To use the Coq Emacs mode, you need to put the following lines in
     your .emacs file: