debug

smithy-lang · Aug 18, 2023 · 46cbc16 · 46cbc16
1 parent 022511b
commit 46cbc16
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/TestModels/dafny-dependencies/StandardLibrary/Makefile b/TestModels/dafny-dependencies/StandardLibrary/Makefile
@@ -78,6 +78,16 @@ transpile_implementation:
 		-out $(OUT) \
 		./src/Index.dfy
 
+build_implementation:
+	dafny build \
+		-t:$(TARGET) \
+		./src/Index.dfy \
+		-o $(OUT) \
+		--quantifier-syntax:3 \
+		--function-syntax:3 \
+		--optimize-erasable-datatype-wrapper:false \
+		./src/Index.dfy
+
 # Override SharedMakefile's build_java to not install
 # StandardLibrary as a dependency
 build_java: transpile_java