A RetroSearch Logo

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Search Query:

Showing content from https://github.com/agda/agda/issues/6384 below:

deploy action broken by switch from ubuntu-20.04 to ubuntu-22.04 · Issue #6384 · agda/agda · GitHub

As ubuntu-latest = ubuntu-22.04 is rolled out,

our deploy workflow got broken: https://github.com/agda/agda/actions/runs/3603326548/jobs/6071389168
This workflow creates a static binary:

args = --disable-executable-profiling --disable-library-profiling --enable-executable-static --enable-split-sections

It uses GHC 9.4.2 and Cabal 3.8.1:

Resolved 9.4 to 9.4.2
Resolved 3.8 to 3.8.1.0

Linking fails:

[3 of 3] Linking /home/runner/work/agda/agda/dist-newstyle/build/x86_64-linux/ghc-9.4.2/Agda-2.6.4/build/agda-mode/agda-mode
/home/runner/.ghcup/ghc/9.4.2/lib/ghc-9.4.2/lib/../lib/x86_64-linux-ghc-9.4.2/process-1.6.15.0/libHSprocess-1.6.15.0.a(fork_exec.o):function do_spawn_fork: warning: Using 'getpwuid_r' in statically linked applications requires at runtime the shared libraries from the glibc version used for linking
... (repeats)
...
/home/runner/.ghcup/ghc/9.4.2/lib/ghc-9.4.2/lib/../lib/x86_64-linux-ghc-9.4.2/unix-2.7.3/libHSunix-2.7.3.a(Files.o):
function ghczuwrapperZC1ZCunixzm2zi7zi3ZCSystemziPosixziFilesZCmknod: 
error: undefined reference to '__xmknod'

rts/Linker.c:597:0: error:
     warning: Using 'dlopen' in statically linked applications requires at runtime the shared libraries from the glibc version used for linking

rts/linker/Elf.c:2167:0: error:
     warning: Using 'dlopen' in statically linked applications requires at runtime the shared libraries from the glibc version used for linking
collect2: error: ld returned 1 exit status

We also got the warnings under ubuntu-20.04, but not the error:

/home/runner/.ghcup/ghc/9.4.2/lib/ghc-9.4.2/lib/../lib/x86_64-linux-ghc-9.4.2/unix-2.7.3/libHSunix-2.7.3.a(Files.o):
function ghczuwrapperZC1ZCunixzm2zi7zi3ZCSystemziPosixziFilesZCmknod: 
error: undefined reference to '__xmknod'

This ain't a caching problem because we do not have caching for this workflow.

Since our Cabal workflow has no problems maybe it is the combination of these three:

I wonder whether haskell/actions/setup also contributes, but there is not evidence for this yet. (UPDATE: it does not.)

Someone with ubuntu-22.04, could you please test building Agda with --enable-executable-static and GHC 9.4.2 or GHC 9.4.3? (@nad, @asr, ...)

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4