modelling-tasks.cabal

cabal-version: 1.12

-- This file has been generated from package.yaml by hpack version 0.39.1.
--
-- 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 quick-testing
  description: Decreases the testing depth resulting in fewer test cases and thus faster testing
  manual: True
  default: False

library
  exposed-modules:
      Modelling.ActivityDiagram.ActionSequences
      Modelling.ActivityDiagram.Alloy
      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.Shuffle.All
      Modelling.Auxiliary.Shuffle.NamesAndLayout
      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.Draw
      Modelling.PetriNet.Reach.Filter
      Modelling.PetriNet.Reach.Property
      Modelling.PetriNet.Reach.Reach
      Modelling.PetriNet.Reach.Step
      Modelling.PetriNet.Reach.Type
      Modelling.Types
  other-modules:
      Modelling.ActivityDiagram.Auxiliary.ActionSequences
      Modelling.ActivityDiagram.Auxiliary.PetriValidation
      Modelling.Auxiliary.Diagrams
      Modelling.CdOd.Phrasing
      Modelling.CdOd.Phrasing.Common
      Modelling.CdOd.Phrasing.English
      Modelling.CdOd.Phrasing.German
      Modelling.PetriNet.Reach.ConfigValidation
      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
    , autolib-reader
    , autolib-todoc
    , autolib-util
    , autotool-capabilities
    , base
    , bifunctors
    , bimap
    , bytestring
    , call-alloy >=0.6.0.3 && <0.7
    , composition
    , containers
    , diagrams-graphviz
    , diagrams-lib
    , diagrams-svg
    , edit-distance-vector
    , either
    , exact-combinatorics
    , exceptions
    , extra
    , fgl
    , file-embed
    , graphviz
    , hgal
    , latex-svg-image
    , lens
    , mtl
    , output-blocks >=0.5.0.1 && <0.6
    , parsec
    , polysemy-plugin
    , random
    , random-shuffle
    , size-based
    , split
    , string-interpolate
    , text
    , transformers
    , utf8-string
    , vector
    , yaml
  default-language: Haskell2010

test-suite modelling-tasks-test
  type: exitcode-stdio-1.0
  main-is: Main.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.FilterSpec
      Modelling.PetriNet.Reach.ReachSpec
      Modelling.PetriNet.TestCommon
      Modelling.PetriNet.TypesSpec
      Settings
      Spec
      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
    , autolib-reader
    , autolib-todoc
    , autolib-util
    , autotool-capabilities
    , autotool-capabilities-io-instances
    , base
    , bifunctors
    , bimap
    , bytestring
    , call-alloy >=0.6.0.3 && <0.7
    , composition
    , containers
    , diagrams-graphviz
    , diagrams-lib
    , diagrams-svg
    , directory
    , edit-distance-vector
    , either
    , exact-combinatorics
    , exceptions
    , extra
    , fgl
    , file-embed
    , filepath
    , graphviz
    , hgal
    , hspec
    , hspec-core
    , latex-svg-image
    , lens
    , modelling-tasks
    , mtl
    , output-blocks >=0.5.0.1 && <0.6
    , parsec
    , polysemy-plugin
    , process
    , random
    , random-shuffle
    , size-based
    , split
    , string-interpolate
    , text
    , transformers
    , utf8-string
    , vector
    , yaml
  default-language: Haskell2010
  if flag(quick-testing)
    cpp-options: -DQUICK_TESTING