Skip to content

Commit a917367

Browse files
author
Shubham Chaturvedi
committed
Impl: Checked-in go.mod files
1 parent 68e75fb commit a917367

File tree

4 files changed

+126
-3
lines changed

4 files changed

+126
-3
lines changed

‎AwsEncryptionSDK/Makefile

Lines changed: 26 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
# Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
22
# SPDX-License-Identifier: Apache-2.0
33
CORES=2
4+
ENABLE_EXTERN_PROCESSING=1
45

56
include ../SharedMakefileV2.mk
67

@@ -39,3 +40,28 @@ SERVICE_DEPS_AwsEncryptionSdk := \
3940
mpl/ComAmazonawsDynamodb \
4041
mpl/AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders \
4142
mpl/AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore
43+
44+
GO_MODULE_NAME="github.com/aws/aws-encryption-sdk"
45+
46+
GO_DEPENDENCY_MODULE_NAMES := \
47+
--dependency-library-name=com.amazonaws.dynamodb=github.com/aws/aws-cryptographic-material-providers-library/dynamodb \
48+
--dependency-library-name=com.amazonaws.kms=github.com/aws/aws-cryptographic-material-providers-library/kms \
49+
--dependency-library-name=aws.cryptography.keyStore=github.com/aws/aws-cryptographic-material-providers-library/mpl \
50+
--dependency-library-name=aws.cryptography.primitives=github.com/aws/aws-cryptographic-material-providers-library/primitives \
51+
--dependency-library-name=aws.cryptography.materialProviders=github.com/aws/aws-cryptographic-material-providers-library/mpl
52+
53+
54+
TRANSLATION_RECORD_GO := \
55+
../aws-cryptographic-material-providers-library/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ImplementationFromDafny-go.dtr \
56+
../aws-cryptographic-material-providers-library/ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/ImplementationFromDafny-go.dtr \
57+
../aws-cryptographic-material-providers-library/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/ImplementationFromDafny-go.dtr \
58+
../aws-cryptographic-material-providers-library/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ImplementationFromDafny-go.dtr \
59+
../aws-cryptographic-material-providers-library/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/ImplementationFromDafny-go.dtr
60+
61+
TYPES_FILE_PATH=dafny/AwsEncryptionSdk/Model/AwsCryptographyEncryptionSdkTypes.dfy
62+
TYPES_FILE_WITH_EXTERN_STRING="module {:extern \"software.amazon.cryptography.encryptionsdk.internaldafny.types\" } AwsCryptographyEncryptionSdkTypes"
63+
TYPES_FILE_WITHOUT_EXTERN_STRING="module AwsCryptographyEncryptionSdkTypes"
64+
65+
INDEX_FILE_PATH=dafny/AwsEncryptionSdk/src/Index.dfy
66+
INDEX_FILE_WITH_EXTERN_STRING="module {:extern \"software.amazon.cryptography.encryptionsdk.internaldafny\" } EncryptionSdk refines AbstractAwsCryptographyEncryptionSdkService {"
67+
INDEX_FILE_WITHOUT_EXTERN_STRING="module EncryptionSdk refines AbstractAwsCryptographyEncryptionSdkService {"

‎AwsEncryptionSDK/dafny/AwsEncryptionSdk/src/Index.dfy

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -3,9 +3,7 @@
33

44
include "AwsEncryptionSdkOperations.dfy"
55

