@@ -165,12 +165,12 @@ STRUCTUREDENCRYPTION_INDEX_FILE_WITH_EXTERN_STRING="module {:extern \"software.a
165
165
STRUCTUREDENCRYPTION_INDEX_FILE_WITHOUT_EXTERN_STRING ="module StructuredEncryption"
166
166
167
167
# 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 :
172
172
@for dir in $(RESTORE_DIRS ) ; do \
173
- if [ -d " runtimes/go/ImplementationFromDafny-go/$$ dir" ]; then \
173
+ if [ -e " runtimes/go/ImplementationFromDafny-go/$$ dir" ]; then \
174
174
cp -Rf runtimes/go/ImplementationFromDafny-go/$$ dir runtimes/go/; \
175
175
rm -rf runtimes/go/ImplementationFromDafny-go/$$ dir; \
176
176
rm -rf runtimes/go/TestsFromDafny-go/$$ dir; \
@@ -204,3 +204,24 @@ _sed_index_file_add_extern:
204
204
$(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 )
205
205
$(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 )
206
206
$(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