-
Notifications
You must be signed in to change notification settings - Fork 0
/
FMCt.cabal
154 lines (133 loc) · 4.1 KB
/
FMCt.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
152
cabal-version: 2.4
name: FMCt
version: 0.5.0.0
license: BSD-3-Clause
license-file: LICENSE
author: Vlad Posmangiu Luchian
maintainer: cstmlcodes@gmail.com
copyright: "Copyright belongs to Vlad Posmangiu Luchian, 2021."
category: Language
build-type: Simple
extra-source-files: CHANGELOG.md,
README.md
common library-specs
Ghc-Options:
-Wno-name-shadowing
-Wall
-Wno-unuused-top-binds
build-depends:
base,
containers,
parsec,
default-extensions:
LambdaCase
default-language:
Haskell2010
hs-source-dirs:
src
other-modules:
FMCt.Evaluator
FMCt.Examples
FMCt.Parsing
FMCt.Pretty
FMCt.Syntax
FMCt.TypeChecker
FMCt.TypeChecker2
FMCt.TypeCheckerAlt
FMCt.Aux.Pretty
FMCt.Aux.ToTex
common common-specs
Ghc-Options:
-Wno-name-shadowing
-Wall
-Wno-unuused-top-binds
-- -Wcompat
-- -Wincomplete-uni-patterns
-- -Wredundant-constraints
-- -Werror
-- -Wincomplete-record-updates
-- -Wredundant-constraints
build-depends:
base,
containers,
parsec,
lens,
mtl,
transformers,
-- From the Scotty
build-depends:
base,
scotty,
text,
clay,
lucid,
aeson,
wai-extra,
http-types,
default-extensions:
LambdaCase
-- from the Scotty
default-extensions: OverloadedStrings,
LambdaCase
FlexibleInstances
FlexibleContexts
RankNTypes
ScopedTypeVariables
TypeApplications
TypeFamilies
InstanceSigs
default-language:
Haskell2010
hs-source-dirs:
src
other-modules:
FMCt.Evaluator
FMCt.Examples
FMCt.Parsing
FMCt.Pretty
FMCt.Syntax
FMCt.TypeChecker
FMCt.TypeChecker2
FMCt.Aux.Pretty
FMCt.Aux.ToTex
library
import: library-specs
exposed-modules: FMCt
executable FMCt-exe
import: common-specs
hs-source-dirs: app
main-is: Main.hs
executable FMCt-web
import: common-specs
main-is: Main.hs
hs-source-dirs: webApp
default-extensions: OverloadedStrings,
LambdaCase
FlexibleInstances
FlexibleContexts
RankNTypes
ScopedTypeVariables
TypeApplications
TypeFamilies
InstanceSigs
other-modules: FMCt.Web
FMCt.Web.Components.Brick
FMCt.Web.Components.MainPage
FMCt.Web.Components.RegularPage
FMCt.Web.Helpers.Heroku
FMCt.Web.MainWebsite
FMCt.Web.Pages.Derive
FMCt.Web.Pages.Evaluator
FMCt.Web.Pages.Root
FMCt.Web.Style.BootStrap
FMCt.Web.Style.MainStyle
FMCt.Web.Style.StdStylingHeader
build-depends: base,
scotty,
text,
clay,
lucid,
aeson,
FMCt,
wai-extra,
http-types,