Skip to content

Commit 97aeb36

Browse files
committed
Build: Use dune 3.19
1 parent 798bfd9 commit 97aeb36

File tree

20 files changed

+32
-29
lines changed

20 files changed

+32
-29
lines changed

.github/workflows/build-wasm_of_ocaml.yml

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -97,13 +97,6 @@ jobs:
9797
- run: opam install conf-pkg-config conf-mingw-w64-gcc-i686 conf-mingw-w64-g++-x86_64
9898
if: runner.os == 'Windows'
9999

100-
- name: Pin dune
101-
if: runner.os == 'Windows'
102-
run: opam pin add -n dune https://github.com/hhugo/dune.git#jsoo-effects
103-
104-
- name: Install dune
105-
run: opam install dune
106-
107100
- name: Pin wasm_of_ocaml
108101
working-directory: ./wasm_of_ocaml
109102
run: opam pin . -n --with-version dev

CHANGES.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@
22

33
## Features/Changes
44
* Misc: drop support for OCaml 4.12 and bellow
5+
* Misc: switch to dune.3.19
56
* Compiler: use a Wasm text files preprocessor (#1822)
67
* Compiler: support for OCaml 4.14.3+trunk (#1844)
78
* Compiler: optimize compilation of switches

benchmarks/benchmark-fiat-crypto/Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ SHELL=/bin/bash -o pipefail
66

77
bench:
88
@date -u +"%FT%TZ - $(NAME): starting"
9-
$(MAKE) perform COMPILER=js_of_ocaml EXTRA_ARGS="--enable effects" KIND=js
9+
$(MAKE) perform COMPILER=js_of_ocaml EXTRA_ARGS="--effects cps" KIND=js
1010
$(MAKE) perform COMPILER=wasm_of_ocaml EXTRA_ARGS="" KIND=wasm
1111
@date -u +"%FT%TZ - $(NAME): done"
1212

compiler/tests-dynlink-js/effects_flags.ml

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -3,9 +3,9 @@ let () =
33
let effects_flags l =
44
match l, major >= 5 with
55
| [ "with-effects-double-translation" ], true -> [ "--effects"; "double-translation" ]
6-
| [ "with-effects" ], true -> [ "--enable"; "effects" ]
7-
| _, true -> [ "--disable"; "effects" ]
8-
| _, false -> [ "--disable"; "effects" ]
6+
| [ "with-effects" ], true -> [ "--effects"; "cps" ]
7+
| _, true -> []
8+
| _, false -> []
99
in
1010
match Sys.argv |> Array.to_list |> List.tl with
1111
| "txt" :: rest -> List.iter print_endline (effects_flags rest)

compiler/tests-jsoo/lib-effects/dune

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
(_
55
(js_of_ocaml
66
(flags
7-
(:standard --enable effects)))))
7+
(:standard --effects cps)))))
88

99
(library
1010
(name jsoo_testsuite_effect)

compiler/tests-ocaml/effect-syntax/dune

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
(_
55
(js_of_ocaml
66
(flags
7-
(:standard --enable effects)))))
7+
(:standard --effects cps)))))
88

99
(tests
1010
(names

compiler/tests-ocaml/effects/dune

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
(_
55
(js_of_ocaml
66
(flags
7-
(:standard --enable effects)))))
7+
(:standard --effects cps)))))
88

99
(tests
1010
(build_if

dune

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -9,11 +9,11 @@
99
(js_of_ocaml
1010
(compilation_mode separate)
1111
(flags
12-
(:standard --enable effects)))
12+
(:standard --effects cps)))
1313
(wasm_of_ocaml
1414
(compilation_mode separate)
1515
(flags
16-
(:standard --enable effects)))
16+
(:standard --effects cps)))
1717
(binaries
1818
(tools/node_wrapper.exe as node)
1919
(tools/node_wrapper.exe as node.exe)))

dune-project

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
(lang dune 3.17)
1+
(lang dune 3.19)
22
(using menhir 3.0)
33
(name js_of_ocaml)
44
(generate_opam_files true)

dune-workspace

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
(lang dune 3.17)
1+
(lang dune 3.19)
22

33
(env
44
(_

0 commit comments

Comments
 (0)