this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Small library to help profile code"
3description: """
4This is a small library of utilities used by Semgrep and
5a few other projects developed at r2c to monitor and profile
6functions.
7"""
8
9maintainer: "Yoann Padioleau <pad@r2c.dev>"
10authors: [ "Yoann Padioleau <pad@r2c.dev>" ]
11license: "LGPL-2.1-only"
12homepage: "https://semgrep.dev"
13dev-repo: "git+https://github.com/returntocorp/semgrep"
14bug-reports: "https://github.com/returntocorp/semgrep/issues"
15
16depends: [
17 "ocaml" {>= "4.12.0"}
18 "dune" {>= "3.2.0" }
19 "commons" {>= "1.5.5"}
20 "process_limits" {>= "1.5.5"}
21]
22
23build: ["dune" "build" "-p" name "-j" jobs]
24url {
25 src:
26 "https://github.com/returntocorp/sgrep/archive/refs/tags/profiling_1.5.5.tar.gz"
27 checksum: [
28 "md5=25a274d1969e1bb9dc3214f987cfffc0"
29 "sha512=9881a934fe1decd6ce8b9e0c4aaef8a497eeb40df4f252ca617fc72e18d70e6da5737507c07487f83d7019211dfc6d00af2e197c07cffb7594bb3f6c1b90f66e"
30 ]
31}