Skip to content

Commit 0a297fc

Browse files
mserimseri
authored
Merge pull request #24852 from jonahbeckford/opam-publish-dkml-install-dkml-install-installer-dkml-install-runner-dkml-package-console.0.5.2
4 packages from diskuv/dkml-install-api at 0.5.2
2 parents fdbde9c + e8686e5 commit 0a297fc

File tree

4 files changed

+185
-0
lines changed
  • packages
    • dkml-install-installer/dkml-install-installer.0.5.2
    • dkml-install-runner/dkml-install-runner.0.5.2
    • dkml-install/dkml-install.0.5.2
    • dkml-package-console/dkml-package-console.0.5.2

4 files changed

+185
-0
lines changed

‎packages/dkml-install-installer/dkml-install-installer.0.5.2/opam‎

Lines changed: 43 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,43 @@
1+
opam-version: "2.0"
2+
synopsis: "Build tools for DkML installers"
3+
description:
4+
"Build-time executables that can generate Dune include files which will compile essential end-user executables."
5+
maintainer: "[email protected]"
6+
authors: "Diskuv, Inc. <[email protected]>"
7+
license: "Apache-2.0"
8+
homepage: "https://github.com/diskuv/dkml-install-api"
9+
bug-reports: "https://github.com/diskuv/dkml-install-api/issues"
10+
depends: [
11+
"dune" {>= "2.9"}
12+
"alcotest" {>= "1.4.0" & with-test}
13+
"dkml-install" {= version}
14+
"dkml-install-runner" {= version}
15+
"crunch" {>= "3.3.1"}
16+
"odoc" {with-doc}
17+
]
18+
available: os = "win32" | os = "linux" | os = "macos"
19+
build: [
20+
["dune" "subst"] {dev}
21+
[
22+
"dune"
23+
"build"
24+
"-p"
25+
name
26+
"-j"
27+
jobs
28+
"--promote-install-files=false"
29+
"@install"
30+
"@runtest" {with-test}
31+
"@doc" {with-doc}
32+
]
33+
["dune" "install" "-p" name "--create-install-files" name]
34+
]
35+
dev-repo: "git+https://github.com/diskuv/dkml-install-api.git"
36+
url {
37+
src:
38+
"https://github.com/diskuv/dkml-install-api/releases/download/0.5.2/dkml-install-0.5.2.tbz"
39+
checksum: [
40+
"md5=5b294da54e4474f8d260c7190fec8c85"
41+
"sha512=33274eafb995b4ba9d1bdb05e63b466e621255155fe5c6df7f368b086e6658634eff07079a51c0501cd1ab6817ba637f3222a00e146b8c360e24b7488ca66b63"
42+
]
43+
}

‎packages/dkml-install-runner/dkml-install-runner.0.5.2/opam‎

Lines changed: 48 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,48 @@
1+
opam-version: "2.0"
2+
synopsis: "Runner executable for DkML installation"
3+
description:
4+
"The runner executable is responsible for loading and running all DkML installation components."
5+
maintainer: "[email protected]"
6+
authors: "Diskuv, Inc. <[email protected]>"
7+
license: "Apache-2.0"
8+
homepage: "https://github.com/diskuv/dkml-install-api"
9+
bug-reports: "https://github.com/diskuv/dkml-install-api/issues"
10+
depends: [
11+
"dune" {>= "2.9"}
12+
"alcotest" {>= "1.4.0" & with-test}
13+
"dkml-install" {= version}
14+
"ppx_expect" {>= "v0.14.1"}
15+
"astring" {>= "0.8.5"}
16+
"bos" {>= "0.2.0"}
17+
"cmdliner" {>= "1.1.1"}
18+
"fmt" {>= "0.8.9"}
19+
"logs" {>= "0.7.0"}
20+
"diskuvbox" {>= "0.1.1"}
21+
"odoc" {with-doc}
22+
]
23+
available: os = "win32" | os = "linux" | os = "macos"
24+
build: [
25+
["dune" "subst"] {dev}
26+
[
27+
"dune"
28+
"build"
29+
"-p"
30+
name
31+
"-j"
32+
jobs
33+
"--promote-install-files=false"
34+
"@install"
35+
"@runtest" {with-test}
36+
"@doc" {with-doc}
37+
]
38+
["dune" "install" "-p" name "--create-install-files" name]
39+
]
40+
dev-repo: "git+https://github.com/diskuv/dkml-install-api.git"
41+
url {
42+
src:
43+
"https://github.com/diskuv/dkml-install-api/releases/download/0.5.2/dkml-install-0.5.2.tbz"
44+
checksum: [
45+
"md5=5b294da54e4474f8d260c7190fec8c85"
46+
"sha512=33274eafb995b4ba9d1bdb05e63b466e621255155fe5c6df7f368b086e6658634eff07079a51c0501cd1ab6817ba637f3222a00e146b8c360e24b7488ca66b63"
47+
]
48+
}

