git.iko.soy/Idris-dev
on 7afa310 help sign in
Idris-dev/libs/Makefile
28 lines 485 B history raw
1build:
2 $(MAKE) -C prelude build
3 $(MAKE) -C base build
4 $(MAKE) -C effects build
7install:
8 $(MAKE) -C prelude install
9 $(MAKE) -C base install
10 $(MAKE) -C effects install
12clean:
13 $(MAKE) -C prelude clean
14 $(MAKE) -C base clean
15 $(MAKE) -C effects clean
17doc:
18 $(MAKE) -C prelude doc
19 $(MAKE) -C base doc
20 $(MAKE) -C effects doc
22doc_clean:
23 $(MAKE) -C prelude doc_clean
24 $(MAKE) -C base doc_clean
25 $(MAKE) -C effects doc_clean
28.PHONY: build install clean doc doc_clean