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
53
54
55
56
57
58
59
60
61
|
#!/usr/bin/make -f
# Copyright 2018 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:
ifeq (,$(filter nocheck,$(DEB_BUILD_OPTIONS)))
echo 'SetPackagePath("SmallGrp","."); Read("tst/testall.g");' \
| gap -q -R -A | tee debian/gap.tst
grep -q "^#I No errors detected while testing" debian/gap.tst
endif
env SOURCE_DATE_EPOCH=`env TZ=C date -d "2024/07/04" +"%s"` \
echo 'SetPackagePath("SmallGrp","."); PushOptions(rec(relativePath:=true)); Read("makedoc.g");' \
| gap -q -R -A && touch build-indep-stamp
build-indep: build-indep-stamp
build-arch:
build: build-indep
clean:
dh_testdir
dh_testroot
make -C doc clean
rm -f build-indep-stamp
rm -f debian/gap.tst
dh_clean
install: build
dh_testdir
dh_testroot
dh_prep
dh_installdirs
dh_install -p gap-smallgrp gap *.g id2 small2 usr/share/gap/pkg/SmallGrp
dh_install -p gap-smallgrp-extra id[13-9]* small[13-9]* usr/share/gap/pkg/SmallGrp
find debian/gap-smallgrp/usr/share/gap/pkg/SmallGrp/small* -type f -exec gunzip --no-name '{}' \;
find debian/gap-smallgrp/usr/share/gap/pkg/SmallGrp/small* -type f -exec sh -c 'gzip --no-name --best -c {} > {}.gz && rm {}' \;
find debian/gap-smallgrp/usr/share/gap/pkg/SmallGrp/id* -type f -exec gunzip --no-name '{}' \;
find debian/gap-smallgrp/usr/share/gap/pkg/SmallGrp/id* -type f -exec sh -c 'gzip --no-name --best -c {} > {}.gz && rm {}' \;
find debian/gap-smallgrp-extra/usr/share/gap/pkg/SmallGrp/small* -type f -exec gunzip --no-name '{}' \;
find debian/gap-smallgrp-extra/usr/share/gap/pkg/SmallGrp/small* -type f -exec sh -c 'gzip --no-name --best -c {} > {}.gz && rm {}' \;
find debian/gap-smallgrp-extra/usr/share/gap/pkg/SmallGrp/id* -type f -exec gunzip --no-name '{}' \;
find debian/gap-smallgrp-extra/usr/share/gap/pkg/SmallGrp/id* -type f -exec sh -c 'gzip --no-name --best -c {} > {}.gz && rm {}' \;
make -C doc install DESTDIR=../debian/gap-smallgrp
binary-arch: build-arch
binary-indep: build-indep install
dh_testdir
dh_testroot
dh_installdocs README README.md
dh_installexamples
dh_installchangelogs CHANGES.md
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
|
