blob: d4e3b9e50135adc80f9880e468989eaf42f4b4b4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
with import <nixpkgs> { };
let
isabelle = stdenv.mkDerivation {
pname = "isabelle-unpatched";
version = "2021";
src = fetchzip {
url = "https://isabelle.in.tum.de/dist/Isabelle2021_linux.tar.gz";
sha256 = "00dnpvj8iy5kdfbx3wlwjwh95lwjyp13r8m4l0bkazw2mk2xdcvr";
};
phases = [ "buildPhase" ];
buildPhase = ''
mkdir -p $out
echo $src
cp -r $src/* $out
'';
};
in
buildFHSUserEnv {
name = "isabelle";
targetPkgs = pkgs: with pkgs; [
dbus expat file fontconfig freetype gdb glib
gmp
nspr nss udev xorg.libX11
xorg.libXScrnSaver xorg.libXcomposite xorg.libXcursor xorg.libXdamage
xorg.libXext xorg.libXfixes xorg.libXi xorg.libXrandr xorg.libXrender
xorg.libXtst xorg.libxcb xorg.xcbutilkeysyms zlib
];
runScript = "${isabelle.outPath}/bin/isabelle";
}
|