git.iko.soy/Idris-dev
on 985fe52 help sign in
Idris-dev/libs/Makefile
20 lines 384 B history raw
1build: .PHONY
2 $(MAKE) -C prelude build
3 $(MAKE) -C base build
4 $(MAKE) -C effects build
5 $(MAKE) -C javascript build
8install: .PHONY
9 $(MAKE) -C prelude install
10 $(MAKE) -C base install
11 $(MAKE) -C effects install
12 $(MAKE) -C javascript install
14clean: .PHONY
15 $(MAKE) -C prelude clean
16 $(MAKE) -C base clean
17 $(MAKE) -C effects clean
18 $(MAKE) -C javascript clean
20.PHONY: