mirror of
https://github.com/Jaxan/monoid-learner.git
synced 2025-04-26 22:47:45 +02:00
42 lines
794 B
Text
42 lines
794 B
Text
cabal-version: 2.2
|
|
name: monoid-learner
|
|
version: 0.1.0.0
|
|
author: Joshua Moerman
|
|
maintainer: joshua@cs.rwth-aachen.de
|
|
build-type: Simple
|
|
|
|
common stuff
|
|
default-language: Haskell2010
|
|
build-depends:
|
|
base >=4.12 && <5,
|
|
containers,
|
|
HaskellForMaths >=0.4
|
|
|
|
library
|
|
import: stuff
|
|
hs-source-dirs: src
|
|
exposed-modules:
|
|
Equivalence,
|
|
Examples.Examples,
|
|
KnuthBendix,
|
|
Monoid,
|
|
MStar,
|
|
Word
|
|
|
|
executable monoid-learner
|
|
import: stuff
|
|
hs-source-dirs: app
|
|
main-is: Main.hs
|
|
ghc-options: -Wall -O2
|
|
build-depends:
|
|
monoid-learner
|
|
|
|
test-suite test
|
|
import: stuff
|
|
hs-source-dirs: test
|
|
main-is: test.hs
|
|
type: exitcode-stdio-1.0
|
|
build-depends:
|
|
monoid-learner,
|
|
tasty,
|
|
tasty-hunit
|