Error in sudo pip3 install mathlibtools

Stream: general

[Jason Rute]

I'm trying to get update-mathlib set up on my Mac. I should have to run sudo pip3 install mathlibtools, but I get:

$sudo pip3 install mathlibtools
Collecting mathlibtools
  Could not find a version that satisfies the requirement mathlibtools (from versions: )
No matching distribution found for mathlibtools

Any thoughts? Do I need a particular version of Python3? Do I need other dependencies installed?

[Jason Rute]

I'm following the instructions here: https://github.com/leanprover-community/mathlib/blob/master/docs/install/macos.md

[Patrick Massot]

You need python at least 3.5 (but every older version of python 3 is officially unsupported by python).

[Patrick Massot]

Note also that update-mathlib will soon be deprecated and replaced by something better (that will have the same python requirements).

[Jason Rute]

$ sudo which pip3
/Library/Frameworks/Python.framework/Versions/3.5/bin/pip3

So I think I'm using a supported version of Python. Honestly, my Python setup is a mess with versions from anaconda and pyenv and versions installed by various software installers. Let me try brew install python3 and see if that helps...

[Patrick Massot]

This is a common theme on Mac computers. I gave up trying to pip install anything on several Mac.

[Jason Rute]

As a data scientist, I don't have that freedom. :(

[Jason Rute]

Ok, brew install python3 gave me a bunch of errors related to conflicts. Before I go too far down the rabbit hole, why is it sudo pip3 and not pip3? If it was the latter, I would create a virtual environment and install it there? Can I do that?

[Patrick Massot]

Sure

[Patrick Massot]

I think the main reason why we have all those sudo in doc is that, by default, Ubuntu doesn't put $HOME/.local/bin/ in the path.

[Patrick Massot]

And also the general assumption is that people who know about python will figure it out.