Add "verific -vlog-libdir"
authorClifford Wolf <clifford@clifford.at>
Fri, 13 Oct 2017 18:23:19 +0000 (20:23 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 13 Oct 2017 18:23:19 +0000 (20:23 +0200)
commit1954c78ea7b6ddc732ac4dc9f02a0d0cbc104a64
tree06e2f8a12488ed8cdc78229f83961321e6bf779c
parente7a3c47cc793eaacff3b3bf0e996944f6963a7a8
Add "verific -vlog-libdir"
frontends/verific/verific.cc