blob: e0406037308dddccba1ec82181663b3769e7e451 (
plain)
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
|
name: jterm
version: 0.1
dependencies:
- base
- streamly-core
- streamly
- process
- X11
- X11-xft
- text-rope
- posix-pty
- unix
- text
- utf8-string
- bytestring
- mtl
- transformers
- strip-ansi-escape
- fusion-plugin
- containers
ghc-options: [-O2, -fdicts-strict, -fspec-constr-recursive=16, -fmax-worker-args=16, -fplugin=Fusion.Plugin, -Wall, -Wno-name-shadowing, -threaded, -with-rtsopts=--nonmoving-gc]
executables:
jterm:
main: jterm.hs
|