mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-11-28 10:08:13 +03:00
37 lines
1.1 KiB
Plaintext
37 lines
1.1 KiB
Plaintext
|
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
|
||
|
|
-- exposed-modules:
|
||
|
|
-- other-modules:
|
||
|
|
-- other-extensions:
|
||
|
|
build-depends: base >=4.10 && <4.11
|
||
|
|
build-tools: arm-none-eabi-gcc
|
||
|
|
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
|
||
|
|
build-depends: base >=4.10 && <4.11
|
||
|
|
, filemanip
|
||
|
|
, filepath
|
||
|
|
, macaw-arm
|
||
|
|
, tasty
|
||
|
|
, tasty-hunit
|
||
|
|
-- filepath 1.4.1.2
|