Makefile
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/