summaryrefslogtreecommitdiff
path: root/hsolve/hsolve.cabal
diff options
context:
space:
mode:
authorTom Smeding <tom.smeding@gmail.com>2018-08-08 22:58:13 +0200
committerTom Smeding <tom.smeding@gmail.com>2018-08-08 22:58:13 +0200
commitddb57cb49a60b6173712341940195e0275ef1c9d (patch)
treefe00bf906937b4d43c2514bb0793c2082532aeb1 /hsolve/hsolve.cabal
parent9fe062538f302cccc8473b8152922637a2999088 (diff)
Haskell solver that uses rules
Diffstat (limited to 'hsolve/hsolve.cabal')
-rw-r--r--hsolve/hsolve.cabal16
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