mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-22 11:27:44 +03:00
Merge pull request #333 from RyanGlScott/master
Put bench/data/*.cry in extra-source-files
This commit is contained in:
commit
78cacc4d3e
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user