2019-09-28 00:17:56 +08:00
|
|
|
# Description: Program for compiling packages
|
|
|
|
|
# URL: https://www.gnu.org/software/make
|
2019-11-10 23:58:56 +08:00
|
|
|
# Maintainer: Emmett1, emmett1 dot 2miligrams at gmail dot com
|
2019-09-28 00:17:56 +08:00
|
|
|
# Depends on:
|
|
|
|
|
|
|
|
|
|
name=make
|
|
|
|
|
version=4.2.1
|
|
|
|
|
release=1
|
|
|
|
|
source=(https://ftp.gnu.org/gnu/$name/$name-$version.tar.bz2)
|
|
|
|
|
|
|
|
|
|
build() {
|
|
|
|
|
cd $name-$version
|
|
|
|
|
|
|
|
|
|
# work around an error caused by glibc-2.27
|
|
|
|
|
sed -i '211,217 d; 219,229 d; 232 d' glob/glob.c
|
|
|
|
|
|
|
|
|
|
./configure --prefix=/usr
|
|
|
|
|
make
|
|
|
|
|
make DESTDIR=$PKG install
|
|
|
|
|
}
|
