From ef1bdd81e54f7b614204641c02c7e9217196bfa6 Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Mon, 3 Apr 2017 17:39:07 +0900
Subject: [PATCH] set idris ffi flag

---
 build-constraints.yaml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 9b27658c..9e409d64 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -3148,6 +3148,9 @@ package-flags:
     hpio:
         test-hlint: false
 
+    idris:
+        ffi: true
+
     minio-hs:
         live-test: false