dra27 · dra27 · May 5, 2024 · May 5, 2024 · May 9, 2024 · May 10, 2024
diff --git a/packages/arch-x86_32/arch-x86_32.1/opam b/packages/arch-x86_32/arch-x86_32.1/opam
@@ -0,0 +1,22 @@
+opam-version: "2.0"
+synopsis: "Build OCaml for x86 (32-bit)"
+description: """
+Installing this package causes the OCaml compiler packages to target
+32bit Intel x86 (x86_32/x86).
+
+At present, this facility is only available for the native Windows ports of
+OCaml."""
+maintainer: "David Allsopp <david@tarides.com>"
+authors: "David Allsopp"
+license: "CC0-1.0+"
+homepage: "https://opam.ocaml.org"
+bug-reports: "https://github.com/ocaml/opam-repository/issues"
+# This package is marked avoid-version in order to steer the default on 64-bit
+# systems towards a 64-bit compiler.
+flags: [compiler avoid-version]
+available: os = "win32"
+depends: [
+  ("ocaml-base-compiler" {post & >= "4.13.0~"} | "ocaml-variants" {post & >= "4.13.0~"})
+  "host-arch-x86_32" {post}
+]
+conflict-class: "ocaml-architecture-setting"
diff --git a/packages/arch-x86_64/arch-x86_64.1/opam b/packages/arch-x86_64/arch-x86_64.1/opam
@@ -0,0 +1,27 @@
+opam-version: "2.0"
+synopsis: "Build OCaml for amd64 (64-bit)"
+description: """
+Installing this package causes the OCaml compiler packages to target
+64-bit Intel x86 (x86_64/amd64/x64).
+
+At present, this facility is only available for the native Windows ports of
+OCaml."""
+maintainer: "David Allsopp <david@tarides.com>"
+authors: "David Allsopp"
+license: "CC0-1.0+"
+homepage: "https://opam.ocaml.org"
+bug-reports: "https://github.com/ocaml/opam-repository/issues"
+flags: compiler
+# The architecture selection is somewhat belt-and-braces while this system is
+# only available for Windows. The dependency of the OCaml ecosystem on either
+# Cygwin or MSYS2 means that OCaml cannot be used on 32-bit Windows, although
+# 32-bit is fully supported as a target.
+# When these packages are extended to all platforms, the available field would
+# ensure that this package becomes unavailable on a 32-bit system, and the
+# avoid-version in arch-x86_32 will be ignored.
+available: os = "win32" & (arch = "x86_64" | arch = "arm64")
+depends: [
+  ("ocaml-base-compiler" {post & >= "4.13.0~"} | "ocaml-variants" {post & >= "4.13.0~"})
+  "host-arch-x86_64" {post}
+]
+conflict-class: "ocaml-architecture-setting"
diff --git a/packages/checked_oint/checked_oint.0.1.1/opam b/packages/checked_oint/checked_oint.0.1.1/opam
@@ -0,0 +1,53 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis: "An OCaml library for checked integer arithmetic"
+maintainer: ["Tima Kinsart <hirrolot@gmail.com>"]
+authors: ["Tima Kinsart <hirrolot@gmail.com>"]
+license: "MIT"
+homepage: "https://github.com/Hirrolot/checked_oint"
+bug-reports: "https://github.com/Hirrolot/checked_oint/issues"
+depends: [
+  "ocaml" {>= "4.13"}
+  "dune" {>= "3.14"}
+  "ctypes"
+  "ctypes-foreign" {>= "0.21.1"}
+  "ppx_deriving"
+  "ppx_enumerate"
+  "bisect_ppx"
+  "alcotest" {>= "1.7.0"}
+  "odoc" {with-doc}
+]
+available: arch != "arm32" & arch != "x86_32" & arch != "ppc64"
+x-ci-accept-failures: [
+  "fedora-38"
+  "fedora-39"
+  "fedora-40"
+  "opensuse-15.5"
+  "opensuse-tumbleweed"
+  "oraclelinux-8"
+  "oraclelinux-9"
+  "freebsd"
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/Hirrolot/checked_oint.git"
+url {
+  src:
+    "https://github.com/Hirrolot/checked_oint/archive/refs/tags/v0.1.1.tar.gz"
+  checksum: [
+    "md5=8c5bd9e10faffd495037c4ecd0f8e6ea"
+    "sha512=e0179cbb8ea6d3f1a5ed87e190c88cd5a95a5cca817ef786b945e0fd8ffaaea46d34b64ea673b6c184fae27860f9a44ad0b66dc974fbfc9558de9025eb84d6f2"
+  ]
+}
diff --git a/packages/conf-c++/conf-c++.1.0/opam b/packages/conf-c++/conf-c++.1.0/opam
@@ -4,7 +4,12 @@ authors: "C++ compiler developers"
 homepage: "https://github.com/ocaml/opam-repository"
 bug-reports: "https://github.com/ocaml/opam-repository/issues"
 license: "GPL-2.0-or-later"
-build: ["c++" "--version"]
+build: [
+  "i686-w64-mingw32-c++" {os = "win32" & host-arch-x86_32:installed}
+  "x86_64-w64-mingw32-c++" {os = "win32" & host-arch-x86_64:installed}
+  "c++" {os != "win32" | (!host-arch-x86_32:installed & !host-arch-x86_64:installed)}
+  "--version"
+]
 depexts: [
   ["gcc-c++"] {os-distribution = "centos"}
   ["gcc-c++"] {os-distribution = "fedora"}
@@ -16,6 +21,9 @@ depexts: [
   ["gcc"] {os-distribution = "arch"}
   ["gcc-g++"] {os = "win32" & os-distribution = "cygwinports"}
 ]
+depends:
+  ("host-arch-x86_32" {os = "win32" & os-distribution != "cygwinports"} & "conf-mingw-w64-g++-i686" {os = "win32" & os-distribution != "cygwinports"}) |
+  ("host-arch-x86_64" {os = "win32" & os-distribution != "cygwinports"} & "conf-mingw-w64-g++-x86_64" {os = "win32" & os-distribution != "cygwinports"})
 synopsis: "Virtual package relying on the c++ compiler"
 description:
   "This package can only install if the c++ compiler is installed on the system."

diff --git a/packages/conf-g++/conf-g++.1.0/opam b/packages/conf-g++/conf-g++.1.0/opam
@@ -4,7 +4,12 @@ authors: "Francois Berenger"
 homepage: "https://github.com/ocaml/opam-repository"
 bug-reports: "https://github.com/ocaml/opam-repository/issues"
 license: "GPL-2.0-or-later"
-build: ["g++" "--version"]
+build: [
+  "i686-w64-mingw32-g++" {os = "win32" & host-arch-x86_32:installed}
+  "x86_64-w64-mingw32-g++" {os = "win32" & host-arch-x86_64:installed}
+  "g++" {os != "win32" | (!host-arch-x86_32:installed & !host-arch-x86_64:installed)}
+  "--version"
+]
 depexts: [
   ["gcc-c++"] {os-distribution = "centos"}
   ["gcc-c++"] {os-distribution = "fedora"}
@@ -18,6 +23,9 @@ depexts: [
   ["gcc-g++"] {os = "win32" & os-distribution = "cygwinports"}
   ["gcc"] {os = "freebsd"}
 ]
+depends:
+  ("host-arch-x86_32" {os = "win32" & os-distribution != "cygwinports"} & "conf-mingw-w64-g++-i686" {os = "win32" & os-distribution != "cygwinports"}) |
+  ("host-arch-x86_64" {os = "win32" & os-distribution != "cygwinports"} & "conf-mingw-w64-g++-x86_64" {os = "win32" & os-distribution != "cygwinports"})
 synopsis: "Virtual package relying on the g++ compiler (for C++)"
 description:
   "This package can only install if the g++ compiler is installed on the system."

diff --git a/packages/conf-mingw-w64-gcc-i686/conf-mingw-w64-gcc-i686.1/opam b/packages/conf-mingw-w64-gcc-i686/conf-mingw-w64-gcc-i686.1/opam
@@ -8,6 +8,10 @@ homepage: "https://www.mingw-w64.org"
 bug-reports: "https://github.com/ocaml/opam-repository/issues"
 flags: conf
 available: os = "win32"
+depends: [
+  "msys2" {build & os = "win32" & os-distribution = "msys2"}
+  "msys2-mingw32" {os = "win32" & os-distribution = "msys2"}
+]
 build: ["i686-w64-mingw32-gcc" "--version"]
 depexts: [
   ["mingw64-i686-gcc-core"] {os = "win32" & os-distribution = "cygwin"}

diff --git a/packages/conf-mingw-w64-gcc-x86_64/conf-mingw-w64-gcc-x86_64.1/opam b/packages/conf-mingw-w64-gcc-x86_64/conf-mingw-w64-gcc-x86_64.1/opam
@@ -8,6 +8,10 @@ homepage: "https://www.mingw-w64.org"
 bug-reports: "https://github.com/ocaml/opam-repository/issues"
 flags: conf
 available: os = "win32"
+depends: [
+  "msys2" {build & os = "win32" & os-distribution = "msys2"}
+  "msys2-mingw64" {os = "win32" & os-distribution = "msys2"}
+]
 build: ["x86_64-w64-mingw32-gcc" "--version"]
 depexts: [
   ["mingw64-x86_64-gcc-core"] {os = "win32" & os-distribution = "cygwin"}

diff --git a/packages/conf-mingw-w64-pkgconf-i686/conf-mingw-w64-pkgconf-i686.1/opam b/packages/conf-mingw-w64-pkgconf-i686/conf-mingw-w64-pkgconf-i686.1/opam
@@ -8,6 +8,10 @@ homepage: "http://pkgconf.org"
 bug-reports: "https://github.com/ocaml/opam-repository/issues"
 flags: conf
 available: os = "win32"
+depends: [
+  "msys2" {build & os = "win32" & os-distribution = "msys2"}
+  "msys2-mingw32" {os = "win32" & os-distribution = "msys2"}
+]
 build: ["i686-w64-mingw32-pkgconf" "--version"]
 depexts: [
   ["mingw-w64-i686-pkgconf"] {os = "win32" & os-distribution = "msys2"}

diff --git a/packages/conf-mingw-w64-pkgconf-x86_64/conf-mingw-w64-pkgconf-x86_64.1/opam b/packages/conf-mingw-w64-pkgconf-x86_64/conf-mingw-w64-pkgconf-x86_64.1/opam
@@ -8,6 +8,10 @@ homepage: "http://pkgconf.org"
 bug-reports: "https://github.com/ocaml/opam-repository/issues"
 flags: conf
 available: os = "win32"
+depends: [
+  "msys2" {build & os = "win32" & os-distribution = "msys2"}
+  "msys2-mingw64" {os = "win32" & os-distribution = "msys2"}
+]
 build: ["x86_64-w64-mingw32-pkgconf" "--version"]
 depexts: [
   ["mingw-w64-x86_64-pkgconf"] {os = "win32" & os-distribution = "msys2"}

diff --git a/packages/conf-mingw-w64-zstd-i686/conf-mingw-w64-zstd-i686.1/opam b/packages/conf-mingw-w64-zstd-i686/conf-mingw-w64-zstd-i686.1/opam
@@ -10,6 +10,8 @@ flags: conf
 available: os = "win32"
 build: ["pkgconf" "--personality=i686-w64-mingw32" {os-distribution = "cygwin"} "libzstd"]
 depends: [
+  "msys2" {build & os = "win32" & os-distribution = "msys2"}
+  "msys2-mingw32" {os = "win32" & os-distribution = "msys2"}
   "conf-pkg-config" {build}
   "conf-mingw-w64-gcc-i686" {build}
 ]

diff --git a/packages/conf-mingw-w64-zstd-x86_64/conf-mingw-w64-zstd-x86_64.1/opam b/packages/conf-mingw-w64-zstd-x86_64/conf-mingw-w64-zstd-x86_64.1/opam
@@ -10,6 +10,8 @@ flags: conf
 available: os = "win32"
 build: ["pkgconf" "--personality=x86_64-w64-mingw32" {os-distribution = "cygwin"} "libzstd"]
 depends: [
+  "msys2" {build & os = "win32" & os-distribution = "msys2"}
+  "msys2-mingw64" {os = "win32" & os-distribution = "msys2"}
   "conf-pkg-config" {build}
   "conf-mingw-w64-gcc-x86_64" {build}
 ]

diff --git a/packages/conf-pkg-config/conf-pkg-config.3/opam b/packages/conf-pkg-config/conf-pkg-config.3/opam
@@ -4,9 +4,13 @@ authors: ["Francois Berenger"]
 homepage: "http://www.freedesktop.org/wiki/Software/pkg-config/"
 bug-reports: "https://github.com/ocaml/opam-repository/issues"
 license: "GPL-1.0-or-later"
+depends: [
+  ("host-arch-x86_64" {os = "win32" & os-distribution = "msys2"} & "conf-mingw-w64-pkgconf-x86_64" {os = "win32" & os-distribution = "msys2"} |
+   "host-arch-x86_32" {os = "win32" & os-distribution = "msys2"} & "conf-mingw-w64-pkgconf-i686" {os = "win32" & os-distribution = "msys2"})
+]
 build: [
   ["pkg-config" "--help"] {os != "openbsd" & os != "win32"}
-  ["pkgconf" "--version"] {os = "win32"}
+  ["pkgconf" "--version"] {os = "win32" & os-distribution != "msys2"}
 ]
 depexts: [
   ["pkg-config"] {os-family = "debian" | os-family = "ubuntu"}

diff --git a/packages/conf-zstd/conf-zstd.1.3.8/opam b/packages/conf-zstd/conf-zstd.1.3.8/opam
@@ -5,9 +5,17 @@ bug-reports: "https://github.com/ocaml/opam-repository/issues"
 authors: ["Facebook"]
 license: "BSD-3-Clause"
 build: [
-  ["pkg-config" "--atleast-version=1.3.8" "libzstd"]
+  ["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=1.3.8" "libzstd"]
+]
+depends: [
+  "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"})
 ]
-depends: ["conf-pkg-config" {build}]
 depexts: [
   ["libzstd-dev"] {os-family = "debian"}
   ["libzstd-dev"] {os-family = "ubuntu"}

diff --git a/packages/host-arch-arm32/host-arch-arm32.1/opam b/packages/host-arch-arm32/host-arch-arm32.1/opam
@@ -0,0 +1,16 @@
+opam-version: "2.0"
+synopsis: "OCaml on AArch32 (32-bit)"
+description: """
+This package is installed if the underlying OCaml compiler is for 32-bit ARM.
+
+Precisely, this means `ocamlopt -config-var architecture` equals `arm`.
+
+This package may be used in depends or conflicts fields of dependent packages
+to indicate either a requirement or an incompatibility with this
+architecture."""
+maintainer: "David Allsopp <david@tarides.com>"
+authors: "David Allsopp"
+license: "CC0-1.0+"
+homepage: "https://opam.ocaml.org"
+bug-reports: "https://github.com/ocaml/opam-repository/issues"
+conflict-class: "ocaml-host-architecture"
diff --git a/packages/host-arch-arm64/host-arch-arm64.1/opam b/packages/host-arch-arm64/host-arch-arm64.1/opam
@@ -0,0 +1,16 @@
+opam-version: "2.0"
+synopsis: "OCaml on AArch64 (64-bit)"
+description: """
+This package is installed if the underlying OCaml compiler is for 64-bit ARM.
+
+Precisely, this means `ocamlopt -config-var architecture` equals `arm64`.
+
+This package may be used in depends or conflicts fields of dependent packages
+to indicate either a requirement or an incompatibility with this
+architecture."""
+maintainer: "David Allsopp <david@tarides.com>"
+authors: "David Allsopp"
+license: "CC0-1.0+"
+homepage: "https://opam.ocaml.org"
+bug-reports: "https://github.com/ocaml/opam-repository/issues"
+conflict-class: "ocaml-host-architecture"
diff --git a/packages/host-arch-ppc64/host-arch-ppc64.1/opam b/packages/host-arch-ppc64/host-arch-ppc64.1/opam
@@ -0,0 +1,17 @@
+opam-version: "2.0"
+synopsis: "OCaml on 64-bit IBM POWER"
+description: """
+This package is installed if the underlying OCaml compiler is for
+64-bit IBM POWER.
+
+Precisely, this means `ocamlopt -config-var architecture` equals `power`.
+
+This package may be used in depends or conflicts fields of dependent packages
+to indicate either a requirement or an incompatibility with this
+architecture."""
+maintainer: "David Allsopp <david@tarides.com>"
+authors: "David Allsopp"
+license: "CC0-1.0+"
+homepage: "https://opam.ocaml.org"
+bug-reports: "https://github.com/ocaml/opam-repository/issues"
+conflict-class: "ocaml-host-architecture"
diff --git a/packages/host-arch-riscv64/host-arch-riscv64.1/opam b/packages/host-arch-riscv64/host-arch-riscv64.1/opam
@@ -0,0 +1,16 @@
+opam-version: "2.0"
+synopsis: "OCaml on 64-bit RISC-V"
+description: """
+This package is installed if the underlying OCaml compiler is for 64-bit RISC-V.
+
+Precisely, this means `ocamlopt -config-var architecture` equals `riscv`.
+
+This package may be used in depends or conflicts fields of dependent packages
+to indicate either a requirement or an incompatibility with this
+architecture."""
+maintainer: "David Allsopp <david@tarides.com>"
+authors: "David Allsopp"
+license: "CC0-1.0+"
+homepage: "https://opam.ocaml.org"
+bug-reports: "https://github.com/ocaml/opam-repository/issues"
+conflict-class: "ocaml-host-architecture"
diff --git a/packages/host-arch-s390x/host-arch-s390x.1/opam b/packages/host-arch-s390x/host-arch-s390x.1/opam
@@ -0,0 +1,17 @@
+opam-version: "2.0"
+synopsis: "OCaml on 64-bit IBM z/Architecture"
+description: """
+This package is installed if the underlying OCaml compiler is for
+64-bit IBM z/Architecture (s390x).
+
+Precisely, this means `ocamlopt -config-var architecture` equals `s390x`.
+
+This package may be used in depends or conflicts fields of dependent packages
+to indicate either a requirement or an incompatibility with this
+architecture."""
+maintainer: "David Allsopp <david@tarides.com>"
+authors: "David Allsopp"
+license: "CC0-1.0+"
+homepage: "https://opam.ocaml.org"
+bug-reports: "https://github.com/ocaml/opam-repository/issues"
+conflict-class: "ocaml-host-architecture"
diff --git a/packages/host-arch-unknown/host-arch-unknown.1/opam b/packages/host-arch-unknown/host-arch-unknown.1/opam
@@ -0,0 +1,16 @@
+opam-version: "2.0"
+synopsis: "OCaml on an unknown architecture"
+description: """
+This package is installed if the underlying OCaml compiler is for an unknown
+architecture.
+
+Precisely, this means `ocamlopt -config-var architecture` equals `none`.
+
+It is not expected that this package be used in depends or conflicts fields of
+dependent packages."""
+maintainer: "David Allsopp <david@tarides.com>"
+authors: "David Allsopp"
+license: "CC0-1.0+"
+homepage: "https://opam.ocaml.org"
+bug-reports: "https://github.com/ocaml/opam-repository/issues"
+conflict-class: "ocaml-host-architecture"
diff --git a/packages/host-arch-x86_32/host-arch-x86_32.1/opam b/packages/host-arch-x86_32/host-arch-x86_32.1/opam
@@ -0,0 +1,17 @@
+opam-version: "2.0"
+synopsis: "OCaml on x86 (32-bit)"
+description: """
+This package is installed if the underlying OCaml compiler is for
+32-bit Intel x86 (x86_32/x86).
+
+Precisely, this means `ocamlopt -config-var architecture` equals `i386`.
+
+This package may be used in depends or conflicts fields of dependent packages
+to indicate either a requirement or an incompatibility with this
+architecture."""
+maintainer: "David Allsopp <david@tarides.com>"
+authors: "David Allsopp"
+license: "CC0-1.0+"
+homepage: "https://opam.ocaml.org"
+bug-reports: "https://github.com/ocaml/opam-repository/issues"
+conflict-class: "ocaml-host-architecture"
diff --git a/packages/host-arch-x86_64/host-arch-x86_64.1/opam b/packages/host-arch-x86_64/host-arch-x86_64.1/opam
@@ -0,0 +1,17 @@
+opam-version: "2.0"
+synopsis: "OCaml on amd64 (64-bit)"
+description: """
+This package is installed if the underlying OCaml compiler is for
+64-bit Intel x86 (x86_64/amd64/x64).
+
+Precisely, this means `ocamlopt -config-var architecture` equals `amd64`.
+
+This package may be used in depends or conflicts fields of dependent packages
+to indicate either a requirement or an incompatibility with this
+architecture."""
+maintainer: "David Allsopp <david@tarides.com>"
+authors: "David Allsopp"
+license: "CC0-1.0+"
+homepage: "https://opam.ocaml.org"
+bug-reports: "https://github.com/ocaml/opam-repository/issues"
+conflict-class: "ocaml-host-architecture"