diff --git a/src/upload.raku b/src/upload.raku index 83503bb..e95959d 100755 --- a/src/upload.raku +++ b/src/upload.raku @@ -50,7 +50,13 @@ sub render-idris-file($idr) { $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 my @idris-files = paths("src", :file(-> $a {$a.ends-with(".idr") || $a.ends-with(".md")}))