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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#615158: ITP: ocaml-cil -- OCaml library for manipulating C programs
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. 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. OK. Fedora also uses separate packages for ocaml-cil-doc and ocaml-cil-cilly; is this also required for Debian? Is is really needed to have cilly.byte AND cilly.native? The perl wrapper script bin/cilly provides a --bytecode flag to invoke the bytecode version. I'm not sure about the historical motivation for this (ocamldebug comes to mind), but I am reluctant to potentially break existing user workflows just for the sake saving 1.3 MB. Please set the Maintainer field to Debian OCaml Maintainers ... and move your name to an Uploaders field. OK. I'll let you know when a new version is available. Thanks for your review, -- Gabriel -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#615158: ITP: ocaml-cil -- OCaml library for manipulating C programs
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 master because it's more convenient in my workflow, but I can change it if it's too annoying for other maintainers.) -- Gabriel -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#615158: ITP: ocaml-cil -- OCaml library for manipulating C programs
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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#615158: ITP: ocaml-cil -- OCaml library for manipulating C programs
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 architectures (tests wchar3 and wchar4). I'm working on fixing that. -- Gabriel -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#615158: ITP: ocaml-cil -- OCaml library for manipulating C programs
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, 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. Many thanks, -- Gabriel -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#615158: ITP: ocaml-cil -- OCaml library for manipulating C programs
Package: wnpp Severity: wishlist Owner: Stéphane Glondu glo...@debian.org * 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 library for manipulating C programs CIL (C Intermediate Language) is a high-level representation along with a set of tools that permit easy analysis and source-to-source transformation of C programs. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org