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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
#!/usr/bin/make -f
# Copyright 2014 Bill Allombert <ballombe@debian.org>
export SOURCE_DATE_EPOCH = $(shell date -d "$$(dpkg-parsechangelog -SDate)" +%s)
export FORCE_SOURCE_DATE=1
export LC_ALL = C
build-indep-stamp:
mkdir -p gaproot/pkg
ln -s ../.. gaproot/pkg/GAPDoc
env SOURCE_DATE_EPOCH=`env TZ=C date -d "2019/07/16" +"%s"` \
gap -l 'gaproot;/usr/share/gap' makedocrel.g </dev/null && touch build-indep-stamp
build-indep: build-indep-stamp
build-arch:
build: build-indep
clean:
dh_testdir
dh_testroot
rm -fr gaproot
make -C doc clean
make -C example clean
make -C 3k+1 clean
rm -f build-indep-stamp
dh_clean
install: build
dh_testdir
dh_testroot
dh_prep
dh_installdirs
dh_install -Xmakedocrel.g *.dtd *.g lib styles version usr/share/gap/pkg/GAPDoc
make -C doc install DESTDIR=../debian/gap-gapdoc
make -C example install DESTDIR=../debian/gap-gapdoc
make -C 3k+1 install DESTDIR=../debian/gap-gapdoc
binary-arch: build-arch
binary-indep: build-indep install
dh_testdir
dh_testroot
dh_installdocs README.md
dh_installexamples
dh_installchangelogs CHANGES
dh_link
dh_compress
dh_fixperms
dh_installdeb
dh_gencontrol
dh_md5sums
dh_builddeb
binary: binary-indep binary-arch
.PHONY: build clean binary-indep binary-arch binary install configure
|
