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
|
#!/usr/bin/make -f
include /usr/share/coq/coqvars.mk
export COQTOP := $(COQ_STDLIB_DIR)
export COQLIB := $(COQ_STDLIB_DIR)
export COQBIN := /usr/bin/
%:
dh $@ --with coq
override_dh_auto_build:
$(MAKE) -C mathcomp all doc
override_dh_auto_install:
$(MAKE) -C mathcomp install DSTROOT=$(CURDIR)/debian/tmp
for pkg in algebra character field fingroup solvable ssreflect; do \
find debian/tmp$(COQ_USERCONTRIB_DIR)/mathcomp/$$pkg -regextype posix-awk \
-regex '.*\.(v|vo|vos|glob)$$' \
>> debian/libcoq-mathcomp-$$pkg.install ; \
done
find debian/tmp$(COQ_USERCONTRIB_DIR)/mathcomp/all -regextype posix-awk \
-regex '.*\.(v|vo|vos|glob)$$' \
>> debian/libcoq-mathcomp.install ;
override_dh_auto_clean:
$(MAKE) -C mathcomp clean
rm -f mathcomp/Makefile.coq mathcomp/Makefile.coq.conf
|
