git.iko.soy/Idris-dev
on d773edd help sign in
Idris-dev/libs/Makefile
37 lines 747 B history raw
1build:
2 $(MAKE) -C prelude build
3 $(MAKE) -C base build
4 $(MAKE) -C contrib build
5 $(MAKE) -C effects build
6 $(MAKE) -C pruviloj build
9install:
10 $(MAKE) -C prelude install
11 $(MAKE) -C base install
12 $(MAKE) -C contrib install
13 $(MAKE) -C effects install
14 $(MAKE) -C pruviloj install
16clean:
17 $(MAKE) -C prelude clean
18 $(MAKE) -C base clean
19 $(MAKE) -C contrib clean
20 $(MAKE) -C effects clean
21 $(MAKE) -C pruviloj clean
23doc:
24 $(MAKE) -C prelude doc
25 $(MAKE) -C base doc
26 $(MAKE) -C contrib doc
27 $(MAKE) -C effects doc
28 $(MAKE) -C pruviloj doc
30doc_clean:
31 $(MAKE) -C prelude doc_clean
32 $(MAKE) -C base doc_clean
33 $(MAKE) -C contrib doc_clean
34 $(MAKE) -C effects doc_clean
35 $(MAKE) -C pruviloj doc_clean
37.PHONY: build install clean doc doc_clean