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
|
2020-06-12 16:42:33 +08:00
|
|
|
version=4.3
|
2019-09-28 00:17:56 +08:00
|
|
|
release=1
|
2020-06-12 16:42:33 +08:00
|
|
|
source=(https://ftp.gnu.org/gnu/$name/$name-$version.tar.gz)
|
2019-09-28 00:17:56 +08:00
|
|
|
|
|
|
|
|
build() {
|
|
|
|
|
cd $name-$version
|
|
|
|
|
|
|
|
|
|
./configure --prefix=/usr
|
|
|
|
|
make
|
|
|
|
|
make DESTDIR=$PKG install
|
|
|
|
|
}
|
