git.iko.soy/Idris-dev
on 5ffef89 help sign in
Idris-dev/libs/Makefile
33 lines 638 B history raw
1build:
2 $(MAKE) -C prelude build
3 $(MAKE) -C base build
4 $(MAKE) -C effects build
5 $(MAKE) -C neweffects build
8install:
9 $(MAKE) -C prelude install
10 $(MAKE) -C base install
11 $(MAKE) -C effects install
12 $(MAKE) -C neweffects install
14clean:
15 $(MAKE) -C prelude clean
16 $(MAKE) -C base clean
17 $(MAKE) -C effects clean
18 $(MAKE) -C neweffects clean
20doc:
21 $(MAKE) -C prelude doc
22 $(MAKE) -C base doc
23 $(MAKE) -C effects doc
24 $(MAKE) -C neweffects doc
26doc_clean:
27 $(MAKE) -C prelude doc_clean
28 $(MAKE) -C base doc_clean
29 $(MAKE) -C effects doc_clean
30 $(MAKE) -C neweffects doc_clean
33.PHONY: build install clean doc doc_clean