diff options
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules new file mode 100755 index 0000000..f3692b0 --- /dev/null +++ b/debian/rules @@ -0,0 +1,29 @@ +#!/usr/bin/make -f + +EXTENSIONS_VERSION = 44 + +GNOME_SHELL_DEPENDS_LOW = 43 +GNOME_SHELL_DEPENDS_HIGH = 45 + +%: + dh ${@} --no-parallel + +execute_after_dh_auto_clean: + rm -f extensions/current + + # remove generated files + rm -f extensions/44/*/*/schemas/gschemas.compiled + rm -f extensions/44/middleclickclose/*/locale/*/LC_MESSAGES/*.mo + +execute_before_dh_auto_build: + ln -s $(EXTENSIONS_VERSION) extensions/current + +execute_after_dh_auto_install: + # removing unused files + rm -f debian/gnome-shell-extensions-extra/usr/share/doc/*/CHANGELOG.txt + rm -f debian/gnome-shell-extensions-extra/usr/share/doc/*/LICENSE.txt + +override_dh_gencontrol: + dh_gencontrol -- \ + -Vgnome-shell:Depends:low="$(GNOME_SHELL_DEPENDS_LOW)" \ + -Vgnome-shell:Depends:high="$(GNOME_SHELL_DEPENDS_HIGH)" |