search

YosysHQ / sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
Other
379 stars 74 forks source link

Fix PREFIX in makefile to accept environment variable, if set #254

Closed davekeeshan closed 6 months ago

davekeeshan commented 7 months ago

This is the makefile fix to allow PREFIX to be set as an environment variable, to allow alternate tool installation, #253