Re: list of valid ABI combinations

From: Mark Millard <marklmi_at_yahoo.com>
Date: Thu, 07 Dec 2023 15:03:33 UTC
Dan Langille <dan_at_langille.org> wrote on
Date: Thu, 07 Dec 2023 13:22:28 UTC :

> . . .
> My goal is to automatically maintain this table, from which FreshPorts fetches package information:
> 
> freshports.dev=# select * from abi order by name;
> id | name | active 
> ----+----------------------+--------
> 9 | FreeBSD:12:aarch64 | t
> 1 | FreeBSD:12:amd64 | t
> 15 | FreeBSD:12:armv6 | t
> 16 | FreeBSD:12:armv7 | t
> 8 | FreeBSD:12:i386 | t
> 18 | FreeBSD:12:mips64 | t
> 19 | FreeBSD:12:powerpc64 | t
> 2 | FreeBSD:13:aarch64 | t
> 11 | FreeBSD:13:amd64 | t
> 20 | FreeBSD:13:armv6 | t
> 21 | FreeBSD:13:armv7 | t
> 10 | FreeBSD:13:i386 | t
> 23 | FreeBSD:13:mips64 | t
> 24 | FreeBSD:13:powerpc64 | t
> 34 | FreeBSD:13:riscv64 | t
> 26 | FreeBSD:14:aarch64 | t
> 27 | FreeBSD:14:amd64 | t
> 28 | FreeBSD:14:armv6 | t
> 29 | FreeBSD:14:armv7 | t
> 30 | FreeBSD:14:i386 | t
> 32 | FreeBSD:14:mips64 | t
> 33 | FreeBSD:14:powerpc64 | t
> 35 | FreeBSD:14:riscv64 | t
> 54 | FreeBSD:15:aarch64 | t
> 47 | FreeBSD:15:amd64 | t
> 48 | FreeBSD:15:armv6 | t
> 49 | FreeBSD:15:armv7 | t
> 50 | FreeBSD:15:i386 | t
> 51 | FreeBSD:15:mips64 | t
> 52 | FreeBSD:15:powerpc64 | t
> 53 | FreeBSD:15:riscv64 | t
> (31 rows)
> . . .

The name list in the middle (/bin/sh context):

# fetch https://pkg.freebsd.org/index.html
index.html                                            3606  B  103 MBps    00s

# grep FreeBSD: index.html | sed -e 's@.*\(FreeBSD:[^ <]*\).*@\1@' | sort
FreeBSD:12:aarch64
FreeBSD:12:amd64
FreeBSD:12:armv6
FreeBSD:12:armv7
FreeBSD:12:i386
FreeBSD:13:aarch64
FreeBSD:13:amd64
FreeBSD:13:armv6
FreeBSD:13:armv7
FreeBSD:13:i386
FreeBSD:13:powerpc
FreeBSD:13:powerpc64
FreeBSD:13:powerpc64le
FreeBSD:14:aarch64
FreeBSD:14:amd64
FreeBSD:14:armv6
FreeBSD:14:armv7
FreeBSD:14:i386
FreeBSD:14:powerpc
FreeBSD:14:powerpc64
FreeBSD:14:powerpc64le
FreeBSD:15:aarch64
FreeBSD:15:amd64
FreeBSD:15:armv6
FreeBSD:15:armv7
FreeBSD:15:i386
FreeBSD:15:powerpc
FreeBSD:15:powerpc64
FreeBSD:15:powerpc64le

There might be issues at times with https://pkg.freebsd.org/index.html not
being in sync. As far as I can tell, that page is manually maintained.

Hopefully this can help.

I've no clue about the id column as the list changes, for example
when the FreeBSD:12:* disappear sometime after the end of the year.

===
Mark Millard
marklmi at yahoo.com