Idris/personal-tooling
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

Add a project_dir argument

Browse source
This commit is contained in:
Nathan McCarty 2024-12-20 08:43:30 +00:00
parent 66bb33b332
commit f916a94c64
1 changed files with 7 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
src/upload.raku
View file

@ -50,7 +50,13 @@ sub render-idris-file($idr) {
$out-file.spurt: $contents; $out-file.spurt: $contents;
} }
sub MAIN() { sub MAIN(
$project_dir? #= Base directory of project to upload, defaults to %*CWD
) {
if $project_dir ~~ Str {
$*CWD = $project_dir.IO.resolve;
};
# Find and collect all of our idris files # Find and collect all of our idris files
my @idris-files = my @idris-files =
paths("src", :file(-> $a {$a.ends-with(".idr") || $a.ends-with(".md")})) paths("src", :file(-> $a {$a.ends-with(".idr") || $a.ends-with(".md")}))