[pacman-dev] [PATCH] makepkg: Add used options to PKGINFO file
allan at archlinux.org
Fri Jul 25 07:37:57 EDT 2008
> 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.
More information about the pacman-dev