Skip to content

Commit

Permalink
pin opam same commit as the pipeline
Browse files Browse the repository at this point in the history
  • Loading branch information
sabine committed Jan 21, 2024
1 parent 2cc77b2 commit 699b3f6
Show file tree
Hide file tree
Showing 4 changed files with 14 additions and 2 deletions.
3 changes: 3 additions & 0 deletions voodoo-do.opam
Original file line number Diff line number Diff line change
Expand Up @@ -32,3 +32,6 @@ build: [
]
]
dev-repo: "git+https://github.com/ocaml-doc/voodoo.git"
pin-depends: [
["odoc.dev" "https://github.com/ocaml/odoc.git#103dac4c370aa2ad5aca7ba54f02f8e06adb941b"]
]
3 changes: 3 additions & 0 deletions voodoo-do.opam.template
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
pin-depends: [
["odoc.dev" "https://github.com/ocaml/odoc.git#103dac4c370aa2ad5aca7ba54f02f8e06adb941b"]
]
5 changes: 4 additions & 1 deletion voodoo-gen.opam
Original file line number Diff line number Diff line change
Expand Up @@ -39,4 +39,7 @@ build: [
dev-repo: "git+https://github.com/ocaml-doc/voodoo.git"
available: [ os-distribution != "alpine" & arch != "ppc64"]
# PPC64 fails to build with stack overflow see https://github.com/ocaml/ocaml/issues/11415
# Alpine-3.16 doesn't have a pandoc package, however 3.17 does
# Alpine-3.16 doesn't have a pandoc package, however 3.17 does
pin-depends: [
["odoc.dev" "https://github.com/ocaml/odoc.git#103dac4c370aa2ad5aca7ba54f02f8e06adb941b"]
]
5 changes: 4 additions & 1 deletion voodoo-gen.opam.template
Original file line number Diff line number Diff line change
@@ -1,3 +1,6 @@
available: [ os-distribution != "alpine" & arch != "ppc64"]
# PPC64 fails to build with stack overflow see https://github.com/ocaml/ocaml/issues/11415
# Alpine-3.16 doesn't have a pandoc package, however 3.17 does
# Alpine-3.16 doesn't have a pandoc package, however 3.17 does
pin-depends: [
["odoc.dev" "https://github.com/ocaml/odoc.git#103dac4c370aa2ad5aca7ba54f02f8e06adb941b"]
]

0 comments on commit 699b3f6

Please sign in to comment.