17 lines
483 B
Nix
17 lines
483 B
Nix
{ fetchzip, buildFHSEnv,
|
|
version ? "2024",
|
|
}:
|
|
let
|
|
isabelle = fetchzip {
|
|
url = "https://isabelle.in.tum.de/dist/Isabelle${version}_linux.tar.gz";
|
|
sha256 = "08d0zg4j12rya0qphdjfvxmy02mhrbzc6i1wy0hjfklpk2x1ml2s";
|
|
};
|
|
in
|
|
buildFHSEnv {
|
|
pname = "isabelle-upstream";
|
|
inherit version;
|
|
targetPkgs = pkgs:
|
|
(with pkgs; [ zlib fontconfig ]) ++
|
|
(with pkgs.xorg; [ libX11 libXt libXext libXrender libXtst libXi ]);
|
|
runScript = "${isabelle}/Isabelle${version}";
|
|
}
|