mxcl/homebrew — pull request #14526 by kennknowles (2012-08-29 17:59:44+00:00)
Title: Fix ./configure of Coq 8.4

Currently, on 64-bit machines, the formula for Coq passes `-arch x86_64` to `./configure` and subsequently fails to build, as reported in #14525.

This tiny patch simply removes that parameter and allows `./configure` to detect the architecture, which it concludes is `Darwin`, and the build succeeds.