notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC		 Ukraine
The recently imposed "must be logged in" restriction is a response to increased bot traffic on the site. This affects search, commits, and vuxml pages.
Search engines are not blocked. Try using "site:www.freshports.org" and your search terms.
After the ports freeze to fix some stuff, the freeze is over. I have some work to do before FreshPorts can start processing commits again before it can start processing again. I've created an issue for that.
Port details
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.
HomepageHomepage    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
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latestg20260328,1g20260328,1g20200322g20241117-n/an/an/a
FreeBSD:13:quarterlyg20260328,1g20260328,1g20220920g20241117-n/an/an/a
FreeBSD:14:latestg20260801,1g20260801,1g20220920g20241117-g20220920-g20220920
FreeBSD:14:quarterlyg20260701,1g20260701,1-g20241117-g20220920g20220920g20220920
FreeBSD:15:latestg20260801,1g20260801,1n/ag20241117n/an/ag20220920g20220920
FreeBSD:15:quarterlyg20260701,1g20260701,1n/a-n/an/a--
FreeBSD:16:latestg20260701,1g20260801,1n/a-n/an/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.

Number of commits found: 23

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
g20260801,1
15 Aug 2026 12:53:59
commit hash: 49c3564d14cdc131efb0ea6bd3ceb6dc81aea2e8commit hash: 49c3564d14cdc131efb0ea6bd3ceb6dc81aea2e8commit hash: 49c3564d14cdc131efb0ea6bd3ceb6dc81aea2e8commit hash: 49c3564d14cdc131efb0ea6bd3ceb6dc81aea2e8 files touched by this commit		 Älven (alven) search for other commits by this committer 
cad/abc: Update g20260701 => g20260801

Approved by:	    	db@, yuri@ (Mentors, implicit)
g20260701,1
07 Jul 2026 22:55:18
commit hash: 298191ea3ed83cb480eb62c85442b6f9fa3cad20commit hash: 298191ea3ed83cb480eb62c85442b6f9fa3cad20commit hash: 298191ea3ed83cb480eb62c85442b6f9fa3cad20commit hash: 298191ea3ed83cb480eb62c85442b6f9fa3cad20 files touched by this commit		 Älven (alven) search for other commits by this committer 
cad/abc: Update g20260618 => g20260701

Approved by:	    	db@, yuri@ (Mentors, implicit)
g20260618,1
23 Jun 2026 16:32:56
commit hash: d176216747fbe001f42c566baceeca6436242616commit hash: d176216747fbe001f42c566baceeca6436242616commit hash: d176216747fbe001f42c566baceeca6436242616commit hash: d176216747fbe001f42c566baceeca6436242616 files touched by this commit		 Älven (alven) search for other commits by this committer 
cad/abc: Update g20260605 => g20260618

Approved by:	    	db@, yuri@ (Mentors, implicit)
g20260605,1
08 Jun 2026 00:20:15
commit hash: bf293788f7af56f4cd5316591074c9dadbd73f37commit hash: bf293788f7af56f4cd5316591074c9dadbd73f37commit hash: bf293788f7af56f4cd5316591074c9dadbd73f37commit hash: bf293788f7af56f4cd5316591074c9dadbd73f37 files touched by this commit		 Älven (alven) search for other commits by this committer 
cad/abc: Update g20260516 => 20260605

Approved by:	    	db@, yuri@ (Mentors, implicit)
g20260516,1
17 May 2026 21:36:42
commit hash: 803cfe8865d5f25745b6ac05acd0772def9d3db9commit hash: 803cfe8865d5f25745b6ac05acd0772def9d3db9commit hash: 803cfe8865d5f25745b6ac05acd0772def9d3db9commit hash: 803cfe8865d5f25745b6ac05acd0772def9d3db9 files touched by this commit		 Älven (alven) search for other commits by this committer 
cad/abc: Update g20260505 => g20260516

Approved by:	    	db@, yuri@ (Mentors, implicit)
g20260505,1
07 May 2026 21:39:06
commit hash: af218a4ee29a6b999b647da7263011a6ec9f6785commit hash: af218a4ee29a6b999b647da7263011a6ec9f6785commit hash: af218a4ee29a6b999b647da7263011a6ec9f6785commit hash: af218a4ee29a6b999b647da7263011a6ec9f6785 files touched by this commit		 Älven (alven) search for other commits by this committer 
cad/abc: Update g20260328 => g20260505

