Skip to content

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

Edited by Nicolas Fidel