diff options
| -rw-r--r-- | cad/verilator/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/cad/verilator/Makefile b/cad/verilator/Makefile index 29eb225a71b0..bed4ffa8eda1 100644 --- a/cad/verilator/Makefile +++ b/cad/verilator/Makefile @@ -1,6 +1,7 @@ PORTNAME= verilator DISTVERSIONPREFIX= v DISTVERSION= 5.010 +PORTREVISION= 1 CATEGORIES= cad MAINTAINER= yuri@FreeBSD.org @@ -61,6 +62,9 @@ pre-configure: post-build: @${STRIP_CMD} ${WRKSRC}/bin/verilator_bin +post-install: # workaround for https://github.com/verilator/verilator/issues/4213: share/verilator/include/verilated.mk contains non-existent AR=/usr/local/bin/ar + @${REINPLACE_CMD} -i '' -e 's|^AR = .*|AR = /usr/bin/ar|' ${STAGEDIR}${PREFIX}/share/verilator/include/verilated.mk + post-install-INSTALL_DBG_EXECUTABLES-off: @${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/verilator_bin @${RM} ${STAGEDIR}${PREFIX}/bin/verilator_bin_dbg ${STAGEDIR}${PREFIX}/bin/verilator_coverage_bin_dbg |