2017-12-19 04:46:17 +03:00
|
|
|
name: macaw-arm
|
|
|
|
|
version: 0.1.0.0
|
|
|
|
|
-- synopsis:
|
|
|
|
|
-- description:
|
|
|
|
|
license: BSD3
|
|
|
|
|
license-file: LICENSE
|
|
|
|
|
author: Kevin Quick
|
|
|
|
|
maintainer: kquick@galois.com
|
|
|
|
|
-- copyright:
|
|
|
|
|
category: Semantics
|
|
|
|
|
build-type: Simple
|
|
|
|
|
extra-source-files: ChangeLog.md
|
|
|
|
|
cabal-version: >=1.10
|
|
|
|
|
|
|
|
|
|
library
|
2017-12-29 03:30:25 +03:00
|
|
|
exposed-modules: Data.Macaw.ARM
|
2018-01-05 03:14:20 +03:00
|
|
|
, Data.Macaw.ARM.Arch
|
2017-12-29 03:30:25 +03:00
|
|
|
, Data.Macaw.ARM.ARMReg
|
2018-02-03 03:06:52 +03:00
|
|
|
, Data.Macaw.ARM.BinaryFormat.ELF
|
2018-01-05 04:18:22 +03:00
|
|
|
, Data.Macaw.ARM.Disassemble
|
2018-01-05 03:14:20 +03:00
|
|
|
, Data.Macaw.ARM.Eval
|
2018-02-03 03:06:52 +03:00
|
|
|
, Data.Macaw.ARM.Operand
|
2017-12-29 03:30:25 +03:00
|
|
|
, Data.Macaw.ARM.Semantics.ARMSemantics
|
2018-01-09 00:38:28 +03:00
|
|
|
, Data.Macaw.ARM.Semantics.TH
|
2017-12-19 04:46:17 +03:00
|
|
|
-- other-modules:
|
|
|
|
|
-- other-extensions:
|
|
|
|
|
build-depends: base >=4.10 && <4.11
|
2017-12-29 03:30:25 +03:00
|
|
|
, ansi-wl-pprint
|
|
|
|
|
, bytestring
|
|
|
|
|
, cereal
|
|
|
|
|
, containers
|
2018-01-09 00:38:28 +03:00
|
|
|
, crucible
|
2018-01-05 03:14:20 +03:00
|
|
|
, dismantle-arm
|
2017-12-29 03:30:25 +03:00
|
|
|
, elf-edit
|
|
|
|
|
, lens
|
|
|
|
|
, macaw-base
|
|
|
|
|
, macaw-semmc
|
2018-01-05 04:18:22 +03:00
|
|
|
, mtl
|
2018-01-05 03:14:20 +03:00
|
|
|
, parameterized-utils
|
2018-02-03 03:06:52 +03:00
|
|
|
, pretty
|
2018-01-09 00:38:28 +03:00
|
|
|
, semmc
|
2017-12-29 03:30:25 +03:00
|
|
|
, semmc-arm
|
2018-01-09 00:38:28 +03:00
|
|
|
, template-haskell
|
2018-01-05 04:18:22 +03:00
|
|
|
, text
|
2017-12-29 03:30:25 +03:00
|
|
|
, vector
|
|
|
|
|
-- build-tools: arm-none-eabi-gcc
|
2017-12-19 04:46:17 +03:00
|
|
|
hs-source-dirs: src
|
|
|
|
|
default-language: Haskell2010
|
|
|
|
|
ghc-options: -Wall
|
|
|
|
|
|
|
|
|
|
test-suite macaw-arm-tests
|
|
|
|
|
type: exitcode-stdio-1.0
|
|
|
|
|
default-language: Haskell2010
|
|
|
|
|
ghc-options: -Wall
|
|
|
|
|
hs-source-dirs: tests
|
|
|
|
|
main-is: TestMain.hs
|
2017-12-20 21:19:51 +03:00
|
|
|
other-modules: ARMTests
|
|
|
|
|
, MismatchTests
|
|
|
|
|
, Shared
|
2017-12-19 04:46:17 +03:00
|
|
|
build-depends: base >=4.10 && <4.11
|
2017-12-29 03:30:25 +03:00
|
|
|
, ansi-wl-pprint
|
2017-12-20 21:19:51 +03:00
|
|
|
, binary
|
|
|
|
|
, bytestring
|
|
|
|
|
, containers
|
|
|
|
|
, elf-edit
|
|
|
|
|
, exceptions
|
2017-12-19 04:46:17 +03:00
|
|
|
, filemanip
|
|
|
|
|
, filepath
|
2017-12-20 21:19:51 +03:00
|
|
|
, lens
|
|
|
|
|
, macaw-base
|
2017-12-19 04:46:17 +03:00
|
|
|
, macaw-arm
|
2017-12-20 21:19:51 +03:00
|
|
|
, parameterized-utils
|
2017-12-29 03:30:25 +03:00
|
|
|
, semmc-arm
|
2017-12-19 04:46:17 +03:00
|
|
|
, tasty
|
|
|
|
|
, tasty-hunit
|
