mirror of
https://github.com/moparisthebest/pacman
synced 2024-08-13 17:03:46 -04:00
makepkg: Add used options to PKGINFO file
Adds defined options to the PKGINFO file in the form of "makepkgopt =". It may be useful to be able to add these to the pacman DB at some point as that would allow (e.g.) checking which packages have had their docs striped (FS#7092). Signed-off-by: Allan McRae <allan@archlinux.org> Signed-off-by: Dan McGee <dan@archlinux.org>
This commit is contained in:
parent
1b7ff7a636
commit
774c252753
@ -41,8 +41,9 @@ confdir='@sysconfdir@'
|
||||
startdir="$PWD"
|
||||
srcdir="$startdir/src"
|
||||
pkgdir="$startdir/pkg"
|
||||
known_options=('strip' 'docs' 'libtool' 'emptydirs' 'zipman' 'ccache' 'distcc' 'makeflags' 'force')
|
||||
readonly -a known_options
|
||||
packaging_options=('strip' 'docs' 'libtool' 'emptydirs' 'zipman')
|
||||
other_options=('ccache' 'distcc' 'makeflags' 'force')
|
||||
readonly -a packaging_options other_options
|
||||
|
||||
# Options
|
||||
ASROOT=0
|
||||
@ -851,6 +852,16 @@ create_package() {
|
||||
for it in "${backup[@]}"; do
|
||||
echo "backup = $it" >>.PKGINFO
|
||||
done
|
||||
for it in "${packaging_options[@]}"; do
|
||||
local ret="$(check_option $it)"
|
||||
if [ "$ret" != "?" ]; then
|
||||
if [ "$ret" = "y" ]; then
|
||||
echo "makepkgopt = $it" >>.PKGINFO
|
||||
else
|
||||
echo "makepkgopt = !$it" >>.PKGINFO
|
||||
fi
|
||||
fi
|
||||
done
|
||||
|
||||
# TODO maybe remove this at some point
|
||||
# warn if license array is not present or empty
|
||||
@ -1518,7 +1529,7 @@ valid_options=1
|
||||
for opt in ${options[@]}; do
|
||||
known=0
|
||||
# check if option matches a known option or its inverse
|
||||
for kopt in ${known_options[@]}; do
|
||||
for kopt in ${packaging_options[@]} ${other_options[@]}; do
|
||||
if [ "${opt}" = "${kopt}" -o "${opt}" = "!${kopt}" ]; then
|
||||
known=1
|
||||
fi
|
||||
|
Loading…
Reference in New Issue
Block a user