z3: add installCheckPhase

NixOS · Jan 12, 2025 · c556717 · c556717
1 parent df99435
commit c556717
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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"