Setup issues with Ubuntu 24.04

[michael-schwarz]

I tried to install Goblint on an Ubuntu 24.04 machine following our instructions and it seems there is some issue with bubblewrap on these machines.

#=== ERROR while compiling ocaml-variants.4.14.0+options ======================#
# context     2.1.2 | linux/x86_64 | ocaml-option-flambda.1 | https://opam.ocaml.org#c61e9068
# path        ~/michael-schwar-dissertation/analyzer/_opam/.opam-switch/build/ocaml-variants.4.14.0+options
# command     ~/.opam/opam-init/hooks/sandbox.sh build ./configure --prefix=/home/fpv21/michael-schwar-dissertation/analyzer/_opam --docdir=/home/fpv21/michael-schwar-dissertation/analyzer/_opam/doc/ocaml -C --enable-flambda
# exit-code   1
# env-file    ~/.opam/log/ocaml-variants-212888-c485a3.env
# output-file ~/.opam/log/ocaml-variants-212888-c485a3.out
### output ###
# bwrap: loopback: Failed RTM_NEWADDR: Operation not permitted

This is not directly related to Goblint, but we might want to document the work-around given here (ocaml/opam#5968) in the meantime.

[michael-schwarz]

I have not seen this issue surface since then. Closing for now.