687
edits
Changes
→Add tools to PATH and set RISCV
printf 'PATH=$HOME/riscv/bin:$PATH\nRISCV=$HOME/riscv\nexport RISCV\n' >> $HOME/lib/profile.local
Also, if you have installed spike from a repository, you might want to symlink it into <code>RISCV/bin</code>.
ln -s /usr/local/bin/spike $HOME/riscv/bin/spike