search

mattpolzin / nix-idris2-packages

5 stars 1 forks source link

split ipkgNames coming from Pack's db into a sourceRoot and filename #15

Open mattpolzin opened 1 month ago

mattpolzin commented 1 month ago

Idris is happy to take an ipkg file in a subdirectory as input but building in a subdirectory makes it harder to write robust Nix helpers like buildIdris so it would probably be better to treat an ipkgName like "posix/posix" as a sourceRoot of posix and an ipkgName of posix.