testsuite/cadet0: use hard-coded binary instead of building

The build chain doesn't work anymore. Signed-off-by: Vitaly Chipounov <[email protected]>
S2E · Dec 7, 2024 · 2d1efb1 · 2d1efb1
1 parent b7ddb39
commit 2d1efb1
Show file tree

Hide file tree

Showing 13 changed files with 3 additions and 613 deletions.
diff --git a/testsuite/pov-cgc-cadet0/CADET_00001 b/testsuite/pov-cgc-cadet0/CADET_00001
diff --git a/testsuite/pov-cgc-cadet0/CADET_00001/Makefile b/testsuite/pov-cgc-cadet0/CADET_00001/Makefile
diff --git a/testsuite/pov-cgc-cadet0/CADET_00001/README.md b/testsuite/pov-cgc-cadet0/CADET_00001/README.md
diff --git a/testsuite/pov-cgc-cadet0/CADET_00001/cgc-cb.mk b/testsuite/pov-cgc-cadet0/CADET_00001/cgc-cb.mk
diff --git a/testsuite/pov-cgc-cadet0/CADET_00001/lib/libc.c b/testsuite/pov-cgc-cadet0/CADET_00001/lib/libc.c
diff --git a/testsuite/pov-cgc-cadet0/CADET_00001/lib/libc.h b/testsuite/pov-cgc-cadet0/CADET_00001/lib/libc.h
diff --git a/testsuite/pov-cgc-cadet0/CADET_00001/poller/for-testing/POLL_00000.xml b/testsuite/pov-cgc-cadet0/CADET_00001/poller/for-testing/POLL_00000.xml
diff --git a/testsuite/pov-cgc-cadet0/CADET_00001/poller/for-testing/machine.py b/testsuite/pov-cgc-cadet0/CADET_00001/poller/for-testing/machine.py
diff --git a/testsuite/pov-cgc-cadet0/CADET_00001/poller/for-testing/state-graph.yaml b/testsuite/pov-cgc-cadet0/CADET_00001/poller/for-testing/state-graph.yaml
diff --git a/testsuite/pov-cgc-cadet0/CADET_00001/pov/POV_00000.xml b/testsuite/pov-cgc-cadet0/CADET_00001/pov/POV_00000.xml
diff --git a/testsuite/pov-cgc-cadet0/CADET_00001/src/service.c b/testsuite/pov-cgc-cadet0/CADET_00001/src/service.c
diff --git a/testsuite/pov-cgc-cadet0/Makefile b/testsuite/pov-cgc-cadet0/Makefile
@@ -19,18 +19,12 @@
 # SOFTWARE.
 
 CB=CADET_00001
-SOURCE=main.c
 
 BUILD_SCRIPTS_SRC:=$(dir $(realpath $(lastword $(MAKEFILE_LIST))))
 
-RUN_DOCKER = docker run --rm -w $(BUILD_SCRIPTS_SRC) -e NO_CB_EXTENDED_APP=1 -v $(BUILD_SCRIPTS_SRC):$(BUILD_SCRIPTS_SRC) linux-build-i386 /run_as.sh $(shell id -u) $(shell id -g) make -C CADET_00001 $(1)
-
-$(CB)/bin/$(CB): $(CB)/src/service.c
-	cd $(BUILD_SCRIPTS_SRC) && $(call RUN_DOCKER,build)
-
-TARGETS=$(CB)/bin/$(CB)
+TARGETS=$(CB)
 
 all: $(TARGETS)
 
+# Nothing to clean.
 clean:
-	$(call RUN_DOCKER,clean)
diff --git a/testsuite/pov-cgc-cadet0/config.yml b/testsuite/pov-cgc-cadet0/config.yml
@@ -1,6 +1,6 @@
 test:
     description: "Checks that the CADET_00001 sample produces POVs"
     targets:
-        - CADET_00001/bin/CADET_00001
+        - CADET_00001
     scripts:
         run_tests: run-tests.tpl