gdritter repos earthling / master earthling.cabal
master

Tree @master (Download .tar.gz)

earthling.cabal @master — raw · history · blame 

 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
name:             earthling
version:          0.1.0.0
-- synopsis:
-- description:
license:          BSD3
license-file:     LICENSE
author:           Getty Ritter <gdritter@galois.com>
maintainer:       Getty Ritter <gdritter@galois.com>
copyright:        ©2017 Getty Ritter
-- category:
build-type:       Simple
cabal-version:    >= 1.14

library
  exposed-modules:     Earthling
                     , Earthling.Types
                     , Earthling.Lexer
                     , Earthling.Parser
                     , Earthling.Eval
  hs-source-dirs:      src
  build-depends:       base >=4.7 && <5
                     , text
                     , alex-tools
                     , containers
                     , array
                     , pretty-show
  build-tools:         alex, happy
  default-language:    Haskell2010
  default-extensions:  ScopedTypeVariables

executable earthling
  hs-source-dirs:      earthling
  main-is:             Main.hs
  default-extensions:  ScopedTypeVariables
  ghc-options:         -Wall
  build-depends:       base >=4.7 && <5
                     , earthling
  default-language:    Haskell2010