/
dune
75 lines (71 loc) · 2.16 KB
/
dune
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
(library
(name learnocaml_server_args)
(modules Learnocaml_server_args)
(libraries cmdliner
learnocaml_server_lib)
)
(executable
;; (package learn-ocaml) ;; missing support in dune, manually installed below
;; (public_name learn-ocaml)
(name learnocaml_main)
(modes byte_complete)
(ocamlc_flags -custom)
(flags :standard -linkall -verbose (:include linking_main.sexp))
(modules Learnocaml_main)
(libraries cmdliner
sha
markup
markup-lwt
learnocaml_process_repository_lib
learnocaml_server_lib
learnocaml_server_args
learnocaml_report)
)
(install
(files (learnocaml_main.bc.exe as learn-ocaml))
(section bin)
(package learn-ocaml))
(executable
;; (package learn-ocaml-client) ;; missing support in dune, manually installed below
;; (public_name learn-ocaml-client)
(name learnocaml_client)
(modes byte_complete)
(ocamlc_flags -custom)
(flags :standard -linkall (:include linking_client.sexp))
(modules Learnocaml_client)
(libraries cmdliner
sha
lwt.unix
lwt_utils
cohttp-lwt
cohttp-lwt-unix
grading_cli
learnocaml_data
learnocaml_store
learnocaml_api)
)
(install
(files (learnocaml_client.bc.exe as learn-ocaml-client))
(section bin)
(package learn-ocaml-client))
(executable
(package learn-ocaml)
(public_name learn-ocaml-server)
(name learnocaml_server_main)
(modules learnocaml_server_main)
(libraries learnocaml_server_args)
(flags (:standard
(:include linking_server.sexp)))
)
(rule
(targets linking_main.sexp)
(action (with-stdout-to %{targets}
(run ./linking_flags.sh linking_main.sexp %{env:LINKING_MODE=dynamic} %{ocaml-config:system} checkseum_c_stubs threads camlrun))))
(rule
(targets linking_client.sexp)
(action (with-stdout-to %{targets}
(run ./linking_flags.sh linking_client.sexp %{env:LINKING_MODE=dynamic} %{ocaml-config:system} threads camlrun))))
(rule
(targets linking_server.sexp)
(action (with-stdout-to %{targets}
(run ./linking_flags.sh linking_server.sexp %{env:LINKING_MODE=dynamic} -- checkseum_c_stubs threadsnat))))