Pin eio for child process fix

talex5 · talex5 · commit 173a813a943e · 2023-07-28T10:03:48.000+01:00
ocaml-multicore/eio#593
diff --git a/solver-service.opam b/solver-service.opam
@@ -55,4 +55,8 @@ dev-repo: "git+https://github.com/ocurrent/solver-service.git"
 pin-depends: [
   ["lwt_eio.0.4" "git+https://github.com/talex5/lwt_eio.git#27688ec6aa551b9e510cd6a13747880d97451dc4"]
   ["lwt.dev" "git+https://github.com/talex5/lwt.git#52596733b92b12458fcae701d5051d984c26ed5d"]
+  ["eio.dev" "git+https://github.com/talex5/eio.git#5d8a48c20d3905c39cd990b7bf8bf3d78e6faa1c"]
+  ["eio_linux.dev" "git+https://github.com/talex5/eio.git#5d8a48c20d3905c39cd990b7bf8bf3d78e6faa1c"]
+  ["eio_posix.dev" "git+https://github.com/talex5/eio.git#5d8a48c20d3905c39cd990b7bf8bf3d78e6faa1c"]
+  ["eio_main.dev" "git+https://github.com/talex5/eio.git#5d8a48c20d3905c39cd990b7bf8bf3d78e6faa1c"]
 ]
diff --git a/solver-service.opam.template b/solver-service.opam.template
@@ -1,4 +1,8 @@
 pin-depends: [
   ["lwt_eio.0.4" "git+https://github.com/talex5/lwt_eio.git#27688ec6aa551b9e510cd6a13747880d97451dc4"]
   ["lwt.dev" "git+https://github.com/talex5/lwt.git#52596733b92b12458fcae701d5051d984c26ed5d"]
+  ["eio.dev" "git+https://github.com/talex5/eio.git#5d8a48c20d3905c39cd990b7bf8bf3d78e6faa1c"]
+  ["eio_linux.dev" "git+https://github.com/talex5/eio.git#5d8a48c20d3905c39cd990b7bf8bf3d78e6faa1c"]
+  ["eio_posix.dev" "git+https://github.com/talex5/eio.git#5d8a48c20d3905c39cd990b7bf8bf3d78e6faa1c"]
+  ["eio_main.dev" "git+https://github.com/talex5/eio.git#5d8a48c20d3905c39cd990b7bf8bf3d78e6faa1c"]
 ]

Original file line number	Diff line number	Diff line change
`@@ -55,4 +55,8 @@ dev-repo: "git+https://github.com/ocurrent/solver-service.git"`
`55`	`55`	`pin-depends: [`
`56`	`56`	`["lwt_eio.0.4" "git+https://github.com/talex5/lwt_eio.git#27688ec6aa551b9e510cd6a13747880d97451dc4"]`
`57`	`57`	`["lwt.dev" "git+https://github.com/talex5/lwt.git#52596733b92b12458fcae701d5051d984c26ed5d"]`
	`58`	`+ ["eio.dev" "git+https://github.com/talex5/eio.git#5d8a48c20d3905c39cd990b7bf8bf3d78e6faa1c"]`
	`59`	`+ ["eio_linux.dev" "git+https://github.com/talex5/eio.git#5d8a48c20d3905c39cd990b7bf8bf3d78e6faa1c"]`
	`60`	`+ ["eio_posix.dev" "git+https://github.com/talex5/eio.git#5d8a48c20d3905c39cd990b7bf8bf3d78e6faa1c"]`
	`61`	`+ ["eio_main.dev" "git+https://github.com/talex5/eio.git#5d8a48c20d3905c39cd990b7bf8bf3d78e6faa1c"]`
`58`	`62`	`]`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,8 @@`
`1`	`1`	`pin-depends: [`
`2`	`2`	`["lwt_eio.0.4" "git+https://github.com/talex5/lwt_eio.git#27688ec6aa551b9e510cd6a13747880d97451dc4"]`
`3`	`3`	`["lwt.dev" "git+https://github.com/talex5/lwt.git#52596733b92b12458fcae701d5051d984c26ed5d"]`
	`4`	`+ ["eio.dev" "git+https://github.com/talex5/eio.git#5d8a48c20d3905c39cd990b7bf8bf3d78e6faa1c"]`
	`5`	`+ ["eio_linux.dev" "git+https://github.com/talex5/eio.git#5d8a48c20d3905c39cd990b7bf8bf3d78e6faa1c"]`
	`6`	`+ ["eio_posix.dev" "git+https://github.com/talex5/eio.git#5d8a48c20d3905c39cd990b7bf8bf3d78e6faa1c"]`
	`7`	`+ ["eio_main.dev" "git+https://github.com/talex5/eio.git#5d8a48c20d3905c39cd990b7bf8bf3d78e6faa1c"]`
`4`	`8`	`]`