Guys, Running "make check" in gnetlist fails. The reason is that some of the tests check vhdl and verilog back-end functionality. However, system-gafrc disables then by default. Ummmm, is there any good reason these back-ends are commented out in system-gafrc? If not, I'll enable then again so "make check" works. Stuart