From af719c4fae734de2fa2010c36ba7a36904609a13 Mon Sep 17 00:00:00 2001
From: Norbert Manthey <nmanthey@amazon.de>
Date: Tue, 8 Sep 2020 11:44:08 +0200
Subject: [PATCH] workflow: fix xen

---
 .github/workflows/build-and-test-Xen.yaml | 61 +++++++++++------------
 1 file changed, 30 insertions(+), 31 deletions(-)

diff --git a/.github/workflows/build-and-test-Xen.yaml b/.github/workflows/build-and-test-Xen.yaml
index 39f51a311173..e98b96b5b54a 100644
--- a/.github/workflows/build-and-test-Xen.yaml
+++ b/.github/workflows/build-and-test-Xen.yaml
@@ -5,36 +5,35 @@ on:
     branches: [ develop ]
 
 jobs:
-  Linux:
-
+  CompileXen:
     runs-on: ubuntu-18.04
-
     steps:
-    - name: Install Packages
-      run: sudo apt-get install coreutils \
-        build-essential gcc git make flex bison \
-        software-properties-common libwww-perl python \
-        bin86 gdb bcc liblzma-dev python-dev gettext iasl \
-        uuid-dev libncurses5-dev libncursesw5-dev pkg-config \
-        libgtk2.0-dev libyajl-dev sudo time
-
-    - uses: actions/checkout@v1
-
-    - name: build CBMC tools
-      run: make -C src minisat2-download
-      run: make -C src cbmc.dir goto-cc.dir goto-diff.dir
-
-    - name: get one-line-scan
-      run: git clone 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
-      run: ls
-      run: pwd
-      run: ls src/*
-      run: ln -sf src/goto-cc/goto-cc src/goto-cc/goto-ld
-      run: ln -sf src/goto-cc/goto-cc src/goto-cc/goto-as
-      run: ln -sf src/goto-cc/goto-cc src/goto-cc/goto-g++
-      run: PATH=$PATH:src/cbmc:src/goto-cc one-line-scan/one-line-scan --no-analysis --trunc-existing --extra-cflags -Wno-error -o CPROVER -j 3 -- make -C xen xen -j $(nproc) -k 
+      - uses: actions/checkout@v2
+        with:
+          submodules: true
+      - name: Install Packages
+        env:
+          # This is needed in addition to -yq to prevent apt-get from asking for
+          # user input
+          DEBIAN_FRONTEND: noninteractive
+        run: |
+          sudo apt-get install -y coreutils  build-essential gcc git make flex bison software-properties-common libwww-perl python
+          sudo apt-get install -y bin86 gdb bcc liblzma-dev python-dev gettext iasl uuid-dev libncurses5-dev libncursesw5-dev pkg-config
+          sudo apt-get install -y libgtk2.0-dev libyajl-dev sudo time
+      - name: build CBMC tools
+        run: |
+          make -C src minisat2-download
+          make -C src cbmc.dir goto-cc.dir goto-diff.dir
+      - name: get one-line-scan
+        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
+        run: |
+          ls
+          pwd
+          ls src/*
+          ln -sf src/goto-cc/goto-cc src/goto-cc/goto-ld
+          ln -sf src/goto-cc/goto-cc src/goto-cc/goto-as
+          ln -sf 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 -- make -C xen xen -j $(nproc) -k