Skip to content

Commit

Permalink
clean comment
Browse files Browse the repository at this point in the history
  • Loading branch information
Lucas McDonald committed Oct 13, 2023
1 parent 60e73f6 commit ec10c29
Show file tree
Hide file tree
Showing 18 changed files with 18 additions and 18 deletions.
2 changes: 1 addition & 1 deletion TestModels/Aggregate/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ CORES=2
include ../SharedMakefile.mk

NAMESPACE=simple.aggregate
# TODO: Move to smithy-build.json once language-specific config is supported
# TODO: Move to smithy-build.json once Dafny plugin supports language-specific config
PYTHON_MODULE_NAME=simple_aggregate

# This project has no dependencies
Expand Down
2 changes: 1 addition & 1 deletion TestModels/Constraints/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ CORES=2
include ../SharedMakefile.mk

NAMESPACE=simple.constraints
# TODO: Move to smithy-build.json once language-specific config is supported
# TODO: Move to smithy-build.json once Dafny plugin supports language-specific config
PYTHON_MODULE_NAME=simple_constraints

# This project has no dependencies
Expand Down
2 changes: 1 addition & 1 deletion TestModels/Constructor/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ CORES=2
include ../SharedMakefile.mk

NAMESPACE=simple.constructor
# TODO: Move to smithy-build.json once language-specific config is supported
# TODO: Move to smithy-build.json once Dafny plugin supports language-specific config
PYTHON_MODULE_NAME=simple_constructor

# This project has no dependencies
Expand Down
2 changes: 1 addition & 1 deletion TestModels/Dependencies/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ CORES=2
include ../SharedMakefile.mk

NAMESPACE=simple.dependencies
# TODO: Move to smithy-build.json once language-specific config is supported
# TODO: Move to smithy-build.json once Dafny plugin supports language-specific config
PYTHON_MODULE_NAME=simple_dependencies

# This project takes dependencies on:
Expand Down
2 changes: 1 addition & 1 deletion TestModels/Errors/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ CORES=2
include ../SharedMakefile.mk

NAMESPACE=simple.errors
# TODO: Move to smithy-build.json once language-specific config is supported
# TODO: Move to smithy-build.json once Dafny plugin supports language-specific config
PYTHON_MODULE_NAME=simple_errors

# This project has no dependencies
Expand Down
2 changes: 1 addition & 1 deletion TestModels/Extendable/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ CORES=2
include ../SharedMakefile.mk

NAMESPACE=simple.extendable.resources
# TODO: Move to smithy-build.json once language-specific config is supported
# TODO: Move to smithy-build.json once Dafny plugin supports language-specific config
PYTHON_MODULE_NAME=simple_extendable_resources

# This project has no dependencies
Expand Down
2 changes: 1 addition & 1 deletion TestModels/Extern/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ CORES=2
include ../SharedMakefile.mk

NAMESPACE=simple.dafnyExtern
# TODO: Move to smithy-build.json once language-specific config is supported
# TODO: Move to smithy-build.json once Dafny plugin supports language-specific config
PYTHON_MODULE_NAME=simple_dafnyextern

# This project has no dependencies
Expand Down
2 changes: 1 addition & 1 deletion TestModels/LocalService/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ CORES=2
include ../SharedMakefile.mk

NAMESPACE=simple.localService
# TODO: Move to smithy-build.json once language-specific config is supported
# TODO: Move to smithy-build.json once Dafny plugin supports language-specific config
PYTHON_MODULE_NAME=simple_localservice

# This project has no dependencies
Expand Down
2 changes: 1 addition & 1 deletion TestModels/Refinement/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ CORES=2
include ../SharedMakefile.mk

NAMESPACE=simple.refinement
# TODO: Move to smithy-build.json once language-specific config is supported
# TODO: Move to smithy-build.json once Dafny plugin supports language-specific config
PYTHON_MODULE_NAME=simple_refinement

