From 425fb9ea488783e8e7aae48b82d55aaf629ddb27 Mon Sep 17 00:00:00 2001
From: Morgan Jones <me@numin.it>
Date: Thu, 2 Jan 2025 16:05:46 -0800
Subject: [PATCH] z3: add installCheckPhase

---
 pkgs/applications/science/logic/z3/default.nix | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/pkgs/applications/science/logic/z3/default.nix b/pkgs/applications/science/logic/z3/default.nix
index 6e54f4ff4cca2e..1c874934adbd08 100644
--- a/pkgs/applications/science/logic/z3/default.nix
+++ b/pkgs/applications/science/logic/z3/default.nix
@@ -101,6 +101,11 @@ let
           moveToOutput "lib/libz3java.${stdenv.hostPlatform.extensions.sharedLibrary}" "$java"
         '';
 
+      doInstallCheck = true;
+      installCheckPhase = ''
+        $out/bin/z3 -version 2>&1 | grep -F "Z3 version $version"
+      '';
+
       outputs =
         [
           "out"