this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "Dynamically adjust GC behavior based on memory usage"
4description: """
5A utility to dynamically adjust garbage collector behavior based
6 on memory usage, allowing your application to prioritize improved
7 run time when memory usage is low, but prioritize decreased memory
8 usage when memory usage is high."""
9maintainer: ["Nat Mote <nat@semgrep.com>"]
10authors: ["Nat Mote <nat@semgrep.com>"]
11license: "MIT"
12tags: ["garbage collector" "gc"]
13homepage: "https://github.com/semgrep/dynamic-gc"
14doc: "https://github.com/semgrep/dynamic-gc"
15bug-reports: "https://github.com/semgrep/dynamic-gc/issues"
16depends: [
17 "dune" {>= "3.17"}
18 "ocaml" {>= "4.08.0"}
19 "odoc" {with-doc}
20]
21build: [
22 ["dune" "subst"] {dev}
23 [
24 "dune"
25 "build"
26 "-p"
27 name
28 "-j"
29 jobs
30 "@install"
31 "@runtest" {with-test}
32 "@doc" {with-doc}
33 ]
34]
35dev-repo: "git+https://github.com/semgrep/dynamic-gc.git"
36url {
37 src: "https://github.com/semgrep/dynamic-gc/archive/refs/tags/0.1.0.tar.gz"
38 checksum: [
39 "md5=072dbfbbb154bffbc1dd927e86631352"
40 "sha512=e30da32d2dc1413b201678cb21d802934db750c21a1ad3f3dd75902ea998296df77ad3f3f401f4c9bc6c4bae958246f3be2b518e2fd15dd08cf9a66a32d9666d"
41 ]
42}