CI: development [#CLICKHOUSE-2]

This commit is contained in:
Alexey Milovidov 2018-05-14 02:20:57 +03:00
parent 589899ac25
commit fa59cbc871
3 changed files with 5 additions and 4 deletions

View File

@ -3,6 +3,7 @@ set -e -x
source default-config
# TODO Non debian systems
$SUDO apt-get install -y subversion
apt-cache search cmake3 | grep -P '^cmake3 ' && $SUDO apt-get -y install cmake3 || $SUDO apt-get -y install cmake

View File

@ -3,10 +3,6 @@ set -e -x
source default-config
# NOTE: It will argue about
# fatal error: re2_st/re2.h: No such file or directory
# due to generated headers.
$SUDO apt-get install -y jq
[[ -d "${WORKSPACE}/sources" ]] || die "Run get-sources.sh first"
@ -15,6 +11,9 @@ mkdir -p "${WORKSPACE}/build"
pushd "${WORKSPACE}/build"
cmake -D CMAKE_BUILD_TYPE=Debug $CMAKE_FLAGS ../sources
make re2_st # Generated headers
jq --raw-output '.[] | .command' compile_commands.json | grep -v -P -- '-c .+/contrib/' | sed -r -e 's/-o\s+\S+/-fsyntax-only/' > syntax-commands
xargs --arg-file=syntax-commands --max-procs=$THREADS --replace /bin/sh -c "{}"

View File

@ -3,6 +3,7 @@ set -e -x
source default-config
# TODO Non debian systems
apt-cache search cmake3 | grep -P '^cmake3 ' && $SUDO apt-get -y install cmake3 || $SUDO apt-get -y install cmake
if [[ "$COMPILER_INSTALL_METHOD" == "packages" ]]; then