Bug#615158: ITP: ocaml-cil -- OCaml library for manipulating C programs

2013-10-09 Thread Gabriel Kerneis
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.

Bug#615158: ITP: ocaml-cil -- OCaml library for manipulating C programs

2013-10-09 Thread Stéphane Glondu
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

Bug#615158: ITP: ocaml-cil -- OCaml library for manipulating C programs

2013-09-05 Thread Gabriel Kerneis
On Wed, Sep 04, 2013 at 07:48:53AM +0200, Stéphane Glondu wrote: > I will have a look. Meanwhile, you can join the OCaml Task Force on > Alioth, and update the ocaml-cil package there (feel free to overwrite > it, actually). I've just done that, thanks. (The default branch is debian rather than ma

Bug#615158: ITP: ocaml-cil -- OCaml library for manipulating C programs

2013-09-04 Thread Gabriel Kerneis
On Wed, Sep 04, 2013 at 07:48:53AM +0200, Stéphane Glondu wrote: > > This is my first Debian package so it's probably far from perfect. Any > > feedback or hint about how to proceed next would be greatly appreciated. > > I will have a look. Thanks. Note that "make test" will fail on big-endian ar

Bug#615158: ITP: ocaml-cil -- OCaml library for manipulating C programs

2013-09-03 Thread Stéphane Glondu
Le 28/08/2013 20:41, Gabriel Kerneis 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 confused wi

Bug#615158: ITP: ocaml-cil -- OCaml library for manipulating C programs

2013-08-28 Thread Gabriel Kerneis
retitle 615158 ITP: ocaml-cil -- OCaml library for manipulating C programs owner 615158 ! thanks Hi, 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. My current version (ocaml-cil_1.7.3,

Bug#615158: ITP: ocaml-cil -- OCaml library for manipulating C programs

2011-02-25 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" * Package name: ocaml-cil Version : 1.3.7 Upstream Author : George C. Necula and others * URL : http://sourceforge.net/projects/cil/ * License : BSD Programming Lang: OCaml Description : OCaml li