Hi Kaspar,
I think you could try the following version (intended for 20.10).
https://launchpad.net/ubuntu/+source/coccinelle/1.0.8.deb-2
Note that there is no official Ubuntu release for 20.04.
I think it due to an issue with the Python and GTK migration
to newer version fixed then.
Alternatively, you can also try the following commands:
apt-get build-dep coccinelle
apt-get source coccinelle
with the PPA version or the source.
Le 05/05/2020 à 10:16, Kaspar Schleiser a écrit :
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
--
Nicolas Palix
http://lig-membres.imag.fr/palix/
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
