File: rules

package info (click to toggle)
coq-float 1:8.10.0-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, sid
  • size: 740 kB
  • sloc: makefile: 22
file content (21 lines) | stat: -rwxr-xr-x 339 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
#!/usr/bin/make -f
# -*- makefile -*-

# Uncomment this to turn on verbose mode.
#export DH_VERBOSE=1

include /usr/share/coq/coqvars.mk

%:
	dh $@

override_dh_auto_clean:
	dh_auto_clean
	rm -f Makefile.coq.conf .*.aux

override_dh_auto_build:
	$(MAKE) all
	$(MAKE) html

override_dh_gencontrol:
	dh_gencontrol -- -VF:CoqABI="$(COQ_ABI)"