From 5e98833a3bce6c2aa9a555912ecca17fbbc34470 Mon Sep 17 00:00:00 2001
From: Kenn Knowles <kenn.knowles@gmail.com>
Date: Wed, 29 Aug 2012 13:50:21 -0400
Subject: [PATCH] coq: Do not pass -arch to ./configure

Closes Homebrew/homebrew#14526.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
---
 Formula/coq.rb | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/Formula/coq.rb b/Formula/coq.rb
index 393dd89a0cf..2f664e8153c 100644
--- a/Formula/coq.rb
+++ b/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"