Original Redmine Comment
Author Name: Jie Xu (@jiexu)
Original Date: 2015-08-07T06:45:11Z

The errors are caused by GCC when it try to compile and link the file. The root cause is in include/verilated.mk where it tries to add the "CPPFLAGS += -I$(SYSTEMPERL_INCLUDE)".

When $(SYSTEMPERL_INCLUDE) is not defined, then it generates the compiling option with "... -I -c -o Vt_assert_cover__ALLcls.o Vt_assert_cover__ALLcls.cpp".

Then GCC will take the "@-c@" as including path and try to compile and link the file, that is why you got lots of linking errors.

Some cleanup needed to fully solve this. But in the meantime it is easy for you to work around. It would be highly appreciated if you could try to submit a patch for cleanup the COVERAGE related makefile issues.

Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2015-08-12T23:11:10Z

Makefile issue fixed in git towards 3.875.

Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2015-08-13T01:44:58Z

In 3.876.