Skip to content

Commit

Permalink
Merge pull request #557 from dra27/cygwin-opam-file
Browse files Browse the repository at this point in the history
Correct the backend selection for Cygwin
  • Loading branch information
talex5 authored Jul 12, 2023
2 parents f69ba32 + 406efc8 commit b3b3c9f
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
4 changes: 2 additions & 2 deletions dune-project
Original file line number Diff line number Diff line change
Expand Up @@ -72,6 +72,6 @@
(kcas (and (>= 0.3.0) :with-test))
(yojson (and (>= 2.0.2) :with-test))
(eio_linux (and (= :version) (= :os "linux")))
(eio_posix (and (= :version) (<> :os-family "windows")))
(eio_windows (and (= :version) (= :os-family "windows")))))
(eio_posix (and (= :version) (<> :os "win32")))
(eio_windows (and (= :version) (= :os "win32")))))
(using mdx 0.2)
4 changes: 2 additions & 2 deletions eio_main.opam
Original file line number Diff line number Diff line change
Expand Up @@ -14,8 +14,8 @@ depends: [
"kcas" {>= "0.3.0" & with-test}
"yojson" {>= "2.0.2" & with-test}
"eio_linux" {= version & os = "linux"}
"eio_posix" {= version & os-family != "windows"}
"eio_windows" {= version & os-family = "windows"}
"eio_posix" {= version & os != "win32"}
"eio_windows" {= version & os = "win32"}
"odoc" {with-doc}
]
build: [
Expand Down

0 comments on commit b3b3c9f

Please sign in to comment.