From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 275167ED26 for ; Thu, 31 May 2012 13:33:32 +0200 (CEST) X-IronPort-AV: E=Sophos;i="4.75,692,1330902000"; d="scan'208";a="160721030" Received: from macadam.inria.fr (HELO [192.168.1.3]) ([128.93.8.130]) by mail1-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 31 May 2012 13:33:32 +0200 From: Damien Doligez Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Date: Thu, 31 May 2012 13:33:31 +0200 Message-Id: To: caml users Mime-Version: 1.0 (Apple Message framework v1278) X-Mailer: Apple Mail (2.1278) Subject: [Caml-list] OCaml 4.00.0 compatibility report Hello world, I have compiled the following software with the latest development version of OCaml 4.00.0 (which is very near beta). See below for a list of what I had to patch to get these to compile. The packages I had to patch are marked here with a * or a - The patch files are available at this address: http://gallium.inria.fr/~doligez/ocaml-4.00.0-compatibility-patches/ advi-1.10.2.tar.gz alt-ergo-0.94.tar.gz * bin_prot-2.0.3.tar.gz * boomerang-0.2-source.tar.gz * calendar-2.03.1.tar.gz camldbm-1.0.tgz camlimages-4.0.1.tar.bz2 # camlp5-6.05.tgz * camlzip-1.04.tar.gz camomile-0.8.4.tar.bz2 config-file-1.1.tar.gz * coq-8.3pl4.tar.gz * core-107.01.tar.gz - core_extended-107.01.tar.gz - cryptokit-1.5.tar.gz * extlib-1.5.2.tar.gz - fieldslib-107.01.tar.gz * findlib-1.3.1.tar.gz * frama-c-Nitrogen-20111001.tar.gz gw-6.04-src.tgz * haxe-2.10dev.tar.gz * hevea-1.10.tar.gz lablgtk-2.14.2.tar.gz * lablgtkextras-1.1.tar.gz * lwt-2.3.2.tar.gz menhir-20111019.tar.gz * mldonkey-3.1.2.tar.gz oasis-0.3.0~rc6.tar.gz * obrowser-1.1.1.tar.gz - ocaml-data-notation-0.0.6.tar.gz - ocaml-expect-0.0.2.tar.gz - ocaml-fileutils-0.4.3.tar.gz ocaml-mysql-1.0.4.tar.gz ocaml-ssl-0.4.6.tar.gz - ocaml-text-0.5.tar.gz ocamlgraph-1.8.2.tar.gz ocamlify-0.0.1.tar.gz ocamlmod-0.0.1.tar.gz * ocamlnet-3.5.1.tar.gz ocamlscript-2.0.2.tar.bz2 ocgi-0.5.tar.gz * ocsigen-bundle-2.1a.tar.gz * omake-0.9.8.6-0.rc1.tar.gz - ounit-1.1.1.tar.gz pcre-ocaml-6.2.5.tar.gz react-0.9.3.tbz res-release-3.2.0.tar.gz - sexplib-7.0.2.tar.gz * sks-1.1.3.tgz * sqlite3-ocaml-1.6.3 - type-conv-2.3.0.tar.gz unison-2.45.4.tar.gz * vsyml-2010-04-06.tar.gz * xml-light-2.2.zip xmlm-1.1.0.tbz zen_2.3.2.tar.gz ----------------------------------------------------------- First, a number of packages use a version of oasis that is not compatible with OCaml 4.00.0 and their setup.ml had to be patched (with patch file oasis-common.patch). Oasis has now been updated, and fixing this is just a matter of regenerating setup.ml. These packages are: bin_prot, core, core_extended, cryptokit, fieldslib, lwt, ocaml-data-notation, ocaml-expect, ocaml-fileutils, ocaml-text, ounit, sexplib, type-conv The packages marked above with a - didn't need any other change. Here is a summary of the other patches: bin_prot: 1 line Change myocamlbuild.ml to remove -Werror from gcc flags. boomerang: 1 line Change Makefile to remove "doc" from subdirs calendar: 2 lines Change configure to accept OCaml versions >=3D 4.00.0 camlp5: Daniel is working on a new version to accomodate some big changes in OCaml 4.00.0 camlzip: 11 lines Change Makefile to configure the location of libz.a Add a META file for findlib Install zlib.{cmi,cmx,mli} coq: 5 lines Change configure to accept OCaml 4.* Change coqmktop.ml to use the new compiler-libs stuff. Note: not tested with the very latest OCaml 4.00 because camlp5 is not yet available. core: 2 lines Change core_unix.{ml,mli} to add constructor O_SHARE_DELETE to type open_= flag extlib: 1 line Change extHashtbl.ml to adapt to the change of Hashtbl.create findlib: 3 lines Change Makefile and topfind.p to use the new compiler-libs stuff [ patch courtesy of Jonathan Protzenko ] frama-c: 41 lines Change many files to adapt to the change of Hashtbl.create Change configure to accept OCaml 4.* gw-6.04-src (geneweb): Note: not tested with the very latest OCaml 4.00 because camlp5 is not yet available. haxe: 1 line Change extHashtbl.mli to adapat to the change of Hashtbl.create hevea: 2 lines Change hevea.ml to remove target file in case of error Change Makefile to pass LIBDIR and LATEXLIBDIR to install script lablgtkextras: 2 lines Change checkocaml.ml and Makefiles to adapt to the default install of lablgtk lwt: 4 lines Change lwt_unix.mli and lwt_unix.ml to add constructor O_SHARE_DELETE to type open_flag Change myocamlbuild.ml to adapt to the new compiler-libs stuff mldonkey: 3 lines Change configure to accept OCaml 4.* Change Makefile to fix bug when FIX_BROKEN_CPP is defined oasis: 8 lines Change setup.ml to handle OCaml version numbers with a + suffix obrowser-1.1: many lines Change in Makefile to add .PHONY annotation to AXO (my filesystem is case-insensitive, so AXO interferes with axo) Change Makefile to accept OCaml 4.* Update pervasives.ml, pervasives.mli, list.ml, list.mli to reflect OCaml changes ocamlnet: 3 lines Change netsys_posix.ml to remove useless dependence on the precise defini= tion of Unix.open_flag Change Makefile.def to adapt to the new compiler-libs stuff ocsigen-bundle: 5 lines Change Makefiles to remove non-standard use of \n in sed commands Change configure to use pre-installed lwt and to not build eliom omake: 1 line Change in OMakefiles to remove "-warn-error A" sks: 5 lines Change Makefile.local to configure libdb and install dir for man pages sqlite3-ocaml: 2 lines Change Makefile to remove "-warn-error A" vsyml: 4 lines Changes in Makefile to remove non-portable "echo -n" xml-light: 3 lines Changes in Makefile to install in a subdirectory of .../lib/ocaml This is needed because xml-light exports xml.cmi and ocsigen has a file xML.mli. These two conflict because my filesystem is case-insensi= tive. -- Damien