diff --git a/Makefile b/Makefile index 3d0ca59..9146246 100644 --- a/Makefile +++ b/Makefile @@ -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