diff options
| author | Kenn Knowles | 2012-08-29 13:50:21 -0400 |
|---|---|---|
| committer | Adam Vandenberg | 2012-08-29 11:01:23 -0700 |
| commit | d751d6cc48afd40bdab9c89dc8b1fdd18d771a5a (patch) | |
| tree | 1dbc9050c986fbb0898883ecbf13e259e13829eb /Library/Formula/coq.rb | |
| parent | 9b21aead68906fa9e30be1135d55fd51360acc3d (diff) | |
| download | homebrew-d751d6cc48afd40bdab9c89dc8b1fdd18d771a5a.tar.bz2 | |
coq: Do not pass -arch to ./configure
Closes #14526.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
Diffstat (limited to 'Library/Formula/coq.rb')
| -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 393dd89a0..2f664e815 100644 --- a/Library/Formula/coq.rb +++ b/Library/Formula/coq.rb @@ -30,7 +30,6 @@ class Coq < Formula depends_on 'camlp5' def install - arch = Hardware.is_64_bit? ? "x86_64" : "i386" camlp5_lib = Formula.factory('camlp5').lib+'ocaml/camlp5' system "./configure", "-prefix", prefix, "-mandir", man, @@ -38,8 +37,7 @@ class Coq < Formula "-emacslib", "#{lib}/emacs/site-lisp", "-coqdocdir", "#{share}/coq/latex", "-coqide", "no", - "-with-doc", "no", - "-arch", arch + "-with-doc", "no" ENV.j1 # Otherwise "mkdir bin" can be attempted by more than one job system "make world" system "make install" |