stack-ghc-8.2.yaml

resolver: lts-10.0

packages:
- semmc
- semmc-toy
- semmc-ppc
- semmc-x86_64
- semmc-arm
- semmc-fuzzer
- semmc-coverage
- location: submodules/dismantle/dismantle-arm
- location: submodules/dismantle/dismantle-aarch64
- location: submodules/dismantle/dismantle-ppc
- location: submodules/dismantle/dismantle-tablegen
- location: submodules/dismantle/dismantle-thumb

- location: submodules/crucible
  subdirs:
  - crucible
  - what4
  # The 'exra-dep' here means don't actually build this package unless
  # needed as a dependency, and don't load it into GHCi.
  extra-dep: true
- location: submodules/elf-edit
  extra-dep: true
- location: submodules/parameterized-utils
  extra-dep: true
- location: submodules/s-cargot
  extra-dep: true

# Dependency packages to be pulled from upstream that are not in the resolver
# (e.g., acme-missiles-0.3)
extra-deps:
- async-2.2.1
- config-ini-0.2.2.0
- located-base-0.1.1.1
- panic-0.4.0.1
- regex-1.0.0.0
- s-cargot-letbind-0.2.2.0
- tasty-quickcheck-0.8.4
- text-1.2.3.1
 
# Extra package databases containing global packages
extra-package-dbs: []