From bagnara at cs.unipr.it Sat Nov 1 13:49:55 2008 From: bagnara at cs.unipr.it (Roberto Bagnara) Date: Sat, 01 Nov 2008 14:49:55 +0100 Subject: Plans to package MLGMP? Message-ID: <490C5E83.7040500@cs.unipr.it> Hi there, 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. All the best, Roberto -- 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 From rjones at redhat.com Sun Nov 2 16:20:40 2008 From: rjones at redhat.com (Richard W.M. Jones) Date: Sun, 2 Nov 2008 16:20:40 +0000 Subject: Plans to package MLGMP? In-Reply-To: <490C5E83.7040500@cs.unipr.it> References: <490C5E83.7040500@cs.unipr.it> Message-ID: <20081102162040.GA13183@amd.home.annexia.org> 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 From rjones at redhat.com Tue Nov 18 17:49:14 2008 From: rjones at redhat.com (Richard W.M. Jones) Date: Tue, 18 Nov 2008 17:49:14 +0000 Subject: Heads up: OCaml 3.11.0 rebuild for Fedora 11 Message-ID: <20081118174914.GA27575@amd.home.annexia.org> Just a note that I'll be building OCaml 3.11.0+beta1 in Fedora 11 (future Rawhide). This will break everything OCaml-related for a little while, since it's known that some packages don't build with the new OCaml compiler yet. Rich. -- Richard Jones, Emerging Technologies, Red Hat http://et.redhat.com/~rjones virt-df lists disk usage of guests without needing to install any software inside the virtual machine. Supports Linux and Windows. http://et.redhat.com/~rjones/virt-df/ From rjones at redhat.com Tue Nov 18 21:50:05 2008 From: rjones at redhat.com (Richard W.M. Jones) Date: Tue, 18 Nov 2008 21:50:05 +0000 Subject: Heads up: OCaml 3.11.0 rebuild for Fedora 11 In-Reply-To: <1227044082.19833.TMDA@tmda.severn.wwwdotorg.org> References: <20081118174914.GA27575@amd.home.annexia.org> <1227044082.19833.TMDA@tmda.severn.wwwdotorg.org> Message-ID: <20081118215005.GA28727@amd.home.annexia.org> On Tue, Nov 18, 2008 at 02:34:41PM -0700, Stephen Warren wrote: > On Tue, November 18, 2008 10:49 am, Richard W.M. Jones wrote: > > > > Just a note that I'll be building OCaml 3.11.0+beta1 in Fedora 11 > > (future Rawhide). This will break everything OCaml-related for a > > little while, since it's known that some packages don't build with the > > new OCaml compiler yet. > > Will you be initiating rebuilds of all the built-with-OCaml packages, or > is this a heads-up that individual maintainers need to, once the base > compiler build is done/tagged/pushed? I will try to rebuild all dependent packages as well. Not ones out of the Fedora tree though obviously .. I'm actually going to test the upgrade on my local machine [using smock!] first so hopefully I won't be committing anything catastrophically bad. Rich. -- 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 From rjones at redhat.com Wed Nov 19 17:11:14 2008 From: rjones at redhat.com (Richard W.M. Jones) Date: Wed, 19 Nov 2008 17:11:14 +0000 Subject: Heads up: OCaml 3.11.0 rebuild for Fedora 11 In-Reply-To: <20081118174914.GA27575@amd.home.annexia.org> References: <20081118174914.GA27575@amd.home.annexia.org> Message-ID: <20081119171114.GA1584@amd.home.annexia.org> The complete rebuild went surprisingly well. Out of 48 packages named 'ocaml*', these are the 9 packages which _failed_ to build on my local (x86-64) machine: ocaml-type-conv camlp4 problem, already fixed upstream ocaml-gsl strange problem in String.index_from function ocaml-gettext " ocaml-pxp " ocaml-cil some sort of build system problem ocaml-omake undefined reference to caml_sync ocaml-pa-monad tighter module naming restrictions in 3.11 breaks this ocaml-sexplib requires ocaml-type-conv, see above ocaml-bitstring requires ocaml-cil, also has a known camlp4 problem Rich. -- Richard Jones, Emerging Technologies, Red Hat http://et.redhat.com/~rjones virt-df lists disk usage of guests without needing to install any software inside the virtual machine. Supports Linux and Windows. http://et.redhat.com/~rjones/virt-df/ From rjones at redhat.com Thu Nov 20 13:53:42 2008 From: rjones at redhat.com (Richard W.M. Jones) Date: Thu, 20 Nov 2008 13:53:42 +0000 Subject: Heads up: OCaml 3.11.0 rebuild for Fedora 11 In-Reply-To: <49245BC4.8040001@cora.nwra.com> References: <20081118174914.GA27575@amd.home.annexia.org> <20081119171114.GA1584@amd.home.annexia.org> <49245BC4.8040001@cora.nwra.com> Message-ID: <20081120135342.GA6816@amd.home.annexia.org> On Wed, Nov 19, 2008 at 11:32:36AM -0700, Orion Poplawski wrote: > Can you test plplot? Works fine under 3.11.0. BTW I would strongly recommend that the plplot-ocaml* subpackages should include the correct OCaml dependencies, as required by the guidelines and as produced by the custom ocaml-find-requires script. https://fedoraproject.org/wiki/Packaging/OCaml#Requires_and_provides Rich. -- Richard Jones, Emerging Technologies, Red Hat http://et.redhat.com/~rjones Read my OCaml programming blog: http://camltastic.blogspot.com/ Fedora now supports 68 OCaml packages (the OPEN alternative to F#) http://cocan.org/getting_started_with_ocaml_on_red_hat_and_fedora From rich at annexia.org Fri Nov 21 10:46:13 2008 From: rich at annexia.org (Richard Jones) Date: Fri, 21 Nov 2008 10:46:13 +0000 Subject: Notes from testing OCaml 3.11.0+beta1 on Fedora Message-ID: <20081121104612.GA12459@annexia.org> Fedora compiled most of our OCaml packages for 3.11.0+beta1 now. Here are my notes on this, which I hope prove helpful for anyone else trying out 3.11. Firstly you can get any of the packages / patches we are using through our CVS repo here: http://cvs.fedoraproject.org/viewvc/devel/ Packages _other_ than those listed below built without any problems and are available from my temporary repository (http://www.annexia.org/tmp/mingw/fedora-10/x86_64). They will eventually get built in Fedora 11. Fedora 10 (released next week) will continue to be based on OCaml 3.10.2. Base ocaml package ------------------------------ Here are the patches we are carrying (NB especially patch 6): Patch0: ocaml-3.11.0-rpath.patch Patch1: ocaml-user-cflags.patch # Support for PPC64 platform by David Woodhouse: Patch3: ocaml-3.11.0-ppc64.patch # This is a patch from upstream which fixes PR#4637, PR#4582. # http://camlcvs.inria.fr/cgi-bin/cvsweb/ocaml/stdlib/string.ml.diff?r1=text&tr1 =1.29&r2=text&tr2=1.28 # commonly manifested as errors thrown saying: # Invalid_argument("String.index_from") Patch6: ocaml-3.11.0-string-index-from.patch These are the patches we have removed since 3.10.2, which we believe are no longer necessary: # Patch to work with new TCL versions: #Patch2: ocaml-3.10.0-tclver.patch # Not needed because the GC allocator was completely rewritten: #Patch4: ocaml-3.10.1-map32bit.patch # A similar fix went upstream in 3.11.0: #Patch5: ocaml-3.11-dev12-no-executable-stack.patch cduce ------------------------------ Camlp4 parsing problem: Build runtime/print_xml.cmx File "runtime/print_xml.ml", line 110, characters 35-37: Parse error: [expr level ;] expected after "in" (in [expr]) File "runtime/print_xml.ml", line 1, characters 0-1: Error: Preprocessor error make: *** [runtime/print_xml.cmx] Error 2 cmigrep ------------------------------ Small patch required, sent upstream (see our CVS). coq ------------------------------ Strange camlp4 problem, not yet resolved. Maybe just a missing BuildRequires: OCAMLC lib/pp.mli OCAMLC4 lib/pp.ml4 sh: camlp4o: command not found File "lib/pp.ml4", line 1, characters 0-1: Error: Preprocessor error freetennis ------------------------------ Since we upgraded to camlimages 3.0.1, freetennis is looking for a library called ci_core.cmxa which no longer appears to exist. Upstream seems to be dead on this one. ocaml-bitstring ------------------------------ Small patch required to fix a camlp4 parsing problem, not yet upstream (see our CVS). ocaml-cil ------------------------------ Build system failure - I didn't look very closely at this yet. ocaml-ocamlgraph ------------------------------ There seem to be a number of build problems with the 1.0 release of ocamlgraph. I'm not sure if these are related to 3.11.0 or not. ocaml-omake ------------------------------ Undefined reference to caml_sync. Not looked into this yet. ocaml-pa-monad ------------------------------ Stricter module naming restrictions in 3.11: ocamlc -warn-error AX -g -pp 'camlp4orf -I . pa_monad.cmo' -c pythagorean-triples.ml File "pythagorean-triples.ml", line 1, characters 0-1: Warning X: bad source file name: "Pythagorean-triples" is not a valid module name. File "pythagorean-triples.ml", line 1, characters 0-1: Error: Error-enabled warnings (1 occurrences) type-conv & sexplib ------------------------------ These work fine, but you must upgrade to the latest versions. virt-df ------------------------------ camlp4 parsing problem, not yet resolved. Rich. -- Richard Jones Red Hat From carette at mcmaster.ca Fri Nov 21 17:26:15 2008 From: carette at mcmaster.ca (Jacques Carette) Date: Fri, 21 Nov 2008 12:26:15 -0500 Subject: [Caml-list] Notes from testing OCaml 3.11.0+beta1 on Fedora In-Reply-To: <20081121104612.GA12459@annexia.org> References: <20081121104612.GA12459@annexia.org> Message-ID: <4926EF37.60309@mcmaster.ca> Richard Jones wrote: > ocaml-pa-monad > ------------------------------ > > Stricter module naming restrictions in 3.11: > > ocamlc -warn-error AX -g -pp 'camlp4orf -I . pa_monad.cmo' -c pythagorean-triples.ml > File "pythagorean-triples.ml", line 1, characters 0-1: > Warning X: bad source file name: "Pythagorean-triples" is not a valid module name. > File "pythagorean-triples.ml", line 1, characters 0-1: > Error: Error-enabled warnings (1 occurrences) > We are just about to release a new version of pa-monad which will fix this problem. Jacques From rjones at redhat.com Wed Nov 26 15:50:28 2008 From: rjones at redhat.com (Richard W.M. Jones) Date: Wed, 26 Nov 2008 15:50:28 +0000 Subject: OCaml 3.11.0+rc1 Message-ID: <20081126155028.GA2677@amd.home.annexia.org> I'm compiling all the OCaml packages now for OCaml 3.11.0+rc1. Everything seems to be going well - you'll be able to get new packages from here some time tomorrow morning (my ADSL line is super-slow when uploading large files): http://www.annexia.org/tmp/mingw/fedora-10/ These are the packages we haven't been able to build: coq cduce freetennis ocaml-cil ocaml-omake ocaml-ocamlgraph ocaml-pa-monad virt-df Rich. -- Richard Jones, Emerging Technologies, Red Hat http://et.redhat.com/~rjones virt-df lists disk usage of guests without needing to install any software inside the virtual machine. Supports Linux and Windows. http://et.redhat.com/~rjones/virt-df/ From rjones at redhat.com Wed Nov 26 16:10:02 2008 From: rjones at redhat.com (Richard W.M. Jones) Date: Wed, 26 Nov 2008 16:10:02 +0000 Subject: OCaml 3.11.0+rc1 In-Reply-To: <20081126155028.GA2677@amd.home.annexia.org> References: <20081126155028.GA2677@amd.home.annexia.org> Message-ID: <20081126161002.GA2889@amd.home.annexia.org> On Wed, Nov 26, 2008 at 03:50:28PM +0000, Richard W.M. Jones wrote: > > I'm compiling all the OCaml packages now for OCaml 3.11.0+rc1. > > Everything seems to be going well - you'll be able to get new packages > from here some time tomorrow morning (my ADSL line is super-slow when > uploading large files): > > http://www.annexia.org/tmp/mingw/fedora-10/ > > These are the packages we haven't been able to build: & ocaml-deriving has a problem too ... Rich. -- 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