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
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
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
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
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,
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
7 matches
Mail list logo