open-src-cvs: Verilog simulator with SDF support, initial commit

To: pkgsrc-wip-changes%NetBSD.org@localhost
Subject: open-src-cvs: Verilog simulator with SDF support, initial commit
From: Mayuresh (via pkgsrc-wip) <commit-notify%pkgsrc.org@localhost>
Date: Wed, 28 Jan 2026 15:33:15 +0000
Module Name:	pkgsrc-wip
Committed By:	Mayuresh <mayuresh%warunjikar.in@localhost>
Pushed By:	mayuresh
Date:		Wed Jan 28 20:40:35 2026 +0530
Changeset:	912df47103475af5f44060a9e96a6d25345a1b7f

Added Files:
	open-src-cvc/COMMIT_MSG
	open-src-cvc/DESCR
	open-src-cvc/Makefile
	open-src-cvc/PLIST
	open-src-cvc/distinfo
	open-src-cvc/patches/patch-config.h
	open-src-cvc/patches/patch-v__asmlnk.c

Log Message:
open-src-cvs: Verilog simulator with SDF support, initial commit

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=912df47103475af5f44060a9e96a6d25345a1b7f

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

diffstat:
 open-src-cvc/COMMIT_MSG                | 30 ++++++++++++++++++++++++++++++
 open-src-cvc/DESCR                     |  8 ++++++++
 open-src-cvc/Makefile                  | 31 +++++++++++++++++++++++++++++++
 open-src-cvc/PLIST                     |  2 ++
 open-src-cvc/distinfo                  |  7 +++++++
 open-src-cvc/patches/patch-config.h    | 18 ++++++++++++++++++
 open-src-cvc/patches/patch-v__asmlnk.c | 18 ++++++++++++++++++
 7 files changed, 114 insertions(+)

