diff --git a/packages/conf-rocksdb-ge-5-17-2/conf-rocksdb-ge-5-17-2.5.17.2/opam b/packages/conf-rocksdb-ge-5-17-2/conf-rocksdb-ge-5-17-2.5.17.2/opam new file mode 100644 index 00000000000..e92ba557835 --- /dev/null +++ b/packages/conf-rocksdb-ge-5-17-2/conf-rocksdb-ge-5-17-2.5.17.2/opam @@ -0,0 +1,37 @@ +opam-version: "2.0" +homepage: "http://rocksdb.org/" +maintainer: "Chet Murthy " +x-maintenance-intent: [ "(latest)" ] +authors: "Chet Murthy (copied from Anton Bachin)" +bug-reports: "https://github.com/chetmurthy/ocaml-rocksdb/issues" +license: "Apache-2.0" + +depends: [ + "conf-rocksdb" + "conf-pkg-config" {build} + (("host-arch-x86_32" {os = "win32" & os-distribution != "cygwinports"} & "conf-mingw-w64-zstd-i686" {os = "win32" & os-distribution != "cygwinports"}) | + ("host-arch-x86_64" {os = "win32" & os-distribution != "cygwinports"} & "conf-mingw-w64-zstd-x86_64" {os = "win32" & os-distribution != "cygwinports"})) +] +build: [ + + ["pkgconf" {os = "win32" & os-distribution = "cygwin"} + "--personality=i686-w64-mingw32" {os = "win32" & os-distribution = "cygwin" & host-arch-x86_32:installed} + "--personality=x86_64-w64-mingw32" {os = "win32" & os-distribution = "cygwin" & host-arch-x86_64:installed} + "pkg-config" {os != "win32" | os-distribution != "cygwin"} + "--atleast-version=7.8.3" "rocksdb"] { + !(os-distribution = "debian" & (os-version = 11 | os-version = 12)) & + !(os-distribution = "ubuntu" & (os-version = "20.04" | os-version = "22.04")) + } +] +synopsis: "Virtual package relying on a system installation of RocksDB (version >= 5.17.2)" +description: """ +The build section merits an explanation. + +(1) for debian 11/12, conf-rocksdb ensures that rocksdb gets installed. But it'll be backlevel, +and specifically either 5.17.2 or 6.11.4 -- versions that do not come with pkg-config files. +So we just skip the test. + +(2) For all other OS versions, we check what pkg-config says. +""" + +flags: conf diff --git a/packages/ocaml-rocksdb/ocaml-rocksdb.0.02/opam b/packages/ocaml-rocksdb/ocaml-rocksdb.0.02/opam new file mode 100644 index 00000000000..599de0d6ea7 --- /dev/null +++ b/packages/ocaml-rocksdb/ocaml-rocksdb.0.02/opam @@ -0,0 +1,59 @@ + +synopsis: "An OCaml interface to RocksDB (generated by ocaml-cppffigen" +description: +""" +This is an OCaml interface to RocksDB, generated by the ocaml-cppffigen tool +""" +opam-version: "2.0" +x-maintenance-intent: [ "(latest)" ] +maintainer: "Chet Murthy " +authors: ["Chet Murthy"] +homepage: "https://github.com/chetmurthy/ocaml-rocksdb" +license: "Apache-2.0" +bug-reports: "https://github.com/chetmurthy/ocaml-rocksdb/issues" +dev-repo: "git+https://github.com/chetmurthy/ocaml-rocksdb.git" +doc: "https://github.com/chetmurthy/ocaml-rocksdb/doc" + +depends: [ + "ocaml" { >= "4.10.0" } + "camlp5-buildscripts" { >= "0.02" } + "not-ocamlfind" { >= "0.10" } + "cppffigen" + "conf-g++" + "conf-snappy" + "conf-zlib" + "conf-liblz4" + "conf-libbz2" + "conf-rocksdb-ge-5-17-2" + "result" + "core" + "ounit" { >= "2.2.7" & with-test} +] +build: [ + [make + "BACKLEVEL_ROCKSDB=1" { + (arch = "x86_64" & os-distribution = "debian" & (os-version = 11 | os-version = 12)) | + (arch = "x86_64" & os-distribution = "ubuntu" & (os-version = "20.04" | os-version = "22.04")) + } + "sys"] + [make + "BACKLEVEL_ROCKSDB=1" { + (arch = "x86_64" & os-distribution = "debian" & (os-version = 11 | os-version = 12)) | + (arch = "x86_64" & os-distribution = "ubuntu" & (os-version = "20.04")) + } + "test"] {with-test} +] +install: [ + [make + "BACKLEVEL_ROCKSDB=1" { + (arch = "x86_64" & os-distribution = "debian" & (os-version = 11 | os-version = 12)) | + (arch = "x86_64" & os-distribution = "ubuntu" & (os-version = "20.04")) + } + "install"] +] +url { + src: "https://github.com/chetmurthy/ocaml-rocksdb/archive/refs/tags/0.02.tar.gz" + checksum: [ + "sha512=b2b2b36b4c34ee7cc158dbe8d0eeff6955d36f5d665ec8e78a899635bd8ac3f3c7a956132b95d0096304f7fbd8a6c4034527eeb951a3a26e4cc12b17e6fc0d87" + ] +}