diff options
Diffstat (limited to 'isabat.nix')
-rw-r--r-- | isabat.nix | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/isabat.nix b/isabat.nix new file mode 100644 index 0000000..7fc05f2 --- /dev/null +++ b/isabat.nix @@ -0,0 +1,22 @@ +let + sources = import ./nix/sources.nix; + pkgs = import sources.nixpkgs {}; + isabelle-unicode = import ./default.nix; +in + +with pkgs; +stdenv.mkDerivation { + pname = "isabat"; + version = "0.1"; + + src = ./isabat; + + phases = [ "buildPhase" ]; + + buildPhase = '' + cp $src isabat + substituteInPlace isabat \ + --replace isabelle2unicode "${isabelle-unicode}/bin/isabelle2unicode" + cp isabat $out + ''; +} |