git.iko.soy/Idris-dev
on master help sign in
Update cabal
b524d68Niklas Larsson
idris.cabal+7
compare with master
unifiedsplit
@@ -124,6 +124,8 @@ Extra-source-files:
124
124
125 libs/contrib/contrib.ipkg
125 libs/contrib/contrib.ipkg
126 libs/contrib/Makefile
126 libs/contrib/Makefile
127+ libs/contrib/*.idr
128+ libs/contrib/CFFI/*.idr
127 libs/contrib/Classes/*.idr
129 libs/contrib/Classes/*.idr
128 libs/contrib/Control/*.idr
130 libs/contrib/Control/*.idr
129 libs/contrib/Control/Isomorphism/*.idr
131 libs/contrib/Control/Isomorphism/*.idr
@@ -482,6 +484,11 @@ Extra-source-files:
482 test/ffi007/*.h
484 test/ffi007/*.h
483 test/ffi007/run
485 test/ffi007/run
484 test/ffi007/expected
486 test/ffi007/expected
487+ test/ffi008/*.idr
488+ test/ffi008/*.c
489+ test/ffi008/*.h
490+ test/ffi008/run
491+ test/ffi008/expected
485
492
486 test/folding001/*.idr
493 test/folding001/*.idr
487 test/folding001/run
494 test/folding001/run
test/ffi008/expected+2
@@ -0,0 +1,2 @@
1+True
2+True
test/ffi008/ffi008.idr+1−1
@@ -53,4 +53,4 @@ main : IO ()
53main = do
53main = do
54 printLn $ sizeOf test1 == !size1
54 printLn $ sizeOf test1 == !size1
55 printLn $ sizeOf test2 == !size2
55 printLn $ sizeOf test2 == !size2
56− printMore
56+-- printMore