Bug#615158: Progress?

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

Le 12/03/2011 18:37, Michael Tautschnig a écrit :
> As I'd be interested in getting a package into Debian that would at least
> suggest Cil I was wondering whether you had already been successful in packaging
> Cil.

I've pushed a preliminary packaging to:

  http://git.debian.org/?p=pkg-ocaml-maint/packages/ocaml-cil.git

But:

 - Upstream is over-defensive in its configure script for no good
   reason; basically only amd64 and i386 (and maybe some other native
   architectures, but I'm not even sure) pass with the pristine one.
   I've patched it so that it runs on some other architectures
   supported by Debian (e.g. the kfreebsd ones).
 - I haven't yet tested all the provided tools... the packaging deals
   only with the OCaml library.
 - I haven't even reached the status where I could use the package for
   my own development, let alone release a decent Debian package.

If anyone feels like continuing the work, please feel free to proceed...
but I won't dedicate much more efforts to this before months.


Cheers,

-- 
Stéphane