search

goblint / analyzer

Static analysis framework for C
https://goblint.in.tum.de
MIT License
160 stars 72 forks source link

Setup issues with Ubuntu 24.04 #1488

Open michael-schwarz opened 1 month ago

michael-schwarz commented 1 month ago

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 (https://github.com/ocaml/opam/issues/5968) in the meantime.