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