From f195362a5a0f68975afce7dc78518d8873577bc1 Mon Sep 17 00:00:00 2001 From: YuYan Li Date: Sat, 29 Oct 2022 15:46:13 +0800 Subject: [PATCH] Update Makefile MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 在本地和codespace的环境配置中添加更新软件源 --- Makefile | 2 ++ 1 file changed, 2 insertions(+) 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