this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: ["David Kaloper Meršinjak <dk505@cam.ac.uk>"]
3authors: ["David Kaloper Meršinjak <dk505@cam.ac.uk>"]
4license: "ISC"
5homepage: "https://github.com/pqwy/ocaml-papi"
6doc: "https://pqwy.github.io/ocaml-papi/doc"
7dev-repo: "git+https://github.com/pqwy/ocaml-papi.git"
8bug-reports: "https://github.com/pqwy/ocaml-papi/issues"
9depends: [
10 "ocaml" {< "4.14"}
11 "ocamlfind" {build}
12 "ocamlbuild" {build}
13 "topkg" {build}
14 "conf-pkg-config" {build}
15 "ocb-stubblr" {build}
16 "fmt" {with-test} ]
17build: [ "ocaml" "pkg/pkg.ml" "build" "--pinned" "%{pinned}%" ]
18synopsis: """Performance Application Programming Interface for OCaml"""
19description: """\
20Papi provides OCaml bindings to
21[PAPI (Performance Application Programming Interface)][papi-home], a C library
22for portable access to hardware performance counters."""
23depexts: [
24 ["libpapi-dev"] {os-family = "debian"}
25 ["papi-devel"] {os-distribution = "centos"}
26 ["papi"] {os-distribution = "arch"}
27]
28url {
29 src:
30 "https://github.com/pqwy/ocaml-papi/releases/download/v0.1.0/papi-0.1.0.tbz"
31 checksum: [
32 "sha256=e27b7859f32317b652e2ea03b02628504ab1b3e6d3ac4f7d02ec99e5ab5ecb8f"
33 "md5=bc1bf7f2a3768857723061e510d7adec"
34 ]
35}