caml-list - the Caml user's mailing list
 help / color / Atom feed
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
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.

      reply index

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

caml-list - the Caml user's mailing list

Archives are clonable:
	git clone --mirror http://inbox.vuxu.org/caml-list
	git clone --mirror https://inbox.ocaml.org/caml-list

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.caml-list


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git