Check generated code in CI

robin-aws · Nov 3, 2023 · 534c258 · 534c258
1 parent 77bf47d
commit 534c258
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/Source/DafnyRuntime/DafnyRuntimeGo/Makefile b/Source/DafnyRuntime/DafnyRuntimeGo/Makefile
@@ -8,7 +8,7 @@ GENERATED_SYSTEM_MODULE_TARGET=System_/System_.go
 GENERATED_STDLIBS_SOURCE=../obj/DafnyStandardLibraries-go/src
 GENERATED_STDLIBS_TARGET=.
 
-all: check-system-module test
+all: check-system-module check-stdlibs test
 
 test:
 	cd dafny &&	GO111MODULE=auto go test

diff --git a/Source/DafnyRuntime/DafnyRuntimeJava/Makefile b/Source/DafnyRuntime/DafnyRuntimeJava/Makefile
@@ -11,7 +11,7 @@ GENERATED_DAFNY_MODULE_TARGET=src/main/dafny-generated/dafny
 GENERATED_STDLIBS_SOURCE=../obj/DafnyStandardLibraries-java/DafnyStdLibs
 GENERATED_STDLIBS_TARGET=src/main/dafny-generated/DafnyStdLibs
 
-all: check-system-module test
+all: check-system-module check-stdlibs test
 
 test:
 	./gradlew test

diff --git a/Source/DafnyRuntime/DafnyRuntimeJs/Makefile b/Source/DafnyRuntime/DafnyRuntimeJs/Makefile
@@ -8,7 +8,7 @@ GENERATED_SYSTEM_MODULE_TARGET=DafnyRuntimeSystemModule.js
 GENERATED_STDLIBS_SOURCE=obj/DafnyStandardLibraries.js
 GENERATED_STDLIBS_TARGET=DafnyStandardLibraries.js
 
-all: check-system-module
+all: check-system-module check-stdlibs
 
 build-system-module:
 	$(DAFNY) translate js --no-verify --use-basename-for-filename --system-module:OmitAllOtherModules ../systemModulePopulator.dfy --output:../obj/systemModulePopulator

diff --git a/Source/DafnyRuntime/DafnyRuntimePython/Makefile b/Source/DafnyRuntime/DafnyRuntimePython/Makefile
@@ -8,7 +8,7 @@ GENERATED_SYSTEM_MODULE_TARGET=System_.py
 GENERATED_STDLIBS_SOURCE=../obj/DafnyStandardLibraries-py
 GENERATED_STDLIBS_TARGET=.
 
-all: check-system-module
+all: check-system-module check-stdlibs
 
 build-system-module:
 	$(DAFNY) translate py --no-verify --use-basename-for-filename --system-module:OmitAllOtherModules ../systemModulePopulator.dfy --output:../obj/systemModulePopulator

diff --git a/Source/DafnyRuntime/Makefile b/Source/DafnyRuntime/Makefile
@@ -8,7 +8,7 @@ GENERATED_SYSTEM_MODULE_TARGET=DafnyRuntimeSystemModule.cs
 GENERATED_STDLIBS_SOURCE=obj/DafnyStandardLibraries.cs
 GENERATED_STDLIBS_TARGET=DafnyStandardLibraries.cs
 
-all: check-system-module
+all: check-system-module check-stdlibs
 
 build-system-module:
 	$(DAFNY) translate cs --no-verify --use-basename-for-filename --optimize-erasable-datatype-wrapper:false --system-module:OmitAllOtherModules systemModulePopulator.dfy --output:obj/systemModulePopulator