mirror of
https://github.com/olofk/serv.git
synced 2025-04-24 05:47:17 -04:00
Make default target runnable
This commit is contained in:
parent
71a1abe602
commit
f754fffdac
1 changed files with 1 additions and 0 deletions
|
@ -25,6 +25,7 @@ targets:
|
|||
default:
|
||||
filesets : [core]
|
||||
parameters : [RISCV_FORMAL, SERV_CLEAR_RAM]
|
||||
toplevel : ["is_toplevel? (serv_top)"]
|
||||
|
||||
lint:
|
||||
default_tool : verilator
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue