2017-07-08 00:18:35 +03:00
|
|
|
name: macaw-symbolic
|
|
|
|
|
version: 0.0.1
|
|
|
|
|
author: Galois, Inc.
|
|
|
|
|
maintainer: jhendrix@galois.com
|
|
|
|
|
build-type: Simple
|
|
|
|
|
cabal-version: >= 1.9.2
|
2017-09-28 01:59:06 +03:00
|
|
|
license: BSD3
|
|
|
|
|
license-file: LICENSE
|
2017-07-08 00:18:35 +03:00
|
|
|
|
|
|
|
|
library
|
|
|
|
|
build-depends:
|
2017-12-02 00:58:20 +03:00
|
|
|
base >= 4,
|
2018-01-09 21:40:14 +03:00
|
|
|
ansi-wl-pprint,
|
2017-12-02 00:58:20 +03:00
|
|
|
containers,
|
2018-06-06 21:48:45 +03:00
|
|
|
crucible >= 0.4,
|
|
|
|
|
crucible-llvm,
|
2017-12-02 00:58:20 +03:00
|
|
|
lens,
|
|
|
|
|
macaw-base,
|
|
|
|
|
mtl,
|
|
|
|
|
parameterized-utils,
|
2018-02-07 03:47:13 +03:00
|
|
|
text,
|
2018-06-06 21:48:45 +03:00
|
|
|
what4 >= 0.4.0
|
2017-07-08 00:18:35 +03:00
|
|
|
|
|
|
|
|
hs-source-dirs: src
|
|
|
|
|
|
|
|
|
|
exposed-modules:
|
2018-01-03 04:31:42 +03:00
|
|
|
Data.Macaw.Symbolic.CrucGen
|
2017-10-03 00:40:14 +03:00
|
|
|
Data.Macaw.Symbolic.PersistentState
|
2018-02-09 22:41:39 +03:00
|
|
|
Data.Macaw.Symbolic.MemOps
|
2017-07-08 00:18:35 +03:00
|
|
|
Data.Macaw.Symbolic
|
|
|
|
|
|
2018-01-09 21:40:14 +03:00
|
|
|
ghc-options: -Wall
|
2018-02-07 03:47:13 +03:00
|
|
|
ghc-prof-options: -O2 -fprof-auto-top
|
