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.2/dkml-install-0.5.2.tbz"
41 checksum: [
42 "md5=5b294da54e4474f8d260c7190fec8c85"
43 "sha512=33274eafb995b4ba9d1bdb05e63b466e621255155fe5c6df7f368b086e6658634eff07079a51c0501cd1ab6817ba637f3222a00e146b8c360e24b7488ca66b63"
44 ]
45}