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

[Allan McRae]

Xavier wrote:
> On Fri, Jul 25, 2008 at 3:08 AM, Allan McRae <allan at archlinux.org> wrote:
>   
>> 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.
>>
>>     
>
> If we always put all (and only) enabled options, it should be fine.
> If not, do you have an example to illustrate the problem?
>
>   

For example, consider packages that were built before the new zipman 
option.  Old packages are build with the equivalent of the zipman option 
being enabled.  With only including enabled options, a first look at a 
package built prior to this option would indicate that man pages were 
not zipped which is wrong.  Including both enabled and disabled options 
would tell us that the option just didn't exist at the time.

Allan