Description of the new feature / enhancement
The current build system calls curl at compilation time to download the nanvix files.
These files are downloaded into a subdirectory of $OUT_DIR, which is not a predictable location.
source.
Proposed technical implementation details
The build.rs script should check for the existence of an environment variable such as NANVIX_BIN, and use that directory instead if the environment variable exists.
This enables offline builds, where all dynamic build inputs are pre-fetched.
Description of the new feature / enhancement
The current build system calls
curlat compilation time to download the nanvix files.These files are downloaded into a subdirectory of
$OUT_DIR, which is not a predictable location.source.
Proposed technical implementation details
The
build.rsscript should check for the existence of an environment variable such asNANVIX_BIN, and use that directory instead if the environment variable exists.This enables offline builds, where all dynamic build inputs are pre-fetched.