cryptol/cryptol.cabal

Name:                cryptol
Version:             2.0.0
Synopsis:            Cryptol: The Language of Cryptography
License:             BSD3
Author:              Galois, Inc.
Maintainer:          cryptol@galois.com
Copyright:           2013-2014 Galois Inc.
Category:            Language
Build-type:          Configure
Cabal-version:       >= 1.18

data-files:          lib/Cryptol.cry

flag static
  default: False
  description: Create a statically-linked binary

flag notebook
  default: False
  description: Build the IPython-style Cryptol notebook interface

library
  Build-depends:       base            >= 4.6,
                       array           >= 0.4,
                       async           >= 2.0,
                       containers      >= 0.5,
                       deepseq         >= 1.3,
                       directory       >= 1.2,
                       executable-path >= 0.0.3,
                       filepath        >= 1.3,
                       GraphSCC        >= 1.0.4,
                       monadLib        >= 3.7.2,
                       mtl             >= 2.2.1,
                       old-time        >= 1.1,
                       presburger      >= 1.1,
                       pretty          >= 1.1,
                       process         >= 1.2,
                       QuickCheck      >= 2.7,
                       random          >= 1.0.1,
                       smtLib          >= 1.0.7,
                       syb             >= 0.4,
                       text            >= 1.1,
                       transformers    >= 0.3,
                       utf8-string     >= 0.3

  Build-tools:         alex, happy
  hs-source-dirs:      src, sbv

  Exposed-modules:     Cryptol.Prims.Syntax,
                       Cryptol.Prims.Types,
                       Cryptol.Prims.Eval,
                       Cryptol.Prims.Doc,

                       Cryptol.Parser,
                       Cryptol.Parser.Lexer,
                       Cryptol.Parser.AST,
                       Cryptol.Parser.Position,
                       Cryptol.Parser.Names,
                       Cryptol.Parser.NoPat,
                       Cryptol.Parser.NoInclude,
                       Cryptol.Parser.Utils,
                       Cryptol.Parser.Unlit,

                       Cryptol.Utils.PP,
                       Cryptol.Utils.Panic,
                       Cryptol.Utils.Debug,
                       Cryptol.Version,

                       Cryptol.ModuleSystem,
                       Cryptol.ModuleSystem.Base,
                       Cryptol.ModuleSystem.Env,
                       Cryptol.ModuleSystem.Interface,
                       Cryptol.ModuleSystem.Monad,
                       Cryptol.ModuleSystem.NamingEnv,
                       Cryptol.ModuleSystem.Renamer,

                       Cryptol.TypeCheck,
                       Cryptol.TypeCheck.AST,
                       Cryptol.TypeCheck.Monad,
                       Cryptol.TypeCheck.Infer,
                       Cryptol.TypeCheck.InferTypes,
                       Cryptol.TypeCheck.Kind,
                       Cryptol.TypeCheck.Subst,
                       Cryptol.TypeCheck.Instantiate,
                       Cryptol.TypeCheck.Unify,
                       Cryptol.TypeCheck.Depends,
                       Cryptol.TypeCheck.PP,
                       Cryptol.TypeCheck.Solve,
                       Cryptol.TypeCheck.TypeMap,
                       Cryptol.TypeCheck.TypeOf,
                       Cryptol.TypeCheck.Defaulting,

                       Cryptol.TypeCheck.Solver.Eval,
                       Cryptol.TypeCheck.Solver.FinOrd,
                       Cryptol.TypeCheck.Solver.InfNat,
                       Cryptol.TypeCheck.Solver.Interval,
                       Cryptol.TypeCheck.Solver.Smtlib,
                       Cryptol.TypeCheck.Solver.Numeric,
                       Cryptol.TypeCheck.Solver.Class,
                       Cryptol.TypeCheck.Solver.Selector,
                       Cryptol.TypeCheck.Solver.CrySAT,
                       Cryptol.TypeCheck.Solver.Utils,

                       Cryptol.Transform.MonoValues,
                       Cryptol.Transform.Specialize,

                       Cryptol.Eval,
                       Cryptol.Eval.Env,
                       Cryptol.Eval.Error,
                       Cryptol.Eval.Type,
                       Cryptol.Eval.Value,

                       Cryptol.Testing.Random,
                       Cryptol.Testing.Exhaust

                       Cryptol.Symbolic
                       Cryptol.Symbolic.BitVector
                       Cryptol.Symbolic.Prims
                       Cryptol.Symbolic.Value

                       Data.SBV,
                       Data.SBV.Bridge.Boolector,
                       Data.SBV.Bridge.CVC4,
                       Data.SBV.Bridge.MathSAT,
                       Data.SBV.Bridge.Yices,
                       Data.SBV.Bridge.Z3,
                       Data.SBV.Internals,
                       Data.SBV.Tools.Polynomial

  Other-modules:       Cryptol.Parser.LexerUtils,
                       Cryptol.Parser.ParserUtils,
                       Data.SBV.BitVectors.AlgReals,
                       Data.SBV.BitVectors.Data,
                       Data.SBV.BitVectors.Model,
                       Data.SBV.BitVectors.PrettyNum,
                       Data.SBV.BitVectors.SignCast,
                       Data.SBV.BitVectors.Splittable,
                       Data.SBV.BitVectors.STree,
                       Data.SBV.Compilers.C,
                       Data.SBV.Compilers.CodeGen,
                       Data.SBV.SMT.SMT,
                       Data.SBV.SMT.SMTLib,
                       Data.SBV.SMT.SMTLib1,
                       Data.SBV.SMT.SMTLib2,
                       Data.SBV.Provers.Prover,
                       Data.SBV.Provers.SExpr,
                       Data.SBV.Provers.Boolector,
                       Data.SBV.Provers.CVC4,
                       Data.SBV.Provers.Yices,
                       Data.SBV.Provers.Z3,
                       Data.SBV.Provers.MathSAT,
                       Data.SBV.Tools.ExpectedValue,
                       Data.SBV.Tools.GenTest,
                       Data.SBV.Tools.Optimize,
                       Data.SBV.Utils.Boolean,
                       Data.SBV.Utils.TDiff,
                       Data.SBV.Utils.Lib,
                       Paths_cryptol,
                       GitRev

  GHC-options:         -Wall -O2

executable cryptol
  Main-is:             Main.hs
  hs-source-dirs:      cryptol
  Other-modules:       OptParser,
                       REPL.Command,
                       REPL.Haskeline,
                       REPL.Monad,
                       REPL.Trie,
                       Paths_cryptol
  build-depends:       base,
                       ansi-terminal,
                       containers,
                       cryptol,
                       directory,
                       filepath,
                       haskeline,
                       monadLib,
                       process,
                       random,
                       transformers
  GHC-options:         -Wall -O2

  if os(linux) && flag(static)
      ld-options:      -static -pthread

executable cryptolnb
  if flag(notebook)
    buildable:         True
  else
    buildable:         False
  Main-is:             Main_notebook.hs
  hs-source-dirs:      cryptol, notebook
  build-depends:       base,
                       ansi-terminal,
                       containers,
                       cryptol,
                       directory,
                       filepath,
                       haskeline,
                       monadLib,
                       process,
                       random,
                       transformers
  GHC-options:         -Wall -O2

  if os(linux) && flag(static)
      ld-options:      -static -pthread