2018-11-20 11:02:45 +01:00
|
|
|
|
|
|
|
function header.build {
|
|
|
|
:
|
|
|
|
}
|
|
|
|
|
|
|
|
function header.install {
|
|
|
|
local install="${install[$target]:-\$(INCLUDEDIR)}"
|
|
|
|
local basename="${filename[$target]}"
|
|
|
|
if [[ -z "$basename" ]]; then
|
|
|
|
basename="$(basename "${target}")"
|
|
|
|
fi
|
|
|
|
|
2019-06-09 19:19:50 +02:00
|
|
|
write "${target}.install: ${target} $(dirdep $target)"
|
2018-11-20 11:02:45 +01:00
|
|
|
write "\t@echo '$(IN "${install}/${basename}")'"
|
|
|
|
write "\t${Q}mkdir -p '\$(DESTDIR)${install}'"
|
|
|
|
write "\t${Q}install -m0644 ${target} \$(DESTDIR)${install}/${basename}"
|
|
|
|
write
|
|
|
|
}
|
|
|
|
|
|
|
|
function header.uninstall {
|
|
|
|
[[ -z "${install[$target]}" ]] && install[$target]="\$(INCLUDEDIR)"
|
|
|
|
binary.uninstall "$@"
|
|
|
|
}
|
|
|
|
|
|
|
|
function header.clean {
|
|
|
|
write "${target}.clean: ${target}"
|
|
|
|
write "\t${Q}:"
|
|
|
|
write
|
|
|
|
}
|
|
|
|
|
|
|
|
function header.distfiles {
|
|
|
|
echo "${target}"
|
|
|
|
}
|
|
|
|
|