From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=AWL,SPF_FAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 8EC51BBAF for ; Fri, 21 Nov 2008 11:46:34 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmECAK8gJknAXQImgWdsb2JhbACTWQEBFiLAGYJ8 X-IronPort-AV: E=Sophos;i="4.33,643,1220220000"; d="scan'208";a="19412113" Received: from discorde.inria.fr ([192.93.2.38]) by mail3-smtp-sop.national.inria.fr with ESMTP; 21 Nov 2008 11:46:16 +0100 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id mALAkFGT024133 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 21 Nov 2008 11:46:15 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmECAIogJklQRFuwgWdsb2JhbACTWQEBFiLAEIJ8 X-IronPort-AV: E=Sophos;i="4.33,643,1220220000"; d="scan'208";a="31684081" Received: from furbychan.cocan.org ([80.68.91.176]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 21 Nov 2008 11:46:15 +0100 Received: from rich by furbychan.cocan.org with local (Exim 4.63) (envelope-from ) id 1L3TWf-0003L3-Ci; Fri, 21 Nov 2008 10:46:13 +0000 Date: Fri, 21 Nov 2008 10:46:13 +0000 To: caml-list@inria.fr, debian-ocaml-maint@lists.debian.org Cc: fedora-ocaml-list@redhat.com Subject: Notes from testing OCaml 3.11.0+beta1 on Fedora Message-ID: <20081121104612.GA12459@annexia.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.13 (2006-08-11) From: Richard Jones X-Miltered: at discorde with ID 49269177.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 cvs:01 cvs:01 mingw:01 ocaml-:01 -rpath:01 ocaml-:01 camlcvs:01 cvsweb:01 stdlib:01 allocator:01 cduce:01 camlp:01 runtime:01 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