aboutsummaryrefslogtreecommitdiffstats
path: root/Library/Formula/compcert.rb
diff options
context:
space:
mode:
authorJack Nagel2014-05-26 14:37:59 -0500
committerJack Nagel2014-05-26 14:43:19 -0500
commite907abcbcc7a82b65f5734149a3583a9d47b2972 (patch)
tree6feec77abc5d4b3f6c0944cdc5939fb40e35e8ff /Library/Formula/compcert.rb
parent1a083e8ad6e5f81ddce8f6c790cb9043b181e45a (diff)
downloadhomebrew-e907abcbcc7a82b65f5734149a3583a9d47b2972.tar.bz2
compcert: allow arch flags
Fixes #29569.
Diffstat (limited to 'Library/Formula/compcert.rb')
-rw-r--r--Library/Formula/compcert.rb2
1 files changed, 2 insertions, 0 deletions
diff --git a/Library/Formula/compcert.rb b/Library/Formula/compcert.rb
index 01f3e6543..5d5e80b11 100644
--- a/Library/Formula/compcert.rb
+++ b/Library/Formula/compcert.rb
@@ -10,6 +10,8 @@ class Compcert < Formula
depends_on "camlp5" => :build
def install
+ ENV.permit_arch_flags
+
# Compcert's configure script hard-codes gcc. On Lion and under, this
# creates problems since XCode's gcc does not support CFI,
# but superenv will trick it into using clang which does. This