git.iko.soy/Idris-dev
on master help sign in
Merge pull request #777 from andy-morris/makefile-phony
05524a1Edwin Brady
examples/Makefile+2−2
compare with master
unifiedsplit
@@ -1,8 +1,8 @@
1−check: .PHONY
1+check:
2 rm -f *.ibc
2 rm -f *.ibc
3 for x in *.idr ; do \
3 for x in *.idr ; do \
4 echo "Checking $$x"; \
4 echo "Checking $$x"; \
5 idris --check $$x; \
5 idris --check $$x; \
6 done
6 done
7
7
8−.PHONY:
8+.PHONY: check
libs/Makefile+4−4
@@ -1,20 +1,20 @@
1−build: .PHONY
1+build:
2 $(MAKE) -C prelude build
2 $(MAKE) -C prelude build
3 $(MAKE) -C base build
3 $(MAKE) -C base build
4 $(MAKE) -C effects build
4 $(MAKE) -C effects build
5 $(MAKE) -C javascript build
5 $(MAKE) -C javascript build
6
6
7
7
8−install: .PHONY
8+install:
9 $(MAKE) -C prelude install
9 $(MAKE) -C prelude install
10 $(MAKE) -C base install
10 $(MAKE) -C base install
11 $(MAKE) -C effects install
11 $(MAKE) -C effects install
12 $(MAKE) -C javascript install
12 $(MAKE) -C javascript install
13
13
14−clean: .PHONY
14+clean:
15 $(MAKE) -C prelude clean
15 $(MAKE) -C prelude clean
16 $(MAKE) -C base clean
16 $(MAKE) -C base clean
17 $(MAKE) -C effects clean
17 $(MAKE) -C effects clean
18 $(MAKE) -C javascript clean
18 $(MAKE) -C javascript clean
19
19
20−.PHONY:
20+.PHONY: build install clean
libs/base/Makefile+4−4
@@ -1,17 +1,17 @@
1IDRIS := idris
1IDRIS := idris
2
2
3−build: .PHONY
3+build:
4 $(IDRIS) --build base.ipkg
4 $(IDRIS) --build base.ipkg
5
5
6install:
6install:
7 $(IDRIS) --install base.ipkg
7 $(IDRIS) --install base.ipkg
8
8
9−clean: .PHONY
9+clean:
10 $(IDRIS) --clean base.ipkg
10 $(IDRIS) --clean base.ipkg
11
11
12rebuild: clean build
12rebuild: clean build
13
13
14−linecount: .PHONY
14+linecount:
15 find . -name '*.idr' | xargs wc -l
15 find . -name '*.idr' | xargs wc -l
16
16
17−.PHONY:
17+.PHONY: build install clean rebuild linecount
libs/effects/Makefile+3−3
@@ -1,9 +1,9 @@
1IDRIS := idris
1IDRIS := idris
2
2
3−build: .PHONY
3+build:
4 $(IDRIS) --build effects.ipkg
4 $(IDRIS) --build effects.ipkg
5
5
6−clean: .PHONY
6+clean:
7 $(IDRIS) --clean effects.ipkg
7 $(IDRIS) --clean effects.ipkg
8
8
9install:
9install:
@@ -11,4 +11,4 @@ install:
11
11
12rebuild: clean build
12rebuild: clean build
13
13
14−.PHONY:
14+.PHONY: build clean install rebuild
libs/javascript/Makefile+3−3
@@ -1,14 +1,14 @@
1IDRIS := idris
1IDRIS := idris
2
2
3−build: .PHONY
3+build:
4 $(IDRIS) --build javascript.ipkg
4 $(IDRIS) --build javascript.ipkg
5
5
6install:
6install:
7 $(IDRIS) --install javascript.ipkg
7 $(IDRIS) --install javascript.ipkg
8
8
9−clean: .PHONY
9+clean:
10 $(IDRIS) --clean javascript.ipkg
10 $(IDRIS) --clean javascript.ipkg
11
11
12rebuild: clean build
12rebuild: clean build
13
13
14−.PHONY:
14+.PHONY: build install clean rebuild
libs/prelude/Makefile+4−4
@@ -1,17 +1,17 @@
1IDRIS := idris
1IDRIS := idris
2
2
3−build: .PHONY
3+build:
4 $(IDRIS) --build prelude.ipkg
4 $(IDRIS) --build prelude.ipkg
5
5
6install:
6install:
7 $(IDRIS) --install prelude.ipkg
7 $(IDRIS) --install prelude.ipkg
8
8
9−clean: .PHONY
9+clean:
10 $(IDRIS) --clean prelude.ipkg
10 $(IDRIS) --clean prelude.ipkg
11
11
12rebuild: clean build
12rebuild: clean build
13
13
14−linecount: .PHONY
14+linecount:
15 find . -name '*.idr' | xargs wc -l
15 find . -name '*.idr' | xargs wc -l
16
16
17−.PHONY:
17+.PHONY: build install clean rebuild linecount
llvm/Makefile+3−3
@@ -14,11 +14,11 @@ $(LIB): $(OBJECTS)
14.c.o:
14.c.o:
15 $(CC) -c $(CFLAGS) $< -o $@
15 $(CC) -c $(CFLAGS) $< -o $@
16
16
17−install: $(LIB) .PHONY
17+install: $(LIB)
18 mkdir -p $(TARGET)
18 mkdir -p $(TARGET)
19 install $(LIB) $(TARGET)
19 install $(LIB) $(TARGET)
20
20
21−clean: .PHONY
21+clean:
22 rm -f $(OBJECTS) $(LIB)
22 rm -f $(OBJECTS) $(LIB)
23
23
24−.PHONY:
24+.PHONY: build install clean
papers/impl-paper/Makefile+5−5
@@ -1,6 +1,6 @@
1PAPER = impldtp
1PAPER = impldtp
2
2
3−all: ${PAPER}.pdf .PHONY
3+all: ${PAPER}.pdf
4
4
5TEXFILES = ${PAPER}.tex intro.tex conclusions.tex hll.tex\
5TEXFILES = ${PAPER}.tex intro.tex conclusions.tex hll.tex\
6 typechecking.tex elaboration.tex delab.tex \
6 typechecking.tex elaboration.tex delab.tex \
@@ -28,16 +28,16 @@ ${PAPER}.dvi: $(SOURCES)
28 -latex ${PAPER}
28 -latex ${PAPER}
29 -latex ${PAPER}
29 -latex ${PAPER}
30
30
31−progress: .PHONY
31+progress:
32 wc -w ${TEXFILES}
32 wc -w ${TEXFILES}
33
33
34%.png : %.diag
34%.png : %.diag
35 $(DITAA) -o -E $<
35 $(DITAA) -o -E $<
36
36
37−todropbox: .PHONY
37+todropbox:
38 cp ${SOURCES} ~/Dropbox/TeX/ImplDTP/
38 cp ${SOURCES} ~/Dropbox/TeX/ImplDTP/
39
39
40−fromdropbox: .PHONY
40+fromdropbox:
41 cp ~/Dropbox/TeX/ImplDTP/* .
41 cp ~/Dropbox/TeX/ImplDTP/* .
42
42
43−.PHONY:
43+.PHONY: all progress todropbox fromdropbox
rts/Makefile+3−3
@@ -15,13 +15,13 @@ $(LIBTARGET) : $(OBJS)
15 ar r $(LIBTARGET) $(OBJS)
15 ar r $(LIBTARGET) $(OBJS)
16 ranlib $(LIBTARGET)
16 ranlib $(LIBTARGET)
17
17
18−install : .PHONY
18+install :
19 mkdir -p $(TARGET)
19 mkdir -p $(TARGET)
20 install $(LIBTARGET) $(HDRS) $(TARGET)
20 install $(LIBTARGET) $(HDRS) $(TARGET)
21
21
22−clean : .PHONY
22+clean :
23 rm -f $(OBJS) $(LIBTARGET) $(DYLIBTARGET)
23 rm -f $(OBJS) $(LIBTARGET) $(DYLIBTARGET)
24
24
25idris_rts.o: idris_rts.h
25idris_rts.o: idris_rts.h
26
26
27−.PHONY:
27+.PHONY: build install clean
support/Makefile+1−1
@@ -12,4 +12,4 @@ install: check
12 install $(LIBTARGET) $(TARGET)
12 install $(LIBTARGET) $(TARGET)
13 install $(HDRS) $(TARGET)
13 install $(HDRS) $(TARGET)
14
14
15−.PHONY:
15+.PHONY: check install
test/Makefile+1−1
@@ -105,4 +105,4 @@ distclean:
105 rm -f *~
105 rm -f *~
106 rm -f */output
106 rm -f */output
107
107
108−.phony: test test_java test_js update diff distclean $(TESTS)
108+.PHONY: test test_java test_js update diff distclean $(TESTS)