mlspec: 804a2e416b062937db6f3ea24ea37e3c43d369c7

     1: name:                mlspec
     2: version:             0.2.1.2
     3: synopsis:            Runs QuickSpec on sub-sets of Haskell definitions
     4: homepage:            http://chriswarbo.net/git/mlspec
     5: license:             PublicDomain
     6: license-file:        LICENSE
     7: author:              Chris Warburton
     8: maintainer:          chriswarbo@gmail.com
     9: category:            Language
    10: build-type:          Simple
    11: extra-source-files:  README
    12: cabal-version:       >=1.10
    13: 
    14: source-repository head
    15:   type:     git
    16:   location: http://chriswarbo.net/git/mlspec.git
    17: 
    18: library
    19:   exposed-modules:     MLSpec.Theory
    20:   -- other-modules:       
    21:   -- other-extensions:    
    22:   build-depends:       base >=4.8
    23:                      , hashable
    24:                      , aeson
    25:                      , stringable
    26:                      , bytestring
    27:                      , haskell-src-exts >= 1.17 && <1.18
    28:                      , syb
    29:                      , nix-eval
    30:                      , quickspec
    31:                      , QuickCheck
    32:                      , template-haskell
    33:                      , process
    34:                      , MemoTrie
    35:   hs-source-dirs:      src
    36:   default-language:    Haskell2010
    37: 
    38: executable MLSpec
    39:   main-is:             Main.hs
    40:   -- other-modules:       
    41:   -- other-extensions:    
    42:   build-depends:       base >= 4.8
    43:                      , mlspec
    44:                      , text
    45:                      -- Used by nix-evaled code; include here to fail fast
    46:                      , mlspec-helper >= 0.2.1.0
    47:   hs-source-dirs:      mlspec-exe
    48:   default-language:    Haskell2010
    49: 
    50: test-suite test
    51:   default-language:    Haskell2010
    52:   type:                exitcode-stdio-1.0
    53:   hs-source-dirs:      test
    54:   main-is:             Main.hs
    55:   build-depends:       base >= 4.8
    56:                      , mlspec
    57:                      , nix-eval
    58:                      , MissingH
    59:                      , process
    60:                      , temporary
    61:                      , directory
    62:                      , hashable
    63:                      , aeson
    64:                      , stringable
    65:                      , bytestring
    66:                      , haskell-src-exts >= 1.17 && <1.18
    67:                      , syb
    68:                      , QuickCheck
    69:                      , quickspec
    70:                      , tasty >= 0.11.2.1
    71:                      , tasty-quickcheck
    72: 
    73: -- These executables are actually tests. Since they test the output of commands,
    74: -- it's hard to capture these commands as dependencies in Cabal. Instead, we
    75: -- just build the executables, and use a separate system like Nix to ensure all
    76: -- of the required commands are available.
    77: executable mlspec-test-quickspec
    78:   default-language:    Haskell2010
    79:   main-is:             Main.hs
    80:   hs-source-dirs:      quickspec-test, test
    81:   build-depends:       base >= 4.8
    82:                      , mlspec
    83:                      , nix-eval
    84:                      , MissingH
    85:                      , process
    86:                      , temporary
    87:                      , directory
    88:                      , hashable
    89:                      , aeson
    90:                      , stringable
    91:                      , bytestring
    92:                      , haskell-src-exts >= 1.17 && <1.18
    93:                      , syb
    94:                      , QuickCheck
    95:                      , quickspec
    96:                      , tasty >= 0.11.2.1
    97:                      , tasty-quickcheck