wbrawner/homebrew-core
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

coq: cleanup requirement naming.

Browse source
This commit is contained in:
Mike McQuaid 2015-04-11 19:10:29 +01:00
parent 58dfe22d0d
commit 968429d7a6
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Formula/coq.rb
View file

@ -1,6 +1,6 @@
require "formula"
class TransitionalMode < Requirement
class Camlp5TransitionalModeRequirement < Requirement
fatal true
satisfy { !Tab.for_name("camlp5").include?("strict") }
@ -27,7 +27,7 @@ class Coq < Formula
sha256 "3dcdec51e2d2402d6ec9bca3f5f1d29a486995fcccfbb46e9b023f18715a4968" => :mountain_lion
end
depends_on TransitionalMode
depends_on Camlp5TransitionalModeRequirement
depends_on "objective-caml"
depends_on "camlp5"