24 lines
724 B
Bash
24 lines
724 B
Bash
#!/bin/sh
|
|
name="gmake"
|
|
short_desc="GNU make"
|
|
desc="GNU make is a tool that controls the generation of executables and other
|
|
non-source files from source files."
|
|
category="devel"
|
|
version="4.4.1"
|
|
maintainer="ffqq@danwin1210.de"
|
|
www="https://www.gnu.org/software/make/"
|
|
master_site="ftp://ftp.gnu.org/gnu/make"
|
|
source_name="make-$version.tar.gz"
|
|
license_logic="single" # accepted values: single, and, or
|
|
licenses=("GPLv3")
|
|
|
|
build_dependencies=("devel/gmake" "lang/gcc" "devel/gettext")
|
|
run_dependencies=("system/glibc" "devel/gettext")
|
|
|
|
build_process() {
|
|
cd make-$version || exit 1
|
|
./configure --prefix=/usr
|
|
make -j$(nproc)
|
|
make DESTDIR=$TAMANDUA_STAGE_DIR install
|
|
rm -r $TAMANDUA_STAGE_DIR/usr/share/info
|
|
} |