YosysHQ / sby

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

Setting PREFIX doesn't appear to work #253

Closed davekeeshan closed 3 months ago

davekeeshan commented 7 months ago

I need to install and manage many versions of tools, as such I usually have to designate and alternate location than the default. With sby it does not appear to be working.

In yosys you set the PREFIX as and environment export. In sby it looks like the same was attempted, but looking at the Makefile it appears that the PREFIX gets explictly reset.

PREFIX = /usr/local

in makefiles you can set it so, if PREFIX is not set, it will pick up the above directory, but otherwise use the environment set one:

PREFIX?=/usr/local