GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-02 23:25:03 +03:00
Code Issues Projects Releases Wiki Activity

Put bench/data/*.cry in extra-source-files

Browse Source
This commit is contained in:
Ryan Scott 2016-05-20 15:04:53 -04:00 committed by Adam C. Foltzer
parent 2c428804bc
commit 117dc0a931
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
cryptol.cabal
View File

@ -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