mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-11-28 01:35:33 +03:00
d53ad182e8
Allows generatino of exec instructions with logging output to stderr or another designated location, which can be useful for diagnostic purposes.
41 lines
1.3 KiB
Plaintext
41 lines
1.3 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,
|
|
template-haskell,
|
|
containers,
|
|
mtl,
|
|
lens,
|
|
text,
|
|
bytestring,
|
|
parameterized-utils,
|
|
crucible,
|
|
macaw-base,
|
|
dismantle-tablegen,
|
|
semmc
|
|
hs-source-dirs: src
|
|
default-language: Haskell2010
|
|
ghc-options: -Wall |