Zulip Chat Archive

Stream: general

Topic: installation problems mac

August Noë (Oct 25 2022 at 19:29):

I installed lean on my mac (Intel) and It seemed to go okay, I am just not sure how to access it, Is the assumption that I use my terminal? Is there an ide? Im not super experienced w programming.

Julian Berman (Oct 25 2022 at 19:48):

Hi, welcome. Which instructions did you follow to do so?

Julian Berman (Oct 25 2022 at 19:49):

You should be following https://leanprover-community.github.io/install/macos.html which at the end will take you through now starting to use VSCode as an IDE.

August Noë (Oct 25 2022 at 19:55):

I copied the "fast way" into my terminal and let it do its thing, It finished and I'm not sure what comes next
, I seem to have some python files named vcsode and vs code installer not quite sure what to do

Anatole Dedecker (Oct 25 2022 at 19:59):

In theory the command installed VSCode on its own. Do you see it in your Applications folder?

Anatole Dedecker (Oct 25 2022 at 20:01):

If the installation did work properly, the next step is to follow the instructions at https://leanprover-community.github.io/install/project.html to get your first lean project (typically tutorials)

August Noë (Oct 25 2022 at 20:07):

no, it must not have succeed in installing it fully then

August Noë (Oct 25 2022 at 20:08):

Should i try to install it from elsewhere?

Anatole Dedecker (Oct 25 2022 at 20:09):

Did you get any error message during the installation ?

Anatole Dedecker (Oct 25 2022 at 20:10):

