isabat.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
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
  '';
}