From 117dc0a93172f873e295d90cbd5fee635cb799f2 Mon Sep 17 00:00:00 2001
From: Ryan Scott <ryan.gl.scott@gmail.com>
Date: Fri, 20 May 2016 15:04:53 -0400
Subject: [PATCH] Put bench/data/*.cry in extra-source-files

---
 cryptol.cabal | 1 +
 1 file changed, 1 insertion(+)

diff --git a/cryptol.cabal b/cryptol.cabal
index cd2cf9e8..f75ed6d7 100644
--- a/cryptol.cabal
+++ b/cryptol.cabal
@@ -12,6 +12,7 @@ Copyright:           2013-2016 Galois Inc.
 Category:            Language
 Build-type:          Simple
 Cabal-version:       >= 1.18
+extra-source-files:  bench/data/*.cry
 
 data-files:          *.cry Cryptol/*.cry
 data-dir:            lib