On Mon, Jan 26, 2009 at 08:42:52AM +0100, Ralf Treinen wrote:
> we also have Jean-Christophe Filliatre's configure.in and
> Makefile.in templates that are currenly in the ocaml-tools package,
> for lack of any better place for it. Maybe they can be packaged
> together with ocaml-autoconf, or ocaml-autoconf can be part of the
> ocaml-tools package?
Interesting, I didn't know that. Those two files should definitely be
companions of ocaml-autoconf, and I presume they initially were meant
as such.
Jean-Christophe has already agreed in relicensing ocaml-autoconf
macros, I presume there will be no problem in doing the same with
those snippets and distributing them together with ocaml-autoconf.
Regarding the packaging, I've no objections in adding all this to
ocaml-tools, but I had the impression you were in the past
"discouraging" multiple-source Debian packages. In fact that's one of
the reasons for me to propose a separate package. But if you are fine
with adding another bit to ocaml-tools I've no objections whatsoever.
Cheers.
--
Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7
z...@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/
Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie
sempre uno zaino ...........| ..: |.... Je dis tu à tous ceux que j'aime
--
To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
