GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-27 09:53:34 +03:00
Code Issues Projects Releases Wiki Activity

fix #197

Browse Source 
Remove the autoconf hooks from Setup.hs and bump cabal version
requirement so that `license-files` is supported
This commit is contained in:
Adam C. Foltzer 2015-03-27 12:10:42 -07:00
parent ce36319f09
commit 9660f251c2
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Setup.hs
View File

@ -7,4 +7,4 @@
-- Portability : portable
import Distribution.Simple
main = defaultMainWithHooks autoconfUserHooks
main = defaultMain

2
cryptol.cabal
View File

@ -11,7 +11,7 @@ Bug-reports: https://github.com/GaloisInc/cryptol/issues
Copyright: 2013-2015 Galois Inc.
Category: Language
Build-type: Simple
Cabal-version: >= 1.18
Cabal-version: >= 1.20
data-files: *.cry
data-dir: lib