Merge pull request #1231 from melted/patch-1
Add the rts/windows files to idris.cabal
commitf67031e8b6d773013a3251c1b3b109c2e05e1187
authorDavid Christiansen <david@davidchristiansen.dk>
dateTue 20 May 2014, 14:38 (12 years ago)
parenteb13e68829bd85
idris.cabal+2
@@ -66,6 +66,8 @@ Extra-source-files:
6666
6767 rts/*.c
6868 rts/*.h
69+ rts/windows/*.c
70+ rts/windows/*.h
6971 rts/Makefile
7072
7173 libs/Makefile