forked from adamwalker/syntcomp
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathsolver.cabal
More file actions
24 lines (22 loc) · 1.04 KB
/
solver.cabal
File metadata and controls
24 lines (22 loc) · 1.04 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
-- Initial solver.cabal generated by cabal init. For further
-- documentation, see http://haskell.org/cabal/users-guide/
name: solver
version: 0.1.0.0
synopsis: Simple BDD based game solver
-- description:
license: BSD3
license-file: LICENSE
author: Adam Walker
maintainer: adamwalker10@gmail.com
copyright: 2014 Adam Walker
-- category:
build-type: Simple
-- extra-source-files:
cabal-version: >=1.10
executable solver
main-is: Solver.hs
-- other-modules:
other-extensions: OverloadedStrings, RecordWildCards, DeriveFunctor, DeriveFoldable, DeriveTraversable
build-depends: base >=4.7 && <4.8, text >=1.1 && <1.2, containers >=0.5 && <0.6, tuple >=0.2 && <0.3, directory >=1.2 && <1.3, either >=4.1 && <4.2, mtl >=2.1 && <2.3, optparse-applicative >=0.8 && <0.9, safe >=0.3 && <0.4, attoparsec >=0.11 && <0.12, haskell-cudd >=0.1 && <0.2
-- hs-source-dirs:
default-language: Haskell2010