isabat.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

{pkgs, isabelle-rust-utils}:

with pkgs;
stdenv.mkDerivation {
  pname = "isabat";
  version = "0.1";

  src = ./isabat;

  phases = [ "buildPhase" ];

  buildPhase = ''
    cp $src isabat
    substituteInPlace isabat \
      --replace isabelle2unicode "${isabelle-rust-utils}/bin/isabelle2unicode"
    substituteInPlace isabat \
      --replace " bat " " ${pkgs.bat}/bin/bat "
    mkdir -p $out/bin
    cp isabat $out/bin
  '';
}