From b6798f8adcd5a79fff993ca73e77be1a6ad3fd02 Mon Sep 17 00:00:00 2001
From: Leo Arias <yo@elopio.net>
Date: Tue, 12 Feb 2019 21:47:50 +0000
Subject: [PATCH] snap: build the latest z3

Fixes #5985
---
 snap/snapcraft.yaml | 18 ++++++++++++++++--
 1 file changed, 16 insertions(+), 2 deletions(-)

diff --git a/snap/snapcraft.yaml b/snap/snapcraft.yaml
index b2decd2fa..5b21768b0 100644
--- a/snap/snapcraft.yaml
+++ b/snap/snapcraft.yaml
@@ -26,10 +26,24 @@ parts:
     source: .
     source-type: git
     plugin: cmake
-    build-packages: [build-essential, libboost-all-dev, libz3-dev]
+    build-packages: [build-essential, libboost-all-dev]
     stage-packages: [libicu60]
-    prepare: |
+    override-build: |
       if git describe --exact-match --tags 2> /dev/null
       then
         echo -n > ../src/prerelease.txt
       fi
+      snapcraftctl build
+    after: [z3]
+  z3:
+    source: https://github.com/Z3Prover/z3.git
+    source-tag: z3-4.8.4
+    plugin: make
+    build-packages: [python]
+    stage-packages: [libstdc++6]
+    makefile: build/Makefile
+    override-build: |
+      python scripts/mk_make.py
+      cd build
+      make -j -l $(grep -c "^processor" /proc/cpuinfo)
+      make install DESTDIR=$SNAPCRAFT_PART_INSTALL