GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-11 08:37:35 +03:00
Code Issues Projects Releases Wiki Activity
9f61032289
cryptol/cryptol.cabal

193 lines
6.7 KiB
Plaintext
Raw Normal View History

it's not just a parser anymore
2014-04-18 21:18:26 +04:00
Name: cryptol
bump version for 2.1.0 alpha
2014-09-15 06:35:24 +04:00
Version: 2.1.0
Initial import from internal repo
2014-04-18 02:34:25 +04:00
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
Fixes #172 There's now a more sensible hierarchy of locations that Cryptol uses to look for modules. By default, in order it looks for libraries in: 1. The directories specified in the CRYPTOLPATH environment variable 2. The current directory 3. The user data directory (something like `$HOME/.cryptol`) 4. Relative to the executable's install directory 5. The static path used when building the executable (cabal's data-dir) There is also a new command-line flag for the interpreter: `--cryptolpath-only` which makes the interpreter ignore locations 2-5. This commit also reworks the Makefile and build/release process. These are bunched together because they play off each other quite a bit; the build/release process determines the location of the `Cryptol.cry`, which must be found when looking for modules. Rather than leaning on `cabal install`, we now use a combination of `cabal configure`, `cabal build`, and `cabal copy`. A couple of upshots to this: - More of the release staging is handled by cabal -- we don't have to go in and manually copy things out of the sandbox. In fact, the `cryptol` executable never goes into the sandbox. - The testing infrastructure runs on executables that are in place in the staging directory, rather than in the sandbox. This should be more hygienic and realistic. - The `Cryptol.cry` prelude file is now in `/share/cryptol` in order to better reflect the common POSIX structure. This means Cryptol will play nicer in global installs, and mirrors what other interpreted languages do. - The default build settings use a prefix of `/usr/local` rather than using the sandbox directory. This makes them more relocatable for binary distributions. Set PREFIX= before making to change this.
2015-01-22 02:03:16 +03:00
data-files: *.cry
data-dir: lib
Initial import from internal repo
2014-04-18 02:34:25 +04:00
flag static
default: False
description: Create a statically-linked binary
fix #67 The python side of the notebook needed to be updated to expect a .cabal-sandbox rather than cabal-dev sandbox. Also added a -fnotebook flag to the cabal file to build the Haskell side of it.
2014-07-29 19:53:44 +04:00
flag notebook
update notebook build mechanisms
2015-02-06 03:12:36 +03:00
default: True
fix #67 The python side of the notebook needed to be updated to expect a .cabal-sandbox rather than cabal-dev sandbox. Also added a -fnotebook flag to the cabal file to build the Haskell side of it.
2014-07-29 19:53:44 +04:00
description: Build the IPython-style Cryptol notebook interface
Initial import from internal repo
2014-04-18 02:34:25 +04:00
library
Add default-language to cabal file. Closes #71
2014-09-15 01:37:37 +04:00
Default-language:
Haskell98
Initial import from internal repo
2014-04-18 02:34:25 +04:00
Build-depends: base >= 4.6,
array >= 0.4,
Merge changes from SBV release version 3.1
2014-07-22 02:23:34 +04:00
async >= 2.0,
Initial import from internal repo
2014-04-18 02:34:25 +04:00
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,
old-time >= 1.1,
Changes to make things work with GHC 7.10
2015-01-06 20:21:47 +03:00
presburger >= 1.3,
Initial import from internal repo
2014-04-18 02:34:25 +04:00
pretty >= 1.1,
process >= 1.2,
QuickCheck >= 2.7,
random >= 1.0.1,
Remove custom fork of SBV library in favor of the official SBV-4.0. Fixes #35.
2015-01-24 01:22:18 +03:00
sbv >= 4.0,
Initial import from internal repo
2014-04-18 02:34:25 +04:00
smtLib >= 1.0.7,
syb >= 0.4,
text >= 1.1,
Remove custom fork of SBV library in favor of the official SBV-4.0. Fixes #35.
2015-01-24 01:22:18 +03:00
tf-random >= 0.5,
Initial import from internal repo
2014-04-18 02:34:25 +04:00
transformers >= 0.3,
utf8-string >= 0.3
Build-tools: alex, happy
Remove custom fork of SBV library in favor of the official SBV-4.0. Fixes #35.
2015-01-24 01:22:18 +03:00
hs-source-dirs: src
Initial import from internal repo
2014-04-18 02:34:25 +04:00
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,
New module Cryptol.TypeCheck.TypeOf has functions to compute Type of an Expr
2014-05-10 03:27:07 +04:00
Cryptol.TypeCheck.TypeOf,
Initial import from internal repo
2014-04-18 02:34:25 +04:00
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,
add guards for bit vector widths during concrete evaluation Tested on my 64-bit machine; will run tests on Jenkins slaves
2014-11-04 23:11:24 +03:00
Cryptol.Eval.Arch,
Initial import from internal repo
2014-04-18 02:34:25 +04:00
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
Added SignCast instance and exported sbv Changes necessary for SAWCore's use of SBV. Ultimately, these should be merged into the upstream SBV package.
2014-08-06 20:49:19 +04:00
Other-modules: Cryptol.Parser.LexerUtils,
Cryptol.Parser.ParserUtils,
fixup: Paths_cryptol_parser
2014-04-18 21:28:46 +04:00
Paths_cryptol,
Initial import from internal repo
2014-04-18 02:34:25 +04:00
GitRev
GHC-options: -Wall -O2
add reasonable profiling defaults for library and executable
2014-09-26 03:45:28 +04:00
ghc-prof-options: -fprof-auto -prof
Initial import from internal repo
2014-04-18 02:34:25 +04:00
executable cryptol
Add default-language to cabal file. Closes #71
2014-09-15 01:37:37 +04:00
Default-language:
Haskell98
Initial import from internal repo
2014-04-18 02:34:25 +04:00
Main-is: Main.hs
hs-source-dirs: cryptol
Other-modules: OptParser,
REPL.Command,
REPL.Haskeline,
REPL.Monad,
REPL.Trie,
fixup: Paths_cryptol_parser
2014-04-18 21:28:46 +04:00
Paths_cryptol
Initial import from internal repo
2014-04-18 02:34:25 +04:00
build-depends: base,
ansi-terminal,
containers,
it's not just a parser anymore
2014-04-18 21:18:26 +04:00
cryptol,
Initial import from internal repo
2014-04-18 02:34:25 +04:00
directory,
filepath,
haskeline,
monadLib,
process,
random,
Remove custom fork of SBV library in favor of the official SBV-4.0. Fixes #35.
2015-01-24 01:22:18 +03:00
sbv,
Use tf-random for higher-quality randoms. Notice the randoms from StdGen are well-known to be quite bad. For example, see comments in issue #86.
2014-09-06 04:29:55 +04:00
tf-random,
Initial import from internal repo
2014-04-18 02:34:25 +04:00
transformers
GHC-options: -Wall -O2
add reasonable profiling defaults for library and executable
2014-09-26 03:45:28 +04:00
ghc-prof-options: -auto-all -prof -rtsopts
Initial import from internal repo
2014-04-18 02:34:25 +04:00
if os(linux) && flag(static)
ld-options: -static -pthread
update notebook build mechanisms
2015-02-06 03:12:36 +03:00
executable ICryptol
fix #67 The python side of the notebook needed to be updated to expect a .cabal-sandbox rather than cabal-dev sandbox. Also added a -fnotebook flag to the cabal file to build the Haskell side of it.
2014-07-29 19:53:44 +04:00
if flag(notebook)
buildable: True
else
buildable: False
Add default-language to cabal file. Closes #71
2014-09-15 01:37:37 +04:00
Default-language:
Haskell98
Initial import from internal repo
2014-04-18 02:34:25 +04:00
Main-is: Main_notebook.hs
hs-source-dirs: cryptol, notebook
update notebook build mechanisms
2015-02-06 03:12:36 +03:00
other-modules: Notebook
Initial import from internal repo
2014-04-18 02:34:25 +04:00
build-depends: base,
ansi-terminal,
containers,
it's not just a parser anymore
2014-04-18 21:18:26 +04:00
cryptol,
Initial import from internal repo
2014-04-18 02:34:25 +04:00
directory,
filepath,
haskeline,
Make notebook use iPython Haskell library Now, the notebook interface runs its own ZeroMQ interface using the EasyKernel module that is now exported from IHaskell's underlying ipython-kernel library. This eliminates the line protocol with the Python wrapper, and it should work on Windows (though it is not tested there). Part of this involved making the REPL monad able to change the IO action used to print strings. Continuing issues and improvment possibilities are in the issue tracker - see issue #75 for a starting point.
2015-01-28 03:24:29 +03:00
ipython-kernel,
Initial import from internal repo
2014-04-18 02:34:25 +04:00
monadLib,
process,
random,
Make notebook use iPython Haskell library Now, the notebook interface runs its own ZeroMQ interface using the EasyKernel module that is now exported from IHaskell's underlying ipython-kernel library. This eliminates the line protocol with the Python wrapper, and it should work on Windows (though it is not tested there). Part of this involved making the REPL monad able to change the IO action used to print strings. Continuing issues and improvment possibilities are in the issue tracker - see issue #75 for a starting point.
2015-01-28 03:24:29 +03:00
sbv >= 4.0,
text,
Use tf-random for higher-quality randoms. Notice the randoms from StdGen are well-known to be quite bad. For example, see comments in issue #86.
2014-09-06 04:29:55 +04:00
tf-random,
Initial import from internal repo
2014-04-18 02:34:25 +04:00
transformers
GHC-options: -Wall -O2
if os(linux) && flag(static)
ld-options: -static -pthread
Reference in New Issue Copy Permalink