diff options
Diffstat (limited to 'libraries/Makefile.inc')
| -rw-r--r-- | libraries/Makefile.inc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/libraries/Makefile.inc b/libraries/Makefile.inc index a7c51a2c7..5d48c4043 100644 --- a/libraries/Makefile.inc +++ b/libraries/Makefile.inc @@ -77,14 +77,15 @@ MENTOR93_BSRCS := $(MENTOR_BSRCS) .PREFIXES: .vhdl .v93 .v87 .v08 %.v93: %.vhdl - sed -e '/--V87/s/^/ --/' < $< > $@ + sed -e '/--V87/s/^/ --/' \ + -e '/--START-V08/,/--END-V08/s/^/--/' < $< > $@ %.v08: %.vhdl sed -e '/--V87/s/^/ --/' < $< > $@ %.v87: %.vhdl sed -e '/--V93/s/^/ --/' -e '/--START-V93/,/--END-V93/s/^/--/' \ - < $< > $@ + -e '/--START-V08/,/--END-V08/s/^/--/' < $< > $@ STD87_DIR:=$(LIB87_DIR)/std IEEE87_DIR:=$(LIB87_DIR)/ieee |