Skip to content

Commit

Permalink
Added pins on new ocurrent API
Browse files Browse the repository at this point in the history
  • Loading branch information
ElectreAAS committed Nov 27, 2023
1 parent d0df605 commit bd9d3e5
Show file tree
Hide file tree
Showing 3 changed files with 10 additions and 3 deletions.
4 changes: 3 additions & 1 deletion current-bench.opam
Original file line number Diff line number Diff line change
Expand Up @@ -66,9 +66,11 @@ build: [
]
dev-repo: "git+https://github.com/ocurrent/current-bench.git"
pin-depends: [
# When modifying the pins in this file, don't forget to also modify pipeline/pipeline.opam
# Using the changes in ocurrent/ocurrent/pull/421, remove the pin on next release (> 0.6.4)
# When modifying this pin, don't forget to also modify pipeline/pipeline.opam
["current_github.0.6.4" "git+https://github.com/ocurrent/ocurrent.git#32561e1f2b9cc387d098e0ee918cd6bd2ccd1d3b"]
# Using the changes in ocurrent/ocurrent/pull/442, remove the pin on next release (> 0.6.4)
["current_git.0.6.4" "git+https://github.com/ElectreAAS/ocurrent.git#21e7007e2897d44535e2729b42c80dc1280c6fb1"]
]

# System dependencies fail to install on these platforms
Expand Down
4 changes: 3 additions & 1 deletion current-bench.opam.template
Original file line number Diff line number Diff line change
@@ -1,7 +1,9 @@
pin-depends: [
# When modifying the pins in this file, don't forget to also modify pipeline/pipeline.opam
# Using the changes in ocurrent/ocurrent/pull/421, remove the pin on next release (> 0.6.4)
# When modifying this pin, don't forget to also modify pipeline/pipeline.opam
["current_github.0.6.4" "git+https://github.com/ocurrent/ocurrent.git#32561e1f2b9cc387d098e0ee918cd6bd2ccd1d3b"]
# Using the changes in ocurrent/ocurrent/pull/442, remove the pin on next release (> 0.6.4)
["current_git.0.6.4" "git+https://github.com/ElectreAAS/ocurrent.git#21e7007e2897d44535e2729b42c80dc1280c6fb1"]
]

# System dependencies fail to install on these platforms
Expand Down
5 changes: 4 additions & 1 deletion pipeline/pipeline.opam
Original file line number Diff line number Diff line change
Expand Up @@ -47,10 +47,13 @@ depends: [
"odoc" {with-doc}
]
pin-depends: [
# When modifying the pins in this file, don't forget to also modify pipeline/pipeline.opam
# Using the changes in ocurrent/ocurrent/pull/421, remove the pin on next release (> 0.6.4)
# When modifying this pin, don't forget to also modify ../current-bench.opam.template
["current_github.0.6.4" "git+https://github.com/ocurrent/ocurrent.git#32561e1f2b9cc387d098e0ee918cd6bd2ccd1d3b"]
# Using the changes in ocurrent/ocurrent/pull/442, remove the pin on next release (> 0.6.4)
["current_git.0.6.4" "git+https://github.com/ElectreAAS/ocurrent.git#21e7007e2897d44535e2729b42c80dc1280c6fb1"]
]

build: [
["dune" "subst"] {dev}
[
Expand Down

0 comments on commit bd9d3e5

Please sign in to comment.