diff options
author | Murillo Bernardes <mfbernardes@gmail.com> | 2018-10-03 18:54:44 +0200 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2018-10-08 15:34:16 -0700 |
commit | 2b3dc46c867f3275a7e36d254b958f3d3d45a60a (patch) | |
tree | 9d826d1611caa869f34c9ea1a17444689d98b669 /scripts | |
parent | 0aef04352a3210a6024f860758af466ea774dd5e (diff) | |
download | subsurface-2b3dc46c867f3275a7e36d254b958f3d3d45a60a.tar.gz |
macOS: check for system headers in SDK
Starting with Xcode 10, system headers are located inside the
macOS SDK.
Add this location to the check for command line tools.
Signed-off-by: Murillo Bernardes <mfbernardes@gmail.com>
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build.sh b/scripts/build.sh index 9e5f7f826..f8cb30c8f 100755 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -90,7 +90,7 @@ if [ $PLATFORM = Darwin ] ; then BASESDK=$(ls $SDKROOT | grep "MacOSX10\.1.\.sdk" | head -1 | sed -e "s/MacOSX//;s/\.sdk//") OLDER_MAC="-mmacosx-version-min=10.11 -isysroot${SDKROOT}/MacOSX${BASESDK}.sdk" OLDER_MAC_CMAKE="-DCMAKE_OSX_DEPLOYMENT_TARGET=${BASESDK} -DCMAKE_OSX_SYSROOT=${SDKROOT}/MacOSX${BASESDK}.sdk/" - if [ ! -d /usr/include ] ; then + if [[ ! -d /usr/include && ! -d "${SDKROOT}/MacOSX.sdk/usr/include" ]] ; then echo "Error: Xcode Command Line Tools are not installed" echo "" echo "Please run:" |