this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Build tools for DkML installers"
3description:
4 "Build-time executables that can generate Dune include files which will compile essential end-user executables."
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 "re" {>= "1.7.2"}
16 "crunch" {>= "3.3.1"}
17 "odoc" {with-doc}
18]
19available: os = "win32" | os = "linux" | os = "macos"
20build: [
21 ["dune" "subst"] {dev}
22 [
23 "dune"
24 "build"
25 "-p"
26 name
27 "-j"
28 jobs
29 "--promote-install-files=false"
30 "@install"
31 "@runtest" {with-test}
32 "@doc" {with-doc}
33 ]
34 ["dune" "install" "-p" name "--create-install-files" name]
35]
36dev-repo: "git+https://github.com/diskuv/dkml-install-api.git"
37url {
38 src:
39 "https://github.com/diskuv/dkml-install-api/releases/download/0.5.2/dkml-install-0.5.2.tbz"
40 checksum: [
41 "md5=5b294da54e4474f8d260c7190fec8c85"
42 "sha512=33274eafb995b4ba9d1bdb05e63b466e621255155fe5c6df7f368b086e6658634eff07079a51c0501cd1ab6817ba637f3222a00e146b8c360e24b7488ca66b63"
43 ]
44}