this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Virtual package relying on libportmidi"
3description:
4 "This package can only install if the libportmidi library is installed on the system."
5maintainer: "Michael Bacarella <m@bacarella.com>"
6authors: "Michael Bacarella <m@bacarella.com>"
7license: "LGPL-2.1-only"
8homepage: "https://github.com/portmidi"
9bug-reports: "https://github.com/mbacarella/conf-libportmidi/issues"
10depends: [
11 "conf-pkg-config" {build}
12]
13build: [[ "sh" "check.sh"]]
14depexts: [
15 ["libportmidi-dev"] {os-family = "debian"}
16 ["libportmidi-dev"] {os-family = "ubuntu"}
17 ["portmidi-devel"] {os-family = "fedora"}
18 ["portmidi-devel"] {os-family = "rhel"}
19 ["portmidi-devel"] {os-family = "centos"}
20 ["portmidi-devel"] {os-family = "suse" | os-family = "opensuse"}
21 ["portmidi-dev"] {os-family = "alpine"}
22 ["portmidi"] {os-family = "arch"}
23 ["portmidi"] {os = "freebsd"}
24 ["portmidi"] {os = "openbsd"}
25 ["portmidi"] {os = "netbsd"}
26 ["portmidi"] {os = "macos" & os-distribution = "homebrew"}
27 ["portmidi"] {os = "macos" & os-distribution = "macports"}
28]
29extra-source "check.sh" {
30 src:
31 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/conf-libportmidi/check.sh"
32 checksum:
33 "sha256=71aa594c01c8a2dd7bcba2803251cd7d40651c3ef5108aa203b3101668309bc1"
34}