FreshPorts -- cad/abc: System for sequential synthesis and verification

abc System for sequential synthesis and verification

g20260801,1 cad on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout g20260618,1Version of this port present on the latest quarterly branch.

Maintainer: alven@FreeBSD.org search for ports maintained by this maintainer

Port Added: 2018年04月24日 07:53:44

Last Update: 2026年08月15日 12:53:59

Commit Hash: 49c3564

License: MIT

WWW:

https://people.eecs.berkeley.edu/~alanmi/abc/

https://github.com/berkeley-abc/abc/

Description:

ABC is a growing software system for synthesis and verification of binary sequential logic circuits appearing in synchronous hardware designs. ABC combines scalable logic optimization based on And-Inverter Graphs (AIGs), optimal-delay DAG-based technology mapping for look-up tables and standard cells, and innovative algorithms for sequential synthesis and verification. ABC provides an experimental implementation of these algorithms and a programming environment for building similar applications. Future development will focus on improving the algorithms and making most of the packages stand-alone. This will allow the user to customize ABC for their needs as if it were a tool-box rather than a complete tool.

Homepage Homepage cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb

Manual pages:

FreshPorts has no man page information for this port.

pkg-plist: as obtained via: make generate-plist

Expand this list (6 items)

Collapse this list.

1. bin/abc
2. lib/libabc.so
3. @ldconfig
4. /usr/local/share/licenses/abc-g20260801,1/catalog.mk
5. /usr/local/share/licenses/abc-g20260801,1/LICENSE
6. /usr/local/share/licenses/abc-g20260801,1/MIT

Collapse this list.

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

• abc>0:cad/abc

To install the port:

cd /usr/ports/cad/abc/ && make install clean

To add the package, run one of these commands:

• pkg install cad/abc
• pkg install abc

NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.

PKGNAME: abc

Flavors: there is no flavor information for this port.

NOT_FOR_ARCHS: armv7 i386

distinfo:

TIMESTAMP = 1786798062 SHA256 (berkeley-abc-abc-g20260801-8e224cd7_GH0.tar.gz) = 842b3658126f484f32d9a6d91fec331137e9784bad03f4bf4926178d3b89717a SIZE (berkeley-abc-abc-g20260801-8e224cd7_GH0.tar.gz) = 7697812

---

Packages (timestamps in pop-ups are UTC):

abc

ABI	aarch64	amd64	armv6	armv7	i386	powerpc	powerpc64	powerpc64le
FreeBSD:13:latest	g20260328,1	g20260328,1	g20200322	g20241117	-	n/a	n/a	n/a
FreeBSD:13:quarterly	g20260328,1	g20260328,1	g20220920	g20241117	-	n/a	n/a	n/a
FreeBSD:14:latest	g20260801,1	g20260801,1	g20220920	g20241117	-	g20220920	-	g20220920
FreeBSD:14:quarterly	g20260701,1	g20260701,1	-	g20241117	-	g20220920	g20220920	g20220920
FreeBSD:15:latest	g20260801,1	g20260801,1	n/a	g20241117	n/a	n/a	g20220920	g20220920
FreeBSD:15:quarterly	g20260701,1	g20260701,1	n/a	-	n/a	n/a	-	-
FreeBSD:16:latest	g20260801,1	g20260801,1	n/a	-	n/a	n/a	-	-

Dependencies

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:

1. gmake : devel/gmake
2. cmake : devel/cmake-core
3. ninja : devel/ninja

Library dependencies:

1. libreadline.so.8 : devel/readline

This port is required by:

for Build

1. cad/qflow
2. cad/yosys

Deleted ports which required this port:

Expand this list of 3 deleted ports

1. devel/lattice-ice40-examples-hx1k ^*
2. devel/lattice-ice40-examples-hx8k ^*
3. devel/yosys ^*
4. Collapse this list of deleted ports.

for Run

1. cad/qflow

Deleted ports which required this port:

Expand this list of 1 deleted port

1. devel/lattice-ice40-tools ^*
2. Collapse this list of deleted ports.

* - deleted ports are only shown under the This port is required by section. It was harder to do for the Required section. Perhaps later...

---

Configuration Options:

===> The following configuration options are available for abc-g20260801,1: READLINE=on: Command line editing via libreadline THREADS=on: Threading support ===> Use 'make config' to modify these settings

Options name:

cad_abc

USES:

cmake readline

FreshPorts was unable to extract/find any pkg message

Master Sites:

Expand this list (1 items)

Collapse this list.

1. https://codeload.github.com/berkeley-abc/abc/tar.gz/8e224cd7?dummy=/

Collapse this list.

cad/abc: Update g20260701 => g20260801
Approved by:	 	db@, yuri@ (Mentors, implicit)

cad/abc: Update g20260618 => g20260701
Approved by:	 	db@, yuri@ (Mentors, implicit)

cad/abc: Update g20260605 => g20260618
Approved by:	 	db@, yuri@ (Mentors, implicit)

cad/abc: Update g20260516 => 20260605
Approved by:	 	db@, yuri@ (Mentors, implicit)

cad/abc: Update g20260505 => g20260516
Approved by:	 	db@, yuri@ (Mentors, implicit)

cad/abc: Update g20260328 => g20260505
Approved by:	 	db@, yuri@ (Mentors, implicit)

cad/abc: Update g20260307 => g20260328
Approved by:	 	db@, yuri@ (Mentors, implicit)

cad/abc: Update g20260104 => g20260307
Approved by:	db@, yuri@ (Mentors, implicit)

cad/abc: not for armv7 either
Approved by:	portmgr (build fix blanket)
MFH:		2026Q1

cad/abc: Update g20251226 => g20260104
Approved by:	db@, yuri@ (Mentors, implicit)

cad/abc: exclude i386 from build targets
Build on i386 fails with errors:
__int128 is not supported on this target
Approved by:	db@, yuri@ (Mentors, implicit)

cad/abc: Update g202511104 => g20251226
* Fix typo in previous DISTVERSION via increasing PORTEPOCH
Approved by:	 	db@, yuri@ (Mentors, implicit)

cad/abc: Update g20251002 => g20251104
Summary: * Add WWW for source code repository
Approved by:		yuri@ (Mentor)
Differential Revision:	https://reviews.freebsd.org/D53606 

cad/abc: Update g20241117 => g20251002, take maintainership
Original maintainer is inactive for several years.
* Pet portclippy(1) and portfmt(1)
Approved by:		yuri@ (Mentor)
Differential Revision: 	https://reviews.freebsd.org/D53006 

cad/abc: update g20220920 → g20241117

cad/abc: Update g20200322 -> g20220920
PR:		266917 260806
Approved by:	uddka@student.kit.edu (maintainer's timeout; 9+ months on
PR#260806)

Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by:		portmgr (tcberner)

Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.
Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.
There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.

One more small cleanup, forgotten yesterday.
Reported by:	lwhsu

Remove # $FreeBSD$ from Makefiles.

cad/abc: Update g20180420 -> g20200322
PR:		241511
Approved by:	uddka@student.kit.edu (maintainer's timeout; 4.5 months)

Update devel/readline to 8.0
- Bump PORTREVISION of dependent ports for shlib change
Changes:	https://tiswww.case.edu/php/chet/readline/CHANGES
PR:		236156
Exp-run by:	antoine

New port: cad/abc: System for sequential synthesis and verification
PR:		227254
Submitted by:	Christian Kramer <uddka@student.kit.edu>

30 vulnerabilities affecting 415 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last processed:
2026年09月03日 17:10:13 UTC