suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Force all scan-build jobs and prepare-cache to the same runner

Browse Source
This commit is contained in:
Paulo Matos 2019-03-07 10:51:07 +01:00
parent 88cc48e3aa
commit c09721c67c
1 changed files with 6 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
.gitlab-ci.yml
View File

@ -2,6 +2,7 @@ stages:
- prepare - prepare
- test - test
# ---------------------------------------------------------------------------------------------------
# Using debian:stable-slim to perform an llvm build with Z3 support # Using debian:stable-slim to perform an llvm build with Z3 support
# The reason this is necessary is that we need Z3 support in scan-build # The reason this is necessary is that we need Z3 support in scan-build
# to be able to crosscheck errors with z3 which decreases the false positives # to be able to crosscheck errors with z3 which decreases the false positives
@ -15,6 +16,7 @@ prepare-cache:
tags: tags:
- linux - linux
- x86_64 - x86_64
- shared-cache
variables: variables:
INSTALL_DIR: $CI_PROJECT_DIR/install INSTALL_DIR: $CI_PROJECT_DIR/install
script: script:
@ -42,6 +44,7 @@ scan-build:racket:
tags: tags:
- linux - linux
- x86_64 - x86_64
- shared-cache
variables: variables:
INSTALL_DIR: $CI_PROJECT_DIR/install INSTALL_DIR: $CI_PROJECT_DIR/install
before_script: before_script:
@ -65,6 +68,7 @@ scan-build:racketcs:
tags: tags:
- linux - linux
- x86_64 - x86_64
- shared-cache
variables: variables:
INSTALL_DIR: $CI_PROJECT_DIR/install INSTALL_DIR: $CI_PROJECT_DIR/install
before_script: before_script:
@ -82,6 +86,7 @@ scan-build:racketcs:
paths: paths:
- $INSTALL_DIR - $INSTALL_DIR
# ---------------------------------------------------------------------------------------------------
## ##
## The following jobs build/test racket and racketcs with ubsan enabled ## The following jobs build/test racket and racketcs with ubsan enabled
## ##
@ -94,15 +99,6 @@ scan-build:racketcs:
- update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-8 800 --slave /usr/bin/g++ g++ /usr/bin/g++-8 - update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-8 800 --slave /usr/bin/g++ g++ /usr/bin/g++-8
- export PATH=$PWD/racket/bin:$PATH - export PATH=$PWD/racket/bin:$PATH
# This is just used to provide some environment information for debugging purposes
envinfo:
extends: .prepare
script:
- cat /proc/cpuinfo
- lsb_release -a
- gcc -v
- export
test:ubsan: test:ubsan:
extends: .prepare extends: .prepare
script: script:
@ -162,6 +158,7 @@ test:ubsan:cs:
- cs-logs/ - cs-logs/
- runtime-errors.log - runtime-errors.log
# ---------------------------------------------------------------------------------------------------
# Runs a cross compilation and testing using qemu chrooted into the correct architecture # Runs a cross compilation and testing using qemu chrooted into the correct architecture
# Each of the test:<arch>: will extend .preparearch which run the proper script # Each of the test:<arch>: will extend .preparearch which run the proper script
# Currently testing: # Currently testing: