Add more missing libs
This commit is contained in:
parent
f8f622fd7f
commit
2df5e051f1
|
@ -18,7 +18,7 @@ jobs:
|
|||
- name: Set up GNAT toolchain
|
||||
run: >
|
||||
sudo apt-get update &&
|
||||
sudo apt-get install gnat gprbuild libzmq3-dev libaunit17.2017-dev libgnatcoll16-dev
|
||||
sudo apt-get install gnat gprbuild libzmq3-dev libaunit*-dev libgnatcoll*-dev
|
||||
|
||||
- name: Build
|
||||
run: make
|
||||
|
|
Loading…
Reference in New Issue