winter/winter.cabal at master · dfinity-side-projects/winter · GitHub

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
Cabal-Version: 2.2
Name:          winter
Version:       1.0.0
Synopsis:      Haskell port of the WebAssembly OCaml reference interpreter
License:       MIT
License-file:  LICENSE
Copyright:     2018-2019 DFINITY Stiftung
Author:        Enzo Haussecker <enzo@dfinity.org>, John Wiegley <john@dfinity.org>
Maintainer:    Enzo Haussecker <enzo@dfinity.org>, John Wiegley <john@dfinity.org>
Stability:     Experimental
Category:      Interpreter
Homepage:      https://github.com/dfinity/winter
Bug-Reports:   https://github.com/dfinity/winter/issues
Build-Type:    Simple

Common generic
  default-language: Haskell2010
  build-depends:    base >=4.10 && <5,
  ghc-options:      -O2 -Wall -Wredundant-constraints

Library
  Import: generic
  Build-Depends:
    FloatingHex,
    array,
    binary,
    bytestring,
    containers,
    data-default-class,
    data-fix (>= 0.3),
    deepseq,
    lifted-base,
    monad-control,
    microlens-platform,
    mtl,
    nats,
    parsec,
    text,
    transformers,
    vector (>= 0.12.1),
    primitive,
    primitive-unaligned,
    byte-order
  Exposed-Modules:
    Wasm.Binary.Custom
    Wasm.Binary.Decode
    Wasm.Binary.Encode
    Wasm.Binary.Guard
    Wasm.Binary.LEB128
    Wasm.Binary.Lift
    Wasm.Exec.Eval
    Wasm.Exec.EvalNumeric
    Wasm.Runtime.Func
    Wasm.Runtime.Global
    Wasm.Runtime.Instance
    Wasm.Runtime.Memory
    Wasm.Runtime.Table
    Wasm.Syntax.AST
    Wasm.Syntax.DSL
    Wasm.Syntax.Memory
    Wasm.Syntax.Ops
    Wasm.Syntax.Ops.Float
    Wasm.Syntax.Ops.Int
    Wasm.Syntax.Ops.Kind
    Wasm.Syntax.Types
    Wasm.Syntax.Values
    Wasm.Text.Wast
    Wasm.Text.Winter
    Wasm.Util.NFData
    Wasm.Util.Show
    Wasm.Util.Source
    Wasm.Util.Float
  HS-Source-Dirs:
    src

Executable wasm-invoke
  Import: generic
  Build-Depends:
    binary,
    bytestring,
    cmdargs,
    containers,
    data-default-class,
    winter,
    mtl,
    parsec,
    vector,
    text
  HS-Source-Dirs:
    app
  Main-Is:
    Main.hs

Test-Suite wasm-test-suite
  Import: generic
  Build-Depends:
    winter,
    FloatingHex,
    array,
    binary,
    bytestring,
    containers,
    data-default-class,
    data-fix,
    deepseq,
    directory,
    filepath,
    lifted-base,
    monad-control,
    microlens-platform,
    mtl,
    parsec,
    primitive,
    process,
    tasty,
    tasty-hunit,
    tasty-quickcheck,
    temporary,
    text,
    transformers,
    vector
  HS-Source-Dirs:
    test
  Main-Is:
    Main.hs
  Other-Modules:
    SpecTest
    Wat2Wasm
    Property
    Unit
    Spec
  Type:
    exitcode-stdio-1.0