abc: initial revision

[mayuresh <mayuresh%acm.org@localhost>]

Module Name:	pkgsrc-wip
Committed By:	mayuresh <mayuresh%acm.org@localhost>
Pushed By:	mayuresh
Date:		Fri Sep 13 14:48:24 2024 +0530
Changeset:	07828d98df2e268fb5b0110785909e6a8202f886

Added Files:
	abc/DESCR
	abc/Makefile
	abc/PLIST
	abc/distinfo
	abc/patches/patch-Makefile

Log Message:
abc: initial revision

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

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

diffstat:
 abc/DESCR                  |  1 +
 abc/Makefile               | 27 +++++++++++++++++++++++++++
 abc/PLIST                  |  2 ++
 abc/distinfo               |  6 ++++++
 abc/patches/patch-Makefile | 16 ++++++++++++++++
 5 files changed, 52 insertions(+)

diffs:
diff --git a/abc/DESCR b/abc/DESCR
new file mode 100644
index 0000000000..a9c0e66c6b
--- /dev/null
+++ b/abc/DESCR
@@ -0,0 +1 @@
+ABC is a system for Sequential Logic Synthesis and Formal Verification
diff --git a/abc/Makefile b/abc/Makefile
new file mode 100644
index 0000000000..a6686b26d7
--- /dev/null
+++ b/abc/Makefile
@@ -0,0 +1,27 @@
+# $NetBSD$
+
+GITHUB_PROJECT=	abc
+GITHUB_TAG=	ef5389d31526003c2ebd7e6d6d6fe3848a20f0a2
+DISTNAME=	ef5389d31526003c2ebd7e6d6d6fe3848a20f0a2
+PKGNAME=	${GITHUB_PROJECT}-${DISTNAME}
+CATEGORIES=	cad
+MASTER_SITES=	${MASTER_SITE_GITHUB:=The-OpenRoad-Project/}
+DIST_SUBDIR=	${GITHUB_PROJECT}
+
+MAINTAINER=	pkgsrc-users%NetBSD.org@localhost
+HOMEPAGE=	https://github.com/The-OpenRoad-Project/abc/
+COMMENT=	System for Sequential Logic Synthesis and Formal Verification
+#LICENSE=	https://github.com/The-OpenROAD-Project/abc?tab=License-1-ov-file
+
+WRKSRC=		${WRKDIR}/abc-ef5389d31526003c2ebd7e6d6d6fe3848a20f0a2
+USE_LANGUAGES=	c c++
+USE_TOOLS+=	gmake
+
+INSTALLATION_DIRS+=	bin
+
+do-install:
+	cd ${WRKSRC}/cmake-pkgsrc-build && ${GMAKE} all && ${INSTALL} abc ${DESTDIR}${PREFIX}/bin
+
+.include "../../mk/readline.buildlink3.mk"
+.include "../../devel/cmake/build.mk"
+.include "../../mk/bsd.pkg.mk"
diff --git a/abc/PLIST b/abc/PLIST
new file mode 100644
index 0000000000..3e3d3eeeb9
--- /dev/null
+++ b/abc/PLIST
@@ -0,0 +1,2 @@
+@comment $NetBSD$
+bin/abc
diff --git a/abc/distinfo b/abc/distinfo
new file mode 100644
index 0000000000..8432eadfb7
--- /dev/null
+++ b/abc/distinfo
@@ -0,0 +1,6 @@
+$NetBSD$
+
+BLAKE2s (abc/ef5389d31526003c2ebd7e6d6d6fe3848a20f0a2-ef5389d31526003c2ebd7e6d6d6fe3848a20f0a2.tar.gz) = 43310fc362499837c45f47dac76be48c64c7679dc548a404b9d96336c6feb968
+SHA512 (abc/ef5389d31526003c2ebd7e6d6d6fe3848a20f0a2-ef5389d31526003c2ebd7e6d6d6fe3848a20f0a2.tar.gz) = ce4129ab1bb965cd0d48491b5cf9ad9f47e1dffa6fcccab4e3d7d8ce76f5fe924d3cc432a0ce50f3fe36f0a2d6e777c555449ae6ba64bae179bcb7e1d4c6b589
+Size (abc/ef5389d31526003c2ebd7e6d6d6fe3848a20f0a2-ef5389d31526003c2ebd7e6d6d6fe3848a20f0a2.tar.gz) = 6207247 bytes
+SHA1 (patch-Makefile) = f0d217f130da3b819147152e3ddadc0033e72a8a
diff --git a/abc/patches/patch-Makefile b/abc/patches/patch-Makefile
new file mode 100644
index 0000000000..ba459b1a3b
--- /dev/null
+++ b/abc/patches/patch-Makefile
@@ -0,0 +1,16 @@
+$NetBSD$
+
+Exclude -ldl for NetBSD
+https://github.com/berkeley-abc/abc/issues/332
+
+--- Makefile.orig	2024-05-04 04:10:46.000000000 +0000
++++ Makefile
+@@ -138,7 +138,7 @@ endif
+ 
+ # LIBS := -ldl -lrt
+ LIBS += -lm
+-ifneq ($(OS), FreeBSD)
++ifeq ($(filter $(OS), FreeBSD NetBSD),)
+   LIBS += -ldl
+ endif
+