flp-0.1.0.0: flp.cabal

cabal-version: 1.12
name: flp
version: 0.1.0.0
license: MIT
license-file: LICENSE
copyright: 2019 Karl Cronburg
maintainer: karl@cs.tufts.edu
author: Karl Cronburg
homepage: https://github.com/RedlineResearch/floorplan#readme
bug-reports: https://github.com/RedlineResearch/floorplan/issues
synopsis: A layout spec language for memory managers implemented in Rust.
description:
    Please see the README on GitHub at <https://github.com/cronburg/flp#readme>
category: Compiler
build-type: Simple
extra-source-files:
    README.md
    LICENSE
    LICENSE.language-rust
    ChangeLog.md
    examples/app.flp
    examples/arith.flp
    examples/arith_id.flp
    examples/arith_power.flp
    examples/bits.flp
    examples/bump.flp
    examples/dynamic_prim.flp
    examples/dyn_choice.flp
    examples/dyn_seq.flp
    examples/empty.flp
    examples/enum_bad0.flp
    examples/enum.flp
    examples/layer.flp
    examples/map_bits.flp
    examples/named_ref.flp
    examples/nested.flp
    examples/nested_union.flp
    examples/parens.flp
    examples/seq.flp
    examples/union.flp
    examples/uniq_fail.flp

source-repository head
    type: git
    location: https://github.com/RedlineResearch/floorplan

library
    exposed-modules:
        Language.Floorplan
        Language.Floorplan.Core.Compiler
        Language.Floorplan.Core.Syntax
        Language.Floorplan.Parser
        Language.Floorplan.Rust
        Language.Floorplan.Rust.Common
        Language.Floorplan.Rust.Compiler
        Language.Floorplan.Rust.Mapping
        Language.Floorplan.Rust.Types
        Language.Floorplan.Semantics
        Language.Floorplan.Syntax
        Language.Floorplan.Token
        Language.Rust.Data.Ident
        Language.Rust.Data.InputStream
        Language.Rust.Data.Position
        Language.Rust.Parser
        Language.Rust.Parser.Internal
        Language.Rust.Parser.Lexer
        Language.Rust.Parser.Literals
        Language.Rust.Parser.NonEmpty
        Language.Rust.Parser.ParseMonad
        Language.Rust.Parser.Reversed
        Language.Rust.Pretty
        Language.Rust.Pretty.Internal
        Language.Rust.Pretty.Literals
        Language.Rust.Pretty.Resolve
        Language.Rust.Pretty.Util
        Language.Rust.Quote
        Language.Rust.Syntax
        Language.Rust.Syntax.AST
        Language.Rust.Syntax.Token
    build-tools: alex -any, happy -any
    hs-source-dirs: src
    other-modules:
        Paths_flp
    default-language: Haskell2010
    build-depends:
        array >=0.5.3.0 && <0.6,
        base >=4.7 && <5,
        containers >=0.6.0.1 && <0.7,
        deepseq >=1.4.4.0 && <1.5,
        haskell-src-meta >=0.8.3 && <0.9,
        prettyprinter >=1.2.1.1 && <1.3,
        template-haskell >=2.14.0.0 && <2.15,
        th-lift >=0.8.1 && <0.9,
        transformers >=0.5.6.2 && <0.6

executable flp
    main-is: floorplan.hs
    build-tools: alex -any, happy -any
    hs-source-dirs: app
    other-modules:
        Paths_flp
    default-language: Haskell2010
    build-depends:
        array >=0.5.3.0 && <0.6,
        base >=4.7 && <5,
        containers >=0.6.0.1 && <0.7,
        deepseq >=1.4.4.0 && <1.5,
        flp -any,
        haskell-src-meta >=0.8.3 && <0.9,
        prettyprinter >=1.2.1.1 && <1.3,
        template-haskell >=2.14.0.0 && <2.15,
        th-lift >=0.8.1 && <0.9,
        transformers >=0.5.6.2 && <0.6

executable sem
    main-is: semantics.hs
    build-tools: alex -any, happy -any
    hs-source-dirs: app
    other-modules:
        Paths_flp
    default-language: Haskell2010
    build-depends:
        array >=0.5.3.0 && <0.6,
        base >=4.7 && <5,
        containers >=0.6.0.1 && <0.7,
        deepseq >=1.4.4.0 && <1.5,
        flp -any,
        haskell-src-meta >=0.8.3 && <0.9,
        pretty-simple >=2.2.0.1 && <2.3,
        prettyprinter >=1.2.1.1 && <1.3,
        template-haskell >=2.14.0.0 && <2.15,
        th-lift >=0.8.1 && <0.9,
        transformers >=0.5.6.2 && <0.6

test-suite parser
    type: exitcode-stdio-1.0
    main-is: Main.hs
    build-tools: alex -any, happy -any
    hs-source-dirs: test/parser
    other-modules:
        Paths_flp
    default-language: Haskell2010
    ghc-options: -threaded -rtsopts -with-rtsopts=-N
    build-depends:
        HUnit ==1.6.*,
        array >=0.5.3.0 && <0.6,
        base >=4.7 && <5,
        containers >=0.6.0.1 && <0.7,
        deepseq >=1.4.4.0 && <1.5,
        flp -any,
        haskell-src-meta >=0.8.3 && <0.9,
        prettyprinter >=1.2.1.1 && <1.3,
        template-haskell >=2.14.0.0 && <2.15,
        test-framework ==0.8.*,
        test-framework-hunit ==0.3.*,
        th-lift >=0.8.1 && <0.9,
        transformers >=0.5.6.2 && <0.6