changeset 1 | 43dd6dcf5860 |
parent 0 | 760168a444e2 |
child 2 | 50f99c655e4a |
--- a/Makefile Thu Jun 21 23:12:08 2012 +0200 +++ b/Makefile Thu Jul 12 12:38:11 2012 +0200 @@ -1,6 +1,12 @@ CFLAGS = -O2 -Wall +prefix = /usr/local +DESTDIR ?= + .PHONY: all clean all: gai clean: ; rm -f *.o gai +install: + install -d ${DESTDIR}${prefix}/bin + install -m 755 gai ${DESTDIR}${prefix}/bin/