SecreC.cabal

Name:               SecreC
Version:            0.0.1
Description:        SecreC Analyser
License:            GPL
License-file:       COPYING
Author:             Cryptography and Information Security Group, HASLab - INESC TEC and Universidade do Minho
Maintainer:         Hugo Pacheco <hpacheco@gmail.com>
Bug-reports:        mailto:hpacheco@gmail.com
Stability:          experimental
Homepage:           
Category:           Compiler, Cryptography, Language
Build-Type:         Simple
Cabal-Version:      >=1.6
Tested-with:        GHC==7.10.2
Synopsis:           SecreC Analyser

Extra-Source-Files: README.md examples tests
Data-files: imports/*.sc imports/stdlib/lib/*.sc imports/*.dfy

Flag incremental
  Description:   Turn on incremental typechecking.
  Default:       False

Executable secrec
  Main-is:          Main.hs
  Other-Modules:
                        Paths_SecreC
                        Language.SecreC.Parser.Lexer
  if flag(incremental)
      cpp-options: -DINCREMENTAL
      Build-Depends:  weak, weak-map, weak-hashtables
  Hs-source-dirs:   src
  Build-Depends:    deepseq, deepseq-generics, terminal-progress-bar, base, text, transformers, cmdargs, bytestring, binary, split, containers, syb, pretty , mtl, parsec, safe, digits, exceptions, filepath, filemanip, fgl >= 5.5.2.0, array, directory, linguistic-ordinals >= 0.1.0.1, bifunctors, hashable, async, sbv, QuickCheck, lifted-base, transformers-base, monad-control, unix-time, unix, posix-escape, process, parsec-numbers, shelly
--  ghc-options: -Wall
--  ghc-prof-options: -prof -auto -fprof-auto -rtsopts
  Build-Tools:      alex

test-suite tests
  type:
      exitcode-stdio-1.0
  ghc-options:
      -Wall
  hs-source-dirs:
      tests
  main-is:
      Tests.hs
  build-depends:
      base
    , HUnit
    , hashable == 1.2.3.2
    , hspec   
    , hspec-contrib
    , hspec-core

--Library
--  exposed-modules:
--                        Language.SecreC.Parser.Derp
--                        Language.SecreC.Parser.Lexer
--                        Language.SecreC.Parser.Parsec
--                        Language.SecreC.Parser.Tokens
--                        Language.SecreC.TypeChecker.Base
--                        Language.SecreC.TypeChecker.Expression
--                        Language.SecreC.TypeChecker.Statement
--                        Language.SecreC.TypeChecker.Type
--                        Language.SecreC.TypeChecker.Constraint
--                        Language.SecreC.Error
--                        Language.SecreC.Location
--                        Language.SecreC.Modules
--                        Language.SecreC.Monad
--                        Language.SecreC.Parser
--                        Language.SecreC.Position
--                        Language.SecreC.Pretty
--                        Language.SecreC.Syntax
--                        Language.SecreC.TypeChecker
--                        Language.SecreC.Utils
--                        Language.SecreC.Vars
--                        Text.Derp
--                        Text.Derp.Combinator
--  Other-Modules:
--                        Paths_SecreC
--  Hs-Source-Dirs: src
--  Build-Depends:     base, transformers, cmdargs, split, containers, syb, pretty, mtl, parsec, safe, digits, exceptions, filepath, filemanip, fgl >= 5.5.2.0, array, directory, linguistic-ordinals >= 0.1.0.1, bifunctors, weak, weak-map, weak-hashtables, hashable, async, sbv, lifted-base, transformers-base, monad-control
--  ghc-prof-options: -prof -fprof-auto -fprof-cafs -fforce-recomp
--  Build-Tools:      alex