Skip to content

Commit

Permalink
m
Browse files Browse the repository at this point in the history
lucasmcdonald3 committed Nov 7, 2024
1 parent 543e0da commit f91289e
Showing 2 changed files with 5 additions and 5 deletions.
8 changes: 4 additions & 4 deletions TestModels/Dependencies/Makefile
Original file line number Diff line number Diff line change
@@ -51,10 +51,10 @@ clean: _clean
PYTHON_MODULE_NAME=simple_dependencies

PYTHON_DEPENDENCY_MODULE_NAMES := \
--dependency-library-name=simple.resources=simple_resources \
--dependency-library-name=simple.errors=simple_errors \
--dependency-library-name=simple.extendable.resources=simple_extendable_resources \
--dependency-library-name=simple.constraints=simple_constraints
--python-dependency-module-name=simple.resources=simple_resources \
--python-dependency-module-name=simple.errors=simple_errors \
--python-dependency-module-name=simple.extendable.resources=simple_extendable_resources \
--python-dependency-module-name=simple.constraints=simple_constraints

TRANSLATION_RECORD_PYTHON := \
--translation-record ../dafny-dependencies/StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/generated/dafny_src-py.dtr \
2 changes: 1 addition & 1 deletion TestModels/MultipleModels/Makefile
Original file line number Diff line number Diff line change
@@ -38,7 +38,7 @@ SMITHY_DEPS=dafny-dependencies/Model/traits.smithy
PYTHON_MODULE_NAME=multiple_models

PYTHON_DEPENDENCY_MODULE_NAMES := \
--dependency-library-name=simple.multiplemodels.dependencyproject=multiple_models
--python-dependency-module-name=simple.multiplemodels.dependencyproject=multiple_models

TRANSLATION_RECORD_PYTHON := \
--translation-record ../dafny-dependencies/StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/generated/dafny_src-py.dtr

0 comments on commit f91289e

Please sign in to comment.