modelling-tasks.cabal

cabal-version: 1.12

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

name:           modelling-tasks
version:        0.0.0.1
build-type:     Simple
extra-source-files:
    alloy/ad/actionSequencesRules.als
    alloy/ad/components.als
    alloy/ad/exerciseRules.als
    alloy/ad/initialNodeRules.als
    alloy/ad/nameRules.als
    alloy/ad/petriNet.als
    alloy/ad/plantUml.als
    alloy/ad/reachabilityRules.als
    alloy/cd/relationshipLimits.als
    alloy/cd/generate.als
    alloy/petri/Helpers.als
    alloy/petri/PetriAdditions.als
    alloy/petri/PetriConcepts.als
    alloy/petri/PetriConstraints.als
    alloy/petri/PetriSignature.als
    README.md

flag alloy-use-sat4j
  description: When calling alloy use the SAT4J SAT solver
  manual: True
  default: False

flag quick-testing
  description: Decreases the testing depth resulting in fewer test cases and thus faster testing
  manual: True
  default: False

library
  exposed-modules:
      Capabilities.Alloy
      Capabilities.Alloy.IO
      Capabilities.Cache
      Capabilities.Cache.IO
      Capabilities.Diagrams
      Capabilities.Diagrams.IO
      Capabilities.Graphviz
      Capabilities.Graphviz.IO
      Capabilities.PlantUml
      Capabilities.PlantUml.IO
      Modelling.ActivityDiagram.ActionSequences
      Modelling.ActivityDiagram.Alloy
      Modelling.ActivityDiagram.Auxiliary.Util
      Modelling.ActivityDiagram.Auxiliary.Parser
      Modelling.ActivityDiagram.Config
      Modelling.ActivityDiagram.Datatype
      Modelling.ActivityDiagram.EnterAS
      Modelling.ActivityDiagram.FindAuxiliaryPetriNodes
      Modelling.ActivityDiagram.Instance
      Modelling.ActivityDiagram.Isomorphism
      Modelling.ActivityDiagram.MatchAd
      Modelling.ActivityDiagram.MatchPetri
      Modelling.ActivityDiagram.PetriNet
      Modelling.ActivityDiagram.PlantUMLConverter
      Modelling.ActivityDiagram.SelectAS
      Modelling.ActivityDiagram.SelectPetri
      Modelling.ActivityDiagram.Shuffle
      Modelling.Auxiliary.Common
      Modelling.Auxiliary.Output
      Modelling.CdOd.Auxiliary.Util
      Modelling.CdOd.CD2Alloy.Transform
      Modelling.CdOd.CdAndChanges.Instance
      Modelling.CdOd.CdAndChanges.Transform
      Modelling.CdOd.DifferentNames
      Modelling.CdOd.Generate
      Modelling.CdOd.MatchCdOd
      Modelling.CdOd.NameCdError
      Modelling.CdOd.Output
      Modelling.CdOd.RepairCd
      Modelling.CdOd.SelectValidCd
      Modelling.CdOd.Types
      Modelling.PetriNet.Alloy
      Modelling.PetriNet.Diagram
      Modelling.PetriNet.LaTeX
      Modelling.PetriNet.MatchToMath
      Modelling.PetriNet.Parser
      Modelling.PetriNet.Types
      Modelling.PetriNet.Concurrency
      Modelling.PetriNet.Conflict
      Modelling.PetriNet.ConflictPlaces
      Modelling.PetriNet.Find
      Modelling.PetriNet.Pick
      Modelling.PetriNet.Reach.Deadlock
      Modelling.PetriNet.Reach.Property
      Modelling.PetriNet.Reach.Reach
      Modelling.PetriNet.Reach.Step
      Modelling.PetriNet.Reach.Type
      Modelling.Types
  other-modules:
      Modelling.Auxiliary.Diagrams
      Modelling.CdOd.Phrasing
      Modelling.CdOd.Phrasing.English
      Modelling.CdOd.Phrasing.German
      Modelling.PetriNet.Reach.Draw
      Modelling.PetriNet.Reach.Roll
      Paths_modelling_tasks
  hs-source-dirs:
      src
  ghc-options: -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates -Widentities -Wredundant-constraints -Werror -Wwarn=x-partial -Wwarn=incomplete-uni-patterns -Wwarn=unrecognised-warning-flags -Wwarn=orphans
  build-tools:
      alex
    , happy
  build-depends:
      MonadRandom
    , SHA
    , SVGFonts
    , aeson
    , base
    , bifunctors
    , bimap
    , bytestring
    , call-alloy >=0.5.0.1 && <0.6
    , call-plantuml
    , composition
    , containers
    , diagrams-graphviz
    , diagrams-lib
    , diagrams-svg
    , directory
    , edit-distance-vector
    , either
    , exceptions
    , extra
    , fgl
    , file-embed
    , filepath
    , graphviz
    , hgal
    , hxt
    , latex-svg-image
    , lens
    , mtl
    , output-blocks >=0.4.0.2
    , parsec
    , polysemy-plugin
    , random
    , random-shuffle
    , size-based
    , split
    , string-interpolate
    , svg-builder
    , text
    , transformers
    , utf8-string
    , vector
    , xml-conduit
    , yaml
  default-language: Haskell2010
  if flag(alloy-use-sat4j)
    cpp-options: -DALLOY_USE_SAT4J

