Bug#615158: ITP: ocaml-cil -- OCaml library for manipulating C programs
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 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).
Sorry for taking so much time...
In the sources, the doc/cilcode.tmp directory looks suspicious. It
contains many .o files. Shouldn't it be removed?
The OCaml library (/usr/lib/ocaml/cil) must be in its own binary package
(libcil-ocaml-dev) with a Provides field, so that reverse dependencies
get their dependencies right.
Is is really needed to have cilly.byte AND cilly.native?
Please set the Maintainer field to "Debian OCaml Maintainers <...>" and
move your name to an Uploaders field.
Cheers,
--
Stéphane
Reply to: