File tree Expand file tree Collapse file tree 3 files changed +438
-1
lines changed Expand file tree Collapse file tree 3 files changed +438
-1
lines changed Original file line number Diff line number Diff line change 1+ #! /bin/sh
2+ exec dune exec --display=quiet --profile=release " examples/echo_eio.exe" -- $@
Original file line number Diff line number Diff line change 1111(executable
1212 (name echo)
1313 (flags :standard -warn-error -a+8)
14- (modules echo vfs )
14+ (modules echo)
1515 (libraries
1616 tiny_httpd
1717 logs
18+ echo_vfs
19+ tiny_httpd_camlzip
20+ tiny_httpd.multipart-form-data))
21+
22+ (executable
23+ (name echo_eio)
24+ (flags :standard -warn-error -a+8)
25+ (modules echo_eio)
26+ (libraries
27+ tiny_httpd
28+ tiny_httpd_eio
29+ eio
30+ eio_main
31+ logs
32+ echo_vfs
33+ trace.core
34+ trace-tef
1835 tiny_httpd_camlzip
1936 tiny_httpd.multipart-form-data))
2037
5572
5673; produce an embedded FS
5774
75+ (library
76+ (name echo_vfs)
77+ (modules vfs)
78+ (wrapped false)
79+ (libraries tiny_httpd))
80+
5881(rule
5982 (targets vfs.ml)
6083 (deps
You can’t perform that action at this time.
0 commit comments