File: rules

package info (click to toggle)
eprover 3.2.5%2Bds-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 14,504 kB
  • sloc: ansic: 104,396; csh: 13,135; python: 11,207; awk: 5,825; makefile: 554; sh: 400
file content (21 lines) | stat: -rwxr-xr-x 408 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

%:
	dh $@

override_dh_auto_configure:
	# not an autotools build system!
	cp Makefile.vars Makefile.vars.orig

override_dh_auto_build:
	./configure --prefix=debian/tmp
	make rebuild
	make man

override_dh_auto_clean:
	dh_auto_clean
	find . -name Makefile.dependencies -delete
	find . -name "*.1" -delete
	if test -f Makefile.vars.orig; then \
		mv Makefile.vars.orig Makefile.vars; \
	fi