funcons-intgen-0.2.0.3: funcons-intgen.cabal

name:                funcons-intgen
description:         Transpiler generating Haskell micro-interpreters from CBS funcon definitions, see [Executable Component-Based Semantics](https://doi.org/10.1016/j.jlamp.2018.12.004)
version:             0.2.0.3
synopsis:            Generate Funcons interpreters from CBS description files
homepage:            http://plancomps.org
license:             MIT
license-file:        LICENSE
author:              L. Thomas van Binsbergen <ltvanbinsbergen@acm.org>, Neil Sculthorpe <n.a.sculthorpe@swansea.ac.uk>
maintainer:          L. Thomas van Binsbergen <ltvanbinsbergen@acm.org>
copyright:           Copyright (C) 2015 L. Thomas van Binsbergen and Neil Schulthorpe
category:            Compilers
build-type:          Simple
cabal-version:       >=1.10
extra-source-files:  assets/*.sh

executable cbsc
  main-is:              Main.hs
  other-modules:        Parsing.Spec,
                        Parsing.Mutual,
                        Parsing.Term,
                        Parsing.Rule,
                        Parsing.Syntax,
                        Parsing.Lexer,
                        Print.HaskellModule,
                        Print.Util,
                        Simplify.ConcreteToAbstract
                        Simplify.Simplifier,
                        Simplify.CoreToTarget,
                        Simplify.LiftStrictness,
                        Simplify.TargetToFunconModules,
                        Simplify.Utils,
                        Types.Bindings,
                        Types.ConcreteSyntax,
                        Types.SourceAbstractSyntax,
                        Types.CoreAbstractSyntax,
                        Types.TargetAbstractSyntax,
                        Types.FunconModule
  build-depends:       base >=4.8 && < 5
                      ,containers >= 0.5 && < 0.7
                      ,filepath >= 1.3.0 && < 2
                      ,directory >= 1.3.8.5 && < 2
                      ,split >= 0.2.5 && < 0.3
                      ,pretty >= 1.1.2 && < 1.2
                      ,text >= 1.2 && < 3
                      ,mtl >= 2.2.1 && < 3
                      ,gll >=0.4.1 && < 5
                      ,regex-applicative >= 0.3 && < 0.4
                      ,funcons-values >= 0.1.0.9 && < 0.2
                      ,funcons-tools >= 0.2.0.16 && < 0.3
                      ,uu-cco==0.1.0.6 && < 0.2
  hs-source-dirs:      src
  default-language:    Haskell2010
  ghc-options:         -fwarn-incomplete-patterns
                       -fwarn-unused-imports