summaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
authorAndoni Morales Alastruey <ylatuya@gmail.com>2012-10-29 21:15:04 +0100
committerAndoni Morales Alastruey <ylatuya@gmail.com>2012-10-29 21:18:02 +0100
commite20bbe935b876ed53f1b673b60ede11b600c7bdb (patch)
treee05ae7b962f59a01aff9cd676573c93a5e3cb897 /config
parent68407c66a21fecb7eb70570348b6957da1c5c2aa (diff)
darwin.config: Fix checks for GL headers path
Diffstat (limited to 'config')
-rw-r--r--config/darwin.config4
1 files changed, 4 insertions, 0 deletions
diff --git a/config/darwin.config b/config/darwin.config
index 069defb..4ca5be6 100644
--- a/config/darwin.config
+++ b/config/darwin.config
@@ -94,7 +94,11 @@ os.environ['LDFLAGS'] += ' %s %s ' % (arch_ldflags, sdk)
gl_headers = os.path.join(sdk_root, 'usr', 'X11', 'include', 'GL')
gl_headers_prefix = os.path.join(incl_dir, 'GL')
if not os.path.exists(gl_headers_prefix):
+ if os.path.lexists(gl_headers_prefix):
+ os.remove(gl_headers_prefix)
os.symlink(gl_headers, gl_headers_prefix)
+if not os.path.exists(gl_headers_prefix):
+ raise Exception ("GL headers path not found: %s" % gl_headers)
if use_ccache:
os.environ['CC'] += 'ccache gcc'