Merge pull request #28986 from jmid/lmdb-ubuntu-fix

mseri · web-flow · commit cfb62b34b951 · 2025-12-03T18:47:16.000+01:00
Add ubuntu-family distribution support to lmdb.1.0
diff --git a/packages/lmdb/lmdb.1.0/opam b/packages/lmdb/lmdb.1.0/opam
@@ -27,7 +27,7 @@ depends: [
 ]
 
 depexts: [
-  ["liblmdb-dev"] {os-family = "debian"}
+  ["liblmdb-dev"] {os-family = "debian" | os-family = "ubuntu"}
   ["lmdb"] {os-family = "bsd"}
   ["lmdb"] {os-family = "homebrew"}
   ["lmdb"] {os-family = "macports"}

Original file line number	Diff line number	Diff line change
`@@ -27,7 +27,7 @@ depends: [`
`27`	`27`	`]`
`28`	`28`
`29`	`29`	`depexts: [`
`30`		`- ["liblmdb-dev"] {os-family = "debian"}`
	`30`	`+ ["liblmdb-dev"] {os-family = "debian" \| os-family = "ubuntu"}`
`31`	`31`	`["lmdb"] {os-family = "bsd"}`
`32`	`32`	`["lmdb"] {os-family = "homebrew"}`
`33`	`33`	`["lmdb"] {os-family = "macports"}`