[PPL-devel] [Fwd: Re: Plans to package MLGMP?]

Roberto Bagnara bagnara at cs.unipr.it
Sun Nov 2 20:07:04 CET 2008



-------- Original Message --------
Subject: Re: Plans to package MLGMP?
Date: Sun, 2 Nov 2008 16:20:40 +0000
From: Richard W.M. Jones <rjones at redhat.com>
To: Fedora OCaml list <fedora-ocaml-list at redhat.com>
CC: bagnara at cs.unipr.it
References: <490C5E83.7040500 at cs.unipr.it>

On Sat, Nov 01, 2008 at 02:49:55PM +0100, Roberto Bagnara wrote:
> are there any plans to package MLGMP, an extended precision computation library
> in OCaml (http://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=278)?
>
> I am writing a spec file for the Parma Polyhedra Library, and its OCaml interface
> requires MLGMP.

No one's asked for it up to now, but if you wish to package it, please
go ahead!

If you're not used to packaging OCaml libraries for Fedora / RHEL
before then you'll find it helpful to look at one of the existing
ones.  Here are some simple ones:

   http://cvs.fedoraproject.org/viewvc/devel/ocaml-augeas/ocaml-augeas.spec?revision=1.1&view=markup
   http://cvs.fedoraproject.org/viewvc/devel/ocaml-csv/ocaml-csv.spec?revision=1.7&view=markup
   http://cvs.fedoraproject.org/viewvc/devel/ocaml-facile/ocaml-facile.spec?revision=1.5&view=markup
   http://cvs.fedoraproject.org/viewvc/devel/ocaml-ssl/ocaml-ssl.spec?revision=1.9&view=markup

You can join as a package maintainer if you want (see [1]), but if you
don't want to do that, then create a new bug for your package once
done in http://bugzilla.redhat.com/ and assign it to me.

If you have any other troubles making the RPM, just ask.

Rich.

[1] http://fedoraproject.org/wiki/PackageMaintainers/Join

-- 
Richard Jones, Emerging Technologies, Red Hat  http://et.redhat.com/~rjones
virt-p2v converts physical machines to virtual machines.  Boot with a
live CD or over the network (PXE) and turn machines into Xen guests.
http://et.redhat.com/~rjones/virt-p2v


-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it



More information about the PPL-devel mailing list