[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