copilot-core/copilot-core.cabal at master · niswegmann/copilot-core · 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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
cabal-version:       >=1.10
name:                copilot-core
version:             0.2.4
synopsis:            An intermediate representation for Copilot.
description:
  Intermediate representation for Copilot.
  .
  Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in
  Haskell that compiles into embedded C.  Copilot contains an interpreter,
  multiple back-end compilers, and other verification tools.  A tutorial, bug
  reports, and todos are available at
  <https://github.com/niswegmann/copilot-discussion>.
  .
  Examples are available at
  <https://github.com/leepike/Copilot/tree/master/Examples>.

author:              Lee Pike, Robin Morisset, Alwyn Goodloe,
                     Sebastian Niller, Nis Nordby Wegmann
license:             BSD3
license-file:        LICENSE
maintainer:          leepike@gmail.com
stability:           Experimental
category:            Language, Embedded
build-type:          Simple
extra-source-files:  README.md

source-repository head
    type:       git
    location:   git://github.com/niswegmann/copilot-core.git

library

  default-language:  Haskell2010

  hs-source-dirs:    src

  ghc-options:
    -Wall
    -fwarn-tabs
    -auto-all
    -caf-all
    -fno-warn-orphans

    --enable-library-profiling

    -fpackage-trust
    -- Trusted packages
    -trust base
    -trust random
    -trust array

  build-depends:
    containers >= 0.4 && < 1,
    base >= 4.0 && < 5,
    pretty >= 1.0,
    random > 1.0,
    pretty-ncols >= 0.1,
    mtl >= 2.0,
    dlist

  exposed-modules:

    Copilot.Compile.Header.C99
    Copilot.Core
    Copilot.Core.Error
    Copilot.Core.Expr
    Copilot.Core.External
    Copilot.Core.Interpret
    Copilot.Core.Interpret.Eval
    Copilot.Core.Interpret.Render
    Copilot.Core.MakeTags
    Copilot.Core.Operators
    Copilot.Core.Spec
    Copilot.Core.Locals
    Copilot.Core.Random
    Copilot.Core.Random.Gen
    Copilot.Core.Random.Weights
    Copilot.Core.Type
    Copilot.Core.Type.Dynamic
    Copilot.Core.Type.Equality
    Copilot.Core.Type.Eq
    Copilot.Core.Type.Show
    Copilot.Core.Type.Read
    Copilot.Core.Type.Uninitialized
    Copilot.Core.PrettyPrint