diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index e72e4bac4..14b38f090 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -30,6 +30,6 @@ jobs: - run: opam install ${{ matrix.local-packages }} --deps-only --with-test - - run: opam exec -- dune build + - run: opam exec -- dune build --only-packages ${{ matrix.local-packages }} - - run: opam exec -- dune runtest + - run: opam exec -- dune runtest --only-packages ${{ matrix.local-packages }} diff --git a/lib_eio_linux/tests/dune b/lib_eio_linux/tests/dune index 97299a45d..2acbb0cbf 100644 --- a/lib_eio_linux/tests/dune +++ b/lib_eio_linux/tests/dune @@ -1,3 +1,9 @@ +(* -*- tuareg -*- *) + +let linux = List.mem ("system", "linux") Jbuild_plugin.V1.ocamlc_config + +let () = Jbuild_plugin.V1.send @@ if not linux then "" else {| + (library (name eurcp_lib) (enabled_if (= %{system} "linux")) @@ -33,3 +39,4 @@ (package eio_linux) (enabled_if (= %{system} "linux")) (deps (package eio_linux))) +|}