diff options
Diffstat (limited to 'Library')
| -rw-r--r-- | Library/Formula/compcert.rb | 2 |
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 |