Ocaml-devel November 2008

ocaml-devel@lists.fedoraproject.org

4 participants
6 discussions

Notes from testing OCaml 3.11.0+beta1 on Fedora
by Richard Jones 09 Dec '08

09 Dec '08

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&… =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

3 2

OCaml 3.11.0+rc1
by Richard W.M. Jones 26 Nov '08

26 Nov '08

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/

1 1

Re: Heads up: OCaml 3.11.0 rebuild for Fedora 11
by Richard W.M. Jones 20 Nov '08

20 Nov '08

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

1 0

Heads up: OCaml 3.11.0 rebuild for Fedora 11
by Richard W.M. Jones 19 Nov '08

19 Nov '08

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/

1 1

Re: Heads up: OCaml 3.11.0 rebuild for Fedora 11
by Richard W.M. Jones 18 Nov '08

18 Nov '08

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

1 0

Plans to package MLGMP?
by Roberto Bagnara 02 Nov '08

02 Nov '08

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@cs.unipr.it

2 1

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

Ocaml-devel November 2008