[Agda] [ANNOUNCE] Agda 2.6.4.1

[Peter Hancock]

My mistake!
The messages about ld are just warnings. Actually the two expected executables are produced.
Furthermore, otool -L agda shows
  
	/usr/lib/libSystem.B.dylib (compatibility version 1.0.0, current version 1292.60.1)
	/opt/local/lib/libz.1.dylib (compatibility version 1.0.0, current version 1.3.0)
	/opt/local/lib/libicuuc.73.dylib (compatibility version 73.0.0, current version 73.2.0)
	/opt/local/lib/libicui18n.73.dylib (compatibility version 73.0.0, current version 73.2.0)
	/opt/local/lib/libncurses.6.dylib (compatibility version 6.0.0, current version 6.0.0)
	/opt/local/lib/libiconv.2.dylib (compatibility version 9.0.0, current version 9.1.0)
	/opt/local/lib/libffi.8.dylib (compatibility version 10.0.0, current version 10.2.0)

which looks like macport's versions of the necessary shared libraries.
(Mind you, I haven't tried using the executables in anger yet.)

Apologies for the noise!


On 01/12/2023 16:27, Peter Hancock wrote:
> 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
>