Change default system library
Nowadays when you launch nolimips the library library is spim and it is the least used by students
They use in majority the nolimips
I would like to change the default one for nolimips
The CLI would become:
Before:
nolimips -L nolimips -Nue test.nolimips
After:
nolimips -Nue test.nolimips
The purpose of the issue is also to clean up the nolimips repo, remove compilation warnings, clang format the
But also to fix the make install which is broken