From 186501902706ee12dc6ecc69ad97871d71b1dfca Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Thu, 5 Jun 2025 16:36:03 -0700 Subject: [PATCH 1/3] auto commit --- DynamoDbEncryption/Makefile | 31 ++++++++++++++++++++++++++----- 1 file changed, 26 insertions(+), 5 deletions(-) diff --git a/DynamoDbEncryption/Makefile b/DynamoDbEncryption/Makefile index 1ad542b3e..74a08c796 100644 --- a/DynamoDbEncryption/Makefile +++ b/DynamoDbEncryption/Makefile @@ -165,12 +165,12 @@ STRUCTUREDENCRYPTION_INDEX_FILE_WITH_EXTERN_STRING="module {:extern \"software.a STRUCTUREDENCRYPTION_INDEX_FILE_WITHOUT_EXTERN_STRING="module StructuredEncryption" # Target to restore all directories in a list -# TODO: Remove this once we don't copy all of the directories into implementation and test https://sim.amazon.com/issues/CrypTool-5447 -RESTORE_DIRS := README.md -_polymorph_go: restore_directories -restore_directories: +# TODO: Remove this once we don't copy all of the directories and files into implementation and test https://sim.amazon.com/issues/CrypTool-5447 +RESTORE_FILESORDIR := README.md +_polymorph_go: restore_file_directories +restore_file_directories: @for dir in $(RESTORE_DIRS); do \ - if [ -d "runtimes/go/ImplementationFromDafny-go/$$dir" ]; then \ + if [ -e "runtimes/go/ImplementationFromDafny-go/$$dir" ]; then \ cp -Rf runtimes/go/ImplementationFromDafny-go/$$dir runtimes/go/; \ rm -rf runtimes/go/ImplementationFromDafny-go/$$dir; \ rm -rf runtimes/go/TestsFromDafny-go/$$dir; \ @@ -204,3 +204,24 @@ _sed_index_file_add_extern: $(MAKE) _sed_file SED_FILE_PATH=$(ITEMENCRYPTOR_LEGACY_FILE_PATH) SED_BEFORE_STRING=$(ITEMENCRYPTOR_LEGACY_FILE_WITHOUT_EXTERN_STRING) SED_AFTER_STRING=$(ITEMENCRYPTOR_LEGACY_FILE_WITH_EXTERN_STRING) $(MAKE) _sed_file SED_FILE_PATH=$(TRANSFORMS_INDEX_FILE_PATH) SED_BEFORE_STRING=$(TRANSFORMS_INDEX_FILE_WITHOUT_EXTERN_STRING) SED_AFTER_STRING=$(TRANSFORMS_INDEX_FILE_WITH_EXTERN_STRING) $(MAKE) _sed_file SED_FILE_PATH=$(STRUCTUREDENCRYPTION_INDEX_FILE_PATH) SED_BEFORE_STRING=$(STRUCTUREDENCRYPTION_INDEX_FILE_WITHOUT_EXTERN_STRING) SED_AFTER_STRING=$(STRUCTUREDENCRYPTION_INDEX_FILE_WITH_EXTERN_STRING) + +transpile_dependencies: + @echo "No polymorphing of dependency" + +_polymorph_dependencies: + @echo "No polymorphing of dependency" + +_transpile_implementation_all: + @echo "No polymorphing of dependency" + +_transpile_test_all: + @echo "No polymorphing of dependency" + +_transpile_dependencies: + @echo "No polymorphing of dependency" + +_transpile_dependencies_test: + @echo "No polymorphing of dependency" + +mvn_local_deploy_dependencies: + @echo "No polymorphing of dependency" \ No newline at end of file From 68ce5854b4421fd36ae514eb7f77f2c9653b86af Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Thu, 5 Jun 2025 16:38:21 -0700 Subject: [PATCH 2/3] auto commit --- DynamoDbEncryption/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/DynamoDbEncryption/Makefile b/DynamoDbEncryption/Makefile index 74a08c796..e3a8beb39 100644 --- a/DynamoDbEncryption/Makefile +++ b/DynamoDbEncryption/Makefile @@ -166,10 +166,10 @@ STRUCTUREDENCRYPTION_INDEX_FILE_WITHOUT_EXTERN_STRING="module StructuredEncrypti # Target to restore all directories in a list # TODO: Remove this once we don't copy all of the directories and files into implementation and test https://sim.amazon.com/issues/CrypTool-5447 -RESTORE_FILESORDIR := README.md +RESTORE_FILES_DIR := README.md _polymorph_go: restore_file_directories restore_file_directories: - @for dir in $(RESTORE_DIRS); do \ + @for dir in $(RESTORE_FILES_DIR); do \ if [ -e "runtimes/go/ImplementationFromDafny-go/$$dir" ]; then \ cp -Rf runtimes/go/ImplementationFromDafny-go/$$dir runtimes/go/; \ rm -rf runtimes/go/ImplementationFromDafny-go/$$dir; \ From 6cfc4b9cde20994a489c0bcc68045f56d15d388b Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Thu, 5 Jun 2025 16:44:17 -0700 Subject: [PATCH 3/3] auto commit --- DynamoDbEncryption/Makefile | 21 --------------------- 1 file changed, 21 deletions(-) diff --git a/DynamoDbEncryption/Makefile b/DynamoDbEncryption/Makefile index e3a8beb39..d79f599bf 100644 --- a/DynamoDbEncryption/Makefile +++ b/DynamoDbEncryption/Makefile @@ -204,24 +204,3 @@ _sed_index_file_add_extern: $(MAKE) _sed_file SED_FILE_PATH=$(ITEMENCRYPTOR_LEGACY_FILE_PATH) SED_BEFORE_STRING=$(ITEMENCRYPTOR_LEGACY_FILE_WITHOUT_EXTERN_STRING) SED_AFTER_STRING=$(ITEMENCRYPTOR_LEGACY_FILE_WITH_EXTERN_STRING) $(MAKE) _sed_file SED_FILE_PATH=$(TRANSFORMS_INDEX_FILE_PATH) SED_BEFORE_STRING=$(TRANSFORMS_INDEX_FILE_WITHOUT_EXTERN_STRING) SED_AFTER_STRING=$(TRANSFORMS_INDEX_FILE_WITH_EXTERN_STRING) $(MAKE) _sed_file SED_FILE_PATH=$(STRUCTUREDENCRYPTION_INDEX_FILE_PATH) SED_BEFORE_STRING=$(STRUCTUREDENCRYPTION_INDEX_FILE_WITHOUT_EXTERN_STRING) SED_AFTER_STRING=$(STRUCTUREDENCRYPTION_INDEX_FILE_WITH_EXTERN_STRING) - -transpile_dependencies: - @echo "No polymorphing of dependency" - -_polymorph_dependencies: - @echo "No polymorphing of dependency" - -_transpile_implementation_all: - @echo "No polymorphing of dependency" - -_transpile_test_all: - @echo "No polymorphing of dependency" - -_transpile_dependencies: - @echo "No polymorphing of dependency" - -_transpile_dependencies_test: - @echo "No polymorphing of dependency" - -mvn_local_deploy_dependencies: - @echo "No polymorphing of dependency" \ No newline at end of file