GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-22 11:27:44 +03:00
Code Issues Projects Releases Wiki Activity
fe1a2403c9
cryptol/cryptol.cabal

193 lines
7.0 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
clean up cabal file for Hackagability Fixes #18
2015-03-10 01:16:53 +03:00
Description: Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implementation of an algorithm resembles its mathematical specification more closely than an implementation in a general purpose language. For more, see <http://www.cryptol.net/>.
Initial import from internal repo
2014-04-18 02:34:25 +04:00
License: BSD3
clean up cabal file for Hackagability Fixes #18
2015-03-10 01:16:53 +03:00
License-files: LICENSE, LICENSE.rtf
Initial import from internal repo
2014-04-18 02:34:25 +04:00
Author: Galois, Inc.
Maintainer: cryptol@galois.com
clean up cabal file for Hackagability Fixes #18
2015-03-10 01:16:53 +03:00
Homepage: http://www.cryptol.net/
Bug-reports: https://github.com/GaloisInc/cryptol/issues
Copyright: 2013-2015 Galois Inc.
Initial import from internal repo
2014-04-18 02:34:25 +04:00
Category: Language
switch to TH solution for GitRev This helps with #18 and should also reduce the number of unnecessary recompiles that were triggered by the Makefile and/or cabal. The cabal build type is now Simple. Most of the complication in the TH.hs module is due to the various places the current git hash might be stored: 1. Detached HEAD: the hash is in `.git/HEAD` 2. On a branch or tag: the hash is in a file pointed to by `.git/HEAD` in a location like `.git/refs/heads` 3. On a branch or tag but in a repository with packed refs: the hash is in `.git/packed-refs` These situations all arise under normal development workflows and on the Jenkins build machines, but there might be further scenarios that cause problems. The tradeoff seems worthwhile though as now projects that build Cryptol as a dependency wind up having to rebuild Cryptol far less frequently.
2015-03-16 23:18:28 +03:00
Build-type: Simple
Initial import from internal repo
2014-04-18 02:34:25 +04:00
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
clean up cabal file for Hackagability Fixes #18
2015-03-10 01:16:53 +03:00
source-repository head
type: git
location: https://github.com/GaloisInc/cryptol.git
source-repository this
type: git
location: https://github.com/GaloisInc/cryptol.git
tag: v2.1.0
fix cabal sdist by including configure
2015-01-28 22:00:41 +03:00
Initial import from internal repo
2014-04-18 02:34:25 +04:00
flag static
default: False
description: Create a statically-linked binary
distribution tweaks Makefile now has two modes depending on whether PREFIX is set. If it's not, we try to make the distribution as relocatable as possible, meaning we don't rely on the baked-in-by-cabal data directory. If it is set, we do use that path.
2015-03-04 03:22:14 +03:00
flag relocatable
default: True
description: Don't use the Cabal-provided data directory for looking up Cryptol libraries. This is useful when the data directory can't be known ahead of time, like for a relocatable distribution.
add "self-contained" mode for Cryptol-as-a-Library Many of our projects that depend on Cryptol break because we forgot to drag along `Cryptol.cry` or it just can't work out where it is from the perspective of the other executable. There's now a new flag `self-contained` in `cryptol.cabal` that is on by default that bakes the contents of the Prelude into the library, so that it can be reproduced on demand. This is really a hack at this point because the module system bakes in the assumption that a module has an associated file path, so we actually have to write the contents to a tmp file before reading them back in. Let's do better than this in the future. This option is disabled for targets in the Makefile because we want the standalone interpreter to be using the distribution's `Cryptol.cry`.
2015-03-06 02:14:09 +03:00
flag self-contained
default: True
description: Compile the text of the Cryptol Prelude into the library
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,
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,
add abc prover support
2015-02-12 21:50:59 +03:00
sbv >= 4.1,
Initial import from internal repo
2014-04-18 02:34:25 +04:00
smtLib >= 1.0.7,
syb >= 0.4,
text >= 1.1,
switch to TH solution for GitRev This helps with #18 and should also reduce the number of unnecessary recompiles that were triggered by the Makefile and/or cabal. The cabal build type is now Simple. Most of the complication in the TH.hs module is due to the various places the current git hash might be stored: 1. Detached HEAD: the hash is in `.git/HEAD` 2. On a branch or tag: the hash is in a file pointed to by `.git/HEAD` in a location like `.git/refs/heads` 3. On a branch or tag but in a repository with packed refs: the hash is in `.git/packed-refs` These situations all arise under normal development workflows and on the Jenkins build machines, but there might be further scenarios that cause problems. The tradeoff seems worthwhile though as now projects that build Cryptol as a dependency wind up having to rebuild Cryptol far less frequently.
2015-03-16 23:18:28 +03:00
template-haskell,
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,
handle EvalErrors more gracefully in :check Fixes #114 (mostly; Ctrl-C still doesn't clean everything up, but fixing that would require a whole lot of work).
2015-03-17 03:17:36 +03:00
Cryptol.Testing.Eval,
split out notebook into separate package This involved: - Moving a couple REPL modules into the Cryptol library hierarchy (those that don't depend on console libraries) - Splitting up the Makefile, which unfortunately resulted in a lot of not-quite-duplication between the two Makefiles. Let's look into better abstraction...
2015-03-03 02:46:21 +03:00
Cryptol.Testing.Exhaust,
handle EvalErrors more gracefully in :check Fixes #114 (mostly; Ctrl-C still doesn't clean everything up, but fixing that would require a whole lot of work).
2015-03-17 03:17:36 +03:00
Cryptol.Testing.Random,
split out notebook into separate package This involved: - Moving a couple REPL modules into the Cryptol library hierarchy (those that don't depend on console libraries) - Splitting up the Makefile, which unfortunately resulted in a lot of not-quite-duplication between the two Makefiles. Let's look into better abstraction...
2015-03-03 02:46:21 +03:00
Cryptol.Symbolic,
Cryptol.Symbolic.BitVector,
Cryptol.Symbolic.Prims,
Cryptol.Symbolic.Value,
Initial import from internal repo
2014-04-18 02:34:25 +04:00
split out notebook into separate package This involved: - Moving a couple REPL modules into the Cryptol library hierarchy (those that don't depend on console libraries) - Splitting up the Makefile, which unfortunately resulted in a lot of not-quite-duplication between the two Makefiles. Let's look into better abstraction...
2015-03-03 02:46:21 +03:00
Cryptol.REPL.Command,
Cryptol.REPL.Monad,
Cryptol.REPL.Trie
Initial import from internal repo
2014-04-18 02:34:25 +04:00
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,
add "self-contained" mode for Cryptol-as-a-Library Many of our projects that depend on Cryptol break because we forgot to drag along `Cryptol.cry` or it just can't work out where it is from the perspective of the other executable. There's now a new flag `self-contained` in `cryptol.cabal` that is on by default that bakes the contents of the Prelude into the library, so that it can be reproduced on demand. This is really a hack at this point because the module system bakes in the assumption that a module has an associated file path, so we actually have to write the contents to a tmp file before reading them back in. Let's do better than this in the future. This option is disabled for targets in the Makefile because we want the standalone interpreter to be using the distribution's `Cryptol.cry`.
2015-03-06 02:14:09 +03:00
Cryptol.Prelude,
fixup: Paths_cryptol_parser
2014-04-18 21:28:46 +04:00
Paths_cryptol,
switch to TH solution for GitRev This helps with #18 and should also reduce the number of unnecessary recompiles that were triggered by the Makefile and/or cabal. The cabal build type is now Simple. Most of the complication in the TH.hs module is due to the various places the current git hash might be stored: 1. Detached HEAD: the hash is in `.git/HEAD` 2. On a branch or tag: the hash is in a file pointed to by `.git/HEAD` in a location like `.git/refs/heads` 3. On a branch or tag but in a repository with packed refs: the hash is in `.git/packed-refs` These situations all arise under normal development workflows and on the Jenkins build machines, but there might be further scenarios that cause problems. The tradeoff seems worthwhile though as now projects that build Cryptol as a dependency wind up having to rebuild Cryptol far less frequently.
2015-03-16 23:18:28 +03:00
GitRev,
GitRev.TH
Initial import from internal repo
2014-04-18 02:34:25 +04:00
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
distribution tweaks Makefile now has two modes depending on whether PREFIX is set. If it's not, we try to make the distribution as relocatable as possible, meaning we don't rely on the baked-in-by-cabal data directory. If it is set, we do use that path.
2015-03-04 03:22:14 +03:00
if flag(relocatable)
cpp-options: -DRELOCATABLE
add "self-contained" mode for Cryptol-as-a-Library Many of our projects that depend on Cryptol break because we forgot to drag along `Cryptol.cry` or it just can't work out where it is from the perspective of the other executable. There's now a new flag `self-contained` in `cryptol.cabal` that is on by default that bakes the contents of the Prelude into the library, so that it can be reproduced on demand. This is really a hack at this point because the module system bakes in the assumption that a module has an associated file path, so we actually have to write the contents to a tmp file before reading them back in. Let's do better than this in the future. This option is disabled for targets in the Makefile because we want the standalone interpreter to be using the distribution's `Cryptol.cry`.
2015-03-06 02:14:09 +03:00
if flag(self-contained)
build-depends: heredoc >= 0.2
cpp-options: -DSELF_CONTAINED
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.Haskeline,
another sdist fix
2015-01-28 22:28:52 +03:00
REPL.Logo,
fixup: Paths_cryptol_parser
2014-04-18 21:28:46 +04:00
Paths_cryptol
add just enough strictness to evalCmd
2015-02-06 04:05:11 +03:00
build-depends: ansi-terminal
, base
, containers
, cryptol
, deepseq
, directory
, filepath
, haskeline
, monadLib
, process
, random
, sbv
, tf-random
, transformers
Initial import from internal repo
2014-04-18 02:34:25 +04:00
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
Reference in New Issue Copy Permalink