Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
511 B · 26 lines
Nix
123456789101112131415161718192021222324252627# Build one of the packages that comes with idris# pname: The pname of the package# deps: The dependencies of the package{ idris, build-idris-package }:pname: deps:let inherit (builtins.parseDrvName idris.name) version;inbuild-idris-package {
inherit pname version; inherit (idris) src;
noPrelude = true; noBase = true;
idrisDeps = deps;
postUnpack = '' sourceRoot=$sourceRoot/libs/${pname} '';
meta = idris.meta // { description = "${pname} builtin Idris library"; };}