Makefile 1.38 KB
###########################################################
#
#  rules for extracting vectors from reality_rsp_regression
#
###########################################################

include ../rsprules

####################################################################################
# Targets for generation of Fault Grading Vector files
####################################################################################

dmem.vec: $(ATTESTDIR)/dmem.vec 

$(ATTESTDIR)/dmem.vec: $(BINDIR)/reality_rsp_regression $(TESTDIR)/rsp_tests.list \
	dmem_1.s \
	dmem_2.s \
	dmem_3.s \
	dmem_4.s \
	dmem_5.s
	- cd $(TESTDIR); \
	$(BINDIR)/reality_rsp_regression -nocompile +rcp_attest_tab +attest_name=dmem.vec \
	+diag=dmem_1.s \
	+diag=dmem_2.s \
	+diag=dmem_3.s \
	+diag=dmem_4.s \
	+diag=dmem_5.s
	sleep 200
	mv $(TESTDIR)/dmem.vec $(ATTESTDIR)/dmem.vec 
	mv $(TESTDIR)/,out $(TESTDIR)/dmem.out
	mv $(TESTDIR)/regression.log $(TESTDIR)/dmem.regression.log

dmem.slow: $(SLOWDIR)/dmem_vector.slf.Z

$(SLOWDIR)/dmem_vector.slf.Z: $(TESTDPDS) dmem_1.s dmem_2.s dmem_3.s dmem_4.s dmem_5.s 
			      $(SLOWEXECS:LIST=+diag=dmem_1.s+diag=dmem_2.s+diag=dmem_3.s+diag=dmem_4.s+diag=dmem_5.s)

dmem.hp: $(HPDIR)/dmem_vector.slf.Z

$(HPDIR)/dmem_vector.slf.Z: $(TESTDPDS) dmem_1.s dmem_2.s dmem_3.s dmem_4.s dmem_5.s 
			      $(HPEXECS:LIST=+diag=dmem_1.s+diag=dmem_2.s+diag=dmem_3.s+diag=dmem_4.s+diag=dmem_5.s)