From: Helmut Brandl <helmut.brandl@gmx.net>
To: Caml List <caml-list@inria.fr>
Subject: Re: [Caml-list] Problems installing with opam
Date: Mon, 28 Mar 2016 08:58:42 -0600 [thread overview]
Message-ID: <56F946A2.7020209@gmx.net> (raw)
In-Reply-To: <56F94198.1040505@inria.fr>
Thanks,
a complete reinstallation of opam resolved the problem. However since I
have never edited something in the ".opam" directory, opam seems to have
screwed up its own directory.
Regards
Helmut
On 03/28/2016 08:37 AM, Francois Berenger wrote:
> On 03/28/2016 04:13 PM, Helmut Brandl wrote:
>> On 03/28/2016 07:40 AM, Kakadu wrote:
>>> >From your camlp4 log I see that you re installing camlp4 patched for
>>> implicits using 4.02.3 compiler. You should not do that. You need to
>>> investigate why opam decides to install this version of camlp4.
>> How can I find out why opam makes this decision?
>>
>> Something looks very screwed up. I have tried to switch to 4.00.0, but
>> this fails with
>
> The "ejection seat" procedure with opam is:
>
> 1) rm -rf ~/.opam
> 2) remove all system-wide-installed ocaml packages/libraries
> from your computer (ocaml, camlp4, findlib, etc).
> 3) reinstall opam from scratch
> 4) opam switch to the compiler you need
> 5) opam install all your needed tools/libraries
>
next prev parent reply other threads:[~2016-03-28 14:58 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-03-28 3:08 Helmut Brandl
2016-03-28 5:48 ` Mohamed Iguernlala
2016-03-28 12:32 ` Helmut Brandl
2016-03-28 12:37 ` Kakadu
2016-03-28 12:44 ` Helmut Brandl
2016-03-28 12:51 ` Kakadu
2016-03-28 13:14 ` Helmut Brandl
[not found] ` <56F930FF.6080607@inria.fr>
2016-03-28 13:36 ` Helmut Brandl
2016-03-28 13:40 ` Kakadu
2016-03-28 14:13 ` Helmut Brandl
[not found] ` <56F94198.1040505@inria.fr>
2016-03-28 14:58 ` Helmut Brandl [this message]
2016-03-28 11:12 ` Mr. Herr
2016-03-28 12:13 ` Francois Berenger
2016-03-28 12:27 ` Helmut Brandl
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=56F946A2.7020209@gmx.net \
--to=helmut.brandl@gmx.net \
--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