diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -27,7 +27,7 @@ build/%.bin: %.pal | |||
| 27 | build/Vtop: $(SOURCES) $(HEADERS) | 27 | build/Vtop: $(SOURCES) $(HEADERS) |
| 28 | @rm -rf verilator | 28 | @rm -rf verilator |
| 29 | @mkdir -p build verilator | 29 | @mkdir -p build verilator |
| 30 | verilator +1800-2017ext+sv -Wall -Wno-BLKSEQ -Wno-UNUSED -O3 -Ihdl $(OPTS) --Mdir verilator --trace --cc --build -j --exe --top-module top $(SOURCES) | 30 | verilator +1800-2017ext+sv -Wall -Wno-BLKSEQ -Wno-UNUSED -O3 -Ihdl $(OPTS) --Mdir verilator --autoflush --trace --cc --build -j --exe --top-module top $(SOURCES) |
| 31 | @ln -t build -f verilator/Vtop | 31 | @ln -t build -f verilator/Vtop |
| 32 | @rm -rf verilator | 32 | @rm -rf verilator |
| 33 | 33 | ||
