Skip to content

Commit cd163ee

Browse files
committed
basic opam support
1 parent 64f328f commit cd163ee

File tree

5 files changed

+310
-2
lines changed

5 files changed

+310
-2
lines changed

interpreter/Makefile

+3
Original file line numberDiff line numberDiff line change
@@ -81,6 +81,9 @@ smallinttest: smallint
8181
dunetest:
8282
dune test
8383

84+
install:
85+
dune build -p $(NAME) @install
86+
dune install
8487

8588
# Miscellaneous targets
8689

interpreter/dune

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,15 @@
11
(include_subdirs unqualified)
22

33
(library
4-
(name wasm)
4+
(public_name wasm)
55
; The 'wasm' module shall not be part of the library, as it would start the
66
; Wasm REPL every time in all the dependencies.
77
; We exclude the 'wast' module as it is only used for the JS build.
88
; 'smallint' is a separate test module.
99
(modules :standard \ wasm smallint wast))
1010

1111
(executable
12-
(name wasm)
12+
(public_name wasm)
1313
(modules wasm)
1414
(libraries wasm)
1515
(flags

interpreter/dune-project

+7
Original file line numberDiff line numberDiff line change
@@ -1 +1,8 @@
11
(lang dune 2.9)
2+
3+
(name "wasm")
4+
5+
(generate_opam_files true)
6+
7+
(package
8+
(name "wasm"))

interpreter/wasm.install

+276
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,276 @@
1+
lib: [
2+
"_build/install/default/lib/wasm/META"
3+
"_build/install/default/lib/wasm/binary/decode.ml" {"binary/decode.ml"}
4+
"_build/install/default/lib/wasm/binary/decode.mli" {"binary/decode.mli"}
5+
"_build/install/default/lib/wasm/binary/encode.ml" {"binary/encode.ml"}
6+
"_build/install/default/lib/wasm/binary/encode.mli" {"binary/encode.mli"}
7+
"_build/install/default/lib/wasm/binary/utf8.ml" {"binary/utf8.ml"}
8+
"_build/install/default/lib/wasm/binary/utf8.mli" {"binary/utf8.mli"}
9+
"_build/install/default/lib/wasm/dune-package"
10+
"_build/install/default/lib/wasm/exec/eval.ml" {"exec/eval.ml"}
11+
"_build/install/default/lib/wasm/exec/eval.mli" {"exec/eval.mli"}
12+
"_build/install/default/lib/wasm/exec/eval_num.ml" {"exec/eval_num.ml"}
13+
"_build/install/default/lib/wasm/exec/eval_num.mli" {"exec/eval_num.mli"}
14+
"_build/install/default/lib/wasm/exec/eval_vec.ml" {"exec/eval_vec.ml"}
15+
"_build/install/default/lib/wasm/exec/eval_vec.mli" {"exec/eval_vec.mli"}
16+
"_build/install/default/lib/wasm/exec/f32.ml" {"exec/f32.ml"}
17+
"_build/install/default/lib/wasm/exec/f32_convert.ml" {"exec/f32_convert.ml"}
18+
"_build/install/default/lib/wasm/exec/f32_convert.mli" {"exec/f32_convert.mli"}
19+
"_build/install/default/lib/wasm/exec/f64.ml" {"exec/f64.ml"}
20+
"_build/install/default/lib/wasm/exec/f64_convert.ml" {"exec/f64_convert.ml"}
21+
"_build/install/default/lib/wasm/exec/f64_convert.mli" {"exec/f64_convert.mli"}
22+
"_build/install/default/lib/wasm/exec/fxx.ml" {"exec/fxx.ml"}
23+
"_build/install/default/lib/wasm/exec/i16.ml" {"exec/i16.ml"}
24+
"_build/install/default/lib/wasm/exec/i32.ml" {"exec/i32.ml"}
25+
"_build/install/default/lib/wasm/exec/i32_convert.ml" {"exec/i32_convert.ml"}
26+
"_build/install/default/lib/wasm/exec/i32_convert.mli" {"exec/i32_convert.mli"}
27+
"_build/install/default/lib/wasm/exec/i64.ml" {"exec/i64.ml"}
28+
"_build/install/default/lib/wasm/exec/i64_convert.ml" {"exec/i64_convert.ml"}
29+
"_build/install/default/lib/wasm/exec/i64_convert.mli" {"exec/i64_convert.mli"}
30+
"_build/install/default/lib/wasm/exec/i8.ml" {"exec/i8.ml"}
31+
"_build/install/default/lib/wasm/exec/ixx.ml" {"exec/ixx.ml"}
32+
"_build/install/default/lib/wasm/exec/v128.ml" {"exec/v128.ml"}
33+
"_build/install/default/lib/wasm/exec/v128.mli" {"exec/v128.mli"}
34+
"_build/install/default/lib/wasm/host/env.ml" {"host/env.ml"}
35+
"_build/install/default/lib/wasm/host/spectest.ml" {"host/spectest.ml"}
36+
"_build/install/default/lib/wasm/main/flags.ml" {"main/flags.ml"}
37+
"_build/install/default/lib/wasm/opam"
38+
"_build/install/default/lib/wasm/runtime/data.ml" {"runtime/data.ml"}
39+
"_build/install/default/lib/wasm/runtime/data.mli" {"runtime/data.mli"}
40+
"_build/install/default/lib/wasm/runtime/elem.ml" {"runtime/elem.ml"}
41+
"_build/install/default/lib/wasm/runtime/elem.mli" {"runtime/elem.mli"}
42+
"_build/install/default/lib/wasm/runtime/func.ml" {"runtime/func.ml"}
43+
"_build/install/default/lib/wasm/runtime/func.mli" {"runtime/func.mli"}
44+
"_build/install/default/lib/wasm/runtime/global.ml" {"runtime/global.ml"}
45+
"_build/install/default/lib/wasm/runtime/global.mli" {"runtime/global.mli"}
46+
"_build/install/default/lib/wasm/runtime/instance.ml" {"runtime/instance.ml"}
47+
"_build/install/default/lib/wasm/runtime/memory.ml" {"runtime/memory.ml"}
48+
"_build/install/default/lib/wasm/runtime/memory.mli" {"runtime/memory.mli"}
49+
"_build/install/default/lib/wasm/runtime/table.ml" {"runtime/table.ml"}
50+
"_build/install/default/lib/wasm/runtime/table.mli" {"runtime/table.mli"}
51+
"_build/install/default/lib/wasm/script/import.ml" {"script/import.ml"}
52+
"_build/install/default/lib/wasm/script/import.mli" {"script/import.mli"}
53+
"_build/install/default/lib/wasm/script/js.ml" {"script/js.ml"}
54+
"_build/install/default/lib/wasm/script/js.mli" {"script/js.mli"}
55+
"_build/install/default/lib/wasm/script/run.ml" {"script/run.ml"}
56+
"_build/install/default/lib/wasm/script/run.mli" {"script/run.mli"}
57+
"_build/install/default/lib/wasm/script/script.ml" {"script/script.ml"}
58+
"_build/install/default/lib/wasm/syntax/ast.ml" {"syntax/ast.ml"}
59+
"_build/install/default/lib/wasm/syntax/free.ml" {"syntax/free.ml"}
60+
"_build/install/default/lib/wasm/syntax/free.mli" {"syntax/free.mli"}
61+
"_build/install/default/lib/wasm/syntax/operators.ml" {"syntax/operators.ml"}
62+
"_build/install/default/lib/wasm/syntax/types.ml" {"syntax/types.ml"}
63+
"_build/install/default/lib/wasm/syntax/values.ml" {"syntax/values.ml"}
64+
"_build/install/default/lib/wasm/text/arrange.ml" {"text/arrange.ml"}
65+
"_build/install/default/lib/wasm/text/arrange.mli" {"text/arrange.mli"}
66+
"_build/install/default/lib/wasm/text/lexer.ml" {"text/lexer.ml"}
67+
"_build/install/default/lib/wasm/text/lexer.mli" {"text/lexer.mli"}
68+
"_build/install/default/lib/wasm/text/parse.ml" {"text/parse.ml"}
69+
"_build/install/default/lib/wasm/text/parse.mli" {"text/parse.mli"}
70+
"_build/install/default/lib/wasm/text/parser.ml" {"text/parser.ml"}
71+
"_build/install/default/lib/wasm/text/parser.mli" {"text/parser.mli"}
72+
"_build/install/default/lib/wasm/text/print.ml" {"text/print.ml"}
73+
"_build/install/default/lib/wasm/text/print.mli" {"text/print.mli"}
74+
"_build/install/default/lib/wasm/util/error.ml" {"util/error.ml"}
75+
"_build/install/default/lib/wasm/util/error.mli" {"util/error.mli"}
76+
"_build/install/default/lib/wasm/util/lib.ml" {"util/lib.ml"}
77+
"_build/install/default/lib/wasm/util/lib.mli" {"util/lib.mli"}
78+
"_build/install/default/lib/wasm/util/sexpr.ml" {"util/sexpr.ml"}
79+
"_build/install/default/lib/wasm/util/sexpr.mli" {"util/sexpr.mli"}
80+
"_build/install/default/lib/wasm/util/source.ml" {"util/source.ml"}
81+
"_build/install/default/lib/wasm/util/source.mli" {"util/source.mli"}
82+
"_build/install/default/lib/wasm/valid/valid.ml" {"valid/valid.ml"}
83+
"_build/install/default/lib/wasm/valid/valid.mli" {"valid/valid.mli"}
84+
"_build/install/default/lib/wasm/wasm.a"
85+
"_build/install/default/lib/wasm/wasm.cma"
86+
"_build/install/default/lib/wasm/wasm.cmi"
87+
"_build/install/default/lib/wasm/wasm.cmt"
88+
"_build/install/default/lib/wasm/wasm.cmx"
89+
"_build/install/default/lib/wasm/wasm.cmxa"
90+
"_build/install/default/lib/wasm/wasm.ml"
91+
"_build/install/default/lib/wasm/wasm__Arrange.cmi"
92+
"_build/install/default/lib/wasm/wasm__Arrange.cmt"
93+
"_build/install/default/lib/wasm/wasm__Arrange.cmti"
94+
"_build/install/default/lib/wasm/wasm__Arrange.cmx"
95+
"_build/install/default/lib/wasm/wasm__Ast.cmi"
96+
"_build/install/default/lib/wasm/wasm__Ast.cmt"
97+
"_build/install/default/lib/wasm/wasm__Ast.cmx"
98+
"_build/install/default/lib/wasm/wasm__Data.cmi"
99+
"_build/install/default/lib/wasm/wasm__Data.cmt"
100+
"_build/install/default/lib/wasm/wasm__Data.cmti"
101+
"_build/install/default/lib/wasm/wasm__Data.cmx"
102+
"_build/install/default/lib/wasm/wasm__Decode.cmi"
103+
"_build/install/default/lib/wasm/wasm__Decode.cmt"
104+
"_build/install/default/lib/wasm/wasm__Decode.cmti"
105+
"_build/install/default/lib/wasm/wasm__Decode.cmx"
106+
"_build/install/default/lib/wasm/wasm__Elem.cmi"
107+
"_build/install/default/lib/wasm/wasm__Elem.cmt"
108+
"_build/install/default/lib/wasm/wasm__Elem.cmti"
109+
"_build/install/default/lib/wasm/wasm__Elem.cmx"
110+
"_build/install/default/lib/wasm/wasm__Encode.cmi"
111+
"_build/install/default/lib/wasm/wasm__Encode.cmt"
112+
"_build/install/default/lib/wasm/wasm__Encode.cmti"
113+
"_build/install/default/lib/wasm/wasm__Encode.cmx"
114+
"_build/install/default/lib/wasm/wasm__Env.cmi"
115+
"_build/install/default/lib/wasm/wasm__Env.cmt"
116+
"_build/install/default/lib/wasm/wasm__Env.cmx"
117+
"_build/install/default/lib/wasm/wasm__Error.cmi"
118+
"_build/install/default/lib/wasm/wasm__Error.cmt"
119+
"_build/install/default/lib/wasm/wasm__Error.cmti"
120+
"_build/install/default/lib/wasm/wasm__Error.cmx"
121+
"_build/install/default/lib/wasm/wasm__Eval.cmi"
122+
"_build/install/default/lib/wasm/wasm__Eval.cmt"
123+
"_build/install/default/lib/wasm/wasm__Eval.cmti"
124+
"_build/install/default/lib/wasm/wasm__Eval.cmx"
125+
"_build/install/default/lib/wasm/wasm__Eval_num.cmi"
126+
"_build/install/default/lib/wasm/wasm__Eval_num.cmt"
127+
"_build/install/default/lib/wasm/wasm__Eval_num.cmti"
128+
"_build/install/default/lib/wasm/wasm__Eval_num.cmx"
129+
"_build/install/default/lib/wasm/wasm__Eval_vec.cmi"
130+
"_build/install/default/lib/wasm/wasm__Eval_vec.cmt"
131+
"_build/install/default/lib/wasm/wasm__Eval_vec.cmti"
132+
"_build/install/default/lib/wasm/wasm__Eval_vec.cmx"
133+
"_build/install/default/lib/wasm/wasm__F32.cmi"
134+
"_build/install/default/lib/wasm/wasm__F32.cmt"
135+
"_build/install/default/lib/wasm/wasm__F32.cmx"
136+
"_build/install/default/lib/wasm/wasm__F32_convert.cmi"
137+
"_build/install/default/lib/wasm/wasm__F32_convert.cmt"
138+
"_build/install/default/lib/wasm/wasm__F32_convert.cmti"
139+
"_build/install/default/lib/wasm/wasm__F32_convert.cmx"
140+
"_build/install/default/lib/wasm/wasm__F64.cmi"
141+
"_build/install/default/lib/wasm/wasm__F64.cmt"
142+
"_build/install/default/lib/wasm/wasm__F64.cmx"
143+
"_build/install/default/lib/wasm/wasm__F64_convert.cmi"
144+
"_build/install/default/lib/wasm/wasm__F64_convert.cmt"
145+
"_build/install/default/lib/wasm/wasm__F64_convert.cmti"
146+
"_build/install/default/lib/wasm/wasm__F64_convert.cmx"
147+
"_build/install/default/lib/wasm/wasm__Flags.cmi"
148+
"_build/install/default/lib/wasm/wasm__Flags.cmt"
149+
"_build/install/default/lib/wasm/wasm__Flags.cmx"
150+
"_build/install/default/lib/wasm/wasm__Free.cmi"
151+
"_build/install/default/lib/wasm/wasm__Free.cmt"
152+
"_build/install/default/lib/wasm/wasm__Free.cmti"
153+
"_build/install/default/lib/wasm/wasm__Free.cmx"
154+
"_build/install/default/lib/wasm/wasm__Func.cmi"
155+
"_build/install/default/lib/wasm/wasm__Func.cmt"
156+
"_build/install/default/lib/wasm/wasm__Func.cmti"
157+
"_build/install/default/lib/wasm/wasm__Func.cmx"
158+
"_build/install/default/lib/wasm/wasm__Fxx.cmi"
159+
"_build/install/default/lib/wasm/wasm__Fxx.cmt"
160+
"_build/install/default/lib/wasm/wasm__Fxx.cmx"
161+
"_build/install/default/lib/wasm/wasm__Global.cmi"
162+
"_build/install/default/lib/wasm/wasm__Global.cmt"
163+
"_build/install/default/lib/wasm/wasm__Global.cmti"
164+
"_build/install/default/lib/wasm/wasm__Global.cmx"
165+
"_build/install/default/lib/wasm/wasm__I16.cmi"
166+
"_build/install/default/lib/wasm/wasm__I16.cmt"
167+
"_build/install/default/lib/wasm/wasm__I16.cmx"
168+
"_build/install/default/lib/wasm/wasm__I32.cmi"
169+
"_build/install/default/lib/wasm/wasm__I32.cmt"
170+
"_build/install/default/lib/wasm/wasm__I32.cmx"
171+
"_build/install/default/lib/wasm/wasm__I32_convert.cmi"
172+
"_build/install/default/lib/wasm/wasm__I32_convert.cmt"
173+
"_build/install/default/lib/wasm/wasm__I32_convert.cmti"
174+
"_build/install/default/lib/wasm/wasm__I32_convert.cmx"
175+
"_build/install/default/lib/wasm/wasm__I64.cmi"
176+
"_build/install/default/lib/wasm/wasm__I64.cmt"
177+
"_build/install/default/lib/wasm/wasm__I64.cmx"
178+
"_build/install/default/lib/wasm/wasm__I64_convert.cmi"
179+
"_build/install/default/lib/wasm/wasm__I64_convert.cmt"
180+
"_build/install/default/lib/wasm/wasm__I64_convert.cmti"
181+
"_build/install/default/lib/wasm/wasm__I64_convert.cmx"
182+
"_build/install/default/lib/wasm/wasm__I8.cmi"
183+
"_build/install/default/lib/wasm/wasm__I8.cmt"
184+
"_build/install/default/lib/wasm/wasm__I8.cmx"
185+
"_build/install/default/lib/wasm/wasm__Import.cmi"
186+
"_build/install/default/lib/wasm/wasm__Import.cmt"
187+
"_build/install/default/lib/wasm/wasm__Import.cmti"
188+
"_build/install/default/lib/wasm/wasm__Import.cmx"
189+
"_build/install/default/lib/wasm/wasm__Instance.cmi"
190+
"_build/install/default/lib/wasm/wasm__Instance.cmt"
191+
"_build/install/default/lib/wasm/wasm__Instance.cmx"
192+
"_build/install/default/lib/wasm/wasm__Ixx.cmi"
193+
"_build/install/default/lib/wasm/wasm__Ixx.cmt"
194+
"_build/install/default/lib/wasm/wasm__Ixx.cmx"
195+
"_build/install/default/lib/wasm/wasm__Js.cmi"
196+
"_build/install/default/lib/wasm/wasm__Js.cmt"
197+
"_build/install/default/lib/wasm/wasm__Js.cmti"
198+
"_build/install/default/lib/wasm/wasm__Js.cmx"
199+
"_build/install/default/lib/wasm/wasm__Lexer.cmi"
200+
"_build/install/default/lib/wasm/wasm__Lexer.cmt"
201+
"_build/install/default/lib/wasm/wasm__Lexer.cmti"
202+
"_build/install/default/lib/wasm/wasm__Lexer.cmx"
203+
"_build/install/default/lib/wasm/wasm__Lib.cmi"
204+
"_build/install/default/lib/wasm/wasm__Lib.cmt"
205+
"_build/install/default/lib/wasm/wasm__Lib.cmti"
206+
"_build/install/default/lib/wasm/wasm__Lib.cmx"
207+
"_build/install/default/lib/wasm/wasm__Memory.cmi"
208+
"_build/install/default/lib/wasm/wasm__Memory.cmt"
209+
"_build/install/default/lib/wasm/wasm__Memory.cmti"
210+
"_build/install/default/lib/wasm/wasm__Memory.cmx"
211+
"_build/install/default/lib/wasm/wasm__Operators.cmi"
212+
"_build/install/default/lib/wasm/wasm__Operators.cmt"
213+
"_build/install/default/lib/wasm/wasm__Operators.cmx"
214+
"_build/install/default/lib/wasm/wasm__Parse.cmi"
215+
"_build/install/default/lib/wasm/wasm__Parse.cmt"
216+
"_build/install/default/lib/wasm/wasm__Parse.cmti"
217+
"_build/install/default/lib/wasm/wasm__Parse.cmx"
218+
"_build/install/default/lib/wasm/wasm__Parser.cmi"
219+
"_build/install/default/lib/wasm/wasm__Parser.cmt"
220+
"_build/install/default/lib/wasm/wasm__Parser.cmti"
221+
"_build/install/default/lib/wasm/wasm__Parser.cmx"
222+
"_build/install/default/lib/wasm/wasm__Print.cmi"
223+
"_build/install/default/lib/wasm/wasm__Print.cmt"
224+
"_build/install/default/lib/wasm/wasm__Print.cmti"
225+
"_build/install/default/lib/wasm/wasm__Print.cmx"
226+
"_build/install/default/lib/wasm/wasm__Run.cmi"
227+
"_build/install/default/lib/wasm/wasm__Run.cmt"
228+
"_build/install/default/lib/wasm/wasm__Run.cmti"
229+
"_build/install/default/lib/wasm/wasm__Run.cmx"
230+
"_build/install/default/lib/wasm/wasm__Script.cmi"
231+
"_build/install/default/lib/wasm/wasm__Script.cmt"
232+
"_build/install/default/lib/wasm/wasm__Script.cmx"
233+
"_build/install/default/lib/wasm/wasm__Sexpr.cmi"
234+
"_build/install/default/lib/wasm/wasm__Sexpr.cmt"
235+
"_build/install/default/lib/wasm/wasm__Sexpr.cmti"
236+
"_build/install/default/lib/wasm/wasm__Sexpr.cmx"
237+
"_build/install/default/lib/wasm/wasm__Source.cmi"
238+
"_build/install/default/lib/wasm/wasm__Source.cmt"
239+
"_build/install/default/lib/wasm/wasm__Source.cmti"
240+
"_build/install/default/lib/wasm/wasm__Source.cmx"
241+
"_build/install/default/lib/wasm/wasm__Spectest.cmi"
242+
"_build/install/default/lib/wasm/wasm__Spectest.cmt"
243+
"_build/install/default/lib/wasm/wasm__Spectest.cmx"
244+
"_build/install/default/lib/wasm/wasm__Table.cmi"
245+
"_build/install/default/lib/wasm/wasm__Table.cmt"
246+
"_build/install/default/lib/wasm/wasm__Table.cmti"
247+
"_build/install/default/lib/wasm/wasm__Table.cmx"
248+
"_build/install/default/lib/wasm/wasm__Types.cmi"
249+
"_build/install/default/lib/wasm/wasm__Types.cmt"
250+
"_build/install/default/lib/wasm/wasm__Types.cmx"
251+
"_build/install/default/lib/wasm/wasm__Utf8.cmi"
252+
"_build/install/default/lib/wasm/wasm__Utf8.cmt"
253+
"_build/install/default/lib/wasm/wasm__Utf8.cmti"
254+
"_build/install/default/lib/wasm/wasm__Utf8.cmx"
255+
"_build/install/default/lib/wasm/wasm__V128.cmi"
256+
"_build/install/default/lib/wasm/wasm__V128.cmt"
257+
"_build/install/default/lib/wasm/wasm__V128.cmti"
258+
"_build/install/default/lib/wasm/wasm__V128.cmx"
259+
"_build/install/default/lib/wasm/wasm__Valid.cmi"
260+
"_build/install/default/lib/wasm/wasm__Valid.cmt"
261+
"_build/install/default/lib/wasm/wasm__Valid.cmti"
262+
"_build/install/default/lib/wasm/wasm__Valid.cmx"
263+
"_build/install/default/lib/wasm/wasm__Values.cmi"
264+
"_build/install/default/lib/wasm/wasm__Values.cmt"
265+
"_build/install/default/lib/wasm/wasm__Values.cmx"
266+
]
267+
libexec: [
268+
"_build/install/default/lib/wasm/wasm.cmxs"
269+
]
270+
bin: [
271+
"_build/install/default/bin/wasm"
272+
]
273+
doc: [
274+
"_build/install/default/doc/wasm/LICENSE"
275+
"_build/install/default/doc/wasm/README.md"
276+
]

interpreter/wasm.opam

+22
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
# This file is generated by dune, edit dune-project instead
2+
opam-version: "2.0"
3+
depends: [
4+
"dune" {>= "2.9"}
5+
"odoc" {with-doc}
6+
]
7+
build: [
8+
["dune" "subst"] {dev}
9+
[
10+
"dune"
11+
"build"
12+
"-p"
13+
name
14+
"-j"
15+
jobs
16+
"--promote-install-files=false"
17+
"@install"
18+
"@runtest" {with-test}
19+
"@doc" {with-doc}
20+
]
21+
["dune" "install" "-p" name "--create-install-files" name]
22+
]

0 commit comments

Comments
 (0)