diff options
author | stuebinm | 2021-09-04 16:34:20 +0200 |
---|---|---|
committer | stuebinm | 2021-09-04 16:34:20 +0200 |
commit | 86ab660002443f940abc392cf4beab5172568887 (patch) | |
tree | 7096c5a8aa32e303159c233529f6ec4a74ec726e | |
parent | 147816450f7c10b4f0c734aa8910aef2d92f5496 (diff) |
isabat: move into /bin dir in package
Diffstat (limited to '')
-rw-r--r-- | isabat.nix | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -19,6 +19,7 @@ stdenv.mkDerivation { --replace isabelle2unicode "${isabelle-unicode}/bin/isabelle2unicode" substituteInPlace isabat \ --replace " bat " " ${pkgs.bat}/bin/bat " - cp isabat $out + mkdir -p $out/bin + cp isabat $out/bin ''; } |