git.iko.soy/Idris-dev
on master help sign in
Add missing files to idris.cabal
commit7f722cbd345aaa33c2fc2296475717679ce4eb29 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateWed 22 Jan 2014, 09:00 (13 years ago) parent99376f4
3 files changed+17−3
compare with master
unifiedsplit
idris.cabal+11 libs/Makefile+3 libs/neweffects/Makefile+3−3
idris.cabal+11
@@ -95,6 +95,11 @@ Extra-source-files:
9595 libs/effects/Effect/*.idr
9696 libs/effects/*.idr
9797
98+ libs/neweffects/Makefile
99+ libs/neweffects/effects.ipkg
100+ libs/neweffects/Effect/*.idr
101+ libs/neweffects/*.idr
102+
98103 libs/javascript/*.idr
99104 libs/javascript/JavaScript/*.idr
100105 libs/javascript/Makefile
@@ -192,6 +197,12 @@ Extra-source-files:
192197 test/reg029/run
193198 test/reg029/*.idr
194199 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
195206 test/test001/run
196207 test/test001/*.idr
197208 test/test001/expected
libs/Makefile+3
@@ -2,6 +2,7 @@ build:
22 $(MAKE) -C prelude build
33 $(MAKE) -C base build
44 $(MAKE) -C effects build
5+ $(MAKE) -C neweffects build
56 $(MAKE) -C javascript build
67
78
@@ -9,12 +10,14 @@ install:
910 $(MAKE) -C prelude install
1011 $(MAKE) -C base install
1112 $(MAKE) -C effects install
13+ $(MAKE) -C neweffects install
1214 $(MAKE) -C javascript install
1315
1416clean:
1517 $(MAKE) -C prelude clean
1618 $(MAKE) -C base clean
1719 $(MAKE) -C effects clean
20+ $(MAKE) -C neweffects clean
1821 $(MAKE) -C javascript clean
1922
2023.PHONY: build install clean
libs/neweffects/Makefile+3−3
@@ -1,13 +1,13 @@
11IDRIS := idris
22
33build:
4− $(IDRIS) --build effects.ipkg
4+ $(IDRIS) --build neweffects.ipkg
55
66clean:
7− $(IDRIS) --clean effects.ipkg
7+ $(IDRIS) --clean neweffects.ipkg
88
99install:
10− $(IDRIS) --install effects.ipkg
10+ $(IDRIS) --install neweffects.ipkg
1111
1212rebuild: clean build
1313