Add wget to the build packages of the snap

This is required to download antlr for cvc4: https://github.com/bobot/CVC4.old-svn/blob/323d5faa1fcd6657899dabfed2e4ad455c92f5c4/contrib/get-antlr-3.4#L23
ethereum · Aug 26, 2019 · d95252f · d95252f
1 parent d47863e
commit d95252f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/snap/snapcraft.yaml b/snap/snapcraft.yaml
@@ -51,7 +51,7 @@ parts:
     source: https://github.com/CVC4/CVC4.git
     source-tag: "1.7"
     plugin: nil
-    build-packages: [python, cmake, openjdk-11-jre, libgmp-dev]
+    build-packages: [python, cmake, openjdk-11-jre, libgmp-dev, wget]
     override-build: |
       ./contrib/get-antlr-3.4
       ./configure.sh --prefix=$SNAPCRAFT_STAGE/usr