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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id C23697F712 for ; Sat, 25 Jan 2014 12:45:53 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of kakadu.hafanana@gmail.com) identity=pra; client-ip=209.85.160.46; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="kakadu.hafanana@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of kakadu.hafanana@gmail.com designates 209.85.160.46 as permitted sender) identity=mailfrom; client-ip=209.85.160.46; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="kakadu.hafanana@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-pb0-f46.google.com) identity=helo; client-ip=209.85.160.46; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="postmaster@mail-pb0-f46.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlcFADuj41LRVaAulGdsb2JhbABag0RKDKkJkzoCAoEBCBYOAQEBAQcLCwkSKoIlAQEBBEABGxILAQMMBgULDQ0hIQEBEQEFAQoSBhMSh14BAxENoAqMXIMJknYKGScDCmSEchEBBQyMa4IWB4Q4AQOJQoYDhnaBbIEyhwaEJYNUGCmEXjc X-IPAS-Result: AlcFADuj41LRVaAulGdsb2JhbABag0RKDKkJkzoCAoEBCBYOAQEBAQcLCwkSKoIlAQEBBEABGxILAQMMBgULDQ0hIQEBEQEFAQoSBhMSh14BAxENoAqMXIMJknYKGScDCmSEchEBBQyMa4IWB4Q4AQOJQoYDhnaBbIEyhwaEJYNUGCmEXjc X-IronPort-AV: E=Sophos;i="4.95,719,1384297200"; d="scan'208";a="54814341" Received: from mail-pb0-f46.google.com ([209.85.160.46]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 25 Jan 2014 12:45:52 +0100 Received: by mail-pb0-f46.google.com with SMTP id um1so4192084pbc.19 for ; Sat, 25 Jan 2014 03:45:50 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=nXPmlkOYanhDHnL471ptpd4v1bnuJNpJPpNrhegjYlo=; b=fND4qBPJfC8NC+xn1uGGqnP3KB3zFhifz8E+8NaPzruVEdKxGep9AeAQc5ci6xIxM5 3yx4jVG6f1Opp4IRR79Ec7956Y62LjHPRecL4R/gj3vZojtG5jLiX5Jxi4ZDwz0MP8ay qop/shk5ymlVefW/Te5YqLHazQd5HdVtiOWTtheIpBYyHAj+hwYG8QyyBUdbfz465Ga2 8nZdBBBFYMNWkJgEzOfyikPf9XFceXL48xishPITG9swGDvnW4/UzERkFT7ho6BKfwAt PKk/CMTw4A0DEgTzGTSr/zDwiFrm4VsSFiNNeXM0IRBZEs3Iofu7qvKNz/UIkXkSOLd+ mbnA== MIME-Version: 1.0 X-Received: by 10.67.12.200 with SMTP id es8mr19189265pad.3.1390650350675; Sat, 25 Jan 2014 03:45:50 -0800 (PST) Received: by 10.70.126.169 with HTTP; Sat, 25 Jan 2014 03:45:50 -0800 (PST) In-Reply-To: <52E39A70.7040109@gmail.com> References: <52E39A70.7040109@gmail.com> Date: Sat, 25 Jan 2014 15:45:50 +0400 Message-ID: From: Kakadu To: Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com> Cc: Caml List Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] what is the expected output of "opam list"? Salut, opam list lists installed opam list -a lists all (available and installed) Kind regards, Kakadu On Sat, Jan 25, 2014 at 3:05 PM, Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com> wrote: > 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. > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs