Skip to content
Snippets Groups Projects
Normal view Permalink
javawlp.cabal 2.17 KiB
Newer Older
  • Learn to ignore specific revisions
    • Orestis Melkonian's avatar
    Stack build configuration.
    Orestis Melkonian committed
    1 2 3 4 5 6 7 8 9 10 11 12 13 14 
    name:                javawlp
version:             0.1.0.0
-- synopsis: description: author: maintainer:
homepage:            https://git.science.uu.nl/impresshs/javawlp
build-type:          Simple
extra-source-files:  README.md
cabal-version:       >=1.10

library
  hs-source-dirs:      src
  exposed-modules:     Javawlp.Engine.Types
                     , Javawlp.Engine.HelperFunctions
                     , Javawlp.Engine.Folds
                     , LogicIR.Expr
    Orestis Melkonian's avatar
    LogicIR parser.  
    Orestis Melkonian committed
    15 
                         , LogicIR.Parser
    Orestis Melkonian's avatar
    Stack build configuration.
    Orestis Melkonian committed
    16 17 18 19 20 21 22 23 24 25 26 27 28 29 
                         , LogicIR.Frontend.Java
                     , LogicIR.Backend.Z3
                     , LogicIR.Backend.Pretty
                     , LogicIR.Backend.Null
                     , LogicIR.Fold
                     , ModelParser.Lexer
                     , ModelParser.Parser
                     , ModelParser.Model
                     , Language.Java.Lexer
                     , Language.Java.Parser
                     , Language.Java.Pretty
                     , Language.Java.Syntax
                     , Language.Java.Syntax.Exp
                     , Language.Java.Syntax.Types
    Orestis Melkonian's avatar
    Tests.  
    Orestis Melkonian committed
    30 
                         , SimpleFormulaChecker
    Orestis Melkonian's avatar
    Stack build configuration.
    Orestis Melkonian committed
    31 32 33 34 35 36 37 38 39 40 
      build-depends:       base >= 4.7 && < 5
                     , parsec
                     , z3
                     , language-java
                     , array
                     , pretty
                     , mtl
                     , containers
  default-language:    Haskell2010
    Orestis Melkonian's avatar
    Tests.  
    Orestis Melkonian committed
    41 42 43 44 45 
    test-suite javawlp-tests
  type:                exitcode-stdio-1.0
  hs-source-dirs:      test
  main-is:             Spec.hs
  other-modules:       TExamples
    Orestis Melkonian's avatar
    LogicIR parser.  
    Orestis Melkonian committed
    46 
                         , TIRParser
    Orestis Melkonian's avatar
    Tests.  
    Orestis Melkonian committed
    47 48 49 50 51 52 53 54 55 56 57 
      build-depends:       base
                     , javawlp
                     , test-framework
                     , test-framework-hunit
                     , HUnit
                     , z3
                     , language-java
                     , array
                     , pretty
                     , mtl
                     , containers
    Orestis Melkonian's avatar
    LogicIR parser.  
    Orestis Melkonian committed
    58 59 
                         , silently
  -- ghc-options:         -threaded -rtsopts -with-rtsopts=-N
    Orestis Melkonian's avatar
    Tests.  
    Orestis Melkonian committed
    60 
      default-language:    Haskell2010
    Orestis Melkonian's avatar
    Stack build configuration.
    Orestis Melkonian committed
    61 62 63 64 
    
source-repository head
  type:     git
  location: https://git.science.uu.nl/impresshs/javawlp