-
Notifications
You must be signed in to change notification settings - Fork 14
/
Copy pathMakefile
84 lines (74 loc) · 3.97 KB
/
Makefile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
# Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
# SPDX-License-Identifier: Apache-2.0
CORES=2
include ../SharedMakefile.mk
DIR_STRUCTURE_V2=V2
PROJECT_SERVICES := \
DynamoDbEncryption \
DynamoDbItemEncryptor \
DynamoDbEncryptionTransforms \
StructuredEncryption
# Namespace for each local service
# Currently our build relies on local services and namespaces being 1:1
SERVICE_NAMESPACE_StructuredEncryption=aws.cryptography.dbEncryptionSdk.structuredEncryption
SERVICE_NAMESPACE_DynamoDbEncryption=aws.cryptography.dbEncryptionSdk.dynamoDb
SERVICE_NAMESPACE_DynamoDbItemEncryptor=aws.cryptography.dbEncryptionSdk.dynamoDb.itemEncryptor
SERVICE_NAMESPACE_DynamoDbEncryptionTransforms=aws.cryptography.dbEncryptionSdk.dynamoDb.transforms
MAX_RESOURCE_COUNT=20000000
# Order is important
# In java they MUST be built
# in the order they depend on each other
PROJECT_DEPENDENCIES := \
submodules/MaterialProviders/AwsCryptographyPrimitives \
submodules/MaterialProviders/ComAmazonawsKms \
submodules/MaterialProviders/ComAmazonawsDynamodb \
submodules/MaterialProviders/AwsCryptographicMaterialProviders
STD_LIBRARY=submodules/MaterialProviders/StandardLibrary
SMITHY_DEPS=submodules/MaterialProviders/model
# Since we are packaging projects differently, we cannot make assumptions
# about where the files are located.
# This is here to get unblocked but should be removed once we have migrated packages
# to the new packaging format.
PROJECT_INDEX := \
submodules/MaterialProviders/AwsCryptographyPrimitives/src/Index.dfy \
submodules/MaterialProviders/ComAmazonawsKms/src/Index.dfy \
submodules/MaterialProviders/ComAmazonawsDynamodb/src/Index.dfy \
submodules/MaterialProviders/AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Index.dfy \
submodules/MaterialProviders/AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/src/Index.dfy
# Dependencies for each local service
SERVICE_DEPS_StructuredEncryption := \
submodules/MaterialProviders/AwsCryptographyPrimitives \
submodules/MaterialProviders/ComAmazonawsKms \
submodules/MaterialProviders/ComAmazonawsDynamodb \
submodules/MaterialProviders/AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders \
submodules/MaterialProviders/AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore
SERVICE_DEPS_DynamoDbEncryption := \
submodules/MaterialProviders/AwsCryptographyPrimitives \
submodules/MaterialProviders/ComAmazonawsKms \
submodules/MaterialProviders/ComAmazonawsDynamodb \
submodules/MaterialProviders/AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders \
submodules/MaterialProviders/AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore \
DynamoDbEncryption/dafny/StructuredEncryption
SERVICE_DEPS_DynamoDbItemEncryptor := \
submodules/MaterialProviders/AwsCryptographyPrimitives \
submodules/MaterialProviders/ComAmazonawsKms \
submodules/MaterialProviders/ComAmazonawsDynamodb \
submodules/MaterialProviders/AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders \
submodules/MaterialProviders/AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore \
DynamoDbEncryption/dafny/DynamoDbEncryption \
DynamoDbEncryption/dafny/StructuredEncryption
SERVICE_DEPS_DynamoDbEncryptionTransforms := \
submodules/MaterialProviders/AwsCryptographyPrimitives \
submodules/MaterialProviders/ComAmazonawsKms \
submodules/MaterialProviders/ComAmazonawsDynamodb \
submodules/MaterialProviders/AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders \
submodules/MaterialProviders/AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore \
DynamoDbEncryption/dafny/DynamoDbEncryption \
DynamoDbEncryption/dafny/StructuredEncryption \
DynamoDbEncryption/dafny/DynamoDbItemEncryptor
format_net:
pushd runtimes/net && dotnet format DynamoDbEncryption.csproj && popd
polymorph:
export DAFNY_VERSION=4.2
npm i --no-save prettier@3 [email protected]
make polymorph_code_gen PROJECT_DEPENDENCIES=