this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Console setup and uninstall executables for DkML installation"
3description:
4 "The setup and uninstall executables are responsible for launching the DkML runners."
5maintainer: "opensource+dkml@support.diskuv.com"
6authors: "Diskuv, Inc. <opensource+dkml@support.diskuv.com>"
7license: "Apache-2.0"
8homepage: "https://github.com/diskuv/dkml-install-api"
9bug-reports: "https://github.com/diskuv/dkml-install-api/issues"
10depends: [
11 "dune" {>= "2.9"}
12 "alcotest" {>= "1.4.0" & with-test}
13 "dkml-install" {= version}
14 "dkml-install-runner" {= version}
15 "diskuvbox" {>= "0.1.1"}
16 "crunch" {>= "3.3.1"}
17 "dkml-component-xx-console" {>= "0.1.1"}
18 "odoc" {with-doc}
19]
20available: os = "win32" | os = "linux" | os = "macos"
21build: [
22 ["dune" "subst"] {dev}
23 [
24 "dune"
25 "build"
26 "-p"
27 name
28 "-j"
29 jobs
30 "--promote-install-files=false"
31 "@install"
32 "@runtest" {with-test}
33 "@doc" {with-doc}
34 ]
35 ["dune" "install" "-p" name "--create-install-files" name]
36]
37dev-repo: "git+https://github.com/diskuv/dkml-install-api.git"
38url {
39 src:
40 "https://github.com/diskuv/dkml-install-api/releases/download/0.5.1/src.tar.gz"
41 checksum: [
42 "md5=4636532b5971d7aa058b492448b02908"
43 "sha512=66e28e6c47b3de638601f0002289849d9af6bcbb9a2eb816d1dfe640bf3e5a350ad16b99d88b474b7be2482de480b5dd1fad4dbf87c702ee421bc033a3ca1327"
44 ]
45}