svn commit: r490609 - in head/cad: . verilator

Steve Wills swills at FreeBSD.org
Thu Jan 17 23:27:13 UTC 2019


Author: swills
Date: Thu Jan 17 23:27:11 2019
New Revision: 490609
URL: https://svnweb.freebsd.org/changeset/ports/490609

Log:
  cad/verilator: create port
  
  Verilator is the fastest free Verilog HDL simulator, and beats most commercial
  simulators. It compiles synthesizable Verilog (not test-bench code!), plus some
  PSL, SystemVerilog and Synthesis assertions into C++ or SystemC code. It is
  designed for large projects where fast simulation performance is of primary
  concern, and is especially well suited to generate executable models of CPUs
  for embedded software design teams.
  
  WWW: https://www.veripool.org/projects/verilator/wiki/Intro
  
  PR:		230761
  Submitted by:	Kevin Zheng <kevinz5000 at gmail.com>

Added:
  head/cad/verilator/
  head/cad/verilator/Makefile   (contents, props changed)
  head/cad/verilator/distinfo   (contents, props changed)
  head/cad/verilator/pkg-descr   (contents, props changed)
  head/cad/verilator/pkg-plist   (contents, props changed)
Modified:
  head/cad/Makefile   (contents, props changed)

Modified: head/cad/Makefile
==============================================================================
--- head/cad/Makefile	Thu Jan 17 23:24:49 2019	(r490608)
+++ head/cad/Makefile	Thu Jan 17 23:27:11 2019	(r490609)
@@ -101,6 +101,7 @@
     SUBDIR += tochnog
     SUBDIR += transcalc
     SUBDIR += varkon
+    SUBDIR += verilator
     SUBDIR += verilog-mode.el
     SUBDIR += xcircuit
     SUBDIR += xtrkcad

Added: head/cad/verilator/Makefile
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/cad/verilator/Makefile	Thu Jan 17 23:27:11 2019	(r490609)
@@ -0,0 +1,31 @@
+# $FreeBSD$
+
+PORTNAME=	verilator
+PORTVERSION=	3.924
+CATEGORIES=	cad
+MASTER_SITES=	https://www.veripool.org/ftp/
+
+MAINTAINER=	kevinz5000 at gmail.com
+COMMENT=	Synthesizable Verilog to C++ compiler
+
+LICENSE=	GPLv3
+LICENSE_FILE=	${WRKSRC}/COPYING
+
+BUILD_DEPENDS=	flex:textproc/flex
+
+USES=		bison gmake pathfix perl5 tar:tgz
+
+GNU_CONFIGURE=	yes
+CONFIGURE_ENV=	INSTALL_PROGRAM="${INSTALL_SCRIPT}"
+
+post-patch:
+	${REINPLACE_CMD} -e 's|@pkgconfigdir@|${PREFIX}/libdata/pkgconfig|' \
+	    ${WRKSRC}/Makefile.in
+
+post-build:
+	@${STRIP_CMD} ${WRKSRC}/bin/verilator_bin
+
+post-install:
+	${RM} ${STAGEDIR}${PREFIX}/bin/verilator_bin_dbg ${STAGEDIR}${PREFIX}/bin/verilator_coverage_bin_dbg
+
+.include <bsd.port.mk>

Added: head/cad/verilator/distinfo
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/cad/verilator/distinfo	Thu Jan 17 23:27:11 2019	(r490609)
@@ -0,0 +1,3 @@
+TIMESTAMP = 1534354040
+SHA256 (verilator-3.924.tgz) = 7dcb19711b8630ada59f0d3d7409faa9649e37bf4c53a0bbfcad32afb28b5975
+SIZE (verilator-3.924.tgz) = 2163952

Added: head/cad/verilator/pkg-descr
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/cad/verilator/pkg-descr	Thu Jan 17 23:27:11 2019	(r490609)
@@ -0,0 +1,8 @@
+Verilator is the fastest free Verilog HDL simulator, and beats most commercial
+simulators. It compiles synthesizable Verilog (not test-bench code!), plus some
+PSL, SystemVerilog and Synthesis assertions into C++ or SystemC code. It is
+designed for large projects where fast simulation performance is of primary
+concern, and is especially well suited to generate executable models of CPUs
+for embedded software design teams.
+
+WWW: https://www.veripool.org/projects/verilator/wiki/Intro

Added: head/cad/verilator/pkg-plist
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/cad/verilator/pkg-plist	Thu Jan 17 23:27:11 2019	(r490609)
@@ -0,0 +1,54 @@
+bin/verilator
+bin/verilator_bin
+bin/verilator_coverage
+bin/verilator_profcfunc
+libdata/pkgconfig/verilator.pc
+man/man1/verilator.1.gz
+man/man1/verilator_coverage.1.gz
+man/man1/verilator_profcfunc.1.gz
+%%DATADIR%%/bin/verilator_includer
+%%DATADIR%%/examples/hello_world_c/Makefile
+%%DATADIR%%/examples/hello_world_c/sim_main.cpp
+%%DATADIR%%/examples/hello_world_c/top.v
+%%DATADIR%%/examples/hello_world_sc/Makefile
+%%DATADIR%%/examples/hello_world_sc/sc_main.cpp
+%%DATADIR%%/examples/hello_world_sc/top.v
+%%DATADIR%%/examples/tracing_c/Makefile
+%%DATADIR%%/examples/tracing_c/Makefile_obj
+%%DATADIR%%/examples/tracing_c/input.vc
+%%DATADIR%%/examples/tracing_c/sim_main.cpp
+%%DATADIR%%/examples/tracing_c/sub.v
+%%DATADIR%%/examples/tracing_c/top.v
+%%DATADIR%%/examples/tracing_sc/Makefile
+%%DATADIR%%/examples/tracing_sc/Makefile_obj
+%%DATADIR%%/examples/tracing_sc/input.vc
+%%DATADIR%%/examples/tracing_sc/sc_main.cpp
+%%DATADIR%%/examples/tracing_sc/sub.v
+%%DATADIR%%/examples/tracing_sc/top.v
+%%DATADIR%%/include/verilated.cpp
+%%DATADIR%%/include/verilated.h
+%%DATADIR%%/include/verilated.mk
+%%DATADIR%%/include/verilated.v
+%%DATADIR%%/include/verilated_config.h
+%%DATADIR%%/include/verilated_config.h.in
+%%DATADIR%%/include/verilated_cov.cpp
+%%DATADIR%%/include/verilated_cov.h
+%%DATADIR%%/include/verilated_cov_key.h
+%%DATADIR%%/include/verilated_dpi.cpp
+%%DATADIR%%/include/verilated_dpi.h
+%%DATADIR%%/include/verilated_heavy.h
+%%DATADIR%%/include/verilated_imp.h
+%%DATADIR%%/include/verilated_save.cpp
+%%DATADIR%%/include/verilated_save.h
+%%DATADIR%%/include/verilated_sc.h
+%%DATADIR%%/include/verilated_sym_props.h
+%%DATADIR%%/include/verilated_syms.h
+%%DATADIR%%/include/verilated_vcd_c.cpp
+%%DATADIR%%/include/verilated_vcd_c.h
+%%DATADIR%%/include/verilated_vcd_sc.cpp
+%%DATADIR%%/include/verilated_vcd_sc.h
+%%DATADIR%%/include/verilated_vpi.cpp
+%%DATADIR%%/include/verilated_vpi.h
+%%DATADIR%%/include/verilatedos.h
+%%DATADIR%%/include/vltstd/svdpi.h
+%%DATADIR%%/include/vltstd/vpi_user.h


More information about the svn-ports-head mailing list