| Port details on branch 2026Q1 |
- abc System for sequential synthesis and verification
- g20260104,1 cad
 =0      g20260104,1Version of this port present on the latest quarterly branch. - Maintainer: alven@FreeBSD.org
- Port Added: 2026-01-21 23:57:10
- Last Update: 2026-01-21 23:55:19
- Commit Hash: 8286488
- 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.
  ¦  ¦  ¦  ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - USE_RC_SUBR (Service Scripts)
- no SUBR information found for this port
- Dependency lines:
-
- 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 = 1768131637
SHA256 (berkeley-abc-abc-g20260104-c18b9a24_GH0.tar.gz) = c1134a07525bbd6130dd50b5f6b997609510cfbe005b84235e8ecaf1d9c6b45c
SIZE (berkeley-abc-abc-g20260104-c18b9a24_GH0.tar.gz) = 7290483
No package information for this port in our database- Sometimes this happens. Not all ports have packages. Perhaps there is a build error. Check the fallout link:
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- gmake : devel/gmake
- cmake : devel/cmake-core
- ninja : devel/ninja
- Library dependencies:
-
- libreadline.so.8 : devel/readline
- There are no ports dependent upon this port
Configuration Options:- ===> The following configuration options are available for abc-g20260104,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:
|
Number of commits found: 1
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
g20260104,1
21 Jan 2026 23:55:19
 |
Robert Clausecker (fuz) |
cad/abc: not for armv7 either
Approved by: portmgr (build fix blanket)
MFH: 2026Q1
(cherry picked from commit 17176141694e6254f8309c038d7479c34c37a278) |
Number of commits found: 1
|
As an Amazon Associate I earn from qualifying purchases.