git.iko.soy/Idris-dev
on master help sign in
Oops, missed another thing...
2d68066Edwin Brady
libs/Makefilenew file+17
compare with master
unifiedsplit
@@ -0,0 +1,17 @@
1+build: .PHONY
2+ make -C base build
3+ make -C effects build
4+ make -C javascript build
5+
6+
7+install: .PHONY
8+ make -C base install
9+ make -C effects install
10+ make -C javascript install
11+
12+clean: .PHONY
13+ make -C base clean
14+ make -C effects clean
15+ make -C javascript clean
16+
17+.PHONY: