git.iko.soy/Idris-dev
on master help sign in
Update idris.cabal
829bd85Niklas Larsson
idris.cabal+2
compare with master
unifiedsplit
@@ -66,6 +66,8 @@ Extra-source-files:
66
66
67 rts/*.c
67 rts/*.c
68 rts/*.h
68 rts/*.h
69+ rts/windows/*.c
70+ rts/windows/*.h
69 rts/Makefile
71 rts/Makefile
70
72
71 libs/Makefile
73 libs/Makefile