From f1a45163a41482571d5b2902044f7971650c9ae2 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 080ba089..c2c6a649 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