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

[Stéphane Glondu <glondu@debian.org>]

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 with Stéphane's
> 1.3.7 ;-) builds as follows:
> 
>   git clone -b debian https://github.com/kerneis/cil ocaml-cil
>   cd ocaml-cil
>   gbp buildpackage 
> 
> 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. Meanwhile, you can join the OCaml Task Force on
Alioth, and update the ocaml-cil package there (feel free to overwrite
it, actually).


Cheers,

-- 
Stéphane