diff options
author | Steve Block <steveblock@google.com> | 2011-05-25 19:08:45 +0100 |
---|---|---|
committer | Steve Block <steveblock@google.com> | 2011-06-08 13:51:31 +0100 |
commit | 2bde8e466a4451c7319e3a072d118917957d6554 (patch) | |
tree | 28f4a1b869a513e565c7760d0e6a06e7cf1fe95a /Source/CMakeLists.txt | |
parent | 6939c99b71d9372d14a0c74a772108052e8c48c8 (diff) | |
download | external_webkit-2bde8e466a4451c7319e3a072d118917957d6554.zip external_webkit-2bde8e466a4451c7319e3a072d118917957d6554.tar.gz external_webkit-2bde8e466a4451c7319e3a072d118917957d6554.tar.bz2 |
Merge WebKit at r82507: Initial merge by git
Change-Id: I60ce9d780725b58b45e54165733a8ffee23b683e
Diffstat (limited to 'Source/CMakeLists.txt')
-rw-r--r-- | Source/CMakeLists.txt | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/Source/CMakeLists.txt b/Source/CMakeLists.txt index 13ea13c..d6368c0 100644 --- a/Source/CMakeLists.txt +++ b/Source/CMakeLists.txt @@ -23,8 +23,13 @@ INCLUDE(WebKitFeatures) # ----------------------------------------------------------------------------- # Determine which port will be built # ----------------------------------------------------------------------------- -SET(ALL_PORTS Efl) -OPTION(PORT "choose which WebKit port to build (one of ${ALL_PORTS})" "NOPORT") +SET(ALL_PORTS Efl WinCE) +SET(PORT "NOPORT" CACHE STRING "choose which WebKit port to build (one of ${ALL_PORTS})") + +LIST(FIND ALL_PORTS ${PORT} RET) +IF (${RET} EQUAL -1) + MESSAGE(FATAL_ERROR "Please choose which WebKit port to build (one of ${ALL_PORTS})") +ENDIF () # ----------------------------------------------------------------------------- # Find common packages (used by all ports) |