utensil.tngl.sh
Personal checklist for setting up a development environment. Inspired by mdo/config
Update mac.md
author
Utensil
committer
GitHub
date
(May 20, 2022, 4:50 PM +0800)
commit
709c8fb5
709c8fb5e6101e087e817703069c271b479229ef
parent
187bbeb0
187bbeb08e2b2a438436d97c29b4f6d1aa2b5784
+15
-1
+15
-1
OS/mac.md
+15
-1
OS/mac.md
···
13
13
14
14
# Install HomeBrew From https://brew.sh/
15
15
/usr/bin/ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)"
16
-
# brew tap caskroom/cask
16
+
# Install
17
+
# brew tap homebrew/cask
17
18
18
19
# Install Development Tools
19
20
xcode-select --install
20
21
22
+
# Install HomeBrew for Rosetta if on M1
23
+
# softwareupdate --install-rosetta
24
+
# arch -x86_64 zsh
25
+
# /bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)"
26
+
27
+
21
28
# Install CMake
22
29
brew install cmake
23
30
···
38
45
# rustup target add aarch64-linux-android armv7-linux-androideabi i686-linux-android
39
46
# cargo install cargo-lipo
40
47
48
+
# Install Lean 3 (based on HomeBrew for Rosetta if on M1)
49
+
/usr/local/bin/brew install elan mathlibtools
50
+
elan toolchain install stable
51
+
elan default stable
52
+
41
53
# Install Android Dev Toolkit
42
54
brew cask install android-platform-tools
43
55
brew install android-ndk
44
56
45
57
# npm install -g react-native-cli
58
+
59
+
brew install --cask anaconda
46
60
47
61
brew cask install google-chrome
48
62
brew cask install firefox