this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "tim@tbrk.org"
3authors: "The Open MPI Development Team"
4homepage: "https://www.open-mpi.org"
5bug-reports: "mailto:tim@tbrk.org"
6build: [["sh" "configure" os]]
7depends: ["conf-pkg-config" {build}]
8depexts: [
9 ["mpi-default-dev"] {os-family = "debian"}
10 ["mpi-default-dev"] {os-family = "ubuntu"}
11 ["openmpi-devel"] {os-distribution = "centos"}
12 ["openmpi-devel"] {os-distribution = "fedora"}
13 ["openmpi"] {os-family = "suse" | os-family = "opensuse"}
14 ["openmpi"] {os-distribution = "arch"}
15 ["openmpi-dev"] {os-distribution = "alpine"}
16 ["openmpi"] {os = "freebsd"}
17 ["devel/openmpi"] {os = "openbsd"}
18 ["openmpi-devel-default"] {os = "macos" & os-distribution = "macports"}
19 ["open-mpi"] {os = "macos" & os-distribution = "homebrew"}
20]
21synopsis: "Virtual package relying on a mpi system installation"
22description:
23 "This package can only install if the (open)mpi development files are installed on the system."
24flags: conf
25extra-source "configure" {
26 src:
27 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/conf-mpi/configure"
28 checksum: [
29 "sha256=49b4aa9354b3f417ec949bd6f7662222c9a1021b1912fad128a88b8dc69e1160"
30 "md5=cb39084281574e972fed895953734a78"
31 ]
32}