diffs:
diff --git a/open-src-cvc/COMMIT_MSG b/open-src-cvc/COMMIT_MSG
new file mode 100644
index 0000000000..b2eb90d781
--- /dev/null
+++ b/open-src-cvc/COMMIT_MSG
@@ -0,0 +1,30 @@
+WARN: ../../doc/TODO:473: Invalid package name "beancount".
+ERROR: Makefile: Each package must define its LICENSE.
+
+	To take a good guess on the license of a package, run "make
+	guess-license".
+
+ERROR: patches/patch-config.h:3: Each patch must be documented.
+
+	Pkgsrc tries to have as few patches as possible. Therefore, each
+	patch must document why it is necessary. Typical reasons are
+	portability or security. A typical documented patch looks like this:
+
+		$NetBSD$
+
+		Portability fixes for GCC 4.8 on Linux.
+		See https://github.com/org/repo/issues/7
+
+		--- old/file
+		+++ new/file
+
+	Patches that are related to a security issue should mention the
+	corresponding CVE identifier.
+
+	Each patch should be sent to the upstream maintainers of the
+	package, so that they can include it in future versions. After
+	submitting a patch upstream, the corresponding bug report should be
+	mentioned in this file, to prevent duplicate work.
+
+ERROR: patches/patch-v__asmlnk.c:3: Each patch must be documented.
+3 errors and 1 warning found.
diff --git a/open-src-cvc/DESCR b/open-src-cvc/DESCR
new file mode 100644
index 0000000000..7133ce11e1
--- /dev/null
+++ b/open-src-cvc/DESCR
@@ -0,0 +1,8 @@
+Description from OpenLane Documentation
+
+Unfortunately, popular open-source Verilog simulators don't have support for
+SDF (Verilator) or have limited support that is not entirely useful (iverilog).
+However, there is a less popular free-of-charge Verilog simulator called CVC by
+Tachyon DA that has decent support for timing simulation using SDF files. CVC
+is a proprietary shared source simulator, but its license allows using it
+freely for non-commercial designs.
diff --git a/open-src-cvc/Makefile b/open-src-cvc/Makefile
new file mode 100644
index 0000000000..7973e0dbae
--- /dev/null
+++ b/open-src-cvc/Makefile
@@ -0,0 +1,31 @@
+# $NetBSD$
+
+DISTNAME=	${GITHUB_TAG}
+PKGNAME=	${GITHUB_PROJECT}-700c-1.12
+CATEGORIES=	cad
+MASTER_SITES=	${MASTER_SITE_GITHUB:=cambridgehackers/}
+GITHUB_PROJECT=	open-src-cvc
+GITHUB_TAG=	b3e7fded6d4d79491886de40aec3a780efdd9d4e
+DIST_SUBDIR=	${GITHUB_PROJECT}
+
+MAINTAINER=	pkgsrc-users%NetBSD.org@localhost
+HOMEPAGE=	https://github.com/cambridgehackers/open-src-cvc/
+COMMENT=	Mirror of tachyon-da cvc Verilog simulator
+#LICENSE=	#OSS CVC dual licensing modified Artistic Open Source Software License
+
+WRKSRC=		${WRKDIR}/open-src-cvc-${GITHUB_TAG}/src
+USE_LANGUAGES=	c
+USE_TOOLS+=	gmake
+
+MKPIE_SUPPORTED=	no
+INSTALLATION_DIRS=	bin
+
+do-build:
+	cd ${WRKSRC} && ${MAKE_PROGRAM} -f makefile.cvc64
+
+do-install:
+	${INSTALL_PROGRAM} ${WRKSRC}/cvc64 ${DESTDIR}${PREFIX}/bin/cvc64
+
+.include "../../mk/dlopen.buildlink3.mk"
+BUILDLINK_TRANSFORM+=   opt:-ldl:${BUILDLINK_LDADD.dl:Q}
+.include "../../mk/bsd.pkg.mk"
diff --git a/open-src-cvc/PLIST b/open-src-cvc/PLIST
new file mode 100644
index 0000000000..d264f8e630
--- /dev/null
+++ b/open-src-cvc/PLIST
@@ -0,0 +1,2 @@
+@comment $NetBSD$
+bin/cvc64
diff --git a/open-src-cvc/distinfo b/open-src-cvc/distinfo
new file mode 100644
index 0000000000..7d49b96044
--- /dev/null
+++ b/open-src-cvc/distinfo
@@ -0,0 +1,7 @@
+$NetBSD$
+
+BLAKE2s (open-src-cvc/b3e7fded6d4d79491886de40aec3a780efdd9d4e-b3e7fded6d4d79491886de40aec3a780efdd9d4e.tar.gz) = 0adb214b75a05953810d175e92df16052ed876a102756b623ca0b12a0eb839a1
+SHA512 (open-src-cvc/b3e7fded6d4d79491886de40aec3a780efdd9d4e-b3e7fded6d4d79491886de40aec3a780efdd9d4e.tar.gz) = c099a96ebbdbf2e3a4ed99ec5f808c787403736ef915b8a91d128739475a27cceec9122d2bac749d9287a3ff532480424fe99c79ed22174c0a67afb517bcfc02
+Size (open-src-cvc/b3e7fded6d4d79491886de40aec3a780efdd9d4e-b3e7fded6d4d79491886de40aec3a780efdd9d4e.tar.gz) = 5404140 bytes
+SHA1 (patch-config.h) = 889582aa4ba3cd3cf055f3b93eacf3db1c65cc4c
+SHA1 (patch-v__asmlnk.c) = 023bbcb85e6f105f4b93d9dc078d27925418f62b
diff --git a/open-src-cvc/patches/patch-config.h b/open-src-cvc/patches/patch-config.h
new file mode 100644
index 0000000000..e557fc7e9d
--- /dev/null
+++ b/open-src-cvc/patches/patch-config.h
@@ -0,0 +1,18 @@
+$NetBSD$
+
+HAVE_ALLOCA_H assumption restricted to Linux
+
+--- config.h.orig	2023-07-16 21:42:51.000000000 +0000
++++ config.h
+@@ -14,7 +14,11 @@
+ 
+ /* Define to 1 if you have <alloca.h> and it should be used (not on Ultrix).
+    */
++#if defined(__linux)
+ #define HAVE_ALLOCA_H 1
++#else
++#undef HAVE_ALLOCA_H
++#endif
+ 
+ /* Define to 1 if you have the `atexit' function. */
+ #define HAVE_ATEXIT 1
diff --git a/open-src-cvc/patches/patch-v__asmlnk.c b/open-src-cvc/patches/patch-v__asmlnk.c
new file mode 100644
index 0000000000..b9680ca67f
--- /dev/null
+++ b/open-src-cvc/patches/patch-v__asmlnk.c
@@ -0,0 +1,18 @@
+$NetBSD$
+
+linux/sched.h inclusion logic restricted to Linux
+
+--- v_asmlnk.c.orig	2023-07-16 21:42:51.000000000 +0000
++++ v_asmlnk.c
+@@ -186,7 +186,11 @@ OF SUCH DAMAGE.
+ #include <sched.h>
+ // SJM 05-30-13 - valut 4x does not support this include
+ #ifndef __RHEL4X__
++#if defined(__linux)
+ #include <linux/sched.h>
++#else
++#include <signal.h>
++#endif
+ #endif
+ 
+ /* AIV 03/28/12 - this is needed for some systems for clone call */
Prev by Date: recordbox: start package
Next by Date: open-src-cvc: patches for Linux added
Previous by Thread: recordbox: start package
Next by Thread: open-src-cvc: patches for Linux added
Indexes:
Home | Main Index | Thread Index | Old Index