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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id BB37E7EE25 for ; Thu, 31 Oct 2013 21:43:32 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of jp.deplaix@gmail.com) identity=pra; client-ip=209.85.214.53; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jp.deplaix@gmail.com"; x-sender="jp.deplaix@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of jp.deplaix@gmail.com designates 209.85.214.53 as permitted sender) identity=mailfrom; client-ip=209.85.214.53; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jp.deplaix@gmail.com"; x-sender="jp.deplaix@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-bk0-f53.google.com) identity=helo; client-ip=209.85.214.53; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jp.deplaix@gmail.com"; x-sender="postmaster@mail-bk0-f53.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtICAGzAclLRVdY1lWdsb2JhbABZgz+DZ7xYgSgWDgEBAQEHDQkJEiqCJQEBBSMVCAEbHgMMBgULDQICBSECAg8CEhEBBQEcEwgCh3ABAw8EAQieFowEU4MKhD0KGScNZIkBAQUMgR2MV4FWFoJVgUMDjFeLM4EvhQ57gwyFWUGEUg X-IPAS-Result: AtICAGzAclLRVdY1lWdsb2JhbABZgz+DZ7xYgSgWDgEBAQEHDQkJEiqCJQEBBSMVCAEbHgMMBgULDQICBSECAg8CEhEBBQEcEwgCh3ABAw8EAQieFowEU4MKhD0KGScNZIkBAQUMgR2MV4FWFoJVgUMDjFeLM4EvhQ57gwyFWUGEUg X-IronPort-AV: E=Sophos;i="4.93,611,1378850400"; d="scan'208";a="32931952" Received: from mail-bk0-f53.google.com ([209.85.214.53]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 31 Oct 2013 21:43:26 +0100 Received: by mail-bk0-f53.google.com with SMTP id w11so1195579bkz.40 for ; Thu, 31 Oct 2013 13:43:25 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:subject:references :in-reply-to:content-type:content-transfer-encoding; bh=r29rKa9XHb2ReUdIpBEuPxW5v2Xyt1URqqQccwyyZHY=; b=1G41ALzzDGEwI8jc0SxfKLeqxVvaYeH74Rb6yNmjOTfrCA0lSiErZ3RMKXq0RHaFe6 5VW7k49TmiX2QFgBTgc8bXE4xTc2nFVWiCEsvcOwmkjNhv2UIzmmQqojb6L/Pr10Obo1 Txz5xIdpaPKdBSN6pzETnKIMYiOgJR3QZS/x1gjFpDR/0GFDs+PvlfhYVMgmmZVnd+Eh m2YzZSsECR1SGvQ4JhqwTU1wRJXSQZouCntk7XHc8vAwEksPwqIzY8bRxaMIAsDwfzCf GkOwB0xZ0eIimfUJdAcL+leg500CMskBYxO254mPFbMI9mbKF+gtEQa4Q8p7pkXIfdbg wF3A== X-Received: by 10.204.78.194 with SMTP id m2mr57854bkk.107.1383252205496; Thu, 31 Oct 2013 13:43:25 -0700 (PDT) Received: from [192.168.0.24] (ter75-1-82-66-240-20.fbx.proxad.net. [82.66.240.20]) by mx.google.com with ESMTPSA id on10sm4004014bkb.13.2013.10.31.13.43.24 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Thu, 31 Oct 2013 13:43:24 -0700 (PDT) Message-ID: <5272C0EB.90602@gmail.com> Date: Thu, 31 Oct 2013 21:43:23 +0100 From: Jacques-Pascal Deplaix User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Icedove/24.0 MIME-Version: 1.0 To: caml-list@inria.fr References: <5272AA1B.1040403@gmail.com> In-Reply-To: <5272AA1B.1040403@gmail.com> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Ubuntu + Batteries ... missing (?) Batteries_uni module Hi, Batteries_uni is now Batteries. The api documentation that you linked is the one for batteries 1.X, the api documentation for batteries 2 is here: http://ocaml-batteries-team.github.io/batteries-included/hdoc2/ Cheers, On 10/31/2013 08:06 PM, Matej Kosik wrote: > Hi, > > My colleague recently updated his Ubuntu box and, after upgrade, he noticed that he cannot compile my Ocaml programs, which rely on Batteries. > > I looked into the matter and noticed a version mismatch > > libbatteries-ocaml-dev version 1.4.3-1 in Debian 8 (my machine) > http://packages.debian.org/jessie/amd64/libbatteries-ocaml-dev/filelist > > libbatteries-ocaml-dev version 2.0-1 in Ubuntu 13 (his machine) > http://packages.ubuntu.com/saucy/amd64/libbatteries-ocaml-dev/filelist > > Compilation failure is related to the fact that > > Batteries_uni > > module is not present. > > # This: > # > # apt-file search batteries_uni.cmi > # > # does not return anything on Ubuntu 13 whereas on Debian 8 it returns: > # > # libbatteries-ocaml-dev: /usr/lib/ocaml/batteries/batteries_uni.cmi > > so he is getting: > > Error: Unbound module Batteries_uni > > I understand that the versions of the library are different (1.4.3-1 vs 2.0-1) so the API can be incompatible, > although missing Batteries_uni module is surprising because it is not declared to be removed from the latest Batteries version: > > http://ocaml-batteries-team.github.io/batteries-included/hdoc/Batteries_uni.html > > I would like to ask whether this situation is correct (and I should not rely on Batteries_uni module anymore) or it is a ommision (breakage) in Ubuntu package? > > Thanks in advance for the help. >