fix(opam): add pin-depends for ppx_forbid and dev-repo field

vch9 · claude · mathiasbourgoin · commit fb17865c0b67 · 2026-02-19T14:44:11.000+01:00
Add pin-depends field to miaou-core.opam to automatically pin ppx_forbid
from GitHub when installing the package. This fixes dependency resolution
for ppx_forbid which is not yet available in the opam repository.

Also add dev-repo field to all opam packages for better opam metadata.

Co-Authored-By: Claude &lt;noreply@anthropic.com&gt;
diff --git a/miaou-core.opam b/miaou-core.opam
@@ -40,3 +40,7 @@ build: [
     "@doc" {with-doc}
   ]
 ]
+dev-repo: "git+https://github.com/trilitech/miaou.git"
+pin-depends: [
+  ["ppx_forbid.dev" "git+https://github.com/atacama-dev/ppx_forbid.git"]
+]
diff --git a/miaou-driver-matrix.opam b/miaou-driver-matrix.opam
@@ -28,3 +28,4 @@ build: [
     "@doc" {with-doc}
   ]
 ]
+dev-repo: "git+https://github.com/trilitech/miaou.git"
diff --git a/miaou-driver-sdl.opam b/miaou-driver-sdl.opam
@@ -32,3 +32,4 @@ build: [
     "@doc" {with-doc}
   ]
 ]
+dev-repo: "git+https://github.com/trilitech/miaou.git"
diff --git a/miaou-driver-term.opam b/miaou-driver-term.opam
@@ -26,3 +26,4 @@ build: [
     "@doc" {with-doc}
   ]
 ]
+dev-repo: "git+https://github.com/trilitech/miaou.git"
diff --git a/miaou-driver-web.opam b/miaou-driver-web.opam
@@ -33,3 +33,4 @@ build: [
     "@doc" {with-doc}
   ]
 ]
+dev-repo: "git+https://github.com/trilitech/miaou.git"
diff --git a/miaou-runner.opam b/miaou-runner.opam
@@ -29,3 +29,4 @@ build: [
     "@doc" {with-doc}
   ]
 ]
+dev-repo: "git+https://github.com/trilitech/miaou.git"
diff --git a/miaou-tui.opam b/miaou-tui.opam
@@ -28,3 +28,4 @@ build: [
     "@doc" {with-doc}
   ]
 ]
+dev-repo: "git+https://github.com/trilitech/miaou.git"
diff --git a/miaou-widgets-display-sdl.opam b/miaou-widgets-display-sdl.opam
@@ -27,3 +27,4 @@ build: [
     "@doc" {with-doc}
   ]
 ]
+dev-repo: "git+https://github.com/trilitech/miaou.git"
diff --git a/miaou.opam b/miaou.opam
@@ -29,3 +29,4 @@ build: [
     "@doc" {with-doc}
   ]
 ]
+dev-repo: "git+https://github.com/trilitech/miaou.git"

Original file line number	Diff line number	Diff line change
`@@ -40,3 +40,7 @@ build: [`
`40`	`40`	`"@doc" {with-doc}`
`41`	`41`	`]`
`42`	`42`	`]`
	`43`	`+dev-repo: "git+https://github.com/trilitech/miaou.git"`
	`44`	`+pin-depends: [`
	`45`	`+ ["ppx_forbid.dev" "git+https://github.com/atacama-dev/ppx_forbid.git"]`
	`46`	`+]`
Original file line number	Diff line number	Diff line change
`@@ -28,3 +28,4 @@ build: [`
`28`	`28`	`"@doc" {with-doc}`
`29`	`29`	`]`
`30`	`30`	`]`
	`31`	`+dev-repo: "git+https://github.com/trilitech/miaou.git"`
Original file line number	Diff line number	Diff line change
`@@ -32,3 +32,4 @@ build: [`
`32`	`32`	`"@doc" {with-doc}`
`33`	`33`	`]`
`34`	`34`	`]`
	`35`	`+dev-repo: "git+https://github.com/trilitech/miaou.git"`
Original file line number	Diff line number	Diff line change
`@@ -26,3 +26,4 @@ build: [`
`26`	`26`	`"@doc" {with-doc}`
`27`	`27`	`]`
`28`	`28`	`]`
	`29`	`+dev-repo: "git+https://github.com/trilitech/miaou.git"`
Original file line number	Diff line number	Diff line change
`@@ -33,3 +33,4 @@ build: [`
`33`	`33`	`"@doc" {with-doc}`
`34`	`34`	`]`
`35`	`35`	`]`
	`36`	`+dev-repo: "git+https://github.com/trilitech/miaou.git"`
Original file line number	Diff line number	Diff line change
`@@ -29,3 +29,4 @@ build: [`
`29`	`29`	`"@doc" {with-doc}`
`30`	`30`	`]`
`31`	`31`	`]`
	`32`	`+dev-repo: "git+https://github.com/trilitech/miaou.git"`
Original file line number	Diff line number	Diff line change
`@@ -27,3 +27,4 @@ build: [`
`27`	`27`	`"@doc" {with-doc}`
`28`	`28`	`]`
`29`	`29`	`]`
	`30`	`+dev-repo: "git+https://github.com/trilitech/miaou.git"`