Merge pull request #6017 from elopio/snap/add-cvc

Add cvc4 to the snap
2023-10-03 13:03:40 +00:00 · 2019-02-15 23:19:02 +00:00
parent 0408130338 ed81a9f80a
commit 4ec7bbc9bd
1 changed files with 1 additions and 1 deletions
@@ -26,7 +26,7 @@ parts:
    source: .
    source-type: git
    plugin: cmake
-    build-packages: [build-essential, libboost-all-dev]
+    build-packages: [build-essential, libboost-all-dev, libcvc4-dev]
    stage-packages: [libicu60]
    override-build: |
      if git describe --exact-match --tags 2> /dev/null