aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/formal/gates
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2020-05-23 21:23:34 +0200
committerTristan Gingold <tgingold@free.fr>2020-05-23 21:23:34 +0200
commit49725db159c752ef616715210c2ee7bf37187d33 (patch)
tree628b6da4d775cb32b01de6d8a49490460b2ce89a /testsuite/formal/gates
parent3aa18af227eee3ee056b853b72dfcaa860f723fb (diff)
downloadghdl-yosys-plugin-49725db159c752ef616715210c2ee7bf37187d33.tar.gz
ghdl-yosys-plugin-49725db159c752ef616715210c2ee7bf37187d33.tar.bz2
ghdl-yosys-plugin-49725db159c752ef616715210c2ee7bf37187d33.zip
Re-add instructions to make a static build.
Diffstat (limited to 'testsuite/formal/gates')
0 files changed, 0 insertions, 0 deletions