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

Fix target names post-CS becoming the default (#3327)

Browse Source 
Fixes target names to fix ubsan workflows.
This commit is contained in:
Paulo Matos 2020-08-03 16:16:36 +02:00 committed by GitHub
parent 181d08ad9a
commit 77fd6936b1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
.github/workflows/ci-ubsan.yml vendored
View File

@ -19,7 +19,7 @@ jobs:
- name: Build
run: |
export cpus=$(grep -c ^processor /proc/cpuinfo)
make CPUS="${cpus}" PKGS="racket-test db-test unstable-flonum-lib net-test" CONFIGURE_ARGS_qq='CFLAGS="-fno-var-tracking-assignments" --enable-ubsan' in-place 2>&1 | tee logs/build.log
make CPUS="${cpus}" PKGS="racket-test db-test unstable-flonum-lib net-test" CONFIGURE_ARGS_qq='CFLAGS="-fno-var-tracking-assignments" --enable-ubsan' RACKETBC_SUFFIX="" bc-in-place 2>&1 | tee logs/build.log
- name: Add new racket to PATH
# This should be:
# run: echo "::add-path::${{ github.workspace }}/racket/bin"
@ -98,21 +98,12 @@ jobs:
- uses: actions/checkout@v2
with:
fetch-depth: 100
- name: Speed build and install racketcgc
working-directory: ./racket/src
run: |
./configure --enable-cgcdefault --prefix=/usr
export cpus=$(grep -c ^processor /proc/cpuinfo)
make -j$((cpus+1))
make -j$((cpus+1)) install
- name: Clean repo
run: git clean -xdf
- name: Create logs directory
run: mkdir $PWD/logs
- name: Build
run: |
export cpus=$(grep -c ^processor /proc/cpuinfo)
make CPUS="${cpus}" PKGS="racket-test db-test unstable-flonum-lib net-test" CONFIGURE_ARGS_qq='CFLAGS="-fno-var-tracking-assignments" --enable-ubsan' RACKETCS_SUFFIX="" RACKET=/usr/bin/racket cs 2>&1 | tee logs/build.log
make CPUS="${cpus}" PKGS="racket-test db-test unstable-flonum-lib net-test" CONFIGURE_ARGS_qq='CFLAGS="-fno-var-tracking-assignments" --enable-ubsan' cs-in-place 2>&1 | tee logs/build.log
- name: Add new racket to PATH
# This should be:
# run: echo "::add-path::${{ github.workspace }}/racket/bin"