diff options
| author | Jason Gross | 2014-03-17 18:52:50 -0400 |
|---|---|---|
| committer | Pierre Boutillier | 2014-03-18 22:52:58 +0100 |
| commit | 0ed5686e28f93d5832ce08c6728ff1c4bc5b431c (patch) | |
| tree | 5e7539c02f0075497f55f5c740f3f6dac4586ac7 | |
| parent | 0ce28d751c6c49068288547cd084d4c81f0d5b20 (diff) | |
Remove the -fno-defer-pop cflag
According to http://caml.inria.fr/mantis/view.php?id=6346, this flag
causes ocamlc to fail on the latest version of xcode, because clang now
errors on -fno-defer-pop. According to the same issue, -fno-defer-pop
is required for computed gotos if you're using gcc 1.xx, but not gcc
3.4.0 nor 4.4.7 (nor presumably other reasonably modern versions of
gcc). I haven't actually tested this, as I don't have a mac, but it's a
relatively small change.
Signed-off-by: Pierre Boutillier <pierre.boutillier@ens-lyon.org>
| -rw-r--r-- | configure.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ml b/configure.ml index 569e6ebd4d..db82e523c9 100644 --- a/configure.ml +++ b/configure.ml @@ -384,7 +384,7 @@ let coq_annotate_flag = then if program_in_path "ocamlmerlin" then "-bin-annot" else "-dtypes" else "" -let cflags = "-fno-defer-pop -Wall -Wno-unused" +let cflags = "-Wall -Wno-unused" (** * Architecture *) |