56de2bcd43
https://github.com/NixOS/nixpkgs/blob/master/pkgs/stdenv/generic/setup.sh#L948 this can do it nicely. Signed-off-by: Anton Arapov <anton@deadbeef.mx>
5 lines
80 B
Nix
5 lines
80 B
Nix
{ callPackage }:
|
|
|
|
{
|
|
isabelle-linter = callPackage ./isabelle-linter.nix {};
|
|
}
|