On Thu, Jul 24, 2008 at 8:08 PM, Allan McRae <[EMAIL PROTECTED]> wrote: > Xavier wrote: >> On Thu, Jul 24, 2008 at 2:41 PM, Allan McRae <[EMAIL PROTECTED]> 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 _______________________________________________ pacman-dev mailing list [email protected] http://archlinux.org/mailman/listinfo/pacman-dev
