On Wed, Oct 09, 2013 at 12:30:12PM +0200, Stéphane Glondu wrote:
> In the sources, the doc/cilcode.tmp directory looks suspicious. It
> contains many .o files. Shouldn't it be removed?
Indeed, I have no idea how it was included but it is (re)generated by
make doc so I'll make sure it is removed.
Le 04/09/2013 07:48, Stéphane Glondu a écrit :
>> I have worked on a new ocaml-cil package, from scratch. I am also the
>> new upstream for CIL and it has changed a lot since Stéphane first tried
>> to package it.
>
> Thank you a lot for that!
>
>> My current version (ocaml-cil_1.7.3, not to be c
2 matches
Mail list logo
