mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-11-30 14:37:55 +03:00
df839de678
This commit adapts to recent changes in crucible and raises the version bounds to admit newer versions of what4.
46 lines
1.6 KiB
Plaintext
46 lines
1.6 KiB
Plaintext
-- Initial macaw-semmc.cabal generated by cabal init. For further
|
|
-- documentation, see http://haskell.org/cabal/users-guide/
|
|
|
|
name: macaw-semmc
|
|
version: 0.1.0.0
|
|
-- synopsis:
|
|
-- description:
|
|
license: BSD3
|
|
license-file: LICENSE
|
|
author: Ben Selfridge
|
|
maintainer: benselfridge@galois.com
|
|
-- copyright:
|
|
category: Semantics
|
|
build-type: Simple
|
|
extra-source-files: ChangeLog.md
|
|
cabal-version: >=1.10
|
|
|
|
library
|
|
exposed-modules: Data.Macaw.SemMC.Generator
|
|
Data.Macaw.SemMC.Operands
|
|
Data.Macaw.SemMC.Simplify
|
|
Data.Macaw.SemMC.Translations
|
|
Data.Macaw.SemMC.TH
|
|
Data.Macaw.SemMC.TH.Monad
|
|
-- other-extensions:
|
|
build-depends: base >=4.9 && <5,
|
|
async >= 2.1 && < 2.3,
|
|
template-haskell,
|
|
containers,
|
|
mtl,
|
|
lens >= 4 && < 6,
|
|
text,
|
|
bytestring,
|
|
parameterized-utils,
|
|
crucible,
|
|
macaw-base >= 0.3.2,
|
|
macaw-symbolic,
|
|
dismantle-tablegen,
|
|
semmc,
|
|
bv-sized >= 1 && < 1.1,
|
|
libBF >= 0.6 && < 0.7,
|
|
what4 >= 1.1 && < 1.3
|
|
hs-source-dirs: src
|
|
default-language: Haskell2010
|
|
ghc-options: -Wall -Wcompat
|