Approved by:	    	db@, yuri@ (Mentors, implicit)
g20260328,1
31 Mar 2026 20:30:01
commit hash: 0ebd464d95eb4869da02c1c9b447d8bc923ca88ccommit hash: 0ebd464d95eb4869da02c1c9b447d8bc923ca88ccommit hash: 0ebd464d95eb4869da02c1c9b447d8bc923ca88ccommit hash: 0ebd464d95eb4869da02c1c9b447d8bc923ca88c files touched by this commit		 Älven (alven) search for other commits by this committer 
cad/abc: Update g20260307 => g20260328

Approved by:	    	db@, yuri@ (Mentors, implicit)
g20260307,1
08 Mar 2026 17:33:11
commit hash: 733f51f998914e46f7350a105c2caba1dc1039b6commit hash: 733f51f998914e46f7350a105c2caba1dc1039b6commit hash: 733f51f998914e46f7350a105c2caba1dc1039b6commit hash: 733f51f998914e46f7350a105c2caba1dc1039b6 files touched by this commit		 Älven (alven) search for other commits by this committer 
cad/abc: Update g20260104 => g20260307

Approved by:	db@, yuri@ (Mentors, implicit)
g20260104,1
21 Jan 2026 23:51:56
commit hash: 17176141694e6254f8309c038d7479c34c37a278commit hash: 17176141694e6254f8309c038d7479c34c37a278commit hash: 17176141694e6254f8309c038d7479c34c37a278commit hash: 17176141694e6254f8309c038d7479c34c37a278 files touched by this commit		 Robert Clausecker (fuz) search for other commits by this committer 
cad/abc: not for armv7 either

Approved by:	portmgr (build fix blanket)
MFH:		2026Q1
g20260104,1
11 Jan 2026 11:49:15
commit hash: 5783a006a8fa9e3574af2ef2fe148a278f66a9d2commit hash: 5783a006a8fa9e3574af2ef2fe148a278f66a9d2commit hash: 5783a006a8fa9e3574af2ef2fe148a278f66a9d2commit hash: 5783a006a8fa9e3574af2ef2fe148a278f66a9d2 files touched by this commit		 Älven (alven) search for other commits by this committer 
cad/abc: Update g20251226 => g20260104

Approved by:	db@, yuri@ (Mentors, implicit)
g20251226,1
01 Jan 2026 19:44:49
commit hash: 11982e1245ad3684a6eb5f80b3bff27a2f47ac5bcommit hash: 11982e1245ad3684a6eb5f80b3bff27a2f47ac5bcommit hash: 11982e1245ad3684a6eb5f80b3bff27a2f47ac5bcommit hash: 11982e1245ad3684a6eb5f80b3bff27a2f47ac5b files touched by this commit		 Älven (alven) search for other commits by this committer 
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)
g20251226,1
30 Dec 2025 09:08:24
commit hash: 947f7ea8f16c84dcb00d9578fcf8a9f7fbdca4a4commit hash: 947f7ea8f16c84dcb00d9578fcf8a9f7fbdca4a4commit hash: 947f7ea8f16c84dcb00d9578fcf8a9f7fbdca4a4commit hash: 947f7ea8f16c84dcb00d9578fcf8a9f7fbdca4a4 files touched by this commit		 Älven (alven) search for other commits by this committer 
cad/abc: Update g202511104 => g20251226

* Fix typo in previous DISTVERSION via increasing PORTEPOCH

Approved by:	    	db@, yuri@ (Mentors, implicit)
g202511104
07 Nov 2025 17:33:22
commit hash: a816542b84cb95b8da3e5f738cdcdfb090495a5ecommit hash: a816542b84cb95b8da3e5f738cdcdfb090495a5ecommit hash: a816542b84cb95b8da3e5f738cdcdfb090495a5ecommit hash: a816542b84cb95b8da3e5f738cdcdfb090495a5e files touched by this commit		 Älven (alven) search for other commits by this committer 
cad/abc: Update g20251002 => g20251104

Summary: * Add WWW for source code repository

