1 03eca996 2022-06-29 op VERSION=	0.1
 2 70db4263 2022-06-29 op PROG=		plass
 3 70db4263 2022-06-29 op MAN=		plass.1
 4 03eca996 2022-06-29 op EXTRA=		README.md Makefile plass-dist.txt
 5 5cdf5adc 2022-05-08 op 
 6 70db4263 2022-06-29 op INSTALL=	install
 7 70db4263 2022-06-29 op INSTALL_MAN=	${INSTALL} -m 0444
 8 70db4263 2022-06-29 op INSTALL_PROGRAM=${INSTALL} -m 0555
 9 5cdf5adc 2022-05-08 op 
10 70db4263 2022-06-29 op PREFIX=		/usr/local
11 70db4263 2022-06-29 op MANDIR=		${PREFIX}/man
12 70db4263 2022-06-29 op 
13 70db4263 2022-06-29 op # for dist
14 70db4263 2022-06-29 op TMPDIR=		/tmp
15 70db4263 2022-06-29 op STAGEDIR=	${TMPDIR}/plass-${VERSION}
16 70db4263 2022-06-29 op 
17 03eca996 2022-06-29 op .PHONY: all dist install-local install lint
18 70db4263 2022-06-29 op 
19 5cdf5adc 2022-05-08 op all:
20 5cdf5adc 2022-05-08 op 
21 03eca996 2022-06-29 op install-local:
22 03eca996 2022-06-29 op 	${INSTALL_PROGRAM} ${PROG} ${HOME}/bin
23 03eca996 2022-06-29 op 
24 5cdf5adc 2022-05-08 op install:
25 03eca996 2022-06-29 op 	${INSTALL_PROGRAM} ${PROG} ${PREFIX}/bin
26 03eca996 2022-06-29 op 	${INSTALL_MAN} ${MAN} ${MANDIR}/man1/
27 70db4263 2022-06-29 op 
28 70db4263 2022-06-29 op lint:
29 70db4263 2022-06-29 op 	man -Tlint -l ${MAN}
30 70db4263 2022-06-29 op 
31 70db4263 2022-06-29 op dist:
32 70db4263 2022-06-29 op 	mkdir ${STAGEDIR}
33 70db4263 2022-06-29 op 	pax -rw ${PROG} ${MAN} ${EXTRA} ${STAGEDIR}
34 70db4263 2022-06-29 op 	tar -C ${TMPDIR} -vzcf plass-${VERSION}.tar.gz plass-${VERSION} | \
35 70db4263 2022-06-29 op 		sed -E 's,^plass-${VERSION}/?,,' | \
36 70db4263 2022-06-29 op 		sort -u > plass-dist.txt.new
37 70db4263 2022-06-29 op 	rm -rf ${STAGEDIR}
38 70db4263 2022-06-29 op 	diff -u plass-dist.txt{,.new}
39 70db4263 2022-06-29 op 	rm plass-dist.txt.new