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
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
>
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
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
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
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