| 19 |
19 |
boogie.provers.smtlib@2.16.8
|
| 20 |
20 |
boogie.vcexpr@2.16.8
|
| 21 |
21 |
boogie.vcgeneration@2.16.8
|
|
22 |
castle.core@4.4.0
|
| 22 |
23 |
commandlineparser@2.8.0
|
| 23 |
24 |
commandlineparser@2.9.1
|
| 24 |
25 |
coverlet.collector@3.2.0
|
| 25 |
26 |
diffplex@1.7.0
|
|
27 |
humanizer.core@2.2.0
|
| 26 |
28 |
jetbrains.annotations@2021.1.0
|
| 27 |
29 |
mediatr@8.1.0
|
| 28 |
30 |
microsoft.bcl.asyncinterfaces@1.1.1
|
|
31 |
microsoft.bcl.asyncinterfaces@5.0.0
|
| 29 |
32 |
microsoft.bcl.asyncinterfaces@6.0.0
|
|
33 |
microsoft.build.framework@17.0.0
|
|
34 |
microsoft.build.locator@1.4.1
|
|
35 |
microsoft.build.tasks.core@17.0.0
|
|
36 |
microsoft.build.utilities.core@17.0.0
|
|
37 |
microsoft.build@17.0.0
|
| 30 |
38 |
microsoft.codeanalysis.analyzers@3.0.0
|
|
39 |
microsoft.codeanalysis.analyzers@3.3.2
|
| 31 |
40 |
microsoft.codeanalysis.common@3.7.0
|
|
41 |
microsoft.codeanalysis.common@4.0.1
|
|
42 |
microsoft.codeanalysis.csharp.workspaces@4.0.1
|
| 32 |
43 |
microsoft.codeanalysis.csharp@3.7.0
|
|
44 |
microsoft.codeanalysis.csharp@4.0.1
|
|
45 |
microsoft.codeanalysis.visualbasic.workspaces@4.0.1
|
|
46 |
microsoft.codeanalysis.visualbasic@4.0.1
|
|
47 |
microsoft.codeanalysis.workspaces.common@4.0.1
|
|
48 |
microsoft.codeanalysis.workspaces.msbuild@4.0.1
|
|
49 |
microsoft.codeanalysis@4.0.1
|
|
50 |
microsoft.codecoverage@16.11.0
|
| 33 |
51 |
microsoft.codecoverage@16.9.4
|
|
52 |
microsoft.codecoverage@17.1.0
|
| 34 |
53 |
microsoft.csharp@4.0.1
|
| 35 |
54 |
microsoft.dotnet.platformabstractions@2.0.4
|
| 36 |
55 |
microsoft.extensions.configuration.abstractions@2.0.0
|
| 37 |
56 |
microsoft.extensions.configuration.abstractions@5.0.0
|
| 38 |
57 |
microsoft.extensions.configuration.binder@2.0.0
|
|
58 |
microsoft.extensions.configuration.binder@5.0.0
|
| 39 |
59 |
microsoft.extensions.configuration.commandline@5.0.0
|
| 40 |
60 |
microsoft.extensions.configuration.fileextensions@5.0.0
|
| 41 |
61 |
microsoft.extensions.configuration.json@5.0.0
|
| ... | ... | |
| 49 |
69 |
microsoft.extensions.fileproviders.abstractions@5.0.0
|
| 50 |
70 |
microsoft.extensions.fileproviders.physical@5.0.0
|
| 51 |
71 |
microsoft.extensions.filesystemglobbing@5.0.0
|
|
72 |
microsoft.extensions.logging.abstractions@2.0.0
|
| 52 |
73 |
microsoft.extensions.logging.abstractions@5.0.0
|
|
74 |
microsoft.extensions.logging.configuration@5.0.0
|
|
75 |
microsoft.extensions.logging.console@5.0.0
|
|
76 |
microsoft.extensions.logging@2.0.0
|
| 53 |
77 |
microsoft.extensions.logging@5.0.0
|
| 54 |
78 |
microsoft.extensions.options.configurationextensions@2.0.0
|
|
79 |
microsoft.extensions.options.configurationextensions@5.0.0
|
| 55 |
80 |
microsoft.extensions.options@2.0.0
|
| 56 |
81 |
microsoft.extensions.options@5.0.0
|
| 57 |
82 |
microsoft.extensions.primitives@2.0.0
|
| 58 |
83 |
microsoft.extensions.primitives@5.0.0
|
|
84 |
microsoft.net.stringtools@1.0.0
|
|
85 |
microsoft.net.test.sdk@16.11.0
|
| 59 |
86 |
microsoft.net.test.sdk@16.9.4
|
|
87 |
microsoft.net.test.sdk@17.1.0
|
| 60 |
88 |
microsoft.netcore.platforms@1.0.1
|
| 61 |
89 |
microsoft.netcore.platforms@1.1.0
|
| 62 |
90 |
microsoft.netcore.platforms@2.1.2
|
| 63 |
91 |
microsoft.netcore.platforms@3.0.0
|
|
92 |
microsoft.netcore.platforms@3.1.0
|
| 64 |
93 |
microsoft.netcore.targets@1.0.1
|
| 65 |
94 |
microsoft.netcore.targets@1.1.0
|
| 66 |
95 |
microsoft.netframework.referenceassemblies.net452@1.0.2
|
| ... | ... | |
| 69 |
98 |
microsoft.testplatform.objectmodel@16.11.0
|
| 70 |
99 |
microsoft.testplatform.objectmodel@16.9.4
|
| 71 |
100 |
microsoft.testplatform.objectmodel@17.0.0
|
|
101 |
microsoft.testplatform.objectmodel@17.1.0
|
| 72 |
102 |
microsoft.testplatform.testhost@16.11.0
|
| 73 |
103 |
microsoft.testplatform.testhost@16.9.4
|
|
104 |
microsoft.testplatform.testhost@17.1.0
|
| 74 |
105 |
microsoft.visualstudio.threading.analyzers@16.7.56
|
| 75 |
106 |
microsoft.visualstudio.threading@16.7.56
|
| 76 |
107 |
microsoft.visualstudio.validation@15.5.31
|
| 77 |
108 |
microsoft.win32.primitives@4.3.0
|
|
109 |
microsoft.win32.registry@4.3.0
|
| 78 |
110 |
microsoft.win32.registry@4.6.0
|
|
111 |
microsoft.win32.systemevents@4.7.0
|
| 79 |
112 |
microsoft.win32.systemevents@6.0.0
|
|
113 |
moq@4.16.1
|
| 80 |
114 |
nerdbank.streams@2.6.81
|
| 81 |
115 |
netstandard.library@1.6.1
|
| 82 |
116 |
netstandard.library@2.0.3
|
|
117 |
newtonsoft.json@11.0.2
|
| 83 |
118 |
newtonsoft.json@13.0.1
|
| 84 |
119 |
newtonsoft.json@9.0.1
|
| 85 |
120 |
nuget.frameworks@5.0.0
|
|
121 |
nuget.frameworks@5.11.0
|
| 86 |
122 |
omnisharp.extensions.jsonrpc.generators@0.19.5
|
|
123 |
omnisharp.extensions.jsonrpc.testing@0.19.5
|
| 87 |
124 |
omnisharp.extensions.jsonrpc@0.19.5
|
|
125 |
omnisharp.extensions.languageclient@0.19.5
|
|
126 |
omnisharp.extensions.languageprotocol.testing@0.19.5
|
| 88 |
127 |
omnisharp.extensions.languageprotocol@0.19.5
|
| 89 |
128 |
omnisharp.extensions.languageserver.shared@0.19.5
|
| 90 |
129 |
omnisharp.extensions.languageserver@0.19.5
|
| ... | ... | |
| 135 |
174 |
serilog.settings.configuration@3.1.0
|
| 136 |
175 |
serilog.sinks.debug@2.0.0
|
| 137 |
176 |
serilog.sinks.file@5.0.0
|
|
177 |
serilog.sinks.inmemory@0.11.0
|
| 138 |
178 |
serilog@2.10.0
|
|
179 |
serilog@2.12.0
|
| 139 |
180 |
system.appcontext@4.1.0
|
| 140 |
181 |
system.appcontext@4.3.0
|
| 141 |
182 |
system.buffers@4.3.0
|
| 142 |
183 |
system.buffers@4.4.0
|
|
184 |
system.codedom@4.4.0
|
| 143 |
185 |
system.collections.concurrent@4.3.0
|
|
186 |
system.collections.immutable@1.5.0
|
| 144 |
187 |
system.collections.immutable@1.7.0
|
| 145 |
188 |
system.collections.immutable@1.7.1
|
|
189 |
system.collections.immutable@5.0.0
|
| 146 |
190 |
system.collections.nongeneric@4.0.1
|
|
191 |
system.collections.nongeneric@4.3.0
|
| 147 |
192 |
system.collections.specialized@4.0.1
|
|
193 |
system.collections.specialized@4.3.0
|
| 148 |
194 |
system.collections@4.0.11
|
| 149 |
195 |
system.collections@4.3.0
|
| 150 |
196 |
system.commandline@2.0.0-beta4.22272.1
|
|
197 |
system.componentmodel.primitives@4.3.0
|
|
198 |
system.componentmodel.typeconverter@4.3.0
|
|
199 |
system.componentmodel@4.3.0
|
|
200 |
system.composition.attributedmodel@1.0.31
|
|
201 |
system.composition.convention@1.0.31
|
|
202 |
system.composition.hosting@1.0.31
|
|
203 |
system.composition.runtime@1.0.31
|
|
204 |
system.composition.typedparts@1.0.31
|
|
205 |
system.composition@1.0.31
|
|
206 |
system.configuration.configurationmanager@4.7.0
|
| 151 |
207 |
system.configuration.configurationmanager@6.0.0
|
| 152 |
208 |
system.console@4.3.0
|
| 153 |
209 |
system.diagnostics.debug@4.0.11
|
| ... | ... | |
| 155 |
211 |
system.diagnostics.diagnosticsource@4.3.0
|
| 156 |
212 |
system.diagnostics.tools@4.0.1
|
| 157 |
213 |
system.diagnostics.tools@4.3.0
|
|
214 |
system.diagnostics.tracesource@4.3.0
|
| 158 |
215 |
system.diagnostics.tracing@4.3.0
|
|
216 |
system.drawing.common@4.7.0
|
| 159 |
217 |
system.drawing.common@6.0.0
|
| 160 |
218 |
system.dynamic.runtime@4.0.11
|
|
219 |
system.dynamic.runtime@4.3.0
|
| 161 |
220 |
system.globalization.calendars@4.3.0
|
| 162 |
221 |
system.globalization.extensions@4.0.1
|
| 163 |
222 |
system.globalization.extensions@4.3.0
|
| ... | ... | |
| 170 |
229 |
system.io.filesystem@4.0.1
|
| 171 |
230 |
system.io.filesystem@4.3.0
|
| 172 |
231 |
system.io.pipelines@4.7.3
|
|
232 |
system.io.pipelines@5.0.1
|
| 173 |
233 |
system.io@4.1.0
|
| 174 |
234 |
system.io@4.3.0
|
| 175 |
235 |
system.linq.async@6.0.1
|
| ... | ... | |
| 198 |
258 |
system.reflection.extensions@4.0.1
|
| 199 |
259 |
system.reflection.extensions@4.3.0
|
| 200 |
260 |
system.reflection.metadata@1.6.0
|
|
261 |
system.reflection.metadata@5.0.0
|
| 201 |
262 |
system.reflection.primitives@4.0.1
|
| 202 |
263 |
system.reflection.primitives@4.3.0
|
| 203 |
264 |
system.reflection.typeextensions@4.1.0
|
| 204 |
265 |
system.reflection.typeextensions@4.3.0
|
| 205 |
266 |
system.reflection@4.1.0
|
| 206 |
267 |
system.reflection@4.3.0
|
|
268 |
system.resources.extensions@4.6.0
|
| 207 |
269 |
system.resources.resourcemanager@4.0.1
|
| 208 |
270 |
system.resources.resourcemanager@4.3.0
|
| 209 |
271 |
system.runtime.caching@6.0.0
|
| ... | ... | |
| 211 |
273 |
system.runtime.compilerservices.unsafe@4.5.2
|
| 212 |
274 |
system.runtime.compilerservices.unsafe@4.7.0
|
| 213 |
275 |
system.runtime.compilerservices.unsafe@4.7.1
|
|
276 |
system.runtime.compilerservices.unsafe@5.0.0
|
| 214 |
277 |
system.runtime.extensions@4.1.0
|
| 215 |
278 |
system.runtime.extensions@4.3.0
|
| 216 |
279 |
system.runtime.handles@4.0.1
|
| ... | ... | |
| 224 |
287 |
system.runtime@4.1.0
|
| 225 |
288 |
system.runtime@4.3.0
|
| 226 |
289 |
system.security.accesscontrol@4.6.0
|
|
290 |
system.security.accesscontrol@4.7.0
|
| 227 |
291 |
system.security.accesscontrol@6.0.0
|
| 228 |
292 |
system.security.claims@4.3.0
|
| 229 |
293 |
system.security.cryptography.algorithms@4.3.0
|
| 230 |
294 |
system.security.cryptography.cng@4.3.0
|
|
295 |
system.security.cryptography.cng@4.7.0
|
| 231 |
296 |
system.security.cryptography.csp@4.3.0
|
| 232 |
297 |
system.security.cryptography.encoding@4.3.0
|
| 233 |
298 |
system.security.cryptography.openssl@4.3.0
|
|
299 |
system.security.cryptography.pkcs@4.7.0
|
| 234 |
300 |
system.security.cryptography.primitives@4.3.0
|
|
301 |
system.security.cryptography.protecteddata@4.7.0
|
| 235 |
302 |
system.security.cryptography.protecteddata@6.0.0
|
| 236 |
303 |
system.security.cryptography.x509certificates@4.3.0
|
|
304 |
system.security.cryptography.xml@4.7.0
|
|
305 |
system.security.permissions@4.7.0
|
| 237 |
306 |
system.security.permissions@6.0.0
|
| 238 |
307 |
system.security.principal.windows@4.3.0
|
| 239 |
308 |
system.security.principal.windows@4.6.0
|
|
309 |
system.security.principal.windows@4.7.0
|
| 240 |
310 |
system.security.principal@4.3.0
|
|
311 |
system.text.encoding.codepages@4.0.1
|
| 241 |
312 |
system.text.encoding.codepages@4.5.1
|
| 242 |
313 |
system.text.encoding.extensions@4.0.11
|
| 243 |
314 |
system.text.encoding.extensions@4.3.0
|
| 244 |
315 |
system.text.encoding@4.0.11
|
| 245 |
316 |
system.text.encoding@4.3.0
|
|
317 |
system.text.json@4.7.0
|
|
318 |
system.text.json@5.0.2
|
| 246 |
319 |
system.text.regularexpressions@4.1.0
|
| 247 |
320 |
system.text.regularexpressions@4.3.0
|
| 248 |
321 |
system.threading.channels@4.7.1
|
|
322 |
system.threading.tasks.dataflow@4.9.0
|
| 249 |
323 |
system.threading.tasks.extensions@4.0.0
|
| 250 |
324 |
system.threading.tasks.extensions@4.3.0
|
| 251 |
325 |
system.threading.tasks.extensions@4.5.3
|
|
326 |
system.threading.tasks.extensions@4.5.4
|
| 252 |
327 |
system.threading.tasks@4.0.11
|
| 253 |
328 |
system.threading.tasks@4.3.0
|
| 254 |
329 |
system.threading.threadpool@4.3.0
|
| 255 |
330 |
system.threading.timer@4.3.0
|
| 256 |
331 |
system.threading@4.0.11
|
| 257 |
332 |
system.threading@4.3.0
|
|
333 |
system.windows.extensions@4.7.0
|
| 258 |
334 |
system.windows.extensions@6.0.0
|
| 259 |
335 |
system.xml.readerwriter@4.0.11
|
| 260 |
336 |
system.xml.readerwriter@4.3.0
|
| 261 |
337 |
system.xml.xdocument@4.0.11
|
| 262 |
338 |
system.xml.xdocument@4.3.0
|
|
339 |
system.xml.xmldocument@4.3.0
|
| 263 |
340 |
tomlyn@0.16.2
|
| 264 |
341 |
validation@2.4.18
|
| 265 |
342 |
xunit.abstractions@2.0.2
|
| 266 |
343 |
xunit.abstractions@2.0.3
|
|
344 |
xunit.analyzers@0.10.0
|
| 267 |
345 |
xunit.analyzers@1.0.0
|
|
346 |
xunit.assert@2.4.1
|
| 268 |
347 |
xunit.assert@2.4.2
|
|
348 |
xunit.assertmessages@2.4.0
|
|
349 |
xunit.core@2.4.1
|
| 269 |
350 |
xunit.core@2.4.2
|
| 270 |
351 |
xunit.extensibility.core@2.4.0
|
|
352 |
xunit.extensibility.core@2.4.1
|
| 271 |
353 |
xunit.extensibility.core@2.4.2
|
| 272 |
354 |
xunit.extensibility.execution@2.4.0
|
|
355 |
xunit.extensibility.execution@2.4.1
|
| 273 |
356 |
xunit.extensibility.execution@2.4.2
|
| 274 |
357 |
xunit.runner.visualstudio@2.4.3
|
|
358 |
xunit.runner.visualstudio@2.5.1
|
| 275 |
359 |
xunit.skippablefact@1.4.8
|
|
360 |
xunit@2.4.1
|
| 276 |
361 |
xunit@2.4.2
|
| 277 |
362 |
"
|
| 278 |
363 |
|
| ... | ... | |
| 440 |
525 |
-i "${lit_config}" || die "failed to update ${lit_config}"
|
| 441 |
526 |
sed "/^dafnyExecutable/s|=.*|= '${dotnet_exec}/Dafny.dll '|" \
|
| 442 |
527 |
-i "${lit_config}" || die "failed to update ${lit_config}"
|
| 443 |
|
sed "/^testDafnyExecutable/s|=.*|= '${dotnet_exec}/TestDafny.dll for-each-compiler '|" \
|
|
528 |
sed "/^testDafnyExecutableCompiler/s|=.*|= '${dotnet_exec}/TestDafny.dll for-each-compiler '|" \
|
|
529 |
-i "${lit_config}" || die "failed to update ${lit_config}"
|
|
530 |
sed "/^testDafnyExecutableResolver/s|=.*|= '${dotnet_exec}/TestDafny.dll for-each-resolver '|" \
|
| 444 |
531 |
-i "${lit_config}" || die "failed to update ${lit_config}"
|
| 445 |
532 |
sed "/^defaultServerExecutable/s|=.*|= '${dotnet_exec}/DafnyServer.dll'|" \
|
| 446 |
533 |
-i "${lit_config}" || die "failed to update ${lit_config}"
|
| ... | ... | |
| 452 |
539 |
}
|
| 453 |
540 |
|
| 454 |
541 |
src_compile () {
|
|
542 |
# In 4.3.0 the DafnyRuntime JAR has mismatched version, by mistake?
|
|
543 |
|
| 455 |
544 |
einfo "Building dependency-less DafnyRuntime JAR."
|
| 456 |
545 |
local dafny_runtime_java="${S}/Source/DafnyRuntime/DafnyRuntimeJava/"
|
| 457 |
546 |
mkdir -p "${dafny_runtime_java}/build/libs/" || die
|
| 458 |
547 |
pushd "${dafny_runtime_java}/build" || die
|
| 459 |
548 |
ejavac -d ./ "${dafny_runtime_java}/src/main/java/dafny"/*.java
|
| 460 |
|
edo jar cvf "DafnyRuntime-${PV}.jar" dafny/*
|
| 461 |
|
cp "DafnyRuntime-${PV}.jar" "${dafny_runtime_java}/build/libs/" || die
|
|
549 |
edo jar cvf "DafnyRuntime-4.2.0.jar" dafny/*
|
|
550 |
cp "DafnyRuntime-4.2.0.jar" "${dafny_runtime_java}/build/libs/" || die
|
| 462 |
551 |
popd || die
|
| 463 |
552 |
|
| 464 |
553 |
# Build main dotnet package.
|
| ... | ... | |
| 472 |
561 |
|
| 473 |
562 |
einfo "Installing bignumber.js package required for tests using NodeJS."
|
| 474 |
563 |
local -a npm_opts
|
| 475 |
|
local npm_opts=(
|
|
564 |
npm_opts=(
|
| 476 |
565 |
--audit false
|
| 477 |
566 |
--color false
|
| 478 |
567 |
--foreground-scripts
|
