Description of changes: This PR allows the Smithy Build Plugin-based SQS TestModel to be built and structured similarly to the Makefile/CLI based models used elsewhere. This enables some Smithy features which are not supported by the CLI, such as Projections.
Instead of running make polymorph_dafny and make polymorph_dotnet, run ./gradlew polymorphDafny and ./gradlew polymorphDotnet to generate types for the respective languages. A Makefile is included, as it is needed to run make transpile_net and make test_net, which work as expected when the above commands are executed.
NOTE: These changes are not tested in CI. That may be done as part of this PR, or later, depending on what reviewers prefer.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
Issue #, if available: https://github.com/smithy-lang/smithy-dafny/issues/356 (related)
Description of changes: This PR allows the Smithy Build Plugin-based SQS TestModel to be built and structured similarly to the Makefile/CLI based models used elsewhere. This enables some Smithy features which are not supported by the CLI, such as Projections.
Instead of running
make polymorph_dafny
andmake polymorph_dotnet
, run./gradlew polymorphDafny
and./gradlew polymorphDotnet
to generate types for the respective languages. A Makefile is included, as it is needed to runmake transpile_net
andmake test_net
, which work as expected when the above commands are executed.NOTE: These changes are not tested in CI. That may be done as part of this PR, or later, depending on what reviewers prefer.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.