diff options
-rw-r--r-- | config/ios.config | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/config/ios.config b/config/ios.config index 1302be39..c3a1cd17 100644 --- a/config/ios.config +++ b/config/ios.config @@ -123,14 +123,6 @@ else: os.environ['GAS']= '%s %s %s' % ('gas-preprocessor.pl', os.environ['CC'], os.environ['CFLAGS']) -macosx_headers = '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include' -for missing_header in ["bzlib.h", "crt_externs.h"]: - missing_path = os.path.join(sysroot, "usr", "include", missing_header) - if not os.path.lexists(missing_path): - # FIXME This is not smart especially as we need to sudo - print("We need to create a syslink between %s and %s as they are missing in the device SDK" %(os.path.join(macosx_headers, missing_header), missing_path)) - shell.call("sudo ln -s %s %s" %(os.path.join(macosx_headers, missing_header), missing_path)) - if use_ccache: os.environ['CC'] = 'ccache %s' % os.environ['CC'] |