cryptol/tests/cryptol-test-runner.cabal
2015-10-08 16:54:08 -07:00

36 lines
1000 B
Plaintext

Name: cryptol-test-runner
Version: 2.0
Synopsis: Testing framework for cryptol-2
License: AllRightsReserved
Author: Galois, Inc.
Maintainer: trevor@galois.com
Copyright: Galois Inc.
Category: Language
Build-type: Simple
Cabal-version: >= 1.10
flag static
default: False
description: Create a statically-linked binary
executable cryptol-test-runner
Main-is: Main.hs
build-depends: base,
base-compat,
containers,
process,
filepath,
directory,
HUnit,
test-framework,
test-framework-hunit
GHC-options: -Wall -O2
Default-language: Haskell2010
if os(windows)
build-depends: regex-compat
if os(linux) && flag(static)
ld-options: -static -pthread