We should consider making a shell/python script to automatically do all the compilations at once.
We should consider making a shell/python script to automatically do all the compilations at once.