From: Gabriel Scherer <gabriel.scherer@gmail.com>
To: "David MENTRÉ" <dmentre@linux-france.org>
Cc: caml users <caml-list@inria.fr>
Subject: Re: [Caml-list] [IMPORTANT] Intel Skylake / Kaby Lake hardware bug affects OCaml programs
Date: Sat, 22 Jul 2017 09:27:54 +0200 [thread overview]
Message-ID: <CAPFanBFSJJngLdZ3NfMPRGdrtywMZgyMLMx7xfvLWhBVcoG23w@mail.gmail.com> (raw)
In-Reply-To: <7b66ec99-4a69-a5b3-1c88-8f2759583941@linux-france.org>
You can install a new switch from an arbitrary OCaml distribution
source (with arbitrary configure options) using my convenience script:
https://github.com/gasche/opam-compiler-conf
(You could also set up a local opam repository, and create a new
switch there with extra configure options. This could be nicer if you
plan to apply the changes to several different machines.)
Then you can replicate the installed packages of an other switch by
using "opam switch {export,import}":
https://opam.ocaml.org/doc/FAQ.html#CanIgetanewswitchwiththesamepackagesinstalled
On Fri, Jul 21, 2017 at 3:00 PM, David MENTRÉ <dmentre@linux-france.org> wrote:
> Hello,
>
> Le 2017-06-30 à 15:51, Xavier Leroy a écrit :
>> - Reinstall OCaml using clang instead of GCC.
>
> Is there an easy way to that with opam, assuming opam is already
> installed with a set of packages?
>
> I looked in the OPAM's FAQ but found nothing up to now.
>
> Best regards,
> david
>
> --
> Caml-list mailing list. Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
prev parent reply other threads:[~2017-07-22 7:28 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-06-30 13:51 Xavier Leroy
2017-06-30 14:15 ` Xavier Leroy
2017-06-30 15:17 ` Gabriel Scherer
2017-06-30 15:31 ` Emilio Jesús Gallego Arias
2017-06-30 16:30 ` Julia Lawall
2017-06-30 16:46 ` Anton Bachin
2017-06-30 17:03 ` Xavier Leroy
2017-07-05 1:01 ` Johannes Kanig
2017-06-30 15:28 ` Mark Shinwell
2017-06-30 15:19 ` Maxime Dénès
2017-06-30 15:38 ` Anton Bachin
2017-07-21 13:00 ` David MENTRÉ
2017-07-22 7:27 ` Gabriel Scherer [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=CAPFanBFSJJngLdZ3NfMPRGdrtywMZgyMLMx7xfvLWhBVcoG23w@mail.gmail.com \
--to=gabriel.scherer@gmail.com \
--cc=caml-list@inria.fr \
--cc=dmentre@linux-france.org \
/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).