Closed robin-aws closed 4 months ago
See https://github.com/smithy-lang/smithy-dafny/pull/325. This PR copies the contents of SmithyDafnyMakefile.mk over top of TestModels/SharedMakefile.mk, to show what changes as the former is adopted.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
See https://github.com/smithy-lang/smithy-dafny/pull/325. This PR copies the contents of SmithyDafnyMakefile.mk over top of TestModels/SharedMakefile.mk, to show what changes as the former is adopted.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.