Re: [Cocci] Need help compiling coccinelle on Ubuntu 16.04

2018-05-19 Thread Julia Lawall
On Sat, 19 May 2018, Patrick Doyle wrote: > On Sat, May 19, 2018 at 1:36 AM, Julia Lawall wrote: > > On Wed, 16 May 2018, Patrick Doyle wrote: > > > >> I just tried compiling coccinelle on a Ubuntu 16.04 system, having > >> installed all the dependencies that seem to make

Re: [Cocci] Need help compiling coccinelle on Ubuntu 16.04

2018-05-19 Thread Himanshu Jha
On Wed, May 16, 2018 at 09:48:19AM -0400, Patrick Doyle wrote: > TherI just tried compiling coccinelle on a Ubuntu 16.04 system, having > installed all the dependencies that seem to make sense, and it fails > to compile. > > I need to use a version of spatch >= 1.0.6 for another project, and >

Re: [Cocci] Need help compiling coccinelle on Ubuntu 16.04

2018-05-19 Thread Julia Lawall
On Sat, 19 May 2018, Arend van Spriel wrote: > On 5/16/2018 3:48 PM, Patrick Doyle wrote: > > TherI just tried compiling coccinelle on a Ubuntu 16.04 system, having > > installed all the dependencies that seem to make sense, and it fails > > to compile. > > > > I need to use a version of spatch

Re: [Cocci] Need help compiling coccinelle on Ubuntu 16.04

2018-05-19 Thread Arend van Spriel
On 5/16/2018 3:48 PM, Patrick Doyle wrote: TherI just tried compiling coccinelle on a Ubuntu 16.04 system, having installed all the dependencies that seem to make sense, and it fails to compile. I need to use a version of spatch >= 1.0.6 for another project, and the version supplied with Ubuntu

Re: [Cocci] Need help compiling coccinelle on Ubuntu 16.04

2018-05-18 Thread Julia Lawall
On Wed, 16 May 2018, Patrick Doyle wrote: > TherI just tried compiling coccinelle on a Ubuntu 16.04 system, having > installed all the dependencies that seem to make sense, and it fails > to compile. > > I need to use a version of spatch >= 1.0.6 for another project, and > the version supplied

[Cocci] Need help compiling coccinelle on Ubuntu 16.04

2018-05-18 Thread Patrick Doyle
TherI just tried compiling coccinelle on a Ubuntu 16.04 system, having installed all the dependencies that seem to make sense, and it fails to compile. I need to use a version of spatch >= 1.0.6 for another project, and the version supplied with Ubuntu is 1.0.4. So I: $ git clone