diff options
Diffstat (limited to 'src/buildtools/configure.json')
-rw-r--r-- | src/buildtools/configure.json | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/src/buildtools/configure.json b/src/buildtools/configure.json index d7cac2b5c..535d8358b 100644 --- a/src/buildtools/configure.json +++ b/src/buildtools/configure.json @@ -352,9 +352,10 @@ "label": "64bit compiler", "type": "isWindowsHostCompiler64" }, - "webengine-platform": { + "webengine-platform-support": { "label": "platform supported", - "type": "detectPlatform" + "type": "detectPlatform", + "log": "platformSupport" }, "webengine-arch-support": { "label": "architecture supported", @@ -380,7 +381,7 @@ && features.webengine-submodule && features.webengine-nowhitespace && features.webengine-arch-support - && tests.webengine-platform + && !features.webengine-no-platform-support && !config.static && (!config.linux || features.pkg-config) && (!features.xcb || features.webengine-ozone-x11) @@ -666,6 +667,14 @@ "label": "architecture", "condition" : "tests.webengine-arch-support", "output": [ "privateFeature" ] + }, + "webengine-no-platform-support": { + "label": "platform", + "condition" : "!tests.webengine-platform-support", + "output": [ + "privateFeature", + { "type": "varAssign", "name": "PLATFORM_ERROR", "value": "tests.webengine-platform-support.platformSupport" } + ] } }, "report": [ |