funcons-simple-0.1.0.3: funcons-simple.cabal

-- Initial funcons-simple.cabal generated by cabal init.  For further 
-- documentation, see http://haskell.org/cabal/users-guide/

name:                funcons-simple
version:             0.1.0.3
synopsis:            A modular interpreter for executing SIMPLE funcons 
description:         
    The PLanCompS (<http://plancomps.org>) project has developed a component-based approach to formal semantics.
    A reusable component of language definition corresponds to a fundamental 
    programming construct: a `funcon', which has a fixed operational interpretation.

    This package provides an interpreter for the funcons of SIMPLE <https://plancomps.github.io/CBS-beta/Languages-beta/SIMPLE/> extending the interpreter for the reusable funcons of /funcons-tools/ <https://hackage.haskell.org/package/funcons-tools>
    
homepage:            https://plancomps.github.io/CBS-beta/Languages-beta/SIMPLE/
license:             MIT
license-file:        LICENSE
author:              L. Thomas van Binsbergen and Neil Sculthorpe
maintainer:          L. Thomas van Binsbergen <ltvanbinsbergen@acm.org>
copyright:           Copyright (C) 2015 L. Thomas van Binsbergen and Neil Sculthorpe
category:            Compilers/Interpreters
-- copyright:           
build-type:          Simple
extra-source-files:   tests/Advanced/*.smp,
                      tests/Advanced/*.fct, 
                      tests/Advanced/*.output, 
                      tests/Basic/*.smp, 
                      tests/Basic/*.fct, 
                      tests/Basic/*.output,
                      tests/Kdiverse/*.smp,
                      tests/Kdiverse/*.fct,
                      tests/Kdiverse/*.output,
                      tests/Kdiverse/*.config,
                      tests/Kexceptions/*.smp 
                      tests/Kexceptions/*.fct
                      tests/Kexceptions/*.output
                      tests/SIMPLE.config
                      tests/SIMPLE-interactive.config
                      tests/README.txt
cabal-version:       >=1.10

executable runfct-SIMPLE 
  main-is:             Main.hs
  other-modules:       Funcons.SIMPLE.SIMPLE4Declarations.SIMPLE4Declarations, Funcons.SIMPLE.Library 
  -- other-extensions:    
  build-depends:       base >=4.8 && <=5, funcons-tools >= 0.2.0.5, funcons-values >= 0.1.0.3
  hs-source-dirs:      src
  default-language:    Haskell2010