@@ -70,6 +70,7 @@ Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
70 javascript/javascript.ipkg
70 javascript/javascript.ipkg
72 rts/*.c rts/*.h rts/Makefile
72 rts/*.c rts/*.h rts/Makefile
73+ llvm/*.c llvm/Makefile
74 java/src/main/java/org/idris/rts/*.java
75 java/src/main/java/org/idris/rts/*.java
75 java/*.xml
76 java/*.xml