git.iko.soy/Idris-dev
on dcdebfc help sign in
Idris-dev/libs/Makefile
23 lines 472 B history raw
1build:
2 $(MAKE) -C prelude build
3 $(MAKE) -C base build
4 $(MAKE) -C effects build
5 $(MAKE) -C oldeffects build
6 $(MAKE) -C javascript build
9install:
10 $(MAKE) -C prelude install
11 $(MAKE) -C base install
12 $(MAKE) -C effects install
13 $(MAKE) -C oldeffects install
14 $(MAKE) -C javascript install
16clean:
17 $(MAKE) -C prelude clean
18 $(MAKE) -C base clean
19 $(MAKE) -C effects clean
20 $(MAKE) -C oldeffects clean
21 $(MAKE) -C javascript clean
23.PHONY: build install clean