diff options
author | Marvin Borner | 2019-11-01 01:08:47 +0100 |
---|---|---|
committer | Marvin Borner | 2019-11-01 01:08:47 +0100 |
commit | 7078393b2bea0dd66c85a8639d5a12bacc90dd56 (patch) | |
tree | 973af94d98431caf4e38fc99b4ad741c640bbc22 /.github | |
parent | 1edbd8011c1b1ee8d5814e7cd7f3190b5916fda5 (diff) |
Hmmm
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ccpp.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ccpp.yml b/.github/workflows/ccpp.yml index cd0eda7..250ce8e 100644 --- a/.github/workflows/ccpp.yml +++ b/.github/workflows/ccpp.yml @@ -15,7 +15,7 @@ jobs: steps: - uses: actions/checkout@v1 - name: Install - run: sudo apt-get update && sudo apt-get install -y build-essential bison flex libgmp3-dev libmpc-dev libmpfr-dev texinfo libcloog-isl-dev libisl-dev curl nasm grub2 qemu qemu-kvm + run: sudo apt-get update && sudo apt-get install -y build-essential bison flex libgmp3-dev libmpc-dev libmpfr-dev texinfo libcloog-isl-dev libisl-0.18-dev libisl-dev curl nasm grub2 qemu qemu-kvm - name: Make run: make cross build - name: Release |