git.iko.soy/Idris-dev
on master help sign in
We need libs/Makefile too!
873e824Edwin Brady
idris.cabal+2−1
compare with master
unifiedsplit
@@ -66,6 +66,8 @@ Extra-source-files:
66 rts/*.h
66 rts/*.h
67 rts/Makefile
67 rts/Makefile
68
68
69+ libs/Makefile
70+
69 libs/base/base.ipkg
71 libs/base/base.ipkg
70 libs/base/*.idr
72 libs/base/*.idr
71 libs/base/Control/*.idr
73 libs/base/Control/*.idr
@@ -86,7 +88,6 @@ Extra-source-files:
86 libs/effects/Effect/*.idr
88 libs/effects/Effect/*.idr
87 libs/effects/*.idr
89 libs/effects/*.idr
88
90
89−
90 libs/javascript/*.idr
91 libs/javascript/*.idr
91 libs/javascript/JavaScript/*.idr
92 libs/javascript/JavaScript/*.idr
92 libs/javascript/Makefile
93 libs/javascript/Makefile