Hi, I'm having issues getting coccinelle into an Ubuntu container.
On 9/30/19 9:43 PM, Julia Lawall wrote: > For those who use Ubuntu, a PPA is available: > > https://launchpad.net/~npalix/+archive/ubuntu/coccinelle/+packages How can I help getting this built for Ubuntu 20.04 (Focal Fossa)? The precompiled binary links in [1] point to nonexisting files. opam seems to have issues when run within containers: ---- [ERROR] The compilation of ocaml-system failed at "/root/.opam/opam-init/hooks/sandbox.sh build ocaml gen_ocaml_config.ml". ... # bwrap: Creating new namespace failed: Operation not permitted ---- Kaspar [1] http://coccinelle.lip6.fr/download.php _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
