Commit 1c1bf1b8 authored by sempiternal-aurora's avatar sempiternal-aurora
Browse files

isabelle: remove z3 as vampire dependency

parent 03613923

pkgs/by-name/is/isabelle/package.nix

+27 −22
Original line number Diff line number Diff line
@@ -51,7 +51,12 @@ let 
  # Isabelle uses a branch of vampire that is not in the normal release line

  # that adds support for higher order goals

  vampireStdenv = if stdenv.hostPlatform.isLinux then gcc14Stdenv else stdenv;

  vampire' = (vampire.override { stdenv = vampireStdenv; }).overrideAttrs (_: {

  vampire' =

    (vampire.override {

      stdenv = vampireStdenv;

      z3' = null;

    }).overrideAttrs

      (_: {

        pname = "vampire-for-isabelle";

        version = "4.8";