b871f2ad79
This change means that tests will succeed even if the system Yosys binary is broken. yices2 must still be present on the system.
7 lines
155 B
Plaintext
7 lines
155 B
Plaintext
AMARANTH_USE_YOSYS=system
|
|
YOSYS=yowasp-yosys
|
|
SBY=yowasp-sby
|
|
SMTBMC=yowasp-yosys-smtbmc
|
|
# examples
|
|
NEXTPNR_ICE40=yowasp-nextpnr-ice40
|
|
ICEPACK=yowasp-icepack |