MicroRAM-grift.cabal.old

cabal-version: 1.12

-- This file has been generated from package.yaml by hpack version 0.33.0.
--
-- see: https://github.com/sol/hpack
--
-- hash: df85676563bd7fdfb6e64f9e4e0901a6681326b4bf174c9b76dd89577f1129ff

name:           MicroRAM
version:        0.1.5.0
description:    Please see the README on GitHub at <https://github.com/githubuser/MicroRAM#readme>
homepage:       https://github.com/githubuser/MicroRAM#readme
bug-reports:    https://github.com/githubuser/MicroRAM/issues
author:         Author name here
maintainer:     example@example.com
copyright:      2020 Author name here
license:        BSD3
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    README.md
    ChangeLog.md

source-repository head
  type: git
  location: https://github.com/githubuser/MicroRAM

library
  exposed-modules:
      Compiler
      Compiler.Analysis
      Compiler.BlockCleanup
      Compiler.CallingConvention
      Compiler.Common
      Compiler.CompilationUnit
      Compiler.CountFunctions
      Compiler.Errors
      Compiler.Extension
      Compiler.InstructionSelection
      Compiler.Intrinsics
      Compiler.IRs
      Compiler.LayArgs
      Compiler.Layout
      Compiler.LazyConstants
      Compiler.Legalize
      Compiler.LocalizeLabels
      Compiler.Metadata
      Compiler.Name
      Compiler.RegisterAlloc
      Compiler.RegisterAlloc.Internal
      Compiler.RegisterAlloc.Liveness
      Compiler.Registers
      Compiler.RemoveLabels
      Compiler.RemovePhi
      Compiler.Stacking
      Compiler.Tainted
      Compiler.TraceInstrs
      Compiler.TypeOf
      Compiler.UndefinedFunctions
      Data.Graph.Directed
      Data.Graph.Undirected
      Data.Queue
      Debug.Debugger
      Debug.PrettyPrint
      Frontend.ClangCaller
      Lib
      LLVMutil.LLVMIO
      MicroRAM
      MicroRAM.MRAMInterpreter
      MicroRAM.MRAMInterpreter.AbsInt
      MicroRAM.MRAMInterpreter.Concrete
      MicroRAM.MRAMInterpreter.Generic
      MicroRAM.MRAMInterpreter.Tainted
      Native
      Output.CBORFormat
      Output.Output
      PostProcess
      RiscV.Backend
      RiscV.Intrinsics
      RiscV.Parser
      RiscV.RiscVAsm
      RiscV.Transpiler
      Segments
      Segments.AbsInt
      Segments.ChooseSegments
      Segments.ControlFlow
      Segments.SegInterpreter
      Segments.Segmenting
      Sparsity.Sparsity
      Sparsity.Stutter
      Util.Util
  other-modules:
      Paths_MicroRAM
  hs-source-dirs:
      src
  ghc-options: -Wall -fno-warn-orphans -Wno-name-shadowing -optP-Wno-nonportable-include-path
  build-depends:
      QuickCheck
    , aeson
    , base >=4.7 && <5
    , boxes
    , bytestring
    , bv-sized
    , cborg
    , containers
    , data-binary-ieee754
    , data-default
    , directory
    , dom-lt
    , filepath
    , grift
    , haggle
    , lens
    , llvm-hs
    , llvm-hs-pure
    , mtl
    , parsec
    , pptable
    , prettyprinter
    , process
    , search-algorithms
    , serialise
    , smallcheck
    , softfloat-hs
    , split
    , tasty
    , tasty-hunit
    , tasty-quickcheck
    , tasty-smallcheck
    , text
    , transformers
    , utf8-string
    , vector
  default-language: Haskell2010

executable compile
  main-is: Compile.hs
  other-modules:
      Paths_MicroRAM
  hs-source-dirs:
      app
  ghc-options: -main-is Compile
  build-depends:
      MicroRAM
    , QuickCheck
    , aeson
    , base >=4.7 && <5
    , boxes
    , bytestring
    , cborg
    , containers
    , data-binary-ieee754
    , data-default
    , directory
    , dom-lt
    , filepath
    , haggle
    , lens
    , llvm-hs
    , llvm-hs-pure
    , mtl
    , parsec
    , pptable
    , prettyprinter
    , process
    , search-algorithms
    , serialise
    , smallcheck
    , split
    , tasty
    , tasty-hunit
    , tasty-quickcheck
    , tasty-smallcheck
    , text
    , transformers
    , utf8-string
    , vector
  default-language: Haskell2010

