@@ -66,7 +66,7 @@ Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
6666 config.mk
6767 rts/*.c rts/*.h rts/Makefile
6868 js/*.js
69− java/org/idris/rts/*.java
69+ java/src/main/java/org/idris/rts/*.java
7070
7171source-repository head
7272 type: git
@@ -96,6 +96,7 @@ Executable idris
9696 Idris.Coverage, Idris.IBC, Idris.Unlit,
9797 Idris.DataOpts, Idris.Transforms, Idris.DSL,
9898 Idris.UnusedArgs, Idris.Docs, Idris.Completion,
99+ Idris.Providers,
99100
100101 Util.Pretty, Util.System, Util.DynamicLinker,
101102 Pkg.Package, Pkg.PParser,