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
|
#!/usr/bin/make -f
export LC_ALL=C.UTF-8
override_dh_auto_clean:
find $(CURDIR) -name "*.agdai" -delete
rm -rf $(CURDIR)/html
rm -f $(CURDIR)/GenerateEverything \
$(CURDIR)/GenerateEverything.hi \
$(CURDIR)/GenerateEverything.o \
$(CURDIR)/Everything.agda
dh_auto_clean
override_dh_auto_build:
ghc --make GenerateEverything.hs
./GenerateEverything
agda +RTS -K1G -RTS -i $(CURDIR) -i $(CURDIR)/src $(CURDIR)/Everything.agda
agda --html -i $(CURDIR) -i $(CURDIR)/src $(CURDIR)/README.agda
# Don't use upstream's 'make install'
override_dh_auto_install:
ifeq (,$(filter nocheck,$(DEB_BUILD_OPTIONS)))
override_dh_auto_test:
agda -i $(CURDIR) -i $(CURDIR)/src README.agda
endif
%:
dh $@
|