Fixed yosys-config for binary distributions with Verific
authorClifford Wolf <clifford@clifford.at>
Tue, 13 Feb 2018 14:22:50 +0000 (15:22 +0100)
committerClifford Wolf <clifford@clifford.at>
Tue, 13 Feb 2018 14:22:50 +0000 (15:22 +0100)
commitc1abd3b02cab235334342f3520e2535eb74c5792
treed7fdfb4a1783545ad934dca6871bc65e0b3e331f
parent717abc93a8f6be8ddf36df735a4ce0a1821e5e0e
Fixed yosys-config for binary distributions with Verific

Signed-off-by: Clifford Wolf <clifford@clifford.at>
Makefile