Fix compile error under git submodules, bug534.
This commit is contained in:
parent
3e03fef3e3
commit
d2ede75c71
2
Changes
2
Changes
|
|
@ -45,6 +45,8 @@ indicates the contributor was also the author of the fix; Thanks!
|
||||||
|
|
||||||
**** Fix svdpi.h compile error on Apple OS.
|
**** Fix svdpi.h compile error on Apple OS.
|
||||||
|
|
||||||
|
**** Fix compile error under git submodules, bug534. [Aurelien Francillon]
|
||||||
|
|
||||||
|
|
||||||
* Verilator 3.833 2012/04/15
|
* Verilator 3.833 2012/04/15
|
||||||
|
|
||||||
|
|
|
||||||
|
|
@ -65,12 +65,14 @@ dbg: ../verilator_bin_dbg
|
||||||
cd obj_dbg && $(MAKE) TGT=../$@ VL_DEBUG=1 -f ../Makefile_obj
|
cd obj_dbg && $(MAKE) TGT=../$@ VL_DEBUG=1 -f ../Makefile_obj
|
||||||
|
|
||||||
prefiles::
|
prefiles::
|
||||||
|
|
||||||
ifneq ($(UNDER_GIT),) # If local git tree... Else don't burden users
|
|
||||||
prefiles:: config_rev.h
|
prefiles:: config_rev.h
|
||||||
|
ifneq ($(UNDER_GIT),) # If local git tree... Else don't burden users
|
||||||
# This output goes into srcdir if locally configured, as we need to distribute it as part of the kit.
|
# This output goes into srcdir if locally configured, as we need to distribute it as part of the kit.
|
||||||
config_rev.h: ${srcdir}/config_rev.pl ${srcdir}/../.git/logs/HEAD
|
config_rev.h: ${srcdir}/config_rev.pl ${srcdir}/../.git/logs/HEAD
|
||||||
$(PERL) ${srcdir}/config_rev.pl ${srcdir} >$@
|
$(PERL) ${srcdir}/config_rev.pl ${srcdir} >$@
|
||||||
|
else
|
||||||
|
config_rev.h: ${srcdir}/config_rev.pl
|
||||||
|
$(PERL) ${srcdir}/config_rev.pl ${srcdir} >$@
|
||||||
endif
|
endif
|
||||||
|
|
||||||
maintainer-copy::
|
maintainer-copy::
|
||||||
|
|
|
||||||
|
|
@ -33,4 +33,4 @@ if ($data =~ /Changed but not updated/i
|
||||||
print "static const char* DTVERSION_rev = \"$rev\";\n";
|
print "static const char* DTVERSION_rev = \"$rev\";\n";
|
||||||
|
|
||||||
# Die after the print, so at least the header has good contents
|
# Die after the print, so at least the header has good contents
|
||||||
$rev =~ /UNKNOWN/ and die "%Error: No git revision found,";
|
$rev =~ /UNKNOWN/ and warn "%Warning: No git revision found,";
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue