blob: de6ce6f00aaaceff789fce5648d1e3ea5a7a50da (
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
|
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"
substituteInPlace isabat \
--replace " bat " " ${pkgs.bat}/bin/bat "
cp isabat $out
'';
}
|