(You can do the command again and see the errors you get, it shouldn't break anything to do it twice)

Anatole Dedecker (Oct 25 2022 at 20:11):

Also, if you want to share the output from the terminal, please put it in #backticks

August Noë (Oct 25 2022 at 20:12):

it gave me an error that it would need to replace certain files but i gave it the go ahead, that was the only error I think

August Noë (Oct 25 2022 at 20:17):

Screen-Shot-2022-10-25-at-1.17.28-PM.png

August Noë (Oct 25 2022 at 20:18):

When I try to run vscode.py, this happens

Anatole Dedecker (Oct 25 2022 at 20:19):

Do you still have the output of the installation command? If so, did it say anything about the "Apple Command Line Tools" (I know that's a frequent problem). If you don't have them, could you re-run the installation command and keep the output so that we can have a look at it?

August Noë (Oct 25 2022 at 20:22):

the command gernerated a lot of text, what specifically do you want me to send?

Anatole Dedecker (Oct 25 2022 at 20:26):

August Noë said:

the command gernerated a lot of text, what specifically do you want me to send?

Well, if there is anything reporting an error, then you should definitely send this part. Otherwise you can just copy-paste the whole output here (between #backticks). Don't worry, Zulip hides long blocks of codes by default

Julian Berman (Oct 25 2022 at 20:34):

August Noë said:

Screen-Shot-2022-10-25-at-1.17.28-PM.png

this error is indicating you have some sort of half-broken Anaconda installation I think.

Julian Berman (Oct 25 2022 at 20:35):

Do you use Anaconda? If you do you should probably try updating it and see if that fixes it, if you don't, you should probably uninstall it and let the script then use another Python on your system.

Julian Berman (Oct 25 2022 at 20:36):

But yes if you still have errors, it's good to share the entire output, you can copy/paste it in a pastebin like https://gist.github.com/ or https://bpa.st/ if it's longer than one Zulip message

Julian Berman (Oct 25 2022 at 20:36):

(Ask if the above isn't clear enough)

August Noë (Oct 25 2022 at 20:44):

I do have anaconda, but i have been meaning to uninstall that, ill give that a try

==> Homebrew has enabled anonymous aggregate formulae and cask analytics.
Read the analytics documentation (and how to opt-out) here:
  https://docs.brew.sh/Analytics
No analytics data has been sent yet (nor will any be during this install run).

==> Homebrew is run entirely by unpaid volunteers. Please consider donating:
  https://github.com/Homebrew/brew#donations

==> Next steps:
- Run brew help to get started
- Further documentation:
    https://docs.brew.sh

==> Downloading https://ghcr.io/v2/homebrew/core/gmp/manifests/6.2.1_1
## 100.0%
==> Downloading https://ghcr.io/v2/homebrew/core/gmp/blobs/sha256:e566452815d2ff
==> Downloading from https://pkg-containers.githubusercontent.com/ghcr1/blobs/sh
#### 100.0%
==> Downloading https://ghcr.io/v2/homebrew/core/coreutils/manifests/9.1
#### 100.0%
==> Downloading https://ghcr.io/v2/homebrew/core/coreutils/blobs/sha256:e446ef88
==> Downloading from https://pkg-containers.githubusercontent.com/ghcr1/blobs/sh
### 100.0%
==> Downloading https://ghcr.io/v2/homebrew/core/elan-init/manifests/1.4.2
### 100.0%
==> Downloading https://ghcr.io/v2/homebrew/core/elan-init/blobs/sha256:83b6e3e8
==> Downloading from https://pkg-containers.githubusercontent.com/ghcr1/blobs/sh
### 100.0%
==> Downloading https://ghcr.io/v2/homebrew/core/gdbm/manifests/1.23
## 100.0%
==> Downloading https://ghcr.io/v2/homebrew/core/gdbm/blobs/sha256:d52ed8dbb258f
==> Downloading from https://pkg-containers.githubusercontent.com/ghcr1/blobs/sh
###100.0%
==> Downloading https://ghcr.io/v2/homebrew/core/mpdecimal/manifests/2.5.1
#### 100.0%
==> Downloading https://ghcr.io/v2/homebrew/core/mpdecimal/blobs/sha256:255b6226
==> Downloading from https://pkg-containers.githubusercontent.com/ghcr1/blobs/sh
#### 100.0%
==> Downloading https://ghcr.io/v2/homebrew/core/ca-certificates/manifests/2022-
##### 100.0%
==> Downloading https://ghcr.io/v2/homebrew/core/ca-certificates/blobs/sha256:1b
==> Downloading from https://pkg-containers.githubusercontent.com/ghcr1/blobs/sh
###### 100.0%
==> Downloading https://ghcr.io/v2/homebrew/core/openssl/1.1/manifests/1.1.1q
######## 100.0%
==> Downloading https://ghcr.io/v2/homebrew/core/openssl/1.1/blobs/sha256:9a1308
==> Downloading from https://pkg-containers.githubusercontent.com/ghcr1/blobs/sh
####### 100.0%
==> Downloading https://ghcr.io/v2/homebrew/core/readline/manifests/8.2.1
### 100.0%
==> Downloading https://ghcr.io/v2/homebrew/core/readline/blobs/sha256:e6dfc7d95
==> Downloading from https://pkg-containers.githubusercontent.com/ghcr1/blobs/sh
### 100.0%
==> Downloading https://ghcr.io/v2/homebrew/core/sqlite/manifests/3.39.4
#### 100.0%
==> Downloading https://ghcr.io/v2/homebrew/core/sqlite/blobs/sha256:e6cd1fae2fe
==> Downloading from https://pkg-containers.githubusercontent.com/ghcr1/blobs/sh
####100.0%
==> Downloading https://ghcr.io/v2/homebrew/core/xz/manifests/5.2.7
###100.0%
==> Downloading https://ghcr.io/v2/homebrew/core/xz/blobs/sha256:caab4b755676f1d
==> Downloading from https://pkg-containers.githubusercontent.com/ghcr1/blobs/sh
### 100.0%
==> Downloading https://ghcr.io/v2/homebrew/core/python/3.10/manifests/3.10.8-1
######################################################################## 100.0%
==> Downloading https://ghcr.io/v2/homebrew/core/python/3.10/blobs/sha256:aae66d
==> Downloading from https://pkg-containers.githubusercontent.com/ghcr1/blobs/sh
######################################################################## 100.0%
==> Downloading https://ghcr.io/v2/homebrew/core/libyaml/manifests/0.2.5
######################################################################## 100.0%
==> Downloading https://ghcr.io/v2/homebrew/core/libyaml/blobs/sha256:83547fba54
==> Downloading from https://pkg-containers.githubusercontent.com/ghcr1/blobs/sh
######################################################################## 100.0%
==> Downloading https://ghcr.io/v2/homebrew/core/pyyaml/manifests/6.0
######################################################################## 100.0%
==> Downloading https://ghcr.io/v2/homebrew/core/pyyaml/blobs/sha256:c9e711fc179
==> Downloading from https://pkg-containers.githubusercontent.com/ghcr1/blobs/sh
######################################################################## 100.0%
==> Downloading https://ghcr.io/v2/homebrew/core/six/manifests/1.16.0_2-1
######################################################################## 100.0%
==> Downloading https://ghcr.io/v2/homebrew/core/six/blobs/sha256:560f73cafaea61
==> Downloading from https://pkg-containers.githubusercontent.com/ghcr1/blobs/sh
######################################################################## 100.0%
==> Downloading https://ghcr.io/v2/homebrew/core/mathlibtools/manifests/1.2.0
######################################################################## 100.0%
==> Downloading https://ghcr.io/v2/homebrew/core/mathlibtools/blobs/sha256:0fb55
==> Downloading from https://pkg-containers.githubusercontent.com/ghcr1/blobs/sh
######################################################################## 100.0%
==> Installing dependencies for elan-init: gmp and coreutils
==> Installing elan-init dependency: gmp
==> Pouring gmp--6.2.1_1.big_sur.bottle.tar.gz
🍺  /usr/local/Cellar/gmp/6.2.1_1: 21 files, 3.3MB
==> Installing elan-init dependency: coreutils
==> Pouring coreutils--9.1.big_sur.bottle.tar.gz
🍺  /usr/local/Cellar/coreutils/9.1: 480 files, 12.8MB
==> Installing elan-init
==> Pouring elan-init--1.4.2.big_sur.bottle.tar.gz
==> Caveats
Bash completion has been installed to:
  /usr/local/etc/bash_completion.d
==> Summary
🍺  /usr/local/Cellar/elan-init/1.4.2: 20 files, 5.3MB
==> Running `brew cleanup elan-init`...
Disable this behaviour by setting HOMEBREW_NO_INSTALL_CLEANUP.
Hide these hints with HOMEBREW_NO_ENV_HINTS (see `man brew`).
==> Installing dependencies for mathlibtools: gdbm, mpdecimal, ca-certificates, openssl@1.1, readline, sqlite, xz, python@3.10, libyaml, pyyaml and six
==> Installing mathlibtools dependency: gdbm
==> Pouring gdbm--1.23.big_sur.bottle.tar.gz
🍺  /usr/local/Cellar/gdbm/1.23: 24 files, 972.9KB
==> Installing mathlibtools dependency: mpdecimal
==> Pouring mpdecimal--2.5.1.big_sur.bottle.tar.gz
🍺  /usr/local/Cellar/mpdecimal/2.5.1: 71 files, 2.1MB
==> Installing mathlibtools dependency: ca-certificates
==> Pouring ca-certificates--2022-10-11.all.bottle.tar.gz
==> Regenerating CA certificate bundle from keychain, this may take a while...
🍺  /usr/local/Cellar/ca-certificates/2022-10-11: 3 files, 225.5KB
==> Installing mathlibtools dependency: openssl@1.1
==> Pouring openssl@1.1--1.1.1q.big_sur.bottle.tar.gz
🍺  /usr/local/Cellar/openssl@1.1/1.1.1q: 8,097 files, 18.5MB
==> Installing mathlibtools dependency: readline
==> Pouring readline--8.2.1.big_sur.bottle.tar.gz
🍺  /usr/local/Cellar/readline/8.2.1: 50 files, 1.7MB
==> Installing mathlibtools dependency: sqlite
==> Pouring sqlite--3.39.4.big_sur.bottle.tar.gz
🍺  /usr/local/Cellar/sqlite/3.39.4: 11 files, 4.4MB
==> Installing mathlibtools dependency: xz
==> Pouring xz--5.2.7.big_sur.bottle.tar.gz
🍺  /usr/local/Cellar/xz/5.2.7: 95 files, 1.4MB
==> Installing mathlibtools dependency: python@3.10
==> Pouring python@3.10--3.10.8.big_sur.bottle.1.tar.gz
Error: The `brew link` step did not complete successfully
The formula built, but is not symlinked into /usr/local
Could not symlink bin/2to3
Target /usr/local/bin/2to3
already exists. You may want to remove it:
  rm '/usr/local/bin/2to3'

To force the link and overwrite all conflicting files:
  brew link --overwrite python@3.10

To list all files that would be deleted:
  brew link --overwrite --dry-run python@3.10

Possible conflicting files are:
/usr/local/bin/2to3 -> /Library/Frameworks/Python.framework/Versions/3.10/bin/2to3
/usr/local/bin/2to3-3.10 -> /Library/Frameworks/Python.framework/Versions/3.10/bin/2to3-3.10
/usr/local/bin/idle3 -> /Library/Frameworks/Python.framework/Versions/3.10/bin/idle3
/usr/local/bin/idle3.10 -> /Library/Frameworks/Python.framework/Versions/3.10/bin/idle3.10
/usr/local/bin/pydoc3 -> /Library/Frameworks/Python.framework/Versions/3.10/bin/pydoc3
/usr/local/bin/pydoc3.10 -> /Library/Frameworks/Python.framework/Versions/3.10/bin/pydoc3.10
/usr/local/bin/python3 -> /Library/Frameworks/Python.framework/Versions/3.10/bin/python3
/usr/local/bin/python3-config -> /Library/Frameworks/Python.framework/Versions/3.10/bin/python3-config
/usr/local/bin/python3.10 -> /Library/Frameworks/Python.framework/Versions/3.10/bin/python3.10
/usr/local/bin/python3.10-config -> /Library/Frameworks/Python.framework/Versions/3.10/bin/python3.10-config
==> /usr/local/Cellar/python@3.10/3.10.8/bin/python3.10 -m ensurepip
==> /usr/local/Cellar/python@3.10/3.10.8/bin/python3.10 -m pip install -v --no-d
==> Summary
🍺  /usr/local/Cellar/python@3.10/3.10.8: 3,114 files, 56.7MB
==> Installing mathlibtools dependency: libyaml
==> Pouring libyaml--0.2.5.big_sur.bottle.tar.gz
🍺  /usr/local/Cellar/libyaml/0.2.5: 10 files, 348.5KB
==> Installing mathlibtools dependency: pyyaml
==> Pouring pyyaml--6.0.big_sur.bottle.tar.gz
🍺  /usr/local/Cellar/pyyaml/6.0: 74 files, 1.7MB
==> Installing mathlibtools dependency: six
==> Pouring six--1.16.0_2.all.bottle.1.tar.gz
🍺  /usr/local/Cellar/six/1.16.0_2: 20 files, 122.4KB
==> Installing mathlibtools
==> Pouring mathlibtools--1.2.0.big_sur.bottle.tar.gz
🍺  /usr/local/Cellar/mathlibtools/1.2.0: 2,109 files, 23.7MB
==> Running `brew cleanup mathlibtools`...
==> Caveats
==> elan-init
Bash completion has been installed to:
  /usr/local/etc/bash_completion.d
(base) Augusts-MacBook:~ augustnoe$
(base) Augusts-MacBook:~ augustnoe$
(base) Augusts-MacBook:~ augustnoe$ open /usr/local/etc
(base) Augusts-MacBook:~ augustnoe$ brew link --overwrite python@3.10
Linking /usr/local/Cellar/python@3.10/3.10.8... 21 symlinks created.
(base) Augusts-MacBook:~ augustnoe$

August Noë (Oct 25 2022 at 20:45):

This is the last third as the whole thing was too long

Julian Berman (Oct 25 2022 at 20:55):

That's what you got now? Or before?

Julian Berman (Oct 25 2022 at 20:57):

And did you uninstall Anaconda? That prompt (with (base) before it) would usually indicate not yet.

Last updated: Dec 20 2023 at 11:08 UTC