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? Allan _______________________________________________ pacman-dev mailing list [email protected] http://archlinux.org/mailman/listinfo/pacman-dev
