ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-15 01:25:05 +03:00
Code Issues Projects Releases Wiki Activity

Update cabal file for reorganization

Browse Source
This commit is contained in:
David Raymond Christiansen 2015-03-17 10:53:55 +01:00
parent db5b385e13
commit 30fe3d7c03
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
idris.cabal
View File

@ -104,14 +104,18 @@ Extra-source-files:
libs/base/Data/*.idr libs/base/Data/*.idr
libs/base/Data/Vect/*.idr libs/base/Data/Vect/*.idr
libs/base/Debug/*.idr libs/base/Debug/*.idr
libs/base/Decidable/*.idr
libs/base/Language/Reflection/*.idr libs/base/Language/Reflection/*.idr
libs/base/Makefile libs/base/Makefile
libs/base/Network/*.idr libs/base/Network/*.idr
libs/base/System/*.idr libs/base/System/*.idr
libs/base/System/Concurrency/*.idr
libs/base/Syntax/*.idr libs/base/Syntax/*.idr
libs/contrib/contrib.ipkg
libs/contrib/Makefile
libs/contrib/Data/*.idr
libs/contrib/Decidable/*.idr
libs/contrib/Network/*.idr
libs/contrib/System/Concurrency/*.idr
libs/effects/Makefile libs/effects/Makefile
libs/effects/effects.ipkg libs/effects/effects.ipkg