diff options
Diffstat (limited to 'build_detect_platform')
| -rw-r--r-- | build_detect_platform | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/build_detect_platform b/build_detect_platform index d50869d..6e59c6f 100644 --- a/build_detect_platform +++ b/build_detect_platform @@ -131,6 +131,16 @@ case "$TARGET_OS" in # man ld: +h internal_name PLATFORM_SHARED_LDFLAGS="-shared -Wl,+h -Wl," ;; + IOS) + PLATFORM=IOS + COMMON_FLAGS="$MEMCMP_FLAG -DOS_MACOSX" + [ -z "$INSTALL_PATH" ] && INSTALL_PATH=`pwd` + PORT_FILE=port/port_posix.cc + PLATFORM_SHARED_EXT= + PLATFORM_SHARED_LDFLAGS= + PLATFORM_SHARED_CFLAGS= + PLATFORM_SHARED_VERSIONED= + ;; *) echo "Unknown platform!" >&2 exit 1 |