-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathbrisk.cabal
110 lines (103 loc) · 3.53 KB
/
brisk.cabal
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
-- Initial checker.cabal generated by cabal init. For further
-- documentation, see http://haskell.org/cabal/users-guide/
name: brisk
version: 0.0.0.2
-- synopsis:
-- description:
homepage: abakst.github.io
-- license:
license-file: LICENSE
author: Alexander Bakst
maintainer: [email protected]
-- copyright:
category: Concurrency
build-type: Simple
-- extra-source-files:
cabal-version: >=1.10
data-dir: rewrite/src
data-files: rewrite.pl, lib/misc.pl, tags.pl
library
-- build-tools: alex, happy
other-modules: Brisk.Transform.Misc
, Brisk.Transform.SpanStack
exposed-modules: Brisk.Plugin
, Brisk.UX
, Brisk.Annotations
-- , Brisk.Transform.SpanStack
-- , Brisk.Transform.Misc
, Brisk.Transform.ANF
, Brisk.Pretty
, Brisk.Model.Env
, Brisk.Model.Types
, Brisk.Model.Extract
, Brisk.Model.Builtins
, Brisk.Model.Prolog
-- , Brisk.Model.Promela
, Brisk.Model.EmbedCore
, Brisk.Model.IceT
, Brisk.Model.GhcInterface
-- , Control.Distributed.Process.Internal.Primitives.Brisk
, Control.Distributed.Process.SymmetricProcess
, Control.Distributed.BriskStatic
, Control.Distributed.BriskStatic.Internal
other-modules: Paths_brisk
-- other-modules: Brisk.UX.SpecLex
-- , Brisk.UX.SpecParse
ghc-options: -fwarn-unused-binds
build-depends: base >=4 && < 5
, syb
, binary
, bytestring
, utf8-string
, ghc
, ghc-prim
, containers
, cereal
, generic-deriving
, distributed-process
, distributed-static
, distributed-process-client-server
, distributed-process-simplelocalnet
, distributed-process-extras
, template-haskell
, transformers
, turtle
, mtl
, pretty
, hashable == 1.2.5.0
, unordered-containers
, text
, deepseq
, parsec
, filemanip
, pretty-show
, utf8-string
, random
hs-source-dirs: src, examples
default-language: Haskell2010
executable brisk
main-is: Brisk.hs
hs-source-dirs: src
default-language: Haskell2010
-- other-modules:
-- Brisk.Model.GhcInterface
-- , Brisk.Model.IceT
-- , Brisk.Model.Prolog
-- , Brisk.Model.Types
-- , Brisk.Pretty
-- , Brisk.UX
build-depends: base >= 4 && < 5
, ghc
, ghc-paths
, brisk
, pretty-show
, utf8-string
, bytestring
, containers
, optparse-generic
, pretty
, cereal
, turtle
, text
, transformers
, random