git.iko.soy/Idris-dev
on master help sign in
Remove oldeffects from build
e707475Edwin Brady
libs/Makefile−3
compare with master
unifiedsplit
@@ -2,7 +2,6 @@ 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 oldeffects build
6 $(MAKE) -C javascript build
5 $(MAKE) -C javascript build
7
6
8
7
@@ -10,14 +9,12 @@ install:
10 $(MAKE) -C prelude install
9 $(MAKE) -C prelude install
11 $(MAKE) -C base install
10 $(MAKE) -C base install
12 $(MAKE) -C effects install
11 $(MAKE) -C effects install
13− $(MAKE) -C oldeffects install
14 $(MAKE) -C javascript install
12 $(MAKE) -C javascript install
15
13
16clean:
14clean:
17 $(MAKE) -C prelude clean
15 $(MAKE) -C prelude clean
18 $(MAKE) -C base clean
16 $(MAKE) -C base clean
19 $(MAKE) -C effects clean
17 $(MAKE) -C effects clean
20− $(MAKE) -C oldeffects clean
21 $(MAKE) -C javascript clean
18 $(MAKE) -C javascript clean
22
19
23.PHONY: build install clean
20.PHONY: build install clean