From 7b1a12ae4c294f38069e9af2a79666959eb2f6be Mon Sep 17 00:00:00 2001
From: Leo Arias <yo@elopio.net>
Date: Wed, 6 Oct 2021 18:00:07 -0600
Subject: [PATCH] Snap: update z3

---
 snap/snapcraft.yaml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/snap/snapcraft.yaml b/snap/snapcraft.yaml
index 0826749ee..e462823e8 100644
--- a/snap/snapcraft.yaml
+++ b/snap/snapcraft.yaml
@@ -41,9 +41,9 @@ parts:
     source-tag: z3-4.8.4
     plugin: make
     build-packages: [python3]
-    stage-packages: [libstdc++6]
+    stage-packages: [libstdc++6, libgomp1]
     override-build: |
-      python scripts/mk_make.py
+      python3 scripts/mk_make.py
       cd build
       make -j -l $(grep -c "^processor" /proc/cpuinfo)
       make install DESTDIR=$SNAPCRAFT_PART_INSTALL