Approved by:		yuri@ (Mentor)
Differential Revision:	https://reviews.freebsd.org/D53606
g20251002
10 Oct 2025 21:39:46
commit hash: 32257f9a3394c08d5db96fc3ae1e9ac4a72f840acommit hash: 32257f9a3394c08d5db96fc3ae1e9ac4a72f840acommit hash: 32257f9a3394c08d5db96fc3ae1e9ac4a72f840acommit hash: 32257f9a3394c08d5db96fc3ae1e9ac4a72f840a files touched by this commit		 Älven (alven) search for other commits by this committer 
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
g20241117
19 Nov 2024 03:42:29
commit hash: ef0e4f7ff65d73e217da3f32d77d0c164abe68adcommit hash: ef0e4f7ff65d73e217da3f32d77d0c164abe68adcommit hash: ef0e4f7ff65d73e217da3f32d77d0c164abe68adcommit hash: ef0e4f7ff65d73e217da3f32d77d0c164abe68ad files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
cad/abc: update g20220920 → g20241117
g20220920
09 Oct 2022 19:02:15
commit hash: edd93bd3bac5f41a28f585ee9e0f641f1acb03b2commit hash: edd93bd3bac5f41a28f585ee9e0f641f1acb03b2commit hash: edd93bd3bac5f41a28f585ee9e0f641f1acb03b2commit hash: edd93bd3bac5f41a28f585ee9e0f641f1acb03b2 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer
Author: Emmanuel Vadot		 
cad/abc: Update g20200322 -> g20220920

PR:		266917 260806
Approved by:	uddka@student.kit.edu (maintainer's timeout; 9+ months on
PR#260806)
07 Sep 2022 21:58:51
commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 files touched by this commit		 Stefan Eßer (se) search for other commits by this committer 
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)
g20200322
07 Sep 2022 21:10:59
commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 files touched by this commit		 Stefan Eßer (se) search for other commits by this committer 
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.
(Only the first 15 lines of the commit message are shown above View all of this commit message)
g20200322
07 Apr 2021 08:09:01
commit hash: cf118ccf875508b9a1c570044c93cfcc82bd455ccommit hash: cf118ccf875508b9a1c570044c93cfcc82bd455ccommit hash: cf118ccf875508b9a1c570044c93cfcc82bd455ccommit hash: cf118ccf875508b9a1c570044c93cfcc82bd455c files touched by this commit		 Mathieu Arnold (mat) search for other commits by this committer 
One more small cleanup, forgotten yesterday.
Reported by:	lwhsu
g20200322
06 Apr 2021 14:31:07
commit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344eb files touched by this commit		 Mathieu Arnold (mat) search for other commits by this committer 
Remove # $FreeBSD$ from Makefiles.
g20200322
22 Mar 2020 08:56:59
Revision:528905Original commit files touched by this commit		 yuri search for other commits by this committer 
cad/abc: Update g20180420 -> g20200322

PR:		241511
Approved by:	uddka@student.kit.edu (maintainer's timeout; 4.5 months)
g20180420_1
09 Apr 2019 14:04:50
Revision:498476Original commit files touched by this commit		 sunpoet search for other commits by this committer 
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
g20180420
24 Apr 2018 07:53:29
Revision:468187Original commit files touched by this commit		 yuri search for other commits by this committer 
New port: cad/abc: System for sequential synthesis and verification

PR:		227254
Submitted by:	Christian Kramer <uddka@student.kit.edu>

Number of commits found: 23
Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
Security Policy
Privacy
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
chromiumAug 20
qt6-pdfAug 20
qt6-webengineAug 20
ungoogled-chromiumAug 20
zeekAug 19
gitlabAug 18
podmanAug 18
giteaAug 16
postgresql14-serverAug 16
postgresql15-serverAug 16
postgresql16-serverAug 16
postgresql17-serverAug 16
postgresql18-serverAug 16
openexrAug 14
python310*Aug 14

28 vulnerabilities affecting 360 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last processed:
2026-08-21 01:50:12 UTC


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)

Calculated hourly:
Port count 35054
Broken 78
Deprecated 296
Ignore 192
Forbidden 0
Restricted 1
No CDROM 1
Vulnerable 45
Expired 18
Set to expire 219
Interactive 0
new 24 hours 2
new 48 hours15
new 7 days41
new fortnight91
new month179
Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD 		Valid HTML, CSS, and RSS. Copyright © 2000-2026 Dan Langille. All rights reserved.