From 0ed5686e28f93d5832ce08c6728ff1c4bc5b431c Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Mon, 17 Mar 2014 18:52:50 -0400 Subject: 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 --- configure.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 *) -- cgit v1.2.3