6-
module
7-
{:extern "software.amazon.cryptography.encryptionsdk.internaldafny" }
8-
EncryptionSdk refines AbstractAwsCryptographyEncryptionSdkService {
6+
module {:extern "software.amazon.cryptography.encryptionsdk.internaldafny" } EncryptionSdk refines AbstractAwsCryptographyEncryptionSdkService {
97
import Operations = AwsEncryptionSdkOperations
108
import Aws.Cryptography.Primitives
119
import MaterialProviders

‎AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/go.mod

Lines changed: 48 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,48 @@
1+
module github.com/aws/aws-encryption-sdk
2+
3+
go 1.23.0
4+
5+
require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
6+
7+
replace github.com/aws/aws-cryptographic-material-providers-library/mpl v0.0.0 => ../../../../../aws-cryptographic-material-providers-library/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/
8+
9+
require (
10+
github.com/aws/aws-cryptographic-material-providers-library/dynamodb v0.0.0
11+
github.com/aws/aws-cryptographic-material-providers-library/kms v0.0.0
12+
github.com/aws/aws-cryptographic-material-providers-library/mpl v0.0.0
13+
github.com/aws/aws-cryptographic-material-providers-library/primitives v0.0.0
14+
github.com/dafny-lang/DafnyRuntimeGo v0.0.0
15+
16+
)
17+
18+
require (
19+
github.com/aws/aws-sdk-go-v2 v1.31.0 // indirect
20+
github.com/aws/aws-sdk-go-v2/config v1.27.37 // indirect
21+
github.com/aws/aws-sdk-go-v2/credentials v1.17.35 // indirect
22+
github.com/aws/aws-sdk-go-v2/feature/ec2/imds v1.16.14 // indirect
23+
github.com/aws/aws-sdk-go-v2/internal/configsources v1.3.18 // indirect
24+
github.com/aws/aws-sdk-go-v2/internal/endpoints/v2 v2.6.18 // indirect
25+
github.com/aws/aws-sdk-go-v2/internal/ini v1.8.1 // indirect
26+
github.com/aws/aws-sdk-go-v2/service/dynamodb v1.35.1 // indirect
27+
github.com/aws/aws-sdk-go-v2/service/internal/accept-encoding v1.11.5 // indirect
28+
github.com/aws/aws-sdk-go-v2/service/internal/endpoint-discovery v1.9.19 // indirect
29+
github.com/aws/aws-sdk-go-v2/service/internal/presigned-url v1.11.20 // indirect
30+
github.com/aws/aws-sdk-go-v2/service/kms v1.36.0 // indirect
31+
github.com/aws/aws-sdk-go-v2/service/sso v1.23.1 // indirect
32+
github.com/aws/aws-sdk-go-v2/service/ssooidc v1.27.1 // indirect
33+
github.com/aws/aws-sdk-go-v2/service/sts v1.31.1 // indirect
34+
github.com/aws/smithy-go v1.21.0 // indirect
35+
github.com/google/uuid v1.6.0 // indirect
36+
github.com/jmespath/go-jmespath v0.4.0 // indirect
37+
)
38+
39+
replace (
40+
github.com/aws/aws-cryptographic-material-providers-library/dynamodb v0.0.0 => ../../../../../aws-cryptographic-material-providers-library/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/
41+
github.com/aws/aws-cryptographic-material-providers-library/kms v0.0.0 => ../../../../../aws-cryptographic-material-providers-library/ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/
42+
github.com/aws/aws-cryptographic-material-providers-library/primitives v0.0.0 => ../../../../../aws-cryptographic-material-providers-library/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/
43+
44+
)
45+
46+
replace github.com/dafny-lang/DafnyRuntimeGo => /Volumes/workplace/smithy-dafny/DafnyRuntimeGo
47+
48+
replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../../aws-cryptographic-material-providers-library/StandardLibrary/runtimes/go/ImplementationFromDafny-go/

‎AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/go.mod

Lines changed: 51 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,51 @@
1+
module github.com/aws/aws-encryption-sdk/test
2+
3+
go 1.23.0
4+
5+
require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
6+
7+
replace github.com/aws/aws-cryptographic-material-providers-library/mpl v0.0.0 => ../../../../../aws-cryptographic-material-providers-library/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/
8+
9+
replace github.com/aws/aws-encryption-sdk v0.0.0 => ../ImplementationFromDafny-go
10+
11+
require (
12+
github.com/aws/aws-cryptographic-material-providers-library/dynamodb v0.0.0
13+
github.com/aws/aws-cryptographic-material-providers-library/kms v0.0.0
14+
github.com/aws/aws-cryptographic-material-providers-library/mpl v0.0.0
15+
github.com/aws/aws-cryptographic-material-providers-library/primitives v0.0.0
16+
github.com/aws/aws-encryption-sdk v0.0.0
17+
github.com/dafny-lang/DafnyRuntimeGo v0.0.0
18+
19+
)
20+
21+
require (
22+
github.com/aws/aws-sdk-go-v2 v1.31.0 // indirect
23+
github.com/aws/aws-sdk-go-v2/config v1.27.37 // indirect
24+
github.com/aws/aws-sdk-go-v2/credentials v1.17.35 // indirect
25+
github.com/aws/aws-sdk-go-v2/feature/ec2/imds v1.16.14 // indirect
26+
github.com/aws/aws-sdk-go-v2/internal/configsources v1.3.18 // indirect
27+
github.com/aws/aws-sdk-go-v2/internal/endpoints/v2 v2.6.18 // indirect
28+
github.com/aws/aws-sdk-go-v2/internal/ini v1.8.1 // indirect
29+
github.com/aws/aws-sdk-go-v2/service/dynamodb v1.35.1 // indirect
30+
github.com/aws/aws-sdk-go-v2/service/internal/accept-encoding v1.11.5 // indirect
31+
github.com/aws/aws-sdk-go-v2/service/internal/endpoint-discovery v1.9.19 // indirect
32+
github.com/aws/aws-sdk-go-v2/service/internal/presigned-url v1.11.20 // indirect
33+
github.com/aws/aws-sdk-go-v2/service/kms v1.36.0 // indirect
34+
github.com/aws/aws-sdk-go-v2/service/sso v1.23.1 // indirect
35+
github.com/aws/aws-sdk-go-v2/service/ssooidc v1.27.1 // indirect
36+
github.com/aws/aws-sdk-go-v2/service/sts v1.31.1 // indirect
37+
github.com/aws/smithy-go v1.21.0 // indirect
38+
github.com/google/uuid v1.6.0 // indirect
39+
github.com/jmespath/go-jmespath v0.4.0 // indirect
40+
)
41+
42+
replace (
43+
github.com/aws/aws-cryptographic-material-providers-library/dynamodb v0.0.0 => ../../../../../aws-cryptographic-material-providers-library/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/
44+
github.com/aws/aws-cryptographic-material-providers-library/kms v0.0.0 => ../../../../../aws-cryptographic-material-providers-library/ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/
45+
github.com/aws/aws-cryptographic-material-providers-library/primitives v0.0.0 => ../../../../../aws-cryptographic-material-providers-library/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/
46+
47+
)
48+
49+
replace github.com/dafny-lang/DafnyRuntimeGo => /Volumes/workplace/smithy-dafny/DafnyRuntimeGo
50+
51+
replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../../aws-cryptographic-material-providers-library/StandardLibrary/runtimes/go/ImplementationFromDafny-go/

0 commit comments

Comments
 (0)