From b8407e1fc0a2109d208cc5bdd91cd12732460bdf Mon Sep 17 00:00:00 2001 From: Norbert Manthey Date: Fri, 25 Sep 2020 13:21:40 +0200 Subject: [PATCH] split steps more Signed-off-by: Norbert Manthey --- .github/workflows/build-and-test-Xen.yaml | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/.github/workflows/build-and-test-Xen.yaml b/.github/workflows/build-and-test-Xen.yaml index cf13f4cc9a4..674b4e1273f 100644 --- a/.github/workflows/build-and-test-Xen.yaml +++ b/.github/workflows/build-and-test-Xen.yaml @@ -28,11 +28,14 @@ jobs: run: git clone -b path-addition https://github.com/awslabs/one-line-scan.git - name: get Xen 4.13 run: git clone git://xenbits.xen.org/xen.git xen_4_13 && cd xen_4_13 && git reset --hard RELEASE-4.13.0 - - name: compile Xen with CBMC via one-line-scan + - name: prepare compile Xen with CBMC via one-line-scan run: | - ls src/goto-cc/goto-cc ln -s src/goto-cc/goto-cc src/goto-cc/goto-ld ln -s src/goto-cc/goto-cc src/goto-cc/goto-as ln -s src/goto-cc/goto-cc src/goto-cc/goto-g++ - one-line-scan/one-line-scan --add-to-path src/cbmc --add-to-path src/goto-cc --no-analysis --trunc-existing --extra-cflags -Wno-error -o CPROVER -j 3 -- env - one-line-scan/one-line-scan --add-to-path src/cbmc --add-to-path src/goto-cc --no-analysis --trunc-existing --extra-cflags -Wno-error -o CPROVER -j 3 -- make -C xen xen -j $(nproc) -k + - name: check links for compile Xen with CBMC via one-line-scan + run: ls src/goto-cc/goto-cc + - name: check compile Xen with CBMC via one-line-scan + run: one-line-scan/one-line-scan --add-to-path src/cbmc --add-to-path src/goto-cc --no-analysis --trunc-existing --extra-cflags -Wno-error -o CPROVER -j 3 -- env + - name: compile Xen with CBMC via one-line-scan + run: one-line-scan/one-line-scan --add-to-path src/cbmc --add-to-path src/goto-cc --no-analysis --trunc-existing --extra-cflags -Wno-error -o CPROVER -j 3 -- make -C xen xen -j $(nproc) -k