]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/mathml_editor/debian/rules
ocaml 3.09 transition
[helm.git] / helm / DEVEL / mathml_editor / debian / rules
1 #!/usr/bin/make -f
2
3 # Uncomment this to turn on verbose mode.
4 #export DH_VERBOSE=1
5
6 # These are used for cross-compiling and for saving the configure script
7 # from having to guess our platform (since we know it already)
8 DEB_HOST_GNU_TYPE   ?= $(shell dpkg-architecture -qDEB_HOST_GNU_TYPE)
9 DEB_BUILD_GNU_TYPE  ?= $(shell dpkg-architecture -qDEB_BUILD_GNU_TYPE)
10
11 ifneq (,$(findstring noopt,$(DEB_BUILD_OPTIONS)))
12         CFLAGS += -O0
13 else
14         CFLAGS += -O2
15 endif
16 ifeq (,$(findstring nostrip,$(DEB_BUILD_OPTIONS)))
17         INSTALL_PROGRAM += -s
18 endif
19
20 config.status: configure
21         dh_testdir
22         ./configure --host=$(DEB_HOST_GNU_TYPE) --build=$(DEB_BUILD_GNU_TYPE) --prefix=/usr --mandir=\$${prefix}/share/man --infodir=\$${prefix}/share/info
23
24 build: build-stamp
25 build-stamp:  config.status
26         dh_testdir
27
28         $(MAKE)
29
30         touch build-stamp
31
32 clean:
33         dh_testdir
34         dh_testroot
35         rm -f build-stamp 
36
37         -$(MAKE) distclean
38 # ifneq "$(wildcard /usr/share/misc/config.sub)" ""
39 #       cp -f /usr/share/misc/config.sub config.sub
40 # endif
41 # ifneq "$(wildcard /usr/share/misc/config.guess)" ""
42 #       cp -f /usr/share/misc/config.guess config.guess
43 # endif
44
45         dh_clean
46
47 install: build
48         dh_testdir
49         dh_testroot
50         dh_clean -k
51         dh_installdirs
52         $(MAKE) install DESTDIR=$(CURDIR)/debian/tmp
53         dh_movefiles
54
55 binary-arch: build install
56         dh_testdir -s
57         dh_testroot -s
58         dh_installchangelogs -s ChangeLog
59         dh_installdocs -s
60 #       dh_installexamples -s
61 #       dh_installinfo -s
62         dh_link -s
63         dh_strip -s
64         dh_compress -s
65         dh_fixperms -s
66         dh_makeshlibs -p libeditex0
67         dh_installdeb -s
68         dh_shlibdeps -s
69         dh_gencontrol -s
70         dh_md5sums -s
71         dh_builddeb -s
72
73 binary: binary-arch
74 .PHONY: build clean binary-arch binary install