From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <5764c029b688c1c0d24a2e97cd764f@gmail.com>
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 2F5557F712
	for <caml-list@sympa.inria.fr>; Sat, 25 Jan 2014 12:05:18 +0100 (CET)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  5764c029b688c1c0d24a2e97cd764f@gmail.com) identity=pra;
  client-ip=74.125.82.182;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com";
  x-sender="5764c029b688c1c0d24a2e97cd764f@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  5764c029b688c1c0d24a2e97cd764f@gmail.com designates
  74.125.82.182 as permitted sender) identity=mailfrom;
  client-ip=74.125.82.182;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com";
  x-sender="5764c029b688c1c0d24a2e97cd764f@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-we0-f182.google.com) identity=helo;
  client-ip=74.125.82.182;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com";
  x-sender="postmaster@mail-we0-f182.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AsQEALCZ41JKfVK2lGdsb2JhbABagiCBJLoKhBwWDgEBAQEHCwsJEiqCbAEbHAIDEhAWFhgDAgECARERAQUBLwgCh2wBAxEEAQiceYMIjFyDCZJ5ChknDWSFAwEFDI8ehCIEmCeGR4lqQYRZ
X-IPAS-Result: AsQEALCZ41JKfVK2lGdsb2JhbABagiCBJLoKhBwWDgEBAQEHCwsJEiqCbAEbHAIDEhAWFhgDAgECARERAQUBLwgCh2wBAxEEAQiceYMIjFyDCZJ5ChknDWSFAwEFDI8ehCIEmCeGR4lqQYRZ
X-IronPort-AV: E=Sophos;i="4.95,719,1384297200"; 
   d="scan'208";a="46085864"
Received: from mail-we0-f182.google.com ([74.125.82.182])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 25 Jan 2014 12:05:17 +0100
Received: by mail-we0-f182.google.com with SMTP id w62so3579197wes.41
        for <caml-list@inria.fr>; Sat, 25 Jan 2014 03:05:17 -0800 (PST)
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
         :content-type:content-transfer-encoding;
        bh=+FpiXAUZUvsS0YoLfq+5fT5xCTMZRh3ImAz/lXRT5Bo=;
        b=DFvnNiZE1hHWrIul469rK5s9hZ+5g5r1pvRkH73dnsG99wTiQA+NM7hw0pobdQppqX
         LXFHRxjKXwr9K7Lh7EW1FacHQ3Jm/MKGfussu73fjVcVsSs3JA/MVl2Ss1d6avb1k+Jx
         bIQ7BFETXe8U/5IAc44UlZ1XSnV5gUcMTdvLCqPs7g4DLw7DpZ582ige6Xcr3zb3xG3P
         jSj0NGdG0P5MPg295u0wA9bLJbrTO4SGuW+6l0gb1NoeUMV7ZUvXHyB4QEOK5XQXhRpU
         9W8a2DW5g8sgs3FuNrySHpt3RWBKLDRNuHr54Z/vpgxw/UdNf9Ru1aKm3B1y53hdFZKx
         OUOQ==
X-Received: by 10.181.13.165 with SMTP id ez5mr6205783wid.56.1390647916968;
        Sat, 25 Jan 2014 03:05:16 -0800 (PST)
Received: from [172.27.6.167] ([213.106.240.92])
        by mx.google.com with ESMTPSA id ci4sm9061560wjc.21.2014.01.25.03.05.16
        for <caml-list@inria.fr>
        (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128);
        Sat, 25 Jan 2014 03:05:16 -0800 (PST)
Message-ID: <52E39A70.7040109@gmail.com>
Date: Sat, 25 Jan 2014 11:05:20 +0000
From: Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20131103 Icedove/17.0.10
MIME-Version: 1.0
To: caml-list@inria.fr
X-Enigmail-Version: 1.6
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Subject: [Caml-list] what is the expected output of "opam list"?

Hi,

I do not have any prior experience with opam.

I am trying to install opam on CentOS 6.3.
I do not think that I can use compiled binaries here

  (wget http://www.ocamlpro.com/pub/opam_installer.sh
   sh ./opam_installer.sh /usr/local/bin)

because of libc version mismatch.

I have therefore decided to compile it from sources

  (wget http://www.ocamlpro.com/pub/opam-full-1.1.0.tar.gz
   tar xvzf opam-full-1.1.0.tar.gz
   mkdir ~/opam
   cd opam-full-1.1.0
   ./configure --prefix ~/opam
   make
   make install
   opam init)

When I type:

   opam list

I see:

   base-bigarray  base  Bigarray library distributed with the OCaml compiler
   base-threads   base  Threads library distributed with the OCaml compiler
   base-unix      base  Unix library distributed with the OCaml compiler

I guess that this is wrong although I am not sure what did I do wrong.
To put it another way: how can I install, say, mikmatch via opam?

Any good advice is welcome.