[pacman-dev] [PATCH] makepkg: Add used options to PKGINFO file

[Dan McGee]

On Thu, Jul 24, 2008 at 8:08 PM, Allan McRae <allan at archlinux.org> wrote:
> Xavier wrote:
>> 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?

Hmm? I definitely haven't pulled it yet.

-Dan