]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/gdome_xslt/debian/rules
- better handling of proof expansion/contraction
[helm.git] / helm / DEVEL / gdome_xslt / debian / rules
1 #!/usr/bin/make -f
2 # Sample debian/rules that uses debhelper.
3 # GNU copyright 1997 to 1999 by Joey Hess.
4
5 # Uncomment this to turn on verbose mode.
6 #export DH_VERBOSE=1
7
8 TARGETDIR = debian/libgdome2-xslt-ocaml-dev
9 SHARED_LIB_PKG = libgdome2-xslt0
10
11 configure: configure-stamp
12 configure-stamp:
13         dh_testdir
14         ./configure --prefix=/usr
15         touch configure-stamp
16
17 build: build-stamp
18 build-stamp: configure-stamp 
19         dh_testdir
20         $(MAKE)
21         touch build-stamp
22
23 clean:
24         dh_testdir
25         dh_testroot
26         rm -f build-stamp configure-stamp
27         -$(MAKE) clean
28         dh_clean
29
30 install: build
31         dh_testdir
32         dh_testroot
33         dh_clean -k
34         dh_installdirs -s
35         $(MAKE) install DESTDIR=$(CURDIR)/debian/tmp
36         dh_install --sourcedir=debian/tmp
37
38 binary-arch: build install
39         dh_testdir
40         dh_testroot
41         dh_installdocs -s
42         dh_installexamples -s
43         dh_installman -s
44         dh_installinfo -s
45         dh_installchangelogs -s
46         dh_link -s
47         dh_strip -s
48         dh_compress -s
49         dh_fixperms -s
50         dh_makeshlibs -p $(SHARED_LIB_PKG)
51         dh_installdeb -s
52         dh_shlibdeps -s
53         dh_gencontrol -s
54         dh_md5sums -s
55         dh_builddeb -s
56
57 binary: binary-arch
58 .PHONY: build clean binary-arch binary install configure