Skip to content

Commit 301f047

Browse files
SunrisepeakSunrisepeak
authored
openkal 0.10 and the eight packages that move with it (#300)
A specification revision moves the whole graph or none of it: a version requirement here is exact and does not float up, and `openkal' is the shared dependency of every one of these packages. An implementation left at 0.9.0 while a consumer moves to 0.10.0 does not get its own older contract --- the two are irreconcilable and nothing resolves at all. - openkal 0.10.0 --- five declarations: kal_fs_lock/unlock, kal_process_spawn_bound, kal_task_parallelism, kal_fs_set_modified_at, kal_fs_capacity - openkal-linux 0.9.0, openkal-macos 0.7.0, openkal-windows 0.5.0 --- each implements them - openkal-opensbi 0.4.0, openkal-uefi 0.4.0 --- repins; neither provides an interface any of the five belongs to, so neither has anything to implement - openkal-musl 0.11.0 --- takes them up: real file locks, a bound spawn behind `execve', a real processor count, `statvfs', and a directory's time through the declaration rather than around it. Also three defects a consumer's test suite found, two of which needed no specification change - openkal-llvm-runtime 0.7.0 --- carries 0.11.0 ⚠️ Each version goes into all three platform tables, because a descriptor's platform table describes availability and not applicability --- which implementation applies is decided by a conditional dependency in the consumer. One table and not the others makes a package resolvable from one host and not another, which nobody notices until CI on a different runner goes red. Every sha256 is of the tarball GitHub serves, fetched at the moment the entry was written rather than passed in, and the byte-identical file was uploaded to gitcode and READ BACK AND COMPARED before this was committed --- an entry names one hash for both URLs, so a CN mirror built by repacking the tree would fail verification for every CN user and for nobody else. ⇒ `std-freestanding-alloc-kal` 0.1.3 is NOT here and cannot be: its CI resolves openkal 0.10.0 from the published index artifact, which republishes only when this branch lands. It follows in a second change once this one has.
1 parent 7efcc8d commit 301f047

8 files changed

Lines changed: 168 additions & 0 deletions

‎pkgs/o/openkal-linux.lua‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -19,6 +19,13 @@ package = {
1919

2020
xpm = {
2121
linux = {
22+
["0.9.0"] = {
23+
url = {
24+
GLOBAL = "https://github.com/mcpplibs/openkal-linux/archive/refs/tags/0.9.0.tar.gz",
25+
CN = "https://gitcode.com/mcpp-res/openkal-linux/releases/download/0.9.0/openkal-linux-0.9.0.tar.gz",
26+
},
27+
sha256 = "0a4349cdd036526e163232149b8a9583a02e019c8cfca959aa5acf21f000da7d",
28+
},
2229
["0.7.1"] = {
2330
url = {
2431
GLOBAL = "https://github.com/mcpplibs/openkal-linux/archive/refs/tags/0.7.1.tar.gz",
@@ -77,6 +84,13 @@ package = {
7784
},
7885
},
7986
macosx = {
87+
["0.9.0"] = {
88+
url = {
89+
GLOBAL = "https://github.com/mcpplibs/openkal-linux/archive/refs/tags/0.9.0.tar.gz",
90+
CN = "https://gitcode.com/mcpp-res/openkal-linux/releases/download/0.9.0/openkal-linux-0.9.0.tar.gz",
91+
},
92+
sha256 = "0a4349cdd036526e163232149b8a9583a02e019c8cfca959aa5acf21f000da7d",
93+
},
8094
["0.7.1"] = {
8195
url = {
8296
GLOBAL = "https://github.com/mcpplibs/openkal-linux/archive/refs/tags/0.7.1.tar.gz",
@@ -135,6 +149,13 @@ package = {
135149
},
136150
},
137151
windows = {
152+
["0.9.0"] = {
153+
url = {
154+
GLOBAL = "https://github.com/mcpplibs/openkal-linux/archive/refs/tags/0.9.0.tar.gz",
155+
CN = "https://gitcode.com/mcpp-res/openkal-linux/releases/download/0.9.0/openkal-linux-0.9.0.tar.gz",
156+
},
157+
sha256 = "0a4349cdd036526e163232149b8a9583a02e019c8cfca959aa5acf21f000da7d",
158+
},
138159
["0.7.1"] = {
139160
url = {
140161
GLOBAL = "https://github.com/mcpplibs/openkal-linux/archive/refs/tags/0.7.1.tar.gz",

‎pkgs/o/openkal-llvm-runtime.lua‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -26,6 +26,13 @@ package = {
2626

2727
xpm = {
2828
linux = {
29+
["0.7.0"] = {
30+
url = {
31+
GLOBAL = "https://github.com/mcpplibs/openkal-llvm-runtime/archive/refs/tags/0.7.0.tar.gz",
32+
CN = "https://gitcode.com/mcpp-res/openkal-llvm-runtime/releases/download/0.7.0/openkal-llvm-runtime-0.7.0.tar.gz",
33+
},
34+
sha256 = "dcfebb00cd4ed3f6a8f608a1e5d24d5018f33bcc4dd95f5cdc36b606e1a8dbf7",
35+
},
2936
["0.6.0"] = {
3037
url = {
3138
GLOBAL = "https://github.com/mcpplibs/openkal-llvm-runtime/archive/refs/tags/0.6.0.tar.gz",
@@ -98,6 +105,13 @@ package = {
98105
},
99106
},
100107
macosx = {
108+
["0.7.0"] = {
109+
url = {
110+
GLOBAL = "https://github.com/mcpplibs/openkal-llvm-runtime/archive/refs/tags/0.7.0.tar.gz",
111+
CN = "https://gitcode.com/mcpp-res/openkal-llvm-runtime/releases/download/0.7.0/openkal-llvm-runtime-0.7.0.tar.gz",
112+
},
113+
sha256 = "dcfebb00cd4ed3f6a8f608a1e5d24d5018f33bcc4dd95f5cdc36b606e1a8dbf7",
114+
},
101115
["0.6.0"] = {
102116
url = {
103117
GLOBAL = "https://github.com/mcpplibs/openkal-llvm-runtime/archive/refs/tags/0.6.0.tar.gz",
@@ -170,6 +184,13 @@ package = {
170184
},
171185
},
172186
windows = {
187+
["0.7.0"] = {
188+
url = {
189+
GLOBAL = "https://github.com/mcpplibs/openkal-llvm-runtime/archive/refs/tags/0.7.0.tar.gz",
190+
CN = "https://gitcode.com/mcpp-res/openkal-llvm-runtime/releases/download/0.7.0/openkal-llvm-runtime-0.7.0.tar.gz",
191+
},
192+
sha256 = "dcfebb00cd4ed3f6a8f608a1e5d24d5018f33bcc4dd95f5cdc36b606e1a8dbf7",
193+
},
173194
["0.6.0"] = {
174195
url = {
175196
GLOBAL = "https://github.com/mcpplibs/openkal-llvm-runtime/archive/refs/tags/0.6.0.tar.gz",

‎pkgs/o/openkal-macos.lua‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -19,6 +19,13 @@ package = {
1919

2020
xpm = {
2121
linux = {
22+
["0.7.0"] = {
23+
url = {
24+
GLOBAL = "https://github.com/mcpplibs/openkal-macos/archive/refs/tags/0.7.0.tar.gz",
25+
CN = "https://gitcode.com/mcpp-res/openkal-macos/releases/download/0.7.0/openkal-macos-0.7.0.tar.gz",
26+
},
27+
sha256 = "c724ffe3c8b672c8cb255d0826de693bc8fa22597cd8d3993bb3e657f2ce0055",
28+
},
2229
["0.6.1"] = {
2330
url = {
2431
GLOBAL = "https://github.com/mcpplibs/openkal-macos/archive/refs/tags/0.6.1.tar.gz",
@@ -84,6 +91,13 @@ package = {
8491
},
8592
},
8693
macosx = {
94+
["0.7.0"] = {
95+
url = {
96+
GLOBAL = "https://github.com/mcpplibs/openkal-macos/archive/refs/tags/0.7.0.tar.gz",
97+
CN = "https://gitcode.com/mcpp-res/openkal-macos/releases/download/0.7.0/openkal-macos-0.7.0.tar.gz",
98+
},
99+
sha256 = "c724ffe3c8b672c8cb255d0826de693bc8fa22597cd8d3993bb3e657f2ce0055",
100+
},
87101
["0.6.1"] = {
88102
url = {
89103
GLOBAL = "https://github.com/mcpplibs/openkal-macos/archive/refs/tags/0.6.1.tar.gz",
@@ -149,6 +163,13 @@ package = {
149163
},
150164
},
151165
windows = {
166+
["0.7.0"] = {
167+
url = {
168+
GLOBAL = "https://github.com/mcpplibs/openkal-macos/archive/refs/tags/0.7.0.tar.gz",
169+
CN = "https://gitcode.com/mcpp-res/openkal-macos/releases/download/0.7.0/openkal-macos-0.7.0.tar.gz",
170+
},
171+
sha256 = "c724ffe3c8b672c8cb255d0826de693bc8fa22597cd8d3993bb3e657f2ce0055",
172+
},
152173
["0.6.1"] = {
153174
url = {
154175
GLOBAL = "https://github.com/mcpplibs/openkal-macos/archive/refs/tags/0.6.1.tar.gz",

‎pkgs/o/openkal-musl.lua‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -24,6 +24,13 @@ package = {
2424

2525
xpm = {
2626
linux = {
27+
["0.11.0"] = {
28+
url = {
29+
GLOBAL = "https://github.com/mcpplibs/openkal-musl/archive/refs/tags/0.11.0.tar.gz",
30+
CN = "https://gitcode.com/mcpp-res/openkal-musl/releases/download/0.11.0/openkal-musl-0.11.0.tar.gz",
31+
},
32+
sha256 = "6b9212b047ae9a8995582baf59402bf29b46c3a2ff0a0c39c318a91db3013d4d",
33+
},
2734
["0.10.0"] = {
2835
url = {
2936
GLOBAL = "https://github.com/mcpplibs/openkal-musl/archive/refs/tags/0.10.0.tar.gz",
@@ -117,6 +124,13 @@ package = {
117124
},
118125
},
119126
macosx = {
127+
["0.11.0"] = {
128+
url = {
129+
GLOBAL = "https://github.com/mcpplibs/openkal-musl/archive/refs/tags/0.11.0.tar.gz",
130+
CN = "https://gitcode.com/mcpp-res/openkal-musl/releases/download/0.11.0/openkal-musl-0.11.0.tar.gz",
131+
},
132+
sha256 = "6b9212b047ae9a8995582baf59402bf29b46c3a2ff0a0c39c318a91db3013d4d",
133+
},
120134
["0.10.0"] = {
121135
url = {
122136
GLOBAL = "https://github.com/mcpplibs/openkal-musl/archive/refs/tags/0.10.0.tar.gz",
@@ -210,6 +224,13 @@ package = {
210224
},
211225
},
212226
windows = {
227+
["0.11.0"] = {
228+
url = {
229+
GLOBAL = "https://github.com/mcpplibs/openkal-musl/archive/refs/tags/0.11.0.tar.gz",
230+
CN = "https://gitcode.com/mcpp-res/openkal-musl/releases/download/0.11.0/openkal-musl-0.11.0.tar.gz",
231+
},
232+
sha256 = "6b9212b047ae9a8995582baf59402bf29b46c3a2ff0a0c39c318a91db3013d4d",
233+
},
213234
["0.10.0"] = {
214235
url = {
215236
GLOBAL = "https://github.com/mcpplibs/openkal-musl/archive/refs/tags/0.10.0.tar.gz",

‎pkgs/o/openkal-opensbi.lua‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -20,6 +20,13 @@ package = {
2020

2121
xpm = {
2222
linux = {
23+
["0.4.0"] = {
24+
url = {
25+
GLOBAL = "https://github.com/mcpplibs/openkal-opensbi/archive/refs/tags/0.4.0.tar.gz",
26+
CN = "https://gitcode.com/mcpp-res/openkal-opensbi/releases/download/0.4.0/openkal-opensbi-0.4.0.tar.gz",
27+
},
28+
sha256 = "33df37a734340d6b17660f69e4e07d0c9c23b1175e08031b4a840f3702ec371f",
29+
},
2330
["0.3.0"] = {
2431
url = {
2532
GLOBAL = "https://github.com/mcpplibs/openkal-opensbi/archive/refs/tags/0.3.0.tar.gz",
@@ -71,6 +78,13 @@ package = {
7178
},
7279
},
7380
macosx = {
81+
["0.4.0"] = {
82+
url = {
83+
GLOBAL = "https://github.com/mcpplibs/openkal-opensbi/archive/refs/tags/0.4.0.tar.gz",
84+
CN = "https://gitcode.com/mcpp-res/openkal-opensbi/releases/download/0.4.0/openkal-opensbi-0.4.0.tar.gz",
85+
},
86+
sha256 = "33df37a734340d6b17660f69e4e07d0c9c23b1175e08031b4a840f3702ec371f",
87+
},
7488
["0.3.0"] = {
7589
url = {
7690
GLOBAL = "https://github.com/mcpplibs/openkal-opensbi/archive/refs/tags/0.3.0.tar.gz",
@@ -122,6 +136,13 @@ package = {
122136
},
123137
},
124138
windows = {
139+
["0.4.0"] = {
140+
url = {
141+
GLOBAL = "https://github.com/mcpplibs/openkal-opensbi/archive/refs/tags/0.4.0.tar.gz",
142+
CN = "https://gitcode.com/mcpp-res/openkal-opensbi/releases/download/0.4.0/openkal-opensbi-0.4.0.tar.gz",
143+
},
144+
sha256 = "33df37a734340d6b17660f69e4e07d0c9c23b1175e08031b4a840f3702ec371f",
145+
},
125146
["0.3.0"] = {
126147
url = {
127148
GLOBAL = "https://github.com/mcpplibs/openkal-opensbi/archive/refs/tags/0.3.0.tar.gz",

‎pkgs/o/openkal-uefi.lua‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -20,6 +20,13 @@ package = {
2020

2121
xpm = {
2222
linux = {
23+
["0.4.0"] = {
24+
url = {
25+
GLOBAL = "https://github.com/mcpplibs/openkal-uefi/archive/refs/tags/0.4.0.tar.gz",
26+
CN = "https://gitcode.com/mcpp-res/openkal-uefi/releases/download/0.4.0/openkal-uefi-0.4.0.tar.gz",
27+
},
28+
sha256 = "551282ee0135fe9439aa4c782ceb62f919437766bc287aa7098b0d9d58d9b042",
29+
},
2330
["0.3.0"] = {
2431
url = {
2532
GLOBAL = "https://github.com/mcpplibs/openkal-uefi/archive/refs/tags/0.3.0.tar.gz",
@@ -64,6 +71,13 @@ package = {
6471
},
6572
},
6673
macosx = {
74+
["0.4.0"] = {
75+
url = {
76+
GLOBAL = "https://github.com/mcpplibs/openkal-uefi/archive/refs/tags/0.4.0.tar.gz",
77+
CN = "https://gitcode.com/mcpp-res/openkal-uefi/releases/download/0.4.0/openkal-uefi-0.4.0.tar.gz",
78+
},
79+
sha256 = "551282ee0135fe9439aa4c782ceb62f919437766bc287aa7098b0d9d58d9b042",
80+
},
6781
["0.3.0"] = {
6882
url = {
6983
GLOBAL = "https://github.com/mcpplibs/openkal-uefi/archive/refs/tags/0.3.0.tar.gz",
@@ -108,6 +122,13 @@ package = {
108122
},
109123
},
110124
windows = {
125+
["0.4.0"] = {
126+
url = {
127+
GLOBAL = "https://github.com/mcpplibs/openkal-uefi/archive/refs/tags/0.4.0.tar.gz",
128+
CN = "https://gitcode.com/mcpp-res/openkal-uefi/releases/download/0.4.0/openkal-uefi-0.4.0.tar.gz",
129+
},
130+
sha256 = "551282ee0135fe9439aa4c782ceb62f919437766bc287aa7098b0d9d58d9b042",
131+
},
111132
["0.3.0"] = {
112133
url = {
113134
GLOBAL = "https://github.com/mcpplibs/openkal-uefi/archive/refs/tags/0.3.0.tar.gz",

‎pkgs/o/openkal-windows.lua‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -21,6 +21,13 @@ package = {
2121

2222
xpm = {
2323
linux = {
24+
["0.5.0"] = {
25+
url = {
26+
GLOBAL = "https://github.com/mcpplibs/openkal-windows/archive/refs/tags/0.5.0.tar.gz",
27+
CN = "https://gitcode.com/mcpp-res/openkal-windows/releases/download/0.5.0/openkal-windows-0.5.0.tar.gz",
28+
},
29+
sha256 = "6bbb6d3ed5a82d847a4b24b90ff1e2e34277560dbadffff67829312b0f47ddb9",
30+
},
2431
["0.4.0"] = {
2532
url = {
2633
GLOBAL = "https://github.com/mcpplibs/openkal-windows/archive/refs/tags/0.4.0.tar.gz",
@@ -79,6 +86,13 @@ package = {
7986
},
8087
},
8188
macosx = {
89+
["0.5.0"] = {
90+
url = {
91+
GLOBAL = "https://github.com/mcpplibs/openkal-windows/archive/refs/tags/0.5.0.tar.gz",
92+
CN = "https://gitcode.com/mcpp-res/openkal-windows/releases/download/0.5.0/openkal-windows-0.5.0.tar.gz",
93+
},
94+
sha256 = "6bbb6d3ed5a82d847a4b24b90ff1e2e34277560dbadffff67829312b0f47ddb9",
95+
},
8296
["0.4.0"] = {
8397
url = {
8498
GLOBAL = "https://github.com/mcpplibs/openkal-windows/archive/refs/tags/0.4.0.tar.gz",
@@ -137,6 +151,13 @@ package = {
137151
},
138152
},
139153
windows = {
154+
["0.5.0"] = {
155+
url = {
156+
GLOBAL = "https://github.com/mcpplibs/openkal-windows/archive/refs/tags/0.5.0.tar.gz",
157+
CN = "https://gitcode.com/mcpp-res/openkal-windows/releases/download/0.5.0/openkal-windows-0.5.0.tar.gz",
158+
},
159+
sha256 = "6bbb6d3ed5a82d847a4b24b90ff1e2e34277560dbadffff67829312b0f47ddb9",
160+
},
140161
["0.4.0"] = {
141162
url = {
142163
GLOBAL = "https://github.com/mcpplibs/openkal-windows/archive/refs/tags/0.4.0.tar.gz",

‎pkgs/o/openkal.lua‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -22,6 +22,13 @@ package = {
2222

2323
xpm = {
2424
linux = {
25+
["0.10.0"] = {
26+
url = {
27+
GLOBAL = "https://github.com/mcpplibs/openkal/archive/refs/tags/0.10.0.tar.gz",
28+
CN = "https://gitcode.com/mcpp-res/openkal/releases/download/0.10.0/openkal-0.10.0.tar.gz",
29+
},
30+
sha256 = "0909022b5fc7dc9c58d2ad56c0d96007a108cb0d0e925ffd42b6b237c8c5c8dc",
31+
},
2532
["0.9.0"] = {
2633
url = {
2734
GLOBAL = "https://github.com/mcpplibs/openkal/archive/refs/tags/0.9.0.tar.gz",
@@ -73,6 +80,13 @@ package = {
7380
},
7481
},
7582
macosx = {
83+
["0.10.0"] = {
84+
url = {
85+
GLOBAL = "https://github.com/mcpplibs/openkal/archive/refs/tags/0.10.0.tar.gz",
86+
CN = "https://gitcode.com/mcpp-res/openkal/releases/download/0.10.0/openkal-0.10.0.tar.gz",
87+
},
88+
sha256 = "0909022b5fc7dc9c58d2ad56c0d96007a108cb0d0e925ffd42b6b237c8c5c8dc",
89+
},
7690
["0.9.0"] = {
7791
url = {
7892
GLOBAL = "https://github.com/mcpplibs/openkal/archive/refs/tags/0.9.0.tar.gz",
@@ -124,6 +138,13 @@ package = {
124138
},
125139
},
126140
windows = {
141+
["0.10.0"] = {
142+
url = {
143+
GLOBAL = "https://github.com/mcpplibs/openkal/archive/refs/tags/0.10.0.tar.gz",
144+
CN = "https://gitcode.com/mcpp-res/openkal/releases/download/0.10.0/openkal-0.10.0.tar.gz",
145+
},
146+
sha256 = "0909022b5fc7dc9c58d2ad56c0d96007a108cb0d0e925ffd42b6b237c8c5c8dc",
147+
},
127148
["0.9.0"] = {
128149
url = {
129150
GLOBAL = "https://github.com/mcpplibs/openkal/archive/refs/tags/0.9.0.tar.gz",

0 commit comments

Comments
 (0)