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

Allan McRae allan at archlinux.org
Sat Sep 27 01:39:26 EDT 2008

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).
> Signed-off-by: Allan McRae <allan at archlinux.org>
> ---

Here is the discussion from when I first submitted this: 

It was decided that including build options (distcc, ccache) was not 
needed.  To do this, I needed to either hard code the options to be put 
in the .PKGINFO file at the point where it was created or to split the 
known_options array up.  I think the latter was the better approach so I 
took it.


More information about the pacman-dev mailing list