Skip to content

Commit

Permalink
update stackage snapshots
Browse files Browse the repository at this point in the history
  • Loading branch information
Adam C. Foltzer committed Jun 17, 2016
1 parent 6da7afb commit 978d6fb
Show file tree
Hide file tree
Showing 3 changed files with 54 additions and 53 deletions.
52 changes: 52 additions & 0 deletions stack-7.10.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,52 @@
# For more information, see: http://docs.haskellstack.org/en/stable/yaml_configuration.html

# Specifies the GHC version and set of packages available (e.g., lts-3.5, nightly-2015-09-21, ghc-7.10.2)
resolver: lts-6.3

# Local packages, usually specified by relative directory name
packages:
- ivory/
- ivory-artifact/
- ivory-backend-c/
- ivory-eval/
- ivory-examples/
- ivory-hw/
- ivory-model-check/
- ivory-opts/
- ivory-quickcheck/
- ivory-serialize/
- ivory-stdlib/

# Packages to be pulled from upstream that are not in the resolver (e.g., acme-missiles-0.3)
extra-deps:
- exception-mtl-0.4
- ghc-srcspan-plugin-0.2.1.0
- language-c-quote-0.11.6
- mainland-pretty-0.4.1.4
- symbol-0.2.4

# Override default flag values for local packages and extra-deps
flags: {}

# Extra package databases containing global packages
extra-package-dbs: []

install-ghc: true

# Control whether we use the GHC we find on the path
# system-ghc: true

# Require a specific version of stack, using version ranges
# require-stack-version: -any # Default
# require-stack-version: >= 1.0.0

# Override the architecture used by stack, especially useful on Windows
# arch: i386
# arch: x86_64

# Extra directories used by stack for building
# extra-include-dirs: [/path/to/dir]
# extra-lib-dirs: [/path/to/dir]

# Allow a newer minor version of GHC than the snapshot specifies
# compiler-check: newer-minor
2 changes: 1 addition & 1 deletion stack-8.0.yaml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
# For more information, see: http://docs.haskellstack.org/en/stable/yaml_configuration.html

# Specifies the GHC version and set of packages available (e.g., lts-3.5, nightly-2015-09-21, ghc-7.10.2)
resolver: nightly-2016-02-04
resolver: nightly-2016-06-15

# Local packages, usually specified by relative directory name
packages:
Expand Down
52 changes: 0 additions & 52 deletions stack.yaml

This file was deleted.

1 change: 1 addition & 0 deletions stack.yaml

0 comments on commit 978d6fb

Please sign in to comment.