update local makefile

aws · Aug 15, 2024 · 22973de · 22973de
1 parent bff046c
commit 22973de
Show file tree

Hide file tree

Showing 11 changed files with 16 additions and 6 deletions.
diff --git a/AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj b/AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj
@@ -56,7 +56,7 @@
   </PropertyGroup>
 
     <ItemGroup>
-        <PackageReference Include="DafnyRuntime" Version="$(DafnyVersion)" />
+        <PackageReference Include="DafnyRuntime" Version="[4.2.0,$(DafnyVersion)]" />
         <PackageReference Include="BouncyCastle.Cryptography" Version="2.3.1" />
         <ProjectReference Include="../../../AwsCryptographyPrimitives/runtimes/net/Crypto.csproj" />
         <ProjectReference Include="../../../ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj" />

diff --git a/AwsCryptographyPrimitives/Makefile b/AwsCryptographyPrimitives/Makefile
@@ -13,3 +13,4 @@ MAX_RESOURCE_COUNT=10000000
 
 STD_LIBRARY=StandardLibrary
 SMITHY_DEPS=model
+
diff --git a/AwsCryptographyPrimitives/runtimes/net/Crypto.csproj b/AwsCryptographyPrimitives/runtimes/net/Crypto.csproj
@@ -58,7 +58,7 @@
 
   <ItemGroup>
     <PackageReference Include="AWSSDK.Core" Version="3.7.304.2" />
-    <PackageReference Include="DafnyRuntime" Version="$(DafnyVersion)" />
+    <PackageReference Include="DafnyRuntime" Version="[4.2.0,$(DafnyVersion)]" />
     <PackageReference Include="BouncyCastle.Cryptography" Version="2.3.1" />
     <ProjectReference Include="../../../StandardLibrary/runtimes/net/STD.csproj" />
 

diff --git a/ComAmazonawsDynamodb/Makefile b/ComAmazonawsDynamodb/Makefile
@@ -13,3 +13,4 @@ MAX_RESOURCE_COUNT=10000000
 AWS_SDK_CMD := --aws-sdk
 STD_LIBRARY=StandardLibrary
 SMITHY_DEPS=model
+
diff --git a/ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj b/ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj
@@ -57,7 +57,7 @@
 
 
   <ItemGroup>
-    <PackageReference Include="DafnyRuntime" Version="$(DafnyVersion)" />
+    <PackageReference Include="DafnyRuntime" Version="[4.2.0,$(DafnyVersion)]" />
     <PackageReference Include="AWSSDK.Core" Version="3.7.304.16" />
     <PackageReference Include="AWSSDK.DynamoDBv2" Version="3.7.300.2" />
     <ProjectReference Include="../../../StandardLibrary/runtimes/net/STD.csproj" />

diff --git a/ComAmazonawsKms/Makefile b/ComAmazonawsKms/Makefile
@@ -13,3 +13,4 @@ MAX_RESOURCE_COUNT=10000000
 AWS_SDK_CMD := --aws-sdk
 STD_LIBRARY=StandardLibrary
 SMITHY_DEPS=model
+
diff --git a/ComAmazonawsKms/runtimes/net/AWS-KMS.csproj b/ComAmazonawsKms/runtimes/net/AWS-KMS.csproj
@@ -57,7 +57,7 @@
 
 
   <ItemGroup>
-    <PackageReference Include="DafnyRuntime" Version="$(DafnyVersion)" />
+    <PackageReference Include="DafnyRuntime" Version="[4.2.0,$(DafnyVersion)]" />
     <PackageReference Include="AWSSDK.Core" Version="3.7.304.16" />
     <PackageReference Include="AWSSDK.KeyManagementService" Version="3.7.304" />
     <ProjectReference Include="../../../StandardLibrary/runtimes/net/STD.csproj" />

diff --git a/SharedMakefileV2.mk b/SharedMakefileV2.mk
@@ -11,3 +11,9 @@ GRADLEW := ./runtimes/java/gradlew
 
 include $(SMITHY_DAFNY_ROOT)/SmithyDafnyMakefile.mk
 
+transpile_implementation_net: DAFNY_OPTIONS=-legacyModuleNames:1
+transpile_test_net: DAFNY_OPTIONS=-legacyModuleNames:1
+
+transpile_implementation_java: DAFNY_OPTIONS=-legacyDataConstructors:1 \ -legacyModuleNames:1
+transpile_test_java: DAFNY_OPTIONS=-legacyDataConstructors:1 \ -legacyModuleNames:1
+
diff --git a/StandardLibrary/Makefile b/StandardLibrary/Makefile
@@ -16,3 +16,4 @@ LIBRARIES :=
 transpile_implementation: STD_LIBRARY=
 transpile_test: STD_LIBRARY=
 transpile_dependencies: STD_LIBRARY=
+
diff --git a/StandardLibrary/runtimes/net/STD.csproj b/StandardLibrary/runtimes/net/STD.csproj
@@ -56,7 +56,7 @@
   </PropertyGroup>
 
   <ItemGroup>
-    <PackageReference Include="DafnyRuntime" Version="$(DafnyVersion)" />
+    <PackageReference Include="DafnyRuntime" Version="[4.2.0,$(DafnyVersion)]" />
     <!--
       System.Collections.Immutable can be removed once dafny.msbuild is updated with
       https://github.com/dafny-lang/dafny.msbuild/pull/10 and versioned

diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/net/TestVectors.csproj b/TestVectorsAwsCryptographicMaterialProviders/runtimes/net/TestVectors.csproj
@@ -37,7 +37,7 @@
 
 
     <ItemGroup>
-        <PackageReference Include="DafnyRuntime" Version="$(DafnyVersion)" />
+        <PackageReference Include="DafnyRuntime" Version="[4.2.0,$(DafnyVersion)]" />
         <!--
           System.Collections.Immutable can be removed once dafny.msbuild is updated with
           https://github.com/dafny-lang/dafny.msbuild/pull/10 and versioned
Original file line number	Diff line number	Diff line change
Expand Up		@@ -13,3 +13,4 @@ MAX_RESOURCE_COUNT=10000000

		STD_LIBRARY=StandardLibrary
		SMITHY_DEPS=model
Original file line number	Diff line number	Diff line change
Expand Up		@@ -13,3 +13,4 @@ MAX_RESOURCE_COUNT=10000000
		AWS_SDK_CMD := --aws-sdk
		STD_LIBRARY=StandardLibrary
		SMITHY_DEPS=model
Original file line number	Diff line number	Diff line change
Expand Up		@@ -16,3 +16,4 @@ LIBRARIES :=
		transpile_implementation: STD_LIBRARY=
		transpile_test: STD_LIBRARY=
		transpile_dependencies: STD_LIBRARY=