lambda-security-tags/lambda-security-tags.cabal at master · ltbinsbe/lambda-security-tags · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
-- Initial lambda-security-tags.cabal generated by cabal init.  For further
--  documentation, see http://haskell.org/cabal/users-guide/

name:                lambda-security-tags
version:             0.1.0.0
synopsis:            Lambda Calculus with Security Tags.
description:         Small Lambda Calculus extended with Security Tags. The executable type-checks and executes programs based on an implementation of a formal dynamic and static specification
-- description:
license:             MIT
license-file:        LICENSE
author:              L. Thomas van Binsbergen
maintainer:          ltvanbinsbergen@acm.org
-- copyright:
category:            Language
build-type:          Simple
extra-source-files:   ChangeLog.md
                     ,programs/*.output
                     ,programs/*.lam
cabal-version:       >=1.10

executable runlam
  main-is:             Main.hs
  other-modules:          Types.Plain
                        , Types.Shared
                        , Types.EDSL
                        , Printer
                        , Parser
                        , Semantics.Operators
                        , Semantics.Builtins
                        , Semantics.Static
                        , Semantics.Dynamic
  -- other-extensions:
  build-depends:        base >=4.3
                      , containers
                      , pretty
                      , gll >= 0.4.0.3
  hs-source-dirs:      src
  default-language:    Haskell2010
  ghc-options:         -fwarn-incomplete-patterns -fwarn-monomorphism-restriction -fwarn-unused-imports