Add LLVM RTS to extra-source-files
commit136f604f99295f50c19b029a09337eeb8ca1b8e3
authorBenjamin Saunders <besaunde@sfu.ca>
dateFri 28 Jun 2013, 17:03 (13 years ago)
parent2069aec
idris.cabal+1
@@ -70,6 +70,7 @@ Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
7070 javascript/javascript.ipkg
7171 config.mk
7272 rts/*.c rts/*.h rts/Makefile
73+ llvm/*.c llvm/Makefile
7374 js/*.js
7475 java/src/main/java/org/idris/rts/*.java
7576 java/*.xml