From: orbifx <fox@orbitalfox.eu>
To: caml-list@inria.fr
Subject: Re: [Caml-list] dune or opam bug ??
Date: Fri, 13 Dec 2019 21:27:49 +0000 [thread overview]
Message-ID: <5561648c-4f6d-8133-8bc0-c774ffdb5444@orbitalfox.eu> (raw)
In-Reply-To: <34AC0664-EE0C-40EF-AE0A-2E098FD2C8C9@strauss-engineering.ch>
On 13/12/2019 21:18, Philippe Strauss wrote:
> (notice the opam switch complete mixing of switch 4.09.0 w 4.02.3)
> (jane-street support then asked me to try the following: open a bash without profile or run-command execution, for compiling bonsai examples later)
Your environmental variables for your regular shell are probably messed up. This might also mean that packages you installed after it got messed up are also corrupted in subtle ways.
One way would be to trash out your `.opam` directory and remove any lines for OPAM initialisation (e.g. in `.bash_profile`) and starting again. Make sure there isn't anything you are going to miss if you delete `.opam` and be prepared to wait for the building of a new switch and the packages you need.
prev parent reply other threads:[~2019-12-13 21:32 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-12-13 21:18 Philippe Strauss
2019-12-13 21:27 ` orbifx [this message]
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=5561648c-4f6d-8133-8bc0-c774ffdb5444@orbitalfox.eu \
--to=fox@orbitalfox.eu \
--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;
as well as URLs for NNTP newsgroup(s).