‎packages/dkml-install/dkml-install.0.5.2/opam‎

Lines changed: 49 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,49 @@
1+
opam-version: "2.0"
2+
synopsis: "API and registry for DkML installation components"
3+
description:
4+
"All DkML installation components implement the interfaces exposed in this API."
5+
maintainer: "[email protected]"
6+
authors: "Diskuv, Inc. <[email protected]>"
7+
license: "Apache-2.0"
8+
homepage: "https://github.com/diskuv/dkml-install-api"
9+
bug-reports: "https://github.com/diskuv/dkml-install-api/issues"
10+
depends: [
11+
"dune" {>= "2.9"}
12+
"ocaml" {>= "4.08.0"}
13+
"alcotest" {>= "1.4.0" & with-test}
14+
"ppx_deriving" {>= "5.2.1"}
15+
"result" {>= "1.5"}
16+
"astring" {>= "0.8.5"}
17+
"bos" {>= "0.2.0"}
18+
"cmdliner" {>= "1.1.1"}
19+
"fmt" {>= "0.8.9"}
20+
"tsort" {>= "2.1.0"}
21+
"diskuvbox" {>= "0.1.1" & with-test}
22+
"odoc" {with-doc}
23+
]
24+
available: os = "win32" | os = "linux" | os = "macos"
25+
build: [
26+
["dune" "subst"] {dev}
27+
[
28+
"dune"
29+
"build"
30+
"-p"
31+
name
32+
"-j"
33+
jobs
34+
"--promote-install-files=false"
35+
"@install"
36+
"@runtest" {with-test}
37+
"@doc" {with-doc}
38+
]
39+
["dune" "install" "-p" name "--create-install-files" name]
40+
]
41+
dev-repo: "git+https://github.com/diskuv/dkml-install-api.git"
42+
url {
43+
src:
44+
"https://github.com/diskuv/dkml-install-api/releases/download/0.5.2/dkml-install-0.5.2.tbz"
45+
checksum: [
46+
"md5=5b294da54e4474f8d260c7190fec8c85"
47+
"sha512=33274eafb995b4ba9d1bdb05e63b466e621255155fe5c6df7f368b086e6658634eff07079a51c0501cd1ab6817ba637f3222a00e146b8c360e24b7488ca66b63"
48+
]
49+
}

‎packages/dkml-package-console/dkml-package-console.0.5.2/opam‎

Lines changed: 45 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,45 @@
1+
opam-version: "2.0"
2+
synopsis: "Console setup and uninstall executables for DkML installation"
3+
description:
4+
"The setup and uninstall executables are responsible for launching the DkML runners."
5+
maintainer: "[email protected]"
6+
authors: "Diskuv, Inc. <[email protected]>"
7+
license: "Apache-2.0"
8+
homepage: "https://github.com/diskuv/dkml-install-api"
9+
bug-reports: "https://github.com/diskuv/dkml-install-api/issues"
10+
depends: [
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+
]
20+
available: os = "win32" | os = "linux" | os = "macos"
21+
build: [
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+
]
37+
dev-repo: "git+https://github.com/diskuv/dkml-install-api.git"
38+
url {
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+
}

0 commit comments

Comments
 (0)