forked from azardilis/coloured-petri-nets
-
Notifications
You must be signed in to change notification settings - Fork 0
/
coloured-petri-nets.cabal
151 lines (142 loc) · 3.66 KB
/
coloured-petri-nets.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
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
cabal-version: 1.12
-- This file has been generated from package.dhall by hpack version 0.31.0.
--
-- see: https://github.com/sol/hpack
--
-- hash: 28dcf79cc783aade0c50ab84a39aef7e99d2c72bae0dd61474f38afe55b7958d
name: coloured-petri-nets
version: 0.1.0.0
synopsis: none
homepage: none
author: none
maintainer: none
build-type: Simple
library
build-depends:
base,
containers,
haskell-src-meta,
multiset,
parsec,
random,
template-haskell
if impl(ghc >= 8.10.0)
other-modules:
Internal.RuleQuotes
hs-source-dirs:
src-ghc-8.10
if impl(ghc >= 8.8.0) && impl(ghc < 8.10.0)
other-modules:
Internal.RuleQuotes
hs-source-dirs:
src-ghc-8.8
if impl(ghc >= 8.6.0) && impl(ghc < 8.8.0)
other-modules:
Internal.RuleQuotes
hs-source-dirs:
src-ghc-8.6
hs-source-dirs:
src
exposed-modules:
Chromar
other-modules:
Chromar.Core
Chromar.Fluent
Chromar.Info
Chromar.MAttrs
Chromar.MRuleParser
Chromar.Multiset
Chromar.Observables
Chromar.Quotes
Chromar.RuleParser
Chromar.RuleQuotes
Paths_coloured_petri_nets
other-extensions: BangPatterns
ghc-options: -Wall -Werror -Wincomplete-uni-patterns -Wcompat -Widentities -Wredundant-constraints -fhide-source-paths
default-language: Haskell2010
test-suite gdiff
type: exitcode-stdio-1.0
main-is: gdiff.hs
hs-source-dirs:
models
other-extensions: BangPatterns
ghc-options: -Wall -Werror -Wincomplete-uni-patterns -Wcompat -Widentities -Wredundant-constraints -fhide-source-paths
build-depends:
base,
coloured-petri-nets,
containers
default-language: Haskell2010
test-suite germ
type: exitcode-stdio-1.0
main-is: germ.hs
other-modules:
SeedsModel.Env
SeedsModel.Germ
hs-source-dirs:
models
other-extensions: BangPatterns
ghc-options: -Wall -Werror -Wincomplete-uni-patterns -Wcompat -Widentities -Wredundant-constraints -fhide-source-paths
build-depends:
base,
coloured-petri-nets,
containers,
normaldistribution,
random,
text
default-language: Haskell2010
test-suite market
type: exitcode-stdio-1.0
main-is: Market.hs
hs-source-dirs:
models/market
other-extensions: BangPatterns
ghc-options: -Wall -Werror -Wincomplete-uni-patterns -Wcompat -Widentities -Wredundant-constraints -fhide-source-paths
build-depends:
base,
coloured-petri-nets,
containers,
normaldistribution,
random
default-language: Haskell2010
test-suite plant
type: exitcode-stdio-1.0
main-is: plant.hs
hs-source-dirs:
models
other-extensions: BangPatterns
ghc-options: -Wall -Werror -Wincomplete-uni-patterns -Wcompat -Widentities -Wredundant-constraints -fhide-source-paths
build-depends:
base,
coloured-petri-nets,
containers
default-language: Haskell2010
test-suite simple
type: exitcode-stdio-1.0
main-is: simple.hs
hs-source-dirs:
models
other-extensions: BangPatterns
ghc-options: -Wall -Werror -Wincomplete-uni-patterns -Wcompat -Widentities -Wredundant-constraints -fhide-source-paths
build-depends:
base,
coloured-petri-nets,
containers
default-language: Haskell2010
test-suite utils
type: exitcode-stdio-1.0
main-is: utils.hs
other-modules:
SeedsModel.Env
SeedsModel.Utils
hs-source-dirs:
models
other-extensions: BangPatterns
ghc-options: -Wall -Werror -Wincomplete-uni-patterns -Wcompat -Widentities -Wredundant-constraints -fhide-source-paths
build-depends:
base,
coloured-petri-nets,
containers,
normaldistribution,
random,
text
default-language: Haskell2010