in src/Aspire.Hosting.AWS/CDK/CDKExtensions.cs [23:46]
public static IResourceBuilder<IStackResource> AddAWSCDKStack(this IDistributedApplicationBuilder builder, [ResourceName] string name)
=> AddAWSCDKStack(builder, name, name);
/// <summary>
/// Adds an AWS CDK stack as resource.
/// </summary>
/// <param name="builder">The <see cref="IDistributedApplicationBuilder"/>.</param>
/// <param name="name">The name of the stack resource.</param>
/// <param name="stackName">Cloud Formation stack same if different from the resource name.</param>
/// <returns></returns>
public static IResourceBuilder<IStackResource> AddAWSCDKStack(this IDistributedApplicationBuilder builder, [ResourceName] string name,
string stackName)
{
builder.AddAWSProvisioning();
var resource = new StackResource(name, new Stack(ResolveCDKApp(builder), stackName));
return builder
.AddResource(resource)
.WithInitialState(new()
{
Properties = [],
ResourceType = GetResourceType<Stack>(resource),
})
.WithManifestPublishingCallback(resource.WriteToManifest);
}