fetch target1 from programtargets repo

GaloisInc · Jun 15, 2024 · 4437da1 · 4437da1
1 parent d80eb5b
commit 4437da1
Show file tree

Hide file tree

Showing 5 changed files with 27 additions and 1 deletion.
diff --git a/tests/.programtargets b/tests/.programtargets
@@ -0,0 +1 @@
+6210ba50cfb764e439d3e8236c05aad688b027b8
diff --git a/tests/aarch32/.programtargets b/tests/aarch32/.programtargets
diff --git a/tests/ppc32/Makefile b/tests/ppc32/Makefile
@@ -2,4 +2,25 @@ CC=powerpc-linux-gnu-gcc
 OD=powerpc-linux-gnu-objdump
 EXTRA_TARGETS=
 
+ifeq (,$(wildcard $(CHALLENGE_DIR)))
+else
+
+EXTRA_TARGETS+=scripted/target1
+
+scripted/target1.%: ../.programtargets
+	$(call fetch,target1)
+
+endif
+
+.PHONY: scripted/target1
+
+scripted:
+	mkdir -p scripted
+
+scripted/target1: scripted scripted/target1.original.exe scripted/target1.args scripted/target1.pate
+
+scripted/target1.script_run: scripted/target1
+	cd scripted; \
+	../../../pate.sh $(shell cat scripted/target1.args)
+
 include ../template.mk
diff --git a/tests/ppc32/scripted/target1.expect b/tests/ppc32/scripted/target1.expect
@@ -0,0 +1 @@
+Equivalent
diff --git a/tests/template.mk b/tests/template.mk
@@ -1,5 +1,9 @@
 .PHONY: all extras
 
+define fetch
+(((cd $(CHALLENGE_DIR) && git show $(shell cat ../.programtargets):tests/$1/$(notdir $@)) > $@) || (rm -f $@ && exit 1))
+endef
+
 extras: ${EXTRA_TARGETS}
 
 all: $(notdir $(patsubst %original.c,%test,$(wildcard ../src/*.original.c))) $(addprefix ./build/,$(notdir $(patsubst %c,%i,$(wildcard ../src/*.c)))) extras