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
|
#!/usr/bin/make -f
export LC_ALL=C.UTF-8
override_dh_auto_clean:
rm -rf $(CURDIR)/_build/
rm -rf $(CURDIR)/doc/_build/
rm -rf $(CURDIR)/doc/html/
rm -f $(CURDIR)/GenerateEverything \
$(CURDIR)/GenerateEverything.hi \
$(CURDIR)/GenerateEverything.o \
$(CURDIR)/doc/Everything.agda \
$(CURDIR)/doc/EverythingSafe.agda
dh_auto_clean
override_dh_auto_build:
ghc --make GenerateEverything.hs
./GenerateEverything --include-deprecated --out-dir doc
cd $(CURDIR)/doc && agda +RTS -K1G -RTS Everything.agda
cd $(CURDIR)/doc && agda --html README.agda
# Don't use upstream's 'make install'
override_dh_auto_install:
ifeq (,$(filter nocheck,$(DEB_BUILD_OPTIONS)))
override_dh_auto_test:
cd $(CURDIR)/doc && agda README.agda
endif
%:
dh $@
|
