Skip to content

Commit efcdeee

Browse files
committed
fix which of pkgconf/pkg-config gets used
1 parent 7d50bf8 commit efcdeee

File tree

1 file changed

+7
-1
lines changed
  • packages/conf-rocksdb-ge-8-0-0/conf-rocksdb-ge-8-0-0.8.0.0

1 file changed

+7
-1
lines changed

packages/conf-rocksdb-ge-8-0-0/conf-rocksdb-ge-8-0-0.8.0.0/opam

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,13 @@ depends: [
1313
("host-arch-x86_64" {os = "win32" & os-distribution != "cygwinports"} & "conf-mingw-w64-zstd-x86_64" {os = "win32" & os-distribution != "cygwinports"}))
1414
]
1515
build: [
16-
["pkgconf" "--atleast-version=6.11.4" "rocksdb"]
16+
17+
["pkgconf" {os = "win32" & os-distribution = "cygwin"}
18+
"--personality=i686-w64-mingw32" {os = "win32" & os-distribution = "cygwin" & host-arch-x86_32:installed}
19+
"--personality=x86_64-w64-mingw32" {os = "win32" & os-distribution = "cygwin" & host-arch-x86_64:installed}
20+
"pkg-config" {os != "win32" | os-distribution != "cygwin"}
21+
"--atleast-version=6.11.4" "rocksdb"]
22+
1723
]
1824
synopsis: "Virtual package relying on a system installation of RocksDB (version >= 8.0.0)"
1925
flags: conf

0 commit comments

Comments
 (0)