# This project has no dependencies
Expand Down
2 changes: 1 addition & 1 deletion TestModels/Resource/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ CORES=2
include ../SharedMakefile.mk

NAMESPACE=simple.resources
# TODO: Move to smithy-build.json once language-specific config is supported
# TODO: Move to smithy-build.json once Dafny plugin supports language-specific config
PYTHON_MODULE_NAME=simple_resources

# This project has no dependencies
Expand Down
2 changes: 1 addition & 1 deletion TestModels/SimpleTypes/SimpleBlob/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ CORES=2
include ../../SharedMakefile.mk

NAMESPACE=simple.types.blob
# TODO: Move to smithy-build.json once language-specific config is supported
# TODO: Move to smithy-build.json once Dafny plugin supports language-specific config
PYTHON_MODULE_NAME=simple_types_blob

# This project has no dependencies
Expand Down
2 changes: 1 addition & 1 deletion TestModels/SimpleTypes/SimpleBoolean/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ CORES=2
include ../../SharedMakefile.mk

NAMESPACE=simple.types.boolean
# TODO: Move to smithy-build.json once language-specific config is supported
# TODO: Move to smithy-build.json once Dafny plugin supports language-specific config
PYTHON_MODULE_NAME=simple_types_boolean

# This project has no dependencies
Expand Down
2 changes: 1 addition & 1 deletion TestModels/SimpleTypes/SimpleDouble/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ CORES=2
include ../../SharedMakefile.mk

NAMESPACE=simple.types.smithyDouble
# TODO: Move to smithy-build.json once language-specific config is supported
# TODO: Move to smithy-build.json once Dafny plugin supports language-specific config
PYTHON_MODULE_NAME=simple_types_smithydouble

# This project has no dependencies
Expand Down
2 changes: 1 addition & 1 deletion TestModels/SimpleTypes/SimpleEnum/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ CORES=2
include ../../SharedMakefile.mk

NAMESPACE=simple.types.smithyEnum
# TODO: Move to smithy-build.json once language-specific config is supported
# TODO: Move to smithy-build.json once Dafny plugin supports language-specific config
PYTHON_MODULE_NAME=simple_types_smithyenum

# This project has no dependencies
Expand Down
2 changes: 1 addition & 1 deletion TestModels/SimpleTypes/SimpleInteger/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ CORES=2
include ../../SharedMakefile.mk

NAMESPACE=simple.types.integer
# TODO: Move to smithy-build.json once language-specific config is supported
# TODO: Move to smithy-build.json once Dafny plugin supports language-specific config
PYTHON_MODULE_NAME=simple_types_integer

# This project has no dependencies
Expand Down
2 changes: 1 addition & 1 deletion TestModels/SimpleTypes/SimpleLong/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ CORES=2
include ../../SharedMakefile.mk

NAMESPACE=simple.types.smithyLong
# TODO: Move to smithy-build.json once language-specific config is supported
# TODO: Move to smithy-build.json once Dafny plugin supports language-specific config
PYTHON_MODULE_NAME=simple_types_smithylong

# This project has no dependencies
Expand Down
2 changes: 1 addition & 1 deletion TestModels/SimpleTypes/SimpleString/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ CORES=2
include ../../SharedMakefile.mk

NAMESPACE=simple.types.smithyString
# TODO: Move to smithy-build.json once language-specific config is supported
# TODO: Move to smithy-build.json once Dafny plugin supports language-specific config
PYTHON_MODULE_NAME=simple_types_smithystring

# This project has no dependencies
Expand Down
2 changes: 1 addition & 1 deletion TestModels/Union/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ CORES=2
include ../SharedMakefile.mk

NAMESPACE=simple.union
# TODO: Move to smithy-build.json once language-specific config is supported
# TODO: Move to smithy-build.json once Dafny plugin supports language-specific config
PYTHON_MODULE_NAME=simple_union

# This project has no dependencies
Expand Down

0 comments on commit ec10c29

Please sign in to comment.