git.iko.soy/Idris-dev
on master help sign in
Add missing files to idris.cabal
7f722cbEdwin Brady
idris.cabal+11
compare with master
unifiedsplit
@@ -95,6 +95,11 @@ Extra-source-files:
95 libs/effects/Effect/*.idr
95 libs/effects/Effect/*.idr
96 libs/effects/*.idr
96 libs/effects/*.idr
97
97
98+ libs/neweffects/Makefile
99+ libs/neweffects/effects.ipkg
100+ libs/neweffects/Effect/*.idr
101+ libs/neweffects/*.idr
102+
98 libs/javascript/*.idr
103 libs/javascript/*.idr
99 libs/javascript/JavaScript/*.idr
104 libs/javascript/JavaScript/*.idr
100 libs/javascript/Makefile
105 libs/javascript/Makefile
@@ -192,6 +197,12 @@ Extra-source-files:
192 test/reg029/run
197 test/reg029/run
193 test/reg029/*.idr
198 test/reg029/*.idr
194 test/reg029/expected
199 test/reg029/expected
200+ test/reg030/run
201+ test/reg030/*.idr
202+ test/reg030/expected
203+ test/reg031/run
204+ test/reg031/*.idr
205+ test/reg031/expected
195 test/test001/run
206 test/test001/run
196 test/test001/*.idr
207 test/test001/*.idr
197 test/test001/expected
208 test/test001/expected
libs/Makefile+3
@@ -2,6 +2,7 @@ build:
2 $(MAKE) -C prelude build
2 $(MAKE) -C prelude build
3 $(MAKE) -C base build
3 $(MAKE) -C base build
4 $(MAKE) -C effects build
4 $(MAKE) -C effects build
5+ $(MAKE) -C neweffects build
5 $(MAKE) -C javascript build
6 $(MAKE) -C javascript build
6
7
7
8
@@ -9,12 +10,14 @@ install:
9 $(MAKE) -C prelude install
10 $(MAKE) -C prelude install
10 $(MAKE) -C base install
11 $(MAKE) -C base install
11 $(MAKE) -C effects install
12 $(MAKE) -C effects install
13+ $(MAKE) -C neweffects install
12 $(MAKE) -C javascript install
14 $(MAKE) -C javascript install
13
15
14clean:
16clean:
15 $(MAKE) -C prelude clean
17 $(MAKE) -C prelude clean
16 $(MAKE) -C base clean
18 $(MAKE) -C base clean
17 $(MAKE) -C effects clean
19 $(MAKE) -C effects clean
20+ $(MAKE) -C neweffects clean
18 $(MAKE) -C javascript clean
21 $(MAKE) -C javascript clean
19
22
20.PHONY: build install clean
23.PHONY: build install clean
libs/neweffects/Makefile+3−3
@@ -1,13 +1,13 @@
1IDRIS := idris
1IDRIS := idris
2
2
3build:
3build:
4− $(IDRIS) --build effects.ipkg
4+ $(IDRIS) --build neweffects.ipkg
5
5
6clean:
6clean:
7− $(IDRIS) --clean effects.ipkg
7+ $(IDRIS) --clean neweffects.ipkg
8
8
9install:
9install:
10− $(IDRIS) --install effects.ipkg
10+ $(IDRIS) --install neweffects.ipkg
11
11
12rebuild: clean build
12rebuild: clean build
13
13