diff options
Diffstat (limited to 'Library/Formula/coq.rb')
| -rw-r--r-- | Library/Formula/coq.rb | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/Library/Formula/coq.rb b/Library/Formula/coq.rb index 4505fa9da..1a163844b 100644 --- a/Library/Formula/coq.rb +++ b/Library/Formula/coq.rb @@ -1,6 +1,8 @@ require 'formula' class TransitionalMode < Requirement + fatal true + def message; <<-EOS.undent camlp5 must be compiled in transitional mode (instead of --strict mode): brew install camlp5 @@ -12,9 +14,6 @@ class TransitionalMode < Requirement # If installed, make sure it is transitional instead of strict. `camlp5 -pmode 2>&1`.chomp == 'transitional' end - def fatal? - true - end end class Coq < Formula |