Here's what you do:
1. Make a copy of the "Makefile.linux-gcc" makefile. Call it whatever
you like.
2. Edit your copy of Makefile.linux-gcc to set up the compiler and
system options as you like. This is not hard as there are not many
options.
3. `make`