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"
9synopsis: "Performance Application Programming Interface (PAPI) bindings"
10
11build: [ [ "dune" "subst" ] {dev}
12 [ "dune" "build" "-p" name "-j" jobs ]
13 [ "dune" "runtest" "-p" name "-j" jobs ] {with-test} ]
14
15depends: [
16 "ocaml" {< "4.14"}
17 "dune" {>= "1.7"}
18 "fmt" {with-test} ]
19
20depexts: [
21 ["libpapi-dev"] {os-family = "debian"}
22 ["papi-devel"] {os-distribution = "centos"}
23 ["papi"] {os-distribution = "arch"}
24]
25description: """
26Papi provides OCaml bindings to PAPI, a C library for portable access to
27hardware performance counters.
28"""
29url {
30 src:
31 "https://github.com/pqwy/ocaml-papi/releases/download/v0.1.1/papi-v0.1.1.tbz"
32 checksum: [
33 "sha256=f7c06edaf93699d6d7b9ab3a2a6d0e35c6d61e92c1d152c19eca2ebcc4d7b4a4"
34 "md5=4acb07e494c1a2c0ff8244d042f02629"
35 ]
36}