cryptol/Setup.hs

-- |
-- Module      :  Main
-- Copyright   :  (c) 2013-2016 Galois, Inc.
-- License     :  BSD3
-- Maintainer  :  cryptol@galois.com
-- Stability   :  provisional
-- Portability :  portable

import Distribution.Simple
main = defaultMain
Initial import from internal repo 2014-04-18 02:34:25 +04:00			`-- \|`
Remove obsolete cvs-era $Header$ keywords. 2018-03-22 23:33:12 +03:00			`-- Module : Main`
Update copyright dates and add missing headers 2016-01-19 22:31:37 +03:00			`-- Copyright : (c) 2013-2016 Galois, Inc.`
Initial import from internal repo 2014-04-18 02:34:25 +04:00			`-- License : BSD3`
			`-- Maintainer : cryptol@galois.com`
			`-- Stability : provisional`
			`-- Portability : portable`

			`import Distribution.Simple`
fix #197 Remove the autoconf hooks from Setup.hs and bump cabal version requirement so that `license-files` is supported 2015-03-27 22:10:42 +03:00			`main = defaultMain`