openbsd/ports
1
0
Fork 0
mirror of https://github.com/openbsd/ports.git synced 2026-06-17 23:13:55 +02:00
Code Issues Packages Projects Releases Wiki Activity

update to abc-1.01.20210519, from maintainer

Browse Source
This commit is contained in:
sthen
2021-05-23 13:04:01 +00:00
parent 4d88005114
commit 10a4eaad69
3 changed files with 12 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files
cad/abc/Makefile
+6 -6
View File
@@ -1,22 +1,22 @@
# $OpenBSD: Makefile,v 1.5 2020/01/16 22:33:54 sthen Exp $
# $OpenBSD: Makefile,v 1.6 2021/05/23 13:04:01 sthen Exp $
COMMENT = system for sequential logic synthesis and verification
DISTNAME = abc-1.01.20200108
DISTNAME = abc-1.01.20210519
CATEGORIES = cad
GH_ACCOUNT = berkeley-abc
GH_PROJECT = abc
GH_COMMIT = 144c5be8246800d5bd36dc3e177364063e8d2e40
GH_COMMIT = d35b05859c44015661d36aaaa2926e0dd5f3e4dc
HOMEPAGE = https://people.eecs.berkeley.edu/~alanmi/abc
MAINTAINER = Alessandro De Laurenzis <just22@atlantide.mooo.com>
# MIT (abc, MiniSat, xSAT, glucose), BSD (bzlib, CUDD, satoko), zlib
PERMIT_PACKAGE = Yes
PERMIT_PACKAGE = Yes
WANTLIB += ${COMPILER_LIBCXX} c curses m readline
WANTLIB += ${COMPILER_LIBCXX} c curses m readline
COMPILER = base-clang ports-gcc base-gcc
COMPILER = base-clang ports-gcc base-gcc
MODULES = devel/cmake
cad/abc/distinfo
+2 -2
View File
@@ -1,2 +1,2 @@
SHA256 (abc-1.01.20200108-144c5be8.tar.gz) = 2QyTrZSL6mh0KunYoZuXbsX102cRCMEsNsdEPHu//Dc=
SIZE (abc-1.01.20200108-144c5be8.tar.gz) = 5739231
SHA256 (abc-1.01.20210519-d35b0585.tar.gz) = jWgIEYaaJsXzR6Pa9oRfL/Al7Ya262KPneR8FImcaew=
SIZE (abc-1.01.20210519-d35b0585.tar.gz) = 5906230
cad/abc/patches/patch-Makefile
+4 -4
View File
@@ -1,9 +1,9 @@
$OpenBSD: patch-Makefile,v 1.2 2020/01/16 22:32:48 sthen Exp $
$OpenBSD: patch-Makefile,v 1.3 2021/05/23 13:04:01 sthen Exp $
Index: Makefile
--- Makefile.orig
+++ Makefile
@@ -54,7 +54,7 @@ ARCHFLAGS := $(ARCHFLAGS)
@@ -56,7 +56,7 @@ ARCHFLAGS := $(ARCHFLAGS)
OPTFLAGS ?= -g -O
@@ -12,7 +12,7 @@ Index: Makefile
ifneq ($(findstring arm,$(shell uname -m)),)
CFLAGS += -DABC_MEMALIGN=4
endif
@@ -75,6 +75,9 @@ endif
@@ -77,6 +77,9 @@ endif
ABC_READLINE_INCLUDES ?=
ABC_READLINE_LIBRARIES ?= -lreadline
@@ -22,7 +22,7 @@ Index: Makefile
# whether to use libreadline
ifndef ABC_USE_NO_READLINE
@@ -135,12 +138,17 @@ endif
@@ -137,12 +140,17 @@ endif
# LIBS := -ldl -lrt
LIBS += -lm