File: rules

package info (click to toggle)
why3 0.87.3-2
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 17,808 kB
  • ctags: 8,606
  • sloc: xml: 58,819; ml: 55,487; makefile: 1,752; sh: 1,082; ansic: 443; lisp: 127
file content (43 lines) | stat: -rwxr-xr-x 946 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
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
#!/usr/bin/make -f

BUILDDIR=debian/tmp

%:
	dh $@ --with ocaml,tex

override_dh_auto_configure configure-stamp:
	# USEOCAMLFIND=no implies that libs are installed into /usr/lib/
	# instead of /usr/local/lib as indicated by ocamlfind (in case it
	# is installed)
	USEOCAMLFIND=no dh_auto_configure -- --disable-emacs-compilation
	touch configure-stamp

override_dh_auto_build:

build-arch build-stamp: configure-stamp
	dh_testdir
	$(MAKE) all byte
	touch build-stamp

build-indep: configure-stamp
	dh_testdir
	$(MAKE) doc

override_dh_auto_install:
	# do nothing

override_dh_install-arch: build-stamp
	$(MAKE) install install-lib DESTDIR=$(CURDIR)/$(BUILDDIR)
	# extra license file
	rm -f $(BUILDDIR)/usr/share/why3/LICENSE
	dh_install -a

override_dh_install-indep:
	# do nothing

override_dh_compress:
	dh_compress -Xmanual.pdf

override_dh_ocaml:
	dh_ocaml --nodefined-map=why3-coq:Why3,MenhirLib,Gzip,Zlib,Zip \
		--nodefined-map=why3:Graph