Is your feature request related to a problem? Please describe:
Given that .k files are in a remote repo, I'd like to only download the minimal set of .k files that need compile.
Describe the feature you'd like:
Step1. I download path/to/main.k from git repo.
Step2. I call a kcl function to retrieve the depended .k files of path/to/main.k. This function just reads the "imports" statments in the .k file and excludes files from remote mods (could read from kcl.mod).
Describe alternatives you've considered:
Download all files in the repo. This would not be acceptable when the repo is too large.
Feature Request
Is your feature request related to a problem? Please describe: Given that .k files are in a remote repo, I'd like to only download the minimal set of .k files that need compile.
Describe the feature you'd like: Step1. I download path/to/main.k from git repo. Step2. I call a kcl function to retrieve the depended .k files of path/to/main.k. This function just reads the "imports" statments in the .k file and excludes files from remote mods (could read from kcl.mod).
Describe alternatives you've considered: Download all files in the repo. This would not be acceptable when the repo is too large.
Teachability, Documentation, Adoption, Migration Strategy: