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
include /usr/share/ocaml/ocamlvars.mk
%:
dh $@ --with coq,ocaml
override_dh_auto_configure:
autoconf
./configure
override_dh_auto_build:
./remake
override_dh_auto_install:
DESTDIR=$(CURDIR)/debian/tmp ./remake install
override_dh_installchangelogs:
dh_installchangelogs NEWS.md
override_dh_auto_clean:
if test -x ./remake; then \
./remake clean; \
fi
find . -name "*.aux" -delete
rm -f remake .remake Remakefile config.* .lia.cache
rm -f src/Missing/MathComp1or2.v src/Tactic_float.v
|
