zeno.cabal

name:             zeno
version:          0.2.0.1
cabal-version:    >= 1.4
author:           Gurmeet Singh, William Sonnex
maintainer:       Gurmeet Singh <gurmeet0108@gmail.com>
synopsis:         An automated proof system for Haskell programs
description:      This is an unofficial Zeno fork. Updated to work with
                  current GHC.
                  ORIGINAL DESCRIPTION -
                  Zeno is an automated proof system for Haskell program
                  properties; developed at Imperial College London by
                  William Sonnex, Sophia Drossopoulou and Susan Eisenbach.
                  It aims to solve the general problem of equality between
                  two Haskell terms, for any input value.
category:         Theorem Provers
stability:        Experimental
build-type:       Simple
license:          MIT
license-file:     LICENSE
data-files:       Zeno.hs Example.hs

executable zeno
  hs-source-dirs: src
  main-is:        Main.hs
  build-depends:  base >= 4 && < 5, mtl >= 2, containers,
                  random, array, ghc, ghc-paths, directory,
                  text, process, transformers >= 0.2, parallel >= 3
  extensions:     MultiParamTypeClasses, FlexibleContexts,
                  FlexibleInstances, ScopedTypeVariables,
                  TypeSynonymInstances, ViewPatterns,
                  OverloadedStrings, TypeFamilies, BangPatterns
  ghc-options:    -funbox-strict-fields -threaded -feager-blackholing

  if impl(ghc >= 7)
    ghc-options:  "-with-rtsopts=-N"

  other-modules:  Zeno.Checker,
                  Zeno.Clause,
                  Zeno.Core,
                  Zeno.DataType,
                  Zeno.Evaluation,
                  Zeno.Expression,
                  Zeno.Flags,
                  Zeno.HaskellParser,
                  Zeno.Id,
                  Zeno.Isabelle,
                  Zeno.Prelude,
                  Zeno.Program,
                  Zeno.Proof,
                  Zeno.Property,
                  Zeno.Reduction,
                  Zeno.Solver,
                  Zeno.Traversing,
                  Zeno.Type,
                  Zeno.Unification,
                  Zeno.Utils,
                  Zeno.Var,
                  Zeno.Isabellable.Class,
                  Zeno.Isabellable.Core,
                  Zeno.Isabellable.Proof