[pacman-dev] [PATCH] makepkg: Add used options to PKGINFO file
allan at archlinux.org
Thu Jul 24 21:08:44 EDT 2008
> On Thu, Jul 24, 2008 at 2:41 PM, Allan McRae <allan at archlinux.org> wrote:
>> Allan McRae wrote:
>>> 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).
>> This is more of a "might be a good idea" patch being put out there to
>> gather opinions.
> This might be a good idea :)
> But apparently known options regroup both BUILDENV and OPTIONS array.
> In my opinion, only OPTIONS is interesting.
> And then, we might want to just include enabled options, for the sake
> of being concise.
Good point about the build options being useless. But I think all other
options should go in so if/when we add further options we would know
they are not used in the package.
Dan: My git-foo was weak and I noticed this was on my working branch
that you pulled in. Do you want to remove it or I can patch the patch?
More information about the pacman-dev