git.iko.soy/Idris-dev
on master help sign in
Fix missing files in idris.cabal
4ed62ccEdwin Brady
idris.cabal+2−1
compare with master
unifiedsplit
@@ -66,7 +66,7 @@ Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
66 config.mk
66 config.mk
67 rts/*.c rts/*.h rts/Makefile
67 rts/*.c rts/*.h rts/Makefile
68 js/*.js
68 js/*.js
69− java/org/idris/rts/*.java
69+ java/src/main/java/org/idris/rts/*.java
70
70
71source-repository head
71source-repository head
72 type: git
72 type: git
@@ -96,6 +96,7 @@ Executable idris
96 Idris.Coverage, Idris.IBC, Idris.Unlit,
96 Idris.Coverage, Idris.IBC, Idris.Unlit,
97 Idris.DataOpts, Idris.Transforms, Idris.DSL,
97 Idris.DataOpts, Idris.Transforms, Idris.DSL,
98 Idris.UnusedArgs, Idris.Docs, Idris.Completion,
98 Idris.UnusedArgs, Idris.Docs, Idris.Completion,
99+ Idris.Providers,
99
100
100 Util.Pretty, Util.System, Util.DynamicLinker,
101 Util.Pretty, Util.System, Util.DynamicLinker,
101 Pkg.Package, Pkg.PParser,
102 Pkg.Package, Pkg.PParser,