diff -r 760168a444e2 -r 43dd6dcf5860 Makefile --- 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/