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
|
#!/usr/bin/make -f
export DH_VERBOSE = 1
export DEB_BUILD_MAINT_OPTIONS = hardening=+all
# for getline
export DEB_CFLAGS_MAINT_APPEND = -D_GNU_SOURCE -DNXT
%:
dh $@ --sourcedirectory=Src
override_dh_auto_install:
$(MAKE) install \
DESTDIR=$(CURDIR)/debian/spin/usr \
INSTALL="install -sD --strip-program=true"
override_dh_fixperms:
dh_fixperms
chmod ugo-x $(CURDIR)/debian/spin/usr/share/doc/spin/examples/Examples/Book_1991/*.h
chmod ugo-x $(CURDIR)/debian/spin/usr/share/doc/spin/examples/Examples/Book_1991/*.txt
chmod ugo-x $(CURDIR)/debian/spin/usr/share/doc/spin/examples/Examples/Book_1991/*.pml
chmod ugo-x $(CURDIR)/debian/spin/usr/share/doc/spin/examples/Examples/Exercises/*.pml
chmod ugo-x $(CURDIR)/debian/spin/usr/share/doc/spin/examples/Examples/LTL/*.pml
chmod ugo-x $(CURDIR)/debian/spin/usr/share/doc/spin/examples/Examples/*.pml
chmod ugo-x $(CURDIR)/debian/spin/usr/share/doc/spin/examples/Examples/*.txt
|
