Question about new options framework (regression?)

[Jeremy Messenger]

On Thu, Jul 26, 2012 at 11:39 AM, Doug Barton <dougb at freebsd.org> wrote:
> On 7/26/2012 7:41 AM, Oliver Fromme wrote:
>>
>> Jase Thew wrote:
>>  > On 25/07/2012 23:57, Baptiste Daroussin wrote:
>>  > > because the priority goes to global to specific and the most specific is the
>>  > > options file.
>>  > >
>>  > > if most people want the options file to not have the final priority, why not,
>>  > > can others spread their opinion here?
>>  >
>>  > I can't see why it would be of benefit for saved options to override
>>  > anything passed to make (either env or as an arg), as one of the reasons
>>  > you're likely to be passing them is to override any saved settings in
>>  > the first place.
>>  >
>>  > Please consider reverting back to the established and I daresay,
>>  > expected behaviour.
>>
>> I agree with Jase.
>>
>> Actually I'm not sure if PORTS_DBDIR should override make.conf
>> or vice versa.  I don't know which one should be regarded as
>> more specific.
>
> Traditionally the precedence has been:
>
> make.conf < OPTIONS < command line
>
> The reason is that you want to set global options as high up as
> possible, and then be able to override things for specific ports, and
> specific builds.
>
> We were promised that this would work with the new OPTIONS, it's
> disappointing to here that it isn't.

I don't know anything about the promise, but I do agree about that
it's disappoint that make.conf (global options) isn't first.

>> But anything specified on the commandline is definitely more
>> specific than PORTS_DBDIR and should override anything else.
>
> Right.
>
>> One way to do that would be to introduce another pair of
>> variables, e.g. OVERRIDE_SET and OVERRIDE_UNSET, so you could
>> type:  make OVERRIDE_SET=STATIC
>
> That shouldn't be necessary. The code should DTRT, as it did previously.
>
> Doug
>
> --
>
>     Change is hard.
>
>
>
> _______________________________________________
> freebsd-ports at freebsd.org mailing list
> http://lists.freebsd.org/mailman/listinfo/freebsd-ports
> To unsubscribe, send any mail to "freebsd-ports-unsubscribe at freebsd.org"



-- 
mezz.freebsd at gmail.com - mezz at FreeBSD.org
FreeBSD GNOME Team
http://www.FreeBSD.org/gnome/ - gnome at FreeBSD.org