Option to disable verific VHDL support
authorMiodrag Milanovic <mmicko@gmail.com>
Wed, 20 Oct 2021 08:02:58 +0000 (10:02 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Wed, 20 Oct 2021 08:02:58 +0000 (10:02 +0200)
commit17269ae59bda6bcf60dbc9ad9d00afc69aa05499
tree9aac977e351266c61b85867f180d8064c6826af4
parent69b2b13ddd98e059f75911fef13718cca23002e3
Option to disable verific VHDL support
Makefile
frontends/verific/Makefile.inc
frontends/verific/verific.cc