Upgrading leanproject

Stream: general

[Bolton Bailey]

this --fallback option sounds nice and I would like to switch to leanproject 1.1.0 to get it. Can I just re-run the installation instruction for my intel Mac?

[Yakov Pechersky]

(deleted)

[Yakov Pechersky]

You should be able to do "pip install -U mathlibtools"

[Bolton Bailey]

No dice.

(base) 19:53:56 boltonbailey #=# pip install -U mathlibtools
Collecting mathlibtools
  Downloading mathlibtools-1.1.0-py3-none-any.whl (36 kB)
Requirement already satisfied: toml>=0.10.0 in ./opt/anaconda3/lib/python3.7/site-packages (from mathlibtools) (0.10.1)
Requirement already satisfied: Click in ./opt/anaconda3/lib/python3.7/site-packages (from mathlibtools) (7.0)
Requirement already satisfied: tqdm in ./opt/anaconda3/lib/python3.7/site-packages (from mathlibtools) (4.42.1)
Requirement already satisfied: requests in ./opt/anaconda3/lib/python3.7/site-packages (from mathlibtools) (2.22.0)
Requirement already satisfied: PyYAML>=3.13 in ./opt/anaconda3/lib/python3.7/site-packages (from mathlibtools) (5.3)
Requirement already satisfied: atomicwrites in ./opt/anaconda3/lib/python3.7/site-packages (from mathlibtools) (1.3.0)
Requirement already satisfied: pydot in ./opt/anaconda3/lib/python3.7/site-packages (from mathlibtools) (1.4.1)
Requirement already satisfied: gitpython>=2.1.11 in ./opt/anaconda3/lib/python3.7/site-packages (from mathlibtools) (3.1.12)
Requirement already satisfied: certifi in ./opt/anaconda3/lib/python3.7/site-packages (from mathlibtools) (2019.11.28)
Requirement already satisfied: PyGithub in ./opt/anaconda3/lib/python3.7/site-packages (from mathlibtools) (1.54.1)
Requirement already satisfied: networkx in ./opt/anaconda3/lib/python3.7/site-packages (from mathlibtools) (2.4)
Requirement already satisfied: gitdb<5,>=4.0.1 in ./opt/anaconda3/lib/python3.7/site-packages (from gitpython>=2.1.11->mathlibtools) (4.0.5)
Requirement already satisfied: smmap<4,>=3.0.1 in ./opt/anaconda3/lib/python3.7/site-packages (from gitdb<5,>=4.0.1->gitpython>=2.1.11->mathlibtools) (3.0.5)
Requirement already satisfied: decorator>=4.3.0 in ./opt/anaconda3/lib/python3.7/site-packages (from networkx->mathlibtools) (4.4.1)
Requirement already satisfied: pyparsing>=2.1.4 in ./opt/anaconda3/lib/python3.7/site-packages (from pydot->mathlibtools) (2.4.6)
Requirement already satisfied: pyjwt<2.0 in ./opt/anaconda3/lib/python3.7/site-packages (from PyGithub->mathlibtools) (1.7.1)
Requirement already satisfied: deprecated in ./opt/anaconda3/lib/python3.7/site-packages (from PyGithub->mathlibtools) (1.2.11)
Requirement already satisfied: idna<2.9,>=2.5 in ./opt/anaconda3/lib/python3.7/site-packages (from requests->mathlibtools) (2.8)
Requirement already satisfied: chardet<3.1.0,>=3.0.2 in ./opt/anaconda3/lib/python3.7/site-packages (from requests->mathlibtools) (3.0.4)
Requirement already satisfied: urllib3!=1.25.0,!=1.25.1,<1.26,>=1.21.1 in ./opt/anaconda3/lib/python3.7/site-packages (from requests->mathlibtools) (1.25.8)
Requirement already satisfied: wrapt<2,>=1.10 in ./opt/anaconda3/lib/python3.7/site-packages (from deprecated->PyGithub->mathlibtools) (1.11.2)
Installing collected packages: mathlibtools
Successfully installed mathlibtools-1.1.0
WARNING: You are using pip version 21.0.1; however, version 22.0.3 is available.
You should consider upgrading via the '/Users/boltonbailey/opt/anaconda3/bin/python -m pip install --upgrade pip' command.
(base) 19:54:11 boltonbailey #=# leanproject --version
leanproject, version 1.0.0

[Julian Berman]

It's a bit easier to follow the newer instructions -- https://leanprover-community.github.io/install/macos_details.html#aside-migrating-from-older-installations

[Yakov Pechersky]

What's going on in macs such that the base python install isn't what I expected it would be? Is it this: https://xkcd.com/1987/ ?

[Julian Berman]

Basically :/

[Julian Berman]

(though the output above says Bolton has anaconda installed too)

[Arthur Paulino]

@Bolton Bailey what does $ which pip say?

[Arthur Paulino]

And further, what does $ which leanproject say?

[Julian Berman]

They're going to say /Users/boltonbailey/opt/anaconda3/bin/pip and /Users/boltonbailey/.local/bin/leanproject I suspect.

[Julian Berman]

(In which case I still think it's easier to follow the above, though now you've slightly dirtied your conda env too, which of course is fixable)

[Bolton Bailey]

(base) 10:47:00 boltonbailey #=# which pip
/Users/boltonbailey/opt/anaconda3/bin/pip
(base) 10:47:04 boltonbailey #=# which leanproject
/Library/Frameworks/Python.framework/Versions/3.8/bin/leanproject
(base) 10:47:17 boltonbailey #=#

[Julian Berman]

Close enough :P -- did the brew instructions work or are you still having trouble?

[Arthur Paulino]

If leanproject is not in a conda env, deactivating it with $ conda deactivate might be a better choice before anything. Then maybe Yakov's suggestion will work: $ pip install -U mathlibtools

[Arthur Paulino]

After $ conda deactivate, $ which pip should say something different

[Yakov Pechersky]

It is deactivated, Arthur, (base) is the default environment

[Arthur Paulino]

The base environment is active. I'm talking about deactivating anaconda altogether for this:

(exp) arthur@metamind:~$ conda deactivate
(base) arthur@metamind:~$ conda deactivate
arthur@metamind:~$

:point_up: no more (base)

[Kevin Buzzard]

all your (base) are belong to us