diff options
Diffstat (limited to 'Makefile.config')
-rw-r--r-- | Makefile.config | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/Makefile.config b/Makefile.config index 5c619c3..a67e9f1 100644 --- a/Makefile.config +++ b/Makefile.config @@ -1,5 +1,14 @@ +# Uncomment this line when needed +#DEBUG=1 + CC = gcc -CFLAGS = -std=c89 -pedantic -Wall -Werror -O2 +CFLAGS = -std=c99 -pedantic -Wall -Werror -O2 + +ifdef DEBUG +CFLAGS += -O0 -g +else +CFLAGS += -O2 +endif IV = iverilog @@ -8,9 +17,8 @@ PNR = git-nextpnr-ice40 ICEPACK = git-icepack ICETIME = git-icetime +WAT2WASM = wat2wasm + TOPMODULE = soc PCF = design/pins.pcf - -# Uncomment this line when needed -#DEBUG=1 |