diff options
author | Jason Gross <jgross@mit.edu> | 2014-03-17 18:52:50 -0400 |
---|---|---|
committer | Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-03-18 22:52:58 +0100 |
commit | 0ed5686e28f93d5832ce08c6728ff1c4bc5b431c (patch) | |
tree | 5e7539c02f0075497f55f5c740f3f6dac4586ac7 /tactics/tacenv.mli | |
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>
Diffstat (limited to 'tactics/tacenv.mli')
0 files changed, 0 insertions, 0 deletions