diff options
| author | Adam Vandenberg | 2014-02-24 21:17:59 -0800 |
|---|---|---|
| committer | Adam Vandenberg | 2014-02-27 08:21:15 -0800 |
| commit | 1603a71904b68e96c5ee6e5df610790dd7eb8ca6 (patch) | |
| tree | 767c4302fbea5ece2cbdd23f1b8c2c935428c7e0 | |
| parent | 59785d3b943a45e6857396cadd09792c1544b4df (diff) | |
| download | homebrew-1603a71904b68e96c5ee6e5df610790dd7eb8ca6.tar.bz2 | |
coq: use Formula[]
| -rw-r--r-- | Library/Formula/coq.rb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Library/Formula/coq.rb b/Library/Formula/coq.rb index 4411b7194..0928e5a93 100644 --- a/Library/Formula/coq.rb +++ b/Library/Formula/coq.rb @@ -27,7 +27,7 @@ class Coq < Formula depends_on 'camlp5' def install - camlp5_lib = Formula.factory('camlp5').lib+'ocaml/camlp5' + camlp5_lib = Formula['camlp5'].lib+'ocaml/camlp5' system "./configure", "-prefix", prefix, "-mandir", man, "-camlp5dir", camlp5_lib, |