git.iko.soy/Idris-dev
on master help sign in
Update cabal
commitb524d6840656fe90ecf99efbcfff0e431aa7d37a authorNiklas Larsson <niklas@mm.st> dateTue 16 Feb 2016, 00:46 (11 years ago) parentd06ca16
3 files changed+10−1
compare with master
unifiedsplit
idris.cabal+7 test/ffi008/expected+2 test/ffi008/ffi008.idr+1−1
idris.cabal+7
@@ -124,6 +124,8 @@ Extra-source-files:
124124
125125 libs/contrib/contrib.ipkg
126126 libs/contrib/Makefile
127+ libs/contrib/*.idr
128+ libs/contrib/CFFI/*.idr
127129 libs/contrib/Classes/*.idr
128130 libs/contrib/Control/*.idr
129131 libs/contrib/Control/Isomorphism/*.idr
@@ -482,6 +484,11 @@ Extra-source-files:
482484 test/ffi007/*.h
483485 test/ffi007/run
484486 test/ffi007/expected
487+ test/ffi008/*.idr
488+ test/ffi008/*.c
489+ test/ffi008/*.h
490+ test/ffi008/run
491+ test/ffi008/expected
485492
486493 test/folding001/*.idr
487494 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 ()
5353main = do
5454 printLn $ sizeOf test1 == !size1
5555 printLn $ sizeOf test2 == !size2
56− printMore
56+-- printMore