test-suite compiler
  type: exitcode-stdio-1.0
  main-is: Compiler/CompilerSpec.hs
  other-modules:
      MicroRAM.InterpreterSpec
      Output.OutputSpec
      PostProcess.PostProcessSpec
      Programs.Programs
      RiscV.RiscVSpec
      Paths_MicroRAM
  hs-source-dirs:
      test
  ghc-options: -threaded -rtsopts -with-rtsopts=-N -main-is Compiler.CompilerSpec
  build-depends:
      MicroRAM
    , QuickCheck
    , aeson
    , base >=4.7 && <5
    , boxes
    , bytestring
    , cborg
    , containers
    , data-binary-ieee754
    , data-default
    , directory
    , dom-lt
    , filepath
    , haggle
    , lens
    , llvm-hs
    , llvm-hs-pure
    , mtl
    , parsec
    , pptable
    , prettyprinter
    , process
    , search-algorithms
    , serialise
    , smallcheck
    , split
    , tasty
    , tasty-hunit
    , tasty-quickcheck
    , tasty-smallcheck
    , text
    , transformers
    , utf8-string
    , vector
  default-language: Haskell2010

test-suite interpreter
  type: exitcode-stdio-1.0
  main-is: InterpreterSpec.hs
  other-modules:
      Paths_MicroRAM
  hs-source-dirs:
      test/MicroRAM
  ghc-options: -threaded -rtsopts -with-rtsopts=-N -main-is MicroRAM.InterpreterSpec
  build-depends:
      MicroRAM
    , QuickCheck
    , aeson
    , base >=4.7 && <5
    , boxes
    , bytestring
    , cborg
    , containers
    , data-binary-ieee754
    , data-default
    , directory
    , dom-lt
    , filepath
    , haggle
    , lens
    , llvm-hs
    , llvm-hs-pure
    , mtl
    , parsec
    , pptable
    , prettyprinter
    , process
    , search-algorithms
    , serialise
    , smallcheck
    , split
    , tasty
    , tasty-hunit
    , tasty-quickcheck
    , tasty-smallcheck
    , text
    , transformers
    , utf8-string
    , vector
  default-language: Haskell2010

test-suite output
  type: exitcode-stdio-1.0
  main-is: OutputSpec.hs
  other-modules:
      Paths_MicroRAM
  hs-source-dirs:
      test/Output
  ghc-options: -threaded -rtsopts -with-rtsopts=-N -main-is Output.OutputSpec
  build-depends:
      MicroRAM
    , QuickCheck
    , aeson
    , base >=4.7 && <5
    , boxes
    , bytestring
    , cborg
    , containers
    , data-binary-ieee754
    , data-default
    , directory
    , dom-lt
    , filepath
    , haggle
    , lens
    , llvm-hs
    , llvm-hs-pure
    , mtl
    , parsec
    , pptable
    , prettyprinter
    , process
    , search-algorithms
    , serialise
    , smallcheck
    , split
    , tasty
    , tasty-hunit
    , tasty-quickcheck
    , tasty-smallcheck
    , text
    , transformers
    , utf8-string
    , vector
  default-language: Haskell2010

test-suite post-process
  type: exitcode-stdio-1.0
  main-is: PostProcess/PostProcessSpec.hs
  other-modules:
      Compiler.CompilerSpec
      MicroRAM.InterpreterSpec
      Output.OutputSpec
      Programs.Programs
      RiscV.RiscVSpec
      Paths_MicroRAM
  hs-source-dirs:
      test
  ghc-options: -threaded -rtsopts -with-rtsopts=-N -main-is PostProcess.PostProcessSpec
  build-depends:
      MicroRAM
    , QuickCheck
    , aeson
    , base >=4.7 && <5
    , boxes
    , bytestring
    , cborg
    , containers
    , data-binary-ieee754
    , data-default
    , directory
    , dom-lt
    , filepath
    , haggle
    , lens
    , llvm-hs
    , llvm-hs-pure
    , mtl
    , parsec
    , pptable
    , prettyprinter
    , process
    , search-algorithms
    , serialise
    , smallcheck
    , split
    , tasty
    , tasty-hunit
    , tasty-quickcheck
    , tasty-smallcheck
    , text
    , transformers
    , utf8-string
    , vector
  default-language: Haskell2010

test-suite riscv
  type: exitcode-stdio-1.0
  main-is: RiscV/RiscVSpec.hs
  other-modules:
      Compiler.CompilerSpec
      MicroRAM.InterpreterSpec
      Output.OutputSpec
      PostProcess.PostProcessSpec
      Programs.Programs
      Paths_MicroRAM
  hs-source-dirs:
      test
  ghc-options: -threaded -rtsopts -with-rtsopts=-N -main-is RiscV.RiscVSpec
  build-depends:
      MicroRAM
    , QuickCheck
    , aeson
    , base >=4.7 && <5
    , boxes
    , bytestring
    , cborg
    , containers
    , data-binary-ieee754
    , data-default
    , directory
    , dom-lt
    , filepath
    , haggle
    , lens
    , llvm-hs
    , llvm-hs-pure
    , mtl
    , parsec
    , pptable
    , prettyprinter
    , process
    , search-algorithms
    , serialise
    , smallcheck
    , split
    , tasty
    , tasty-hunit
    , tasty-quickcheck
    , tasty-smallcheck
    , text
    , transformers
    , utf8-string
    , vector
  default-language: Haskell2010