Commit f6783512 authored by Hans-Peter Deifel's avatar Hans-Peter Deifel 🐢
Browse files

prism: Split converter into library and executable

This allows to write separate tests for the library.
parent 8ec6c4d1
Loading
Loading
Loading
Loading
+26 −14
Original line number Diff line number Diff line
@@ -245,26 +245,38 @@ benchmark bench
  default-language:    Haskell2010
  ghc-options:         -Wall

executable prism-converter
library prism-converter-lib
  hs-source-dirs:      src/prism-converter
  main-is:             Main.hs
  other-modules:       Parser
  exposed-modules:     Parser
                     , MarkovChain
                     , Mdp
                     , StatesFile
  default-language:    Haskell2010
  build-depends:       base >= 4.11
                     , text
                     , vector
                     , megaparsec >= 7
                     , containers
                     , optparse-applicative
                     , prettyprinter
                     , prettyprinter-ansi-terminal
                     , prettyprinter-convert-ansi-wl-pprint
                     , microlens
                     , microlens-th
                     , microlens-platform
                     , containers ^>= 0.6
                     , megaparsec ^>= 7
                     , microlens ^>= 0.4.10
                     , microlens-platform ^>= 0.3.11
                     , microlens-th ^>= 0.4.2
                     , text ^>= 1.2.3
                     , vector ^>= 0.12
                     , vector-algorithms ^>= 0.8.0.1
  if !flag(benchmark-generators)
    buildable:       False

executable prism-converter
  hs-source-dirs:      src/prism-converter/main
  main-is:             Main.hs
  default-language:    Haskell2010
  build-depends:       base >= 4.11
                     , prism-converter-lib
                     , containers ^>= 0.6
                     , megaparsec ^>= 7
                     , optparse-applicative ^>= 0.14.3
                     , prettyprinter ^>= 1.2 || ^>= 1.3
                     , prettyprinter-ansi-terminal ^>= 1.1
                     , prettyprinter-convert-ansi-wl-pprint ^>= 1.1
                     , text ^>= 1.2.3
  if !flag(benchmark-generators)
    buildable:       False