diff options
author | Tom Smeding <tom.smeding@gmail.com> | 2018-08-08 22:58:13 +0200 |
---|---|---|
committer | Tom Smeding <tom.smeding@gmail.com> | 2018-08-08 22:58:13 +0200 |
commit | ddb57cb49a60b6173712341940195e0275ef1c9d (patch) | |
tree | fe00bf906937b4d43c2514bb0793c2082532aeb1 /hsolve/hsolve.cabal | |
parent | 9fe062538f302cccc8473b8152922637a2999088 (diff) |
Haskell solver that uses rules
Diffstat (limited to 'hsolve/hsolve.cabal')
-rw-r--r-- | hsolve/hsolve.cabal | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/hsolve/hsolve.cabal b/hsolve/hsolve.cabal new file mode 100644 index 0000000..4489d0b --- /dev/null +++ b/hsolve/hsolve.cabal @@ -0,0 +1,16 @@ +name: hsolve +version: 0.1.0 +cabal-version: >= 1.10 +build-type: Simple +license: MIT +author: Tom Smeding +maintainer: tom.smeding@gmail.com + +executable hsolve + hs-source-dirs: . + main-is: Main.hs + default-language: Haskell2010 + ghc-options: -Wall -O3 -Wno-incomplete-patterns + other-modules: FSu + build-depends: base >= 4 && < 5, + mtl, array |