debug

smithy-lang · Aug 18, 2023 · 0523edd · 0523edd
1 parent a00b9eb
commit 0523edd
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/TestModels/SharedMakefile.mk b/TestModels/SharedMakefile.mk
@@ -428,8 +428,9 @@ _comment_out_import_module_python:
 	# For a Dafny-generated module X, comment out `import module_`
 	# This import results in circular dependencies
 	find runtimes/python/src/$(PYTHON_MODULE_NAME)/dafnygenerated -type f -exec sed -i $(SED_PARAMETER) '/import module\_/s/^/# /g' {} \;
-	rm runtimes/python/src/$(PYTHON_MODULE_NAME)/dafnygenerated/module_.py
-#	find runtimes/python/test/dafnygenerated -type f -exec sed -i $(SED_PARAMETER) '/import module\_/s/^/# /g' {} \;
+#	rm runtimes/python/src/$(PYTHON_MODULE_NAME)/dafnygenerated/module_.py
+	find runtimes/python/test/dafnygenerated -type f -exec sed -i $(SED_PARAMETER) '/import module\_/s/^/# /g' {} \;
+	find runtimes/python/test/dafnygenerated/test.py -type f -exec sed -i $(SED_PARAMETER) '/# import module\_/s/^# //g' {} \;
 
 transpile_dependencies_python: LANG=python
 transpile_dependencies_python: transpile_dependencies