File: rules

package info (click to toggle)
alt-ergo 2.0.0-5
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, sid
  • size: 2,224 kB
  • sloc: ml: 28,606; makefile: 15; sh: 12
file content (21 lines) | stat: -rwxr-xr-x 340 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 -*-

#export DH_VERBOSE=1

%:
	dh  $@ --with ocaml

override_dh_auto_build:
	$(MAKE) all gui

override_dh_auto_install:
	$(MAKE) DESTDIR=debian/alt-ergo install install-gui

override_dh_auto_clean:
	if [ -f config.status ]; then \
		$(MAKE) dist-clean;   \
	fi

override_dh_dwz:
	dh_dwz --no-dwz-multifile