gnome-shell/subprojects/extensions-app/meson_options.txt

option('package_name',
  type: 'string',
  description: 'The gettext domain name',
)
option('profile',
  type: 'combo',
  choices: [
    'default',
    'development'
  ],
  value: 'default'
)
extensions-app: Move Extensions app to new subproject The Extensions app code is now independent enough from the rest of the code base to move it to its own subprojects, like we did for the extensions-tool. This allows for stand-alone builds of the app, which we are about to use for distributing it as flatpak. https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1133 2019-11-30 21:01:02 -05:00			`option('package_name',`
			`type: 'string',`
			`description: 'The gettext domain name',`
			`)`
extensions-app: Support building a separate Devel app Follow the pattern used by most GNOME applications and add a profile build option that allows building a Devel app instead of the regular release. https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3612 Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1661> 2021-01-22 13:29:07 -05:00			`option('profile',`
			`type: 'combo',`
			`choices: [`
			`'default',`
			`'development'`
			`],`
			`value: 'default'`
			`)`