[Agda] [ANNOUNCE] Agda 2.6.4.1

[Peter Hancock]

On 30/11/2023 18:33, Andreas Abel wrote:
> Agda 2.6.4.1 has been tested with GHC 9.8.1, GHC 9.6.3, 9.4.7, 9.2.8, 9.0.2, 8.10.7, 8.8.4 and 8.6.5 on Linux, macOS and Windows.

I have just tried to build it with ghc 9.8.1, on macOS (Catalina), and it fell over at
the link stage, with

ld: warning: directory not found for option '-L/usr/local/opt/icu4c/lib'
ld: warning: directory not found for option '-L/opt/homebrew/opt/icu4c/lib'

This is no doubt because I use macports rather than homebrew.
I have a vaguely similar issue building pandoc.
That builds only if I temporarily deactivate macport's version of libiconv.

I grepped through the files looking for "icu4c", hoping I could get it to link with some small hack.
That string occurs in some binary files only.

Any advice/suggestions?

I am happy to spend a little time trying to get the build to work on a macports-only system.

Peter Hancock