Merge pull request #777 from andy-morris/makefile-phony
Fix .PHONY targets in Makefiles
commit05524a1cfff9e2d445701f2e6578f2dc4a5379a9
authorEdwin Brady <edwin.brady@gmail.com>
dateTue 14 Jan 2014, 08:36 (13 years ago)
parentebc531823a28d5
examples/Makefile+2−2
@@ -1,8 +1,8 @@
1−check: .PHONY
1+check:
22 rm -f *.ibc
33 for x in *.idr ; do \
44 echo "Checking $$x"; \
55 idris --check $$x; \
66 done
77
8−.PHONY:
8+.PHONY: check
libs/Makefile+4−4
@@ -1,20 +1,20 @@
1−build: .PHONY
1+build:
22 $(MAKE) -C prelude build
33 $(MAKE) -C base build
44 $(MAKE) -C effects build
55 $(MAKE) -C javascript build
66
77
8−install: .PHONY
8+install:
99 $(MAKE) -C prelude install
1010 $(MAKE) -C base install
1111 $(MAKE) -C effects install
1212 $(MAKE) -C javascript install
1313
14−clean: .PHONY
14+clean:
1515 $(MAKE) -C prelude clean
1616 $(MAKE) -C base clean
1717 $(MAKE) -C effects clean
1818 $(MAKE) -C javascript clean
1919
20−.PHONY:
20+.PHONY: build install clean
libs/base/Makefile+4−4
@@ -1,17 +1,17 @@
11IDRIS := idris
22
3−build: .PHONY
3+build:
44 $(IDRIS) --build base.ipkg
55
66install:
77 $(IDRIS) --install base.ipkg
88
9−clean: .PHONY
9+clean:
1010 $(IDRIS) --clean base.ipkg
1111
1212rebuild: clean build
1313
14−linecount: .PHONY
14+linecount:
1515 find . -name '*.idr' | xargs wc -l
1616
17−.PHONY:
17+.PHONY: build install clean rebuild linecount
libs/effects/Makefile+3−3
@@ -1,9 +1,9 @@
11IDRIS := idris
22
3−build: .PHONY
3+build:
44 $(IDRIS) --build effects.ipkg
55
6−clean: .PHONY
6+clean:
77 $(IDRIS) --clean effects.ipkg
88
99install:
@@ -11,4 +11,4 @@ install:
1111
1212rebuild: clean build
1313
14−.PHONY:
14+.PHONY: build clean install rebuild
libs/javascript/Makefile+3−3
@@ -1,14 +1,14 @@
11IDRIS := idris
22
3−build: .PHONY
3+build:
44 $(IDRIS) --build javascript.ipkg
55
66install:
77 $(IDRIS) --install javascript.ipkg
88
9−clean: .PHONY
9+clean:
1010 $(IDRIS) --clean javascript.ipkg
1111
1212rebuild: clean build
1313
14−.PHONY:
14+.PHONY: build install clean rebuild
libs/prelude/Makefile+4−4
@@ -1,17 +1,17 @@
11IDRIS := idris
22
3−build: .PHONY
3+build:
44 $(IDRIS) --build prelude.ipkg
55
66install:
77 $(IDRIS) --install prelude.ipkg
88
9−clean: .PHONY
9+clean:
1010 $(IDRIS) --clean prelude.ipkg
1111
1212rebuild: clean build
1313
14−linecount: .PHONY
14+linecount:
1515 find . -name '*.idr' | xargs wc -l
1616
17−.PHONY:
17+.PHONY: build install clean rebuild linecount
llvm/Makefile+3−3
@@ -14,11 +14,11 @@ $(LIB): $(OBJECTS)
1414.c.o:
1515 $(CC) -c $(CFLAGS) $< -o $@
1616
17−install: $(LIB) .PHONY
17+install: $(LIB)
1818 mkdir -p $(TARGET)
1919 install $(LIB) $(TARGET)
2020
21−clean: .PHONY
21+clean:
2222 rm -f $(OBJECTS) $(LIB)
2323
24−.PHONY:
24+.PHONY: build install clean
papers/impl-paper/Makefile+5−5
@@ -1,6 +1,6 @@
11PAPER = impldtp
22
3−all: ${PAPER}.pdf .PHONY
3+all: ${PAPER}.pdf
44
55TEXFILES = ${PAPER}.tex intro.tex conclusions.tex hll.tex\
66 typechecking.tex elaboration.tex delab.tex \
@@ -28,16 +28,16 @@ ${PAPER}.dvi: $(SOURCES)
2828 -latex ${PAPER}
2929 -latex ${PAPER}
3030
31−progress: .PHONY
31+progress:
3232 wc -w ${TEXFILES}
3333
3434%.png : %.diag
3535 $(DITAA) -o -E $<
3636
37−todropbox: .PHONY
37+todropbox:
3838 cp ${SOURCES} ~/Dropbox/TeX/ImplDTP/
3939
40−fromdropbox: .PHONY
40+fromdropbox:
4141 cp ~/Dropbox/TeX/ImplDTP/* .
4242
43−.PHONY:
43+.PHONY: all progress todropbox fromdropbox
rts/Makefile+3−3
@@ -15,13 +15,13 @@ $(LIBTARGET) : $(OBJS)
1515 ar r $(LIBTARGET) $(OBJS)
1616 ranlib $(LIBTARGET)
1717
18−install : .PHONY
18+install :
1919 mkdir -p $(TARGET)
2020 install $(LIBTARGET) $(HDRS) $(TARGET)
2121
22−clean : .PHONY
22+clean :
2323 rm -f $(OBJS) $(LIBTARGET) $(DYLIBTARGET)
2424
2525idris_rts.o: idris_rts.h
2626
27−.PHONY:
27+.PHONY: build install clean
support/Makefile+1−1
@@ -12,4 +12,4 @@ install: check
1212 install $(LIBTARGET) $(TARGET)
1313 install $(HDRS) $(TARGET)
1414
15−.PHONY:
15+.PHONY: check install
test/Makefile+1−1
@@ -105,4 +105,4 @@ distclean:
105105 rm -f *~
106106 rm -f */output
107107
108−.phony: test test_java test_js update diff distclean $(TESTS)
108+.PHONY: test test_java test_js update diff distclean $(TESTS)