#!/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
}