Verific build fixes
authorClifford Wolf <clifford@clifford.at>
Sun, 17 May 2015 06:19:52 +0000 (08:19 +0200)
committerClifford Wolf <clifford@clifford.at>
Sun, 17 May 2015 06:19:52 +0000 (08:19 +0200)
commit61512b6f4115fce5326b78914b675be278c6845f
tree57c8933bbe35e8bf18065f9382c033bf9731e154
parentc2f30e0de41d93ef7e6468ba7041c51c971c6a0c
Verific build fixes
frontends/verific/build_amd64.txt
frontends/verific/verific.cc
kernel/log.cc
techlibs/ice40/Makefile.inc
techlibs/xilinx/Makefile.inc