caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Marek Kubica <marek@xivilization.net>
To: Helmut Brandl <helmut.brandl@gmx.net>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Errors in installing 'lwt'
Date: Mon, 20 Oct 2014 18:50:28 +0200	[thread overview]
Message-ID: <20141020185028.08e66161@xivilization.net> (raw)
In-Reply-To: <5445372A.3050702@gmx.net>

On Mon, 20 Oct 2014 11:24:10 -0500
Helmut Brandl <helmut.brandl@gmx.net> wrote:

> However can you explain to me what I have now. I think I have now two 
> versions of the ocaml compiler installed, one system wide (4.02.0)
> and one installed by opam (4.01.0).

Why 4.01.0? You could run 4.02.1 from OPAM, that has some nice
features :-)

> Is there any possibility to switch back to the system installation in 
> the same shell or do I need to use a fresh shell?

opam switch system

And then do the eval-dance :-)

> I still feel uncomfortable because I don't know why the installation
> of 'lwt' fails with my system installation of ocaml.

Im my experience, the Arch Linux ocaml/camlp4 packages are busted, I
filed a bug but nothing happened:
<https://bugs.archlinux.org/task/41907?dev=162>

(Also, keep in mind to switch to the system compiler when building
packages from AUR, because having the OPAM compiler in the path messes
things up).

regards,
Marek

  reply	other threads:[~2014-10-20 16:53 UTC|newest]

Thread overview: 19+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-10-20 13:59 Helmut Brandl
2014-10-20 14:14 ` Török Edwin
2014-10-20 15:06   ` helmut.brandl
2014-10-20 16:21     ` Török Edwin
2014-10-20 16:37       ` Helmut Brandl
2014-10-20 17:59         ` Török Edwin
2014-10-21  8:18           ` Nicolas Boulay
     [not found]             ` <54461AFF.9010407@inria.fr>
2014-10-21 20:55               ` Nicolas Boulay
2014-10-21 21:25                 ` Török Edwin
     [not found] ` <544518F1.4050907@inria.fr>
     [not found]   ` <544519B6.6050007@gmx.net>
     [not found]     ` <54451A2A.6010300@inria.fr>
2014-10-20 14:44       ` Helmut Brandl
2014-10-20 14:50         ` John Whitington
2014-10-20 14:56           ` Helmut Brandl
2014-10-20 15:03             ` Helmut Brandl
2014-10-20 15:08             ` Francois Berenger
2014-10-20 15:19               ` Helmut Brandl
2014-10-20 15:25                 ` Francois Berenger
2014-10-20 16:24                   ` Helmut Brandl
2014-10-20 16:50                     ` Marek Kubica [this message]
2014-10-20 15:30                 ` Daniel Bünzli

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=20141020185028.08e66161@xivilization.net \
    --to=marek@xivilization.net \
    --cc=caml-list@inria.fr \
    --cc=helmut.brandl@gmx.net \
    /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;
as well as URLs for NNTP newsgroup(s).