Open srghma opened 4 weeks ago
pack = pkgs.idris2Packages.buildIdris' {
ipkgName = "pack";
# src = ./.;
src = /. + builtins.getEnv "PWD";
};
fails with same error
Huh. Getting PWD
always felt like a hack anyway, but it was a nice thought that in the simplest possible case not even a source directory would need to be specified.
IF have
src = /. + builtins.getEnv "PWD"
(or no src)so I had to replace with
src = ./.;
P.S. couldnt reproduce with
builds ok but