1 23b7ad13 2024-03-02 benni .POSIX:
 2 23b7ad13 2024-03-02 benni 
 3 23b7ad13 2024-03-02 benni PREFIX = /usr/local
 4 23b7ad13 2024-03-02 benni 
 5 23b7ad13 2024-03-02 benni all: make
 6 23b7ad13 2024-03-02 benni 
 7 23b7ad13 2024-03-02 benni clean:
 8 23b7ad13 2024-03-02 benni 	rm -f make
 9 23b7ad13 2024-03-02 benni 
10 23b7ad13 2024-03-02 benni install: make
11 23b7ad13 2024-03-02 benni 	mkdir -p ${DESTDIR}${PREFIX}/bin
12 23b7ad13 2024-03-02 benni 	cp -f make ${DESTDIR}${PREFIX}/bin/
13 23b7ad13 2024-03-02 benni 
14 23b7ad13 2024-03-02 benni make: make.awk
15 23b7ad13 2024-03-02 benni 	(printf "#!/bin/sh\ncode=%c\n" \'; cat make.awk; printf '%c\nawk -v args="$$*" "$$code" Makefile\n' \') > $@
16 23b7ad13 2024-03-02 benni 	chmod +x $@