git.iko.soy/Idris-dev
on master help sign in
Missing cabal entries added.
c20a82cJan Bessai
idris.cabal+2−1
compare with master
unifiedsplit
@@ -262,7 +262,8 @@ Executable idris
262
262
263 IRTS.Lang, IRTS.LParser, IRTS.Bytecode, IRTS.Simplified,
263 IRTS.Lang, IRTS.LParser, IRTS.Bytecode, IRTS.Simplified,
264 IRTS.CodegenC, IRTS.Defunctionalise, IRTS.Inliner,
264 IRTS.CodegenC, IRTS.Defunctionalise, IRTS.Inliner,
265− IRTS.Compiler, IRTS.CodegenJava, IRTS.BCImp,
265+ IRTS.Compiler, IRTS.CodegenJava, IRTS.Java.ASTBuilding,
266+ IRTS.Java.JTypes, IRTS.Java.Mangling, IRTS.BCImp,
266 IRTS.CodegenJavaScript, IRTS.CodegenLLVM,
267 IRTS.CodegenJavaScript, IRTS.CodegenLLVM,
267 IRTS.CodegenCommon, IRTS.DumpBC
268 IRTS.CodegenCommon, IRTS.DumpBC
268
269