Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Newer
Older
100644 41 lines (34 sloc) 0.943 kB
2878e9a initial commit
Sebastian Niller authored
1 cabal-version: >=1.10
2 name: copilot-library
3 version: 0.1
4 synopsis: A Haskell-embedded DSL for monitoring hard real-time
5 distributed systems.
6 description: Libraries for the Copilot language
7 license: BSD3
8 license-file: LICENSE
9 author: Lee Pike, Robin Morisset, Alwyn Goodloe, Sebastian Niller,
10 Nis Nordby Wegmann
11 maintainer: niswegmann@gmail.com
12 stability: Experimental
13 category: Language, Embedded
14 build-type: Simple
15
16 library
17 default-language: Haskell2010
18
19 hs-source-dirs: src
20
21 build-depends:
22 array,
23 base >= 4.0,
24 containers,
25 copilot-language,
26 mtl >= 2.0
27
28 exposed-modules:
29 Copilot.Library.Clocks
30 Copilot.Library.PTLTL
31 Copilot.Library.Statistics
32
33 other-modules:
34
35 ghc-options:
36 -fwarn-tabs
37 -O2
38 -auto-all
39 -caf-all
40 -Wall
Something went wrong with that request. Please try again.