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
# Uncomment this to turn on verbose mode.
#export DH_VERBOSE=1
# Build cache (for accelerating Debian debugging)
BUILDCACHE := $(wildcard ../coq.cache)
%:
dh $@
.PHONY: override_dh_auto_configure
override_dh_auto_configure:
./configure -local
.PHONY: override_dh_auto_build
override_dh_auto_build:
ifneq ($(BUILDCACHE),)
rsync -a --exclude=debian --exclude=.git $(BUILDCACHE)/ .
endif
$(MAKE) refman faq tutorial rectutorial
.PHONY: override_dh_auto_test
override_dh_auto_test:
.PHONY: override_dh_auto_install
override_dh_auto_install:
|
