-
Notifications
You must be signed in to change notification settings - Fork 0
/
etlas.dhall
74 lines (66 loc) · 2.66 KB
/
etlas.dhall
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
let prelude =
https://github.com/raw/eta-lang/dhall-to-etlas/master/dhall/prelude.dhall sha256:22685aa004763d3d783a116b307a3b3d61cc49aa48e6ff07257668336c27b4a9
let types =
https://github.com/raw/eta-lang/dhall-to-etlas/master/dhall/types.dhall sha256:4de5daf77713923a6510c4eff516a6f9caf9a52761fc0558d7a924eef0050e09
let v = prelude.v
let pkg =
λ(name : Text)
→ λ(version-range : types.VersionRange)
→ { bounds = version-range, package = name }
let pkgAnyVer = λ(packageName : Text) → pkg packageName prelude.anyVersion
let commonDeps =
[ pkg
"base"
( prelude.intersectVersionRanges
(prelude.orLaterVersion (v "4.8"))
(prelude.earlierVersion (v "4.9"))
)
, pkgAnyVer "wai"
, pkg "wai-servlet" (prelude.orLaterVersion (v "0.1.5"))
]
let updateRepo =
prelude.utils.mapSourceRepos
( λ(srcRepo : types.SourceRepo)
→ srcRepo ⫽ { tag = Some "0.1.2.0", kind = types.RepoKind.RepoThis }
)
let project =
prelude.utils.GitHub-project
{ owner = "jneira", repo = "wai-servlet-handler-jetty" }
in updateRepo
( project
⫽ { description =
"Wai handler to run wai applications in a embedded jetty server"
, license = types.License.BSD3
, license-files = [ "LICENSE" ]
, author = "Javier Neira Sanchez"
, maintainer = "Javier Neira Sanchez <atreyu.bbb@gmail.com>"
, version = v "0.1.2.0"
, cabal-version = v "1.12"
, category = "Web"
, extra-source-files = [ "README.md" ]
, stability = "Experimental"
, library =
prelude.unconditional.library
( prelude.defaults.Library
⫽ { exposed-modules = [ "Network.Wai.Servlet.Handler.Jetty" ]
, hs-source-dirs = [ "src" ]
, build-depends = commonDeps
, maven-depends =
[ "javax.servlet:javax.servlet-api:3.1.0"
, "org.eclipse.jetty:jetty-server:9.4.5.v20170502"
]
}
)
, executables =
[ prelude.unconditional.executable
"wai-servlet-jetty-example"
( prelude.defaults.Executable
⫽ { build-depends =
commonDeps # [ pkgAnyVer "wai-servlet-handler-jetty" ]
, hs-source-dirs = [ "examples" ]
, main-is = "Main.hs"
}
)
]
}
)