This document instructs you on how to build Nanvix.
⚠️ These instructions assume that you have already setup your development environment. See setup.md for details.
# Change this variable accordingly.
# This variable should point to the directory where you have installed your
# development toolchain. If you have not changed the default installation
# location, then you can run the following command unmodified.
export TOOLCHAIN_DIR=$HOME/nanvix/toolchain
make nanvix # Build binaries.
make image # Build system image.
make documentation # Build Doxygen documentation.
make clean # Clean up all build artifacts.