For the benefit of the DB ESDK nightly build, since it defines dafnyRuntimeJavaVersion separately from dafnyVersion.
It also turns out I accidentally dropped handling of the --properties-file path in #390, so this also allows writeTemplatedFile to customize the output path.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
Description of changes:
For the benefit of the DB ESDK nightly build, since it defines
dafnyRuntimeJavaVersion
separately fromdafnyVersion
.It also turns out I accidentally dropped handling of the
--properties-file
path in #390, so this also allowswriteTemplatedFile
to customize the output path.By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.