Zulip Chat Archive

Stream: general

Topic: macs

Reid Barton (Sep 01 2018 at 18:49):

Any mac users here? I'm trying to install lean on the mac in my new hotel room

Reid Barton (Sep 01 2018 at 18:50):

Having trouble related to libgmp. Do people use brew?

Kevin Buzzard (Sep 01 2018 at 19:08):

yes

Patrick Massot (Sep 01 2018 at 19:08):

see https://github.com/leanprover/lean/issues/1971

Kevin Buzzard (Sep 01 2018 at 19:09):

or https://leanprover.zulipchat.com/#narrow/stream/113489-new-members/topic/trouble.20running.20lean.20on.20mac

Reid Barton (Sep 01 2018 at 19:14):

Thanks. I managed to install brew and get it to build gmp without root access, but definitely we should figure out how to make this easier at some point

Kevin Buzzard (Sep 01 2018 at 19:14):

cocalc :-) Of course you're right though.

Reid Barton (Sep 01 2018 at 19:15):

Yeah but in this case I like that I don't have to trust this computer with any identifying information about myself

Reid Barton (Sep 01 2018 at 19:16):

... any hints about typing # on a European keyboard?

Reid Barton (Sep 01 2018 at 19:17):

UK layout I think

Reid Barton (Sep 01 2018 at 19:18):

Never mind, I "fixed" it

Kevin Buzzard (Sep 01 2018 at 19:19):

it's just above the right shift key on my UK keyboard

Last updated: Dec 20 2023 at 11:08 UTC