diff options
| author | Darin Morrison | 2013-09-19 01:30:04 -0600 |
|---|---|---|
| committer | Adam Vandenberg | 2013-09-19 07:53:38 -0700 |
| commit | 58247acd78bea9f468c24380cde8e4899a5809bd (patch) | |
| tree | 0562ea71c66854187a5c7e395470586e49f4ab4e | |
| parent | 9227b794526310b53bcb11bad32edf7cb0660f92 (diff) | |
| download | homebrew-58247acd78bea9f468c24380cde8e4899a5809bd.tar.bz2 | |
coq: fix camlp5 --transitional dependency
Closes #22672.
Closes #22675.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
| -rw-r--r-- | Library/Formula/coq.rb | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/Library/Formula/coq.rb b/Library/Formula/coq.rb index ff82c2b76..962891630 100644 --- a/Library/Formula/coq.rb +++ b/Library/Formula/coq.rb @@ -4,9 +4,7 @@ class TransitionalMode < Requirement fatal true satisfy do - # If not installed, it will install in the correct mode. - # If installed, make sure it is transitional instead of strict. - !which('camlp5') || `camlp5 -pmode 2>&1`.chomp == 'transitional' + Tab.for_name('camlp5').unused_options.include? 'strict' end def message; <<-EOS.undent |