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

include ../rsprules

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

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

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

divctl.slow: $(SLOWDIR)/divctl_vector.slf.Z 

$(SLOWDIR)/divctl_vector.slf.Z: $(TESTDPDS) divctl.in
			        $(SLOWEXECS:LIST=+diag=divctl.in)

divctl.hp: $(HPDIR)/divctl_vector.slf.Z 

$(HPDIR)/divctl_vector.slf.Z: $(TESTDPDS) divctl.in
			      $(HPEXECS:LIST=+diag=divctl.in)