Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com>
To: caml-list@inria.fr
Subject: [Caml-list] what is the expected output of "opam list"?
Date: Sat, 25 Jan 2014 11:05:20 +0000	[thread overview]
Message-ID: <52E39A70.7040109@gmail.com> (raw)

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.

             reply	other threads:[~2014-01-25 11:05 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-01-25 11:05 Matej Kosik [this message]
2014-01-25 11:45 ` Kakadu
2014-01-25 11:54   ` Matej Kosik
2014-01-25 18:41     ` Ashish Agarwal
2014-01-26 11:59       ` Thomas Gazagnaire

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=52E39A70.7040109@gmail.com \
    --to=5764c029b688c1c0d24a2e97cd764f@gmail.com \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox