2018-01-03 09:50:23 +03:00
|
|
|
name: macaw-x86-symbolic
|
|
|
|
|
version: 0.0.1
|
|
|
|
|
author: Galois, Inc.
|
|
|
|
|
maintainer: jhendrix@galois.com
|
|
|
|
|
build-type: Simple
|
2018-11-26 09:01:40 +03:00
|
|
|
cabal-version: >= 1.10
|
2018-01-03 09:50:23 +03:00
|
|
|
license: BSD3
|
|
|
|
|
license-file: LICENSE
|
|
|
|
|
|
|
|
|
|
library
|
2018-01-17 02:06:31 +03:00
|
|
|
build-depends: base >= 4,
|
2018-11-26 09:00:19 +03:00
|
|
|
ansi-wl-pprint,
|
2018-06-06 21:48:45 +03:00
|
|
|
crucible >= 0.4,
|
|
|
|
|
crucible-llvm,
|
2018-01-17 02:37:30 +03:00
|
|
|
flexdis86 >= 0.1.2,
|
2018-06-06 21:48:45 +03:00
|
|
|
lens,
|
2018-01-17 02:06:31 +03:00
|
|
|
macaw-base,
|
|
|
|
|
macaw-symbolic,
|
|
|
|
|
macaw-x86,
|
2018-01-23 02:28:20 +03:00
|
|
|
mtl,
|
2018-02-13 00:27:57 +03:00
|
|
|
parameterized-utils,
|
2019-02-27 04:53:34 +03:00
|
|
|
vector,
|
2018-06-06 21:48:45 +03:00
|
|
|
what4 >= 0.4
|
2018-01-03 09:50:23 +03:00
|
|
|
hs-source-dirs: src
|
2018-11-26 09:01:40 +03:00
|
|
|
default-language: Haskell2010
|
2018-01-03 09:50:23 +03:00
|
|
|
|
|
|
|
|
exposed-modules:
|
|
|
|
|
Data.Macaw.X86.Symbolic
|
2018-02-01 01:41:45 +03:00
|
|
|
Data.Macaw.X86.Crucible
|
2018-01-03 09:50:23 +03:00
|
|
|
|
2019-01-11 00:43:27 +03:00
|
|
|
ghc-options: -Wall -Wcompat
|
2018-01-17 02:06:31 +03:00
|
|
|
ghc-prof-options: -O2 -fprof-auto-top
|
2018-11-21 21:27:42 +03:00
|
|
|
if impl(ghc >= 8.6)
|
|
|
|
|
default-extensions: NoStarIsType
|
2018-01-17 02:06:31 +03:00
|
|
|
|
|
|
|
|
test-suite macaw-x86-symbolic-tests
|
|
|
|
|
type: exitcode-stdio-1.0
|
|
|
|
|
default-language: Haskell2010
|
2019-01-11 00:43:27 +03:00
|
|
|
ghc-options: -Wall -Wcompat
|
2018-01-17 02:06:31 +03:00
|
|
|
main-is: Main.hs
|
|
|
|
|
hs-source-dirs: tests
|
|
|
|
|
build-depends:
|
|
|
|
|
base >= 4,
|
|
|
|
|
bytestring,
|
|
|
|
|
containers,
|
|
|
|
|
crucible,
|
2018-05-18 00:06:24 +03:00
|
|
|
crucible-llvm,
|
2018-01-17 02:06:31 +03:00
|
|
|
elf-edit,
|
|
|
|
|
macaw-base,
|
|
|
|
|
macaw-symbolic,
|
|
|
|
|
macaw-x86,
|
|
|
|
|
macaw-x86-symbolic,
|
|
|
|
|
parameterized-utils,
|
|
|
|
|
text,
|
2018-05-16 01:58:14 +03:00
|
|
|
what4,
|
2018-01-17 02:06:31 +03:00
|
|
|
vector
|
