cad/abcg20260925,1

cad/abc: Update g20260911 => g20260925

cad/abc: Update g20260801 => g20260911

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.

This commit implements such a proposal and moves one of the WWW: entries
of each pkg-descr file into the respective port's Makefile. A heuristic
attempts to identify the most relevant URL in case there is more than
one WWW: entry in some pkg-descr file. URLs that are not moved into the
Makefile are prefixed with "See also:" instead of "WWW:" in the pkg-descr
files in order to preserve them.

There are 1256 ports that had no WWW: entries in pkg-descr files. These
ports will not be touched in this commit.

The portlint port has been adjusted to expect a WWW entry in each port
Makefile, and to flag any remaining "WWW:" lines in pkg-descr files as
deprecated.

Approved by:		portmgr (tcberner)

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 Krämer <uddka@student.kit.edu>