diff options
Diffstat (limited to 'tools/ci/jobs/gcc7.sh')
-rwxr-xr-x | tools/ci/jobs/gcc7.sh | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/tools/ci/jobs/gcc7.sh b/tools/ci/jobs/gcc7.sh new file mode 100755 index 0000000..8d9fad6 --- /dev/null +++ b/tools/ci/jobs/gcc7.sh @@ -0,0 +1,18 @@ +#!/usr/bin/env bash + +export CC=gcc-7 +export CXX=g++-7 +export LOGFILE=gcc7.log + +source ./tools/ci/scripts/init.sh + +aptget_install gcc-7 \ + git-core \ + make autoconf automake autopoint \ + libtool libmysqlclient-dev libz-dev libpcre3-dev + +do_init +build_init + +run_configure $* +run_make |