1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
#!/usr/bin/make -f
export DH_VERBOSE=1
git_checkout = $(shell if [ -d .git ]; then echo true ; else echo false ; fi)
%:
dh $@
patch:
$(info patching in the default server…)
ifeq ($(shell dpkg-vendor --derives-from ubuntu && echo 1),1)
patch -p1 < debian/default_servers/ubuntu
else
patch -p1 < debian/default_servers/debian
endif
touch $@
clean:
ifneq ($(wildcard patch),)
$(info unpatching the default server…)
ifeq ($(shell dpkg-vendor --derives-from ubuntu && echo 1),1)
patch -p1 -R < debian/default_servers/ubuntu
else
patch -p1 -R < debian/default_servers/debian
endif
rm -f patch
endif
dh clean
override_dh_auto_configure: patch
dh_auto_configure -- -Dinstall-plugin-metainfo=true -Dwith-lua=lua53
|
