You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.
Oh man, I didn't realize that list existed. I've moved it next to the options generation code - 75294eb
Is isStackopt still an apt name? As far as I understand it, these are all the options that shouldn't cause package rebuild dirtiness. This can either be because we know through a different mechanism that we need to rebuild the package when it's due to say, a dependency change. Similarly, when resolving dependencies for a profiling build, it only considers packages that are built with profiling.
So based on this, I'm thinking options like extra-lib-dirs and extra-include-dirs shouldn't be in the list? These options come from the stack.yaml and changing them should cause a rebuild.
Right, there's a different mechanism to trigger building all the profiling packages when we enable profiling, so this doesn't need to be in this list. But beyond that I'm not sure about the other options.