[PPL-devel] [Fwd: Re: Plans to package MLGMP?]
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
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:
You can join as a package maintainer if you want (see ), 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.
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.
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
mailto:bagnara at cs.unipr.it
More information about the PPL-devel