File tree Expand file tree Collapse file tree 2 files changed +8
-4
lines changed
benchmarks/benchmark-others/bin_prot Expand file tree Collapse file tree 2 files changed +8
-4
lines changed Original file line number Diff line number Diff line change @@ -7,10 +7,13 @@ SHELL=/usr/bin/env bash -o pipefail
7
7
8
8
bench :
9
9
@date -u +" %FT%TZ - $( NAME) /$( SUBNAME) : starting"
10
- dune build --profile release --root .
11
- node _build/default/bench.bc.js 400000
12
- $(MAKE ) perform COMPILER=js_of_ocaml SCRIPT=_build/default/bench.bc.js KIND=js
13
- $(MAKE ) perform COMPILER=wasm_of_ocaml SCRIPT=_build/default/bench.bc.wasm.js KIND=wasm
10
+ mkdir -p ../../../../janestreet/bench/bin_prot/
11
+ cp -f dune bench.ml ../../../../janestreet/bench/bin_prot/
12
+ cd ../../../../janestreet/bench/bin_prot && dune build --root ../.. --profile release bench/bin_prot/bench.bc.js bench/bin_prot/bench.bc.wasm.js
13
+ cp -rf ../../../../janestreet/_build/default/bench/bin_prot/bench.bc* .
14
+ node bench.bc.js 400000
15
+ $(MAKE ) perform COMPILER=js_of_ocaml SCRIPT=bench.bc.js KIND=js
16
+ $(MAKE ) perform COMPILER=wasm_of_ocaml SCRIPT=bench.bc.wasm.js KIND=wasm
14
17
@date -u +" %FT%TZ - $( NAME) /$( SUBNAME) : done"
15
18
16
19
perform :
Original file line number Diff line number Diff line change 2
2
(names bench)
3
3
(modes js wasm)
4
4
(js_of_ocaml
5
+ (enabled_if true)
5
6
(flags --opt 2))
6
7
(wasm_of_ocaml
7
8
(flags --opt 2 --enable use-js-string))
You can’t perform that action at this time.
0 commit comments