copilot/copilot.cabal at dev-examples · strogo/copilot · 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
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
name:                copilot
version:             3.0.1
cabal-version:       >= 1.10
license:             BSD3
license-file:        LICENSE
author:              Frank Dedden, Nis Nordby Wegmann, Lee Pike, Robin Morisset, Sebastian Niller, Alwyn Goodloe
synopsis:            A stream DSL for writing embedded C programs.
build-type:          Simple
maintainer:          Frank Dedden <dev@dedden.net>
category:            Language, Embedded
homepage:            https://copilot-language.github.io
stability:           Experimental
description:
  This package is the main entry-point for using 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/Copilot-Language/copilot-discussion>.
  .
  Examples are available at <https://github.com/Copilot-Language/Copilot/tree/master/Examples>.

extra-source-files:
  README.md
  Examples/Heater.hs
  Examples/Array.hs
  Examples/Struct.hs
  Examples/Counter.hs

source-repository head
    type:       git
    location:   https://github.com/Copilot-Language/Copilot.git

library
    hs-source-dirs: src
    default-language:  Haskell2010
    ghc-options:
      -Wall
      -fwarn-tabs
      -fno-warn-orphans
    build-depends:
                       base                 >= 4.9  && < 5
                     , optparse-applicative >= 0.14 && < 0.15
                     , directory            >= 1.3  && < 1.4
                     , filepath             >= 1.4  && < 1.5

                     , copilot-core         >= 3.0.1  && < 3.1
                     , copilot-theorem      >= 3.0    && < 3.1
                     , copilot-language     >= 3.0.1  && < 3.1
                     , copilot-libraries    >= 3.0    && < 3.1
                     , copilot-c99          >= 3.0.1  && < 3.1


    exposed-modules: Language.Copilot, Language.Copilot.Main


executable addmult
    main-is:            AddMult.hs
    hs-source-dirs:     Examples
    build-depends:      base        >= 4.9    && < 5
                      , copilot     >= 3.0.1  && < 3.1
    default-language:   Haskell2010

executable array
    main-is:            Array.hs
    hs-source-dirs:     Examples
    build-depends:      base        >= 4.9    && < 5
                      , copilot     >= 3.0.1  && < 3.1
    default-language:   Haskell2010

executable cast
    main-is:            Cast.hs
    hs-source-dirs:     Examples
    build-depends:      base        >= 4.9    && < 5
                      , copilot     >= 3.0.1  && < 3.1
    default-language:   Haskell2010

executable clock
    main-is:            Clock.hs
    hs-source-dirs:     Examples
    build-depends:      base              >= 4.9    && < 5
                      , copilot           >= 3.0.1  && < 3.1
                      , copilot-libraries >= 3.0    && < 3.1
    default-language:   Haskell2010

executable counter
    main-is:            Counter.hs
    hs-source-dirs:     Examples
    build-depends:      base              >= 4.9    && < 5
                      , copilot           >= 3.0.1  && < 3.1
    default-language:   Haskell2010

executable engine
    main-is:            Engine.hs
    hs-source-dirs:     Examples
    build-depends:      base              >= 4.9    && < 5
                      , copilot           >= 3.0.1  && < 3.1
    default-language:   Haskell2010

executable heater
    main-is:            Heater.hs
    hs-source-dirs:     Examples
    build-depends:      base              >= 4.9    && < 5
                      , copilot           >= 3.0.1  && < 3.1
                      , copilot-c99       >= 3.0.1  && < 3.1
    default-language:   Haskell2010

executable voting
    main-is:            Voting.hs
    hs-source-dirs:     Examples
    build-depends:      base              >= 4.9    && < 5
                      , copilot           >= 3.0.1  && < 3.1
    default-language:   Haskell2010