| changeset 1 | 43dd6dcf5860 |
| parent 0 | 760168a444e2 |
| child 2 | 50f99c655e4a |
| 0:760168a444e2 | 1:43dd6dcf5860 |
|---|---|
1 CFLAGS = -O2 -Wall |
1 CFLAGS = -O2 -Wall |
2 |
|
3 prefix = /usr/local |
|
4 DESTDIR ?= |
|
2 |
5 |
3 .PHONY: all clean |
6 .PHONY: all clean |
4 |
7 |
5 all: gai |
8 all: gai |
6 clean: ; rm -f *.o gai |
9 clean: ; rm -f *.o gai |
10 install: |
|
11 install -d ${DESTDIR}${prefix}/bin |
|
12 install -m 755 gai ${DESTDIR}${prefix}/bin/ |