Skip to content

Commit f80df7f

Browse files
committed
example with eio
1 parent d40f87f commit f80df7f

File tree

3 files changed

+438
-1
lines changed

3 files changed

+438
-1
lines changed

echo_eio.sh

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
#!/bin/sh
2+
exec dune exec --display=quiet --profile=release "examples/echo_eio.exe" -- $@

examples/dune

Lines changed: 24 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,10 +11,27 @@
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

@@ -55,6 +72,12 @@
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

0 commit comments

Comments
 (0)