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
77
88bench :
99 @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
1417 @date -u +" %FT%TZ - $( NAME) /$( SUBNAME) : done"
1518
1619perform :
Original file line number Diff line number Diff line change 22 (names bench)
33 (modes js wasm)
44 (js_of_ocaml
5+ (enabled_if true)
56 (flags --opt 2))
67 (wasm_of_ocaml
78 (flags --opt 2 --enable use-js-string))
You can’t perform that action at this time.
0 commit comments