annotate debian/rules @ 1231:d216f62ce921

strip is handled by install
author eyck
date Tue, 26 Jun 2001 11:12:27 +0000
parents 8c8ed61a98c6
children 225b8fb7653f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
18
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
1 #!/usr/bin/make -f
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
2 # Made with the aid of debmake, by Christoph Lameter,
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
3 # based on the sample debian/rules file for GNU hello by Ian Jackson.
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
4
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
5 package=mplayer
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
6
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
7 build:
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
8 $(checkdir)
821
82bd5187d6d8 Tiny changes in debian part.
eyck
parents: 18
diff changeset
9 ./configure --prefix=/usr
18
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
10 make dep
1229
8c8ed61a98c6 strip mplayer, files is auto-generated
eyck
parents: 897
diff changeset
11 make mplayer
18
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
12 touch build
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
13
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
14 clean:
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
15 $(checkdir)
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
16 -rm -f build
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
17 -$(MAKE) distclean
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
18 -rm -f `find . -name "*~"`
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
19 -rm -rf debian/tmp debian/files* core debian/substvars
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
20
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
21 binary-indep: checkroot build
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
22 $(checkdir)
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
23 # There are no architecture-independent files to be uploaded
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
24 # generated by this package. If there were any they would be
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
25 # made here.
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
26
845
29a3f57d5e1d spellcheck, start of integration with debian menu system, /etc/mplayer.conf
eyck
parents: 821
diff changeset
27
29a3f57d5e1d spellcheck, start of integration with debian menu system, /etc/mplayer.conf
eyck
parents: 821
diff changeset
28
18
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
29 binary-arch: checkroot build
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
30 $(checkdir)
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
31 -rm -rf debian/tmp
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
32 install -d debian/tmp
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
33 cd debian/tmp && install -d `cat ../dirs`
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
34 $(MAKE) install prefix=`pwd`/debian/tmp/usr
845
29a3f57d5e1d spellcheck, start of integration with debian menu system, /etc/mplayer.conf
eyck
parents: 821
diff changeset
35
29a3f57d5e1d spellcheck, start of integration with debian menu system, /etc/mplayer.conf
eyck
parents: 821
diff changeset
36
18
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
37 # Must have debmake installed for this to work. Otherwise please copy
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
38 # /usr/bin/debstd into the debian directory and change debstd to debian/debstd
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
39 debstd
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
40 dpkg-gencontrol -isp
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
41 chown -R root.root debian/tmp
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
42 chmod -R go=rX debian/tmp
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
43 dpkg --build debian/tmp ..
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
44
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
45 define checkdir
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
46 test -f debian/rules
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
47 endef
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
48
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
49 binary: binary-indep binary-arch
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
50
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
51 checkroot:
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
52 $(checkdir)
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
53 test root = "`whoami`"
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
54
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
55 .PHONY: binary binary-arch binary-indep clean checkroot