Merge pull request #132 from allenli178/main

Update Makefile
This commit is contained in:
YdrMaster
2022-10-31 08:48:58 +08:00
committed by GitHub

View File

@@ -165,6 +165,7 @@ setupclassroom_test8:
# for local ubuntu with zsh shell SHELL, need root for sudo
ubuntu_local_setenv:
sudo apt-get update
sudo apt install autoconf automake autotools-dev curl libmpc-dev libmpfr-dev libgmp-dev \
gawk build-essential bison flex texinfo gperf libtool patchutils bc \
zlib1g-dev libexpat-dev pkg-config libglib2.0-dev libpixman-1-dev git tmux python3 ninja-build zsh -y
@@ -181,6 +182,7 @@ ubuntu_local_setenv:
# for github codespaces ubuntu with zsh SHELL, need root for sudo
codespaces_setenv:
sudo apt-get update
sudo apt install autoconf automake autotools-dev curl libmpc-dev libmpfr-dev libgmp-dev \
gawk build-essential bison flex texinfo gperf libtool patchutils bc \
zlib1g-dev libexpat-dev pkg-config libglib2.0-dev libpixman-1-dev git tmux python3 ninja-build zsh -y