test-suite modelling-tasks-test
  type: exitcode-stdio-1.0
  main-is: Spec.hs
  other-modules:
      Modelling.ActivityDiagram.ActionSequencesSpec
      Modelling.ActivityDiagram.AlloySpec
      Modelling.ActivityDiagram.Auxiliary.ParserSpec
      Modelling.ActivityDiagram.ConfigSpec
      Modelling.ActivityDiagram.EnterASSpec
      Modelling.ActivityDiagram.FindAuxiliaryPetriNodesSpec
      Modelling.ActivityDiagram.MatchAdSpec
      Modelling.ActivityDiagram.MatchPetriSpec
      Modelling.ActivityDiagram.PetriNetSpec
      Modelling.ActivityDiagram.SelectASSpec
      Modelling.ActivityDiagram.SelectPetriSpec
      Modelling.CdOd.CD2Alloy.TransformSpec
      Modelling.CdOd.CdAndChanges.InstanceSpec
      Modelling.CdOd.DifferentNamesSpec
      Modelling.CdOd.Edges
      Modelling.CdOd.GenerateSpec
      Modelling.CdOd.MatchCdOdSpec
      Modelling.CdOd.NameCdErrorSpec
      Modelling.CdOd.OutputSpec
      Modelling.CdOd.RepairCdSpec
      Modelling.CdOd.SelectValidCdSpec
      Modelling.Common
      Modelling.PetriNet.AlloySpec
      Modelling.PetriNet.ConcurrencySpec
      Modelling.PetriNet.ConflictSpec
      Modelling.PetriNet.DiagramSpec
      Modelling.PetriNet.MatchToMathSpec
      Modelling.PetriNet.Reach.DeadlockSpec
      Modelling.PetriNet.Reach.ReachSpec
      Modelling.PetriNet.TestCommon
      Modelling.PetriNet.TypesSpec
      Settings
      SpecHook
      Test.Similarity
      Paths_modelling_tasks
  hs-source-dirs:
      test
  ghc-options: -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates -Widentities -Wredundant-constraints -Werror -Wwarn=x-partial -Wwarn=incomplete-uni-patterns -Wwarn=unrecognised-warning-flags -Wwarn=orphans -threaded -rtsopts -with-rtsopts=-N
  build-tools:
      alex
    , happy
  build-depends:
      HUnit
    , MonadRandom
    , QuickCheck
    , SHA
    , SVGFonts
    , aeson
    , base
    , bifunctors
    , bimap
    , bytestring
    , call-alloy >=0.5.0.1 && <0.6
    , call-plantuml
    , composition
    , containers
    , diagrams-graphviz
    , diagrams-lib
    , diagrams-svg
    , directory
    , edit-distance-vector
    , either
    , exceptions
    , extra
    , fgl
    , file-embed
    , filepath
    , graphviz
    , hgal
    , hspec
    , hxt
    , latex-svg-image
    , lens
    , modelling-tasks
    , mtl
    , output-blocks >=0.4.0.2
    , parsec
    , polysemy-plugin
    , process
    , random
    , random-shuffle
    , size-based
    , split
    , string-interpolate
    , svg-builder
    , text
    , transformers
    , utf8-string
    , vector
    , xml-conduit
    , yaml
  default-language: Haskell2010
  if flag(alloy-use-sat4j)
    cpp-options: -DALLOY_USE_SAT4J
  if flag(quick-testing)
    cpp-options: -DQUICK_TESTING