2019-11-19 10:18:28 +08:00
|
|
|
#!/bin/bash
|
|
|
|
|
set -e
|
|
|
|
|
set +x
|
|
|
|
|
|
2019-11-20 08:08:27 +08:00
|
|
|
trap "cd $(pwd -P)" EXIT
|
2019-11-20 08:58:09 +08:00
|
|
|
cd "$(dirname $0)"
|
|
|
|
|
cd "checkout"
|
2019-11-19 10:18:28 +08:00
|
|
|
|
2019-12-24 05:20:04 +08:00
|
|
|
BUILD_TYPE=--release
|
|
|
|
|
if [[ -v WKDEBUG ]]; then
|
|
|
|
|
BUILD_TYPE=--debug
|
|
|
|
|
fi
|
|
|
|
|
|
2019-11-19 10:18:28 +08:00
|
|
|
if [[ "$(uname)" == "Darwin" ]]; then
|
2019-12-24 05:20:04 +08:00
|
|
|
./Tools/Scripts/build-webkit $BUILD_TYPE --touch-events
|
2019-11-19 10:18:28 +08:00
|
|
|
elif [[ "$(uname)" == "Linux" ]]; then
|
2019-11-23 14:39:13 +08:00
|
|
|
# Check that WebKitBuild exists and is not empty.
|
|
|
|
|
if ! [[ (-d ./WebKitBuild) && (-n $(ls -1 ./WebKitBuild/)) ]]; then
|
2019-11-23 14:24:14 +08:00
|
|
|
yes | DEBIAN_FRONTEND=noninteractive ./Tools/Scripts/update-webkitgtk-libs
|
|
|
|
|
fi
|
2019-12-24 05:20:04 +08:00
|
|
|
./Tools/Scripts/build-webkit --gtk $BUILD_TYPE --touch-events MiniBrowser
|
2019-11-19 10:18:28 +08:00
|
|
|
else
|
|
|
|
|
echo "ERROR: cannot upload on this platform!" 1>&2
|
|
|
|
|
exit 1;
|
|
|
|
|
fi
|
