annotate debian/rules @ 1229:8c8ed61a98c6

strip mplayer, files is auto-generated
author eyck
date Tue, 26 Jun 2001 08:50:39 +0000
parents 936cf314097f
children d216f62ce921
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
8c8ed61a98c6 strip mplayer, files is auto-generated
eyck
parents: 897
diff changeset
12 strip mplayer
18
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
13 touch build
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
14
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
15 clean:
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
16 $(checkdir)
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
17 -rm -f build
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
18 -$(MAKE) distclean
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
19 -rm -f `find . -name "*~"`
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
20 -rm -rf debian/tmp debian/files* core debian/substvars
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
21
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
22 binary-indep: checkroot build
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
23 $(checkdir)
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
24 # There are no architecture-independent files to be uploaded
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
25 # generated by this package. If there were any they would be
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
26 # made here.
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
27
845
29a3f57d5e1d spellcheck, start of integration with debian menu system, /etc/mplayer.conf
eyck
parents: 821
diff changeset
28
29a3f57d5e1d spellcheck, start of integration with debian menu system, /etc/mplayer.conf
eyck
parents: 821
diff changeset
29
18
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
30 binary-arch: checkroot build
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
31 $(checkdir)
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
32 -rm -rf debian/tmp
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
33 install -d debian/tmp
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
34 cd debian/tmp && install -d `cat ../dirs`
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
35 $(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
36
29a3f57d5e1d spellcheck, start of integration with debian menu system, /etc/mplayer.conf
eyck
parents: 821
diff changeset
37
18
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
38 # Must have debmake installed for this to work. Otherwise please copy
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
39 # /usr/bin/debstd into the debian directory and change debstd to debian/debstd
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
40 debstd
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
41 dpkg-gencontrol -isp
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
42 chown -R root.root debian/tmp
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
43 chmod -R go=rX debian/tmp
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
44 dpkg --build debian/tmp ..
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
45
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
46 define checkdir
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
47 test -f debian/rules
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
48 endef
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
49
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
50 binary: binary-indep binary-arch
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
51
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
52 checkroot:
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
53 $(checkdir)
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
54 test root = "`whoami`"
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
55
531d58007138 Initial revision
arpi_esp
parents:
diff changeset
56 .PHONY: binary binary-arch binary-indep clean checkroot