MakeFileDeveloping

Adding options to an existing makefile at the command prompt

to add options to existing options,

make [-j ] EXTRA="-option1 -option2 ..."

For instance, to compile with realnum set to double:

make [-j ] EXTRA=-DFLT_IS_DBL

Adding option to change the default behavior

To change Makefile so that the default build has other properties:

Edit the third line of the Makefile in sys_gcc to read

$(MAKE) -f ../Makefile SRCDIR=.. $(MAKECMDGOALS) options

where options are the options you want to pass on to make. An example might be

-j 4 EXTRA="-DFOO -DBAR"

debug compile

make [-j ] debug

To turn off inlining, a first step in debugging, do

make [-j ] debug DEBUGOPT=

---

Return to DeveloperPages or go home