set idris ffi flag

This commit is contained in:
Jens Petersen 2017-04-03 17:39:07 +09:00
parent 1586e6f75b
commit ef1bdd81e5

View File

@ -3148,6 +3148,9 @@ package-flags:
hpio:
test-hlint: false
idris:
ffi: true
minio-hs:
live-test: false