@@ -165,12 +165,12 @@ STRUCTUREDENCRYPTION_INDEX_FILE_WITH_EXTERN_STRING="module {:extern \"software.a
165165STRUCTUREDENCRYPTION_INDEX_FILE_WITHOUT_EXTERN_STRING ="module StructuredEncryption"
166166
167167# Target to restore all directories in a list
168- # TODO: Remove this once we don't copy all of the directories into implementation and test https://sim.amazon.com/issues/CrypTool-5447
169- RESTORE_DIRS := README.md
170- _polymorph_go : restore_directories
171- restore_directories :
168+ # 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
169+ RESTORE_FILESORDIR := README.md
170+ _polymorph_go : restore_file_directories
171+ restore_file_directories :
172172 @for dir in $(RESTORE_DIRS ) ; do \
173- if [ -d " runtimes/go/ImplementationFromDafny-go/$$ dir" ]; then \
173+ if [ -e " runtimes/go/ImplementationFromDafny-go/$$ dir" ]; then \
174174 cp -Rf runtimes/go/ImplementationFromDafny-go/$$ dir runtimes/go/; \
175175 rm -rf runtimes/go/ImplementationFromDafny-go/$$ dir; \
176176 rm -rf runtimes/go/TestsFromDafny-go/$$ dir; \
@@ -204,3 +204,24 @@ _sed_index_file_add_extern:
204204 $(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 )
205205 $(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 )
206206 $(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 )
207+
208+ transpile_dependencies :
209+ @echo " No polymorphing of dependency"
210+
211+ _polymorph_dependencies :
212+ @echo " No polymorphing of dependency"
213+
214+ _transpile_implementation_all :
215+ @echo " No polymorphing of dependency"
216+
217+ _transpile_test_all :
218+ @echo " No polymorphing of dependency"
219+
220+ _transpile_dependencies :
221+ @echo " No polymorphing of dependency"
222+
223+ _transpile_dependencies_test :
224+ @echo " No polymorphing of dependency"
225+
226+ mvn_local_deploy_dependencies :
227+ @echo " No polymorphing of dependency"
0 commit comments