Add m4 to 18.04 install

It previously installed fine via the build-essential package, so no idea what changed! Plus 20.04 works fine with just build-essential
rems-project · Jun 2, 2020 · ec500f1 · ec500f1
1 parent 62038e2
commit ec500f1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ubuntu_18_04_build.yml b/.github/workflows/ubuntu_18_04_build.yml
@@ -13,6 +13,6 @@ jobs:
       run: |
         sudo add-apt-repository ppa:avsm/ppa
         sudo apt update
-        sudo apt install build-essential libgmp-dev z3
+        sudo apt install build-essential libgmp-dev z3 m4
         sudo apt install opam
         etc/ci_opam_build.sh