[pacman-dev] [PATCH] makepkg: Add used options to PKGINFO file
dpmcgee at gmail.com
Thu Jul 24 21:25:40 EDT 2008
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.
More information about the pacman-dev