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

include ../rsprules

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

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

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

vurf.slow: $(SLOWDIR)/vurf_vector.slf.Z 

$(SLOWDIR)/vurf_vector.slf.Z: $(TESTDPDS) vurf.s  
		              $(SLOWEXECS:LIST=+diag=vurf.s)



vurf.hp: $(HPDIR)/vurf_vector.slf.Z 

$(HPDIR)/vurf_vector.slf.Z: $(TESTDPDS) vurf.s 
		              $(HPEXECS:LIST=+diag=vurf.s)