cryptol/cryptol.cabal
2014-04-18 10:28:46 -07:00

199 lines
7.4 KiB
Plaintext

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
library
Build-depends: base >= 4.6,
array >= 0.4,
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.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.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
Other-modules: Cryptol.Parser.LexerUtils,
Cryptol.Parser.ParserUtils,
Data.SBV,
Data.SBV.Bridge.Boolector,
Data.SBV.Bridge.CVC4,
Data.SBV.Bridge.Yices,
Data.SBV.Bridge.Z3,
Data.SBV.Internals,
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.Tools.ExpectedValue,
Data.SBV.Tools.GenTest,
Data.SBV.Tools.Optimize,
Data.SBV.Tools.Polynomial,
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
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