升级 Make (gmake)
下载列表 https://ftp.gnu.org/gnu/make
选择需要的make安装的包,这里用截止到20190827 的4.2 版本
wget https://ftp.gnu.org/gnu/make/make-4.2.tar.gz
tar -zxf make-4.2.tar.gz
cd make-4.2
./configure --prefix=$HOME/local
make
make install
可以在 ~/.bash_profile
里加上 PATH=$HOME/local/bin:$PATH
然后把 make 软连接到 bin 或者把 local/bin 添加到环境变量
gmake其实就是 make , ln -s $HOME/local/bin/make $HOME/local/bin/gmake
source ~/.bash_profile
make --version
GNU Make 4.2
Built for x86_64-pc-linux-gnu
Copyright (C) 1988-2016 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.