stack-ghc-8.0.2.yaml

resolver: lts-9.3

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
  - galois-matlab
  # 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:
- config-ini-0.2.2.0
- containers-0.5.10.2
- located-base-0.1.1.1
- megaparsec-6.0.2
- s-cargot-letbind-0.2.2.0
- smtLib-1.0.8

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