From 48b839d15e69c3c9995ca3c25e6a7c4730224292 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Fri, 13 Jul 2012 15:01:51 +0000
Subject: Support for MacOS X's indirect symbols.  (first try)

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1978 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 ia32/extractionMachdep.v | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'ia32/extractionMachdep.v')

diff --git a/ia32/extractionMachdep.v b/ia32/extractionMachdep.v
index 435dce22..3c6ee2e0 100644
--- a/ia32/extractionMachdep.v
+++ b/ia32/extractionMachdep.v
@@ -12,3 +12,9 @@
 
 (* Additional extraction directives specific to the IA32 port *)
 
+Require SelectOp.
+
+(* SelectOp *)
+
+Extract Constant SelectOp.symbol_is_external =>
+  "fun id -> Configuration.system = ""macosx"" && C2C.atom_is_extern id".
-- 
cgit