GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-26 17:32:30 +03:00
Code Issues Projects Releases Wiki Activity

Add default-language to cabal file. Closes #71

Browse Source
This commit is contained in:
Adam C. Foltzer 2014-09-14 14:37:37 -07:00
parent 9d9b8c83f5
commit 68d1e3d6c6
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
cryptol.cabal
View File

@ -20,6 +20,8 @@ flag notebook
description: Build the IPython-style Cryptol notebook interface
library
Default-language:
Haskell98
Build-depends: base >= 4.6,
array >= 0.4,
async >= 2.0,
@ -162,6 +164,8 @@ library
GHC-options: -Wall -O2
executable cryptol
Default-language:
Haskell98
Main-is: Main.hs
hs-source-dirs: cryptol
Other-modules: OptParser,
@ -192,6 +196,8 @@ executable cryptolnb
buildable: True
else
buildable: False
Default-language:
Haskell98
Main-is: Main_notebook.hs
hs-source-dirs: cryptol, notebook
build-depends: base,