Dear ports@ readers,
The attached diff updates cad/abc to a very recent commit (still no
releases/tags from upstream).
What's new upstream
===================
Plenty of new features and bug fixing, including:
- Improvements to the retiming algorithm;
- New command 'symfun' to generate truth table of a symmetric function;
- Support for user-specified wire delays in &if;
- Handling of objects without fanout in %retime;
- New switch -o to 'map' and '&put' to control gate duplication.
What's new in the port
======================
- Updated maintainer email address;
- Updated license string (abc uses an internal copy of "glucose",
released under the MIT license);
- OpenBSD doesn't support RLIMIT_AS, RLIMIT_DATA being the closest
match, see e.g. (1); a new patch is needed for this;
- There is a bunch of "-Wunused-variable" warning messages during build;
I would prefer to reduce the noise and, even if this isn't a best
practice, I switched them off patching the upstream Makefile (we
cannot add the -Wno-unused-variable option through a line in port's
Makefile like the following:
CONFIGURE_ARGS = -DCMAKE_C_FLAGS="${CFLAGS} -Wno-unused-variable"
since it would be overridden by the -Wall explicitly set into the
CFLAGS variable.
It compiles correctly on amd64 and runs ok for a limited set of
test-cases.
(1): https://github.com/OSGeo/gdal/issues/1163
--
Alessandro De Laurenzis
[mailto:jus...@atlantide.mooo.com]
Web: http://www.atlantide.mooo.com
LinkedIn: http://it.linkedin.com/in/delaurenzis
Index: Makefile
===================================================================
RCS file: /cvs/ports/cad/abc/Makefile,v
retrieving revision 1.3
diff -u -p -u -p -r1.3 Makefile
--- Makefile 12 Jul 2019 20:43:44 -0000 1.3
+++ Makefile 10 Jan 2020 18:46:46 -0000
@@ -1,18 +1,17 @@
# $OpenBSD: Makefile,v 1.3 2019/07/12 20:43:44 sthen Exp $
COMMENT = system for sequential logic synthesis and verification
-DISTNAME = abc-1.01.20180722
+DISTNAME = abc-1.01.20200108
CATEGORIES = cad
-REVISION = 0
GH_ACCOUNT = berkeley-abc
GH_PROJECT = abc
-GH_COMMIT = ae6716b064c842f45109a88e84dca71fe4cc311f
+GH_COMMIT = 144c5be8246800d5bd36dc3e177364063e8d2e40
HOMEPAGE = https://people.eecs.berkeley.edu/~alanmi/abc
-MAINTAINER = Alessandro De Laurenzis <jus...@atlantide.t28.net>
+MAINTAINER = Alessandro De Laurenzis <jus...@atlantide.mooo.com>
-# MIT (abc, MiniSat, xSAT), BSD (bzlib, CUDD, satoko), zlib
+# MIT (abc, MiniSat, xSAT, glucose), BSD (bzlib, CUDD, satoko), zlib
PERMIT_PACKAGE = Yes
WANTLIB += ${COMPILER_LIBCXX} c curses m readline
Index: distinfo
===================================================================
RCS file: /cvs/ports/cad/abc/distinfo,v
retrieving revision 1.1.1.1
diff -u -p -u -p -r1.1.1.1 distinfo
--- distinfo 8 Aug 2018 15:24:47 -0000 1.1.1.1
+++ distinfo 10 Jan 2020 18:46:46 -0000
@@ -1,2 +1,2 @@
-SHA256 (abc-1.01.20180722-ae6716b0.tar.gz) =
Zc9f2Vfbwzn49O61ozQySYos60qulZemoXThSewWHI4=
-SIZE (abc-1.01.20180722-ae6716b0.tar.gz) = 5653452
+SHA256 (abc-1.01.20200108-144c5be8.tar.gz) =
2QyTrZSL6mh0KunYoZuXbsX102cRCMEsNsdEPHu//Dc=
+SIZE (abc-1.01.20200108-144c5be8.tar.gz) = 5739231
Index: patches/patch-Makefile
===================================================================
RCS file: /cvs/ports/cad/abc/patches/patch-Makefile,v
retrieving revision 1.1.1.1
diff -u -p -u -p -r1.1.1.1 patch-Makefile
--- patches/patch-Makefile 8 Aug 2018 15:24:47 -0000 1.1.1.1
+++ patches/patch-Makefile 10 Jan 2020 18:46:46 -0000
@@ -3,6 +3,15 @@ $OpenBSD: patch-Makefile,v 1.1.1.1 2018/
Index: Makefile
--- Makefile.orig
+++ Makefile
+@@ -54,7 +54,7 @@ ARCHFLAGS := $(ARCHFLAGS)
+
+ OPTFLAGS ?= -g -O
+
+-CFLAGS += -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare
$(ARCHFLAGS)
++CFLAGS += -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare
-Wno-unused-variable $(ARCHFLAGS)
+ ifneq ($(findstring arm,$(shell uname -m)),)
+ CFLAGS += -DABC_MEMALIGN=4
+ endif
@@ -75,6 +75,9 @@ endif
ABC_READLINE_INCLUDES ?=
Index: patches/patch-src_base_main_mainReal_c
===================================================================
RCS file: patches/patch-src_base_main_mainReal_c
diff -N patches/patch-src_base_main_mainReal_c
--- /dev/null 1 Jan 1970 00:00:00 -0000
+++ patches/patch-src_base_main_mainReal_c 10 Jan 2020 18:46:46 -0000
@@ -0,0 +1,22 @@
+$OpenBSD$
+
+Index: src/base/main/mainReal.c
+--- src/base/main/mainReal.c.orig
++++ src/base/main/mainReal.c
+@@ -139,7 +139,16 @@ int Abc_RealMain( int argc, char * argv[] )
+ maxMb * (1llu << 20), /* soft limit */
+ maxMb * (1llu << 20) /* hard limit */
+ };
++#ifndef __OpenBSD__
+ setrlimit(RLIMIT_AS, &limit);
++#else
++ /*
++ * OpenBSD doesn't support RLIMIT_AS:
++ * choosing RLIMIT_DATA as the closest match
++ * (see e.g.: https://github.com/OSGeo/gdal/issues/1163)
++ */
++ setrlimit(RLIMIT_DATA, &limit);
++#endif
+ #endif
+ break;
+ }
