diff options
-rw-r--r-- | Makefile | 11 |
1 files changed, 5 insertions, 6 deletions
@@ -1,16 +1,15 @@ -.POSIX: .PHONY: all install clean .SUFFIXES: .SUFFIXES: .bash -PREFIX = /usr/local -BASH = /bin/bash ALL = parcimini +BASH = /bin/bash +PREFIX = /usr/local +all: $(ALL) .bash: $(BASH) -c : - awk -v bash=$(BASH) 'NR == 1 { print "#!" bash } 1' $< > $@ + awk -v interpreter=$(BASH) 'NR == 1 { $$1 ="#!" interpreter } 1' $< > $@ chmod +x ./$@ -all: $(ALL) -install: $(ALL) +install: parcimini mkdir -p -- $(PREFIX)/bin cp -- parcimini $(PREFIX)/bin clean: |