MODEL=LandingSystem.fcr
NO_FAILURES=-DFAILURES=FALSE
NO_DUP=-DDUPLICATE_DIGITAL_COMPONENT=FALSE
V1=-DGEARS_SETS=V1
V3=-DGEARS_SETS=V3
CONSTRAINTS=-DCYLINDER_CONSTRAINTS=MIN_MAX
NO_BOUND=-DBOUND_HANDLE=FALSE -DMAX_HANDLE_OPS=-1
BOUND=-DBOUND_HANDLE=TRUE -DMAX_HANDLE_OPS


all: no_failures no_failuresR11 failures

H1_3: 
	gpp $(MODEL) $(NO_DUP) $(CONSTRAINTS) $(NO_FAILURES) $(V1) $(BOUND)=3  > case_N_V1_H1[03].fcr

no_failures:
	gpp $(MODEL) $(NO_DUP) $(CONSTRAINTS) $(NO_FAILURES) $(V1) $(NO_BOUND) > case_N_V1_H2.fcr
	gpp $(MODEL) $(NO_DUP) $(CONSTRAINTS) $(NO_FAILURES) $(V1) $(BOUND)=8  > case_N_V1_H1[08].fcr
	gpp $(MODEL) $(NO_DUP) $(CONSTRAINTS) $(NO_FAILURES) $(V1) $(BOUND)=9  > case_N_V1_H1[09].fcr
	gpp $(MODEL) $(NO_DUP) $(CONSTRAINTS) $(NO_FAILURES) $(V1) $(BOUND)=10 > case_N_V1_H1[10].fcr
	gpp $(MODEL) $(NO_DUP) $(CONSTRAINTS) $(NO_FAILURES) $(V1) $(BOUND)=11 > case_N_V1_H1[11].fcr
	gpp $(MODEL) $(NO_DUP) $(CONSTRAINTS) $(NO_FAILURES) $(V1) $(BOUND)=12 > case_N_V1_H1[12].fcr

	gpp $(MODEL) $(NO_DUP) $(CONSTRAINTS) $(NO_FAILURES) $(V3) $(NO_BOUND) > case_N_V3_H2.fcr
	gpp $(MODEL) $(NO_DUP) $(CONSTRAINTS) $(NO_FAILURES) $(V3) $(BOUND)=8  > case_N_V3_H1[08].fcr
	gpp $(MODEL) $(NO_DUP) $(CONSTRAINTS) $(NO_FAILURES) $(V3) $(BOUND)=9  > case_N_V3_H1[09].fcr
	gpp $(MODEL) $(NO_DUP) $(CONSTRAINTS) $(NO_FAILURES) $(V3) $(BOUND)=10 > case_N_V3_H1[10].fcr
	gpp $(MODEL) $(NO_DUP) $(CONSTRAINTS) $(NO_FAILURES) $(V3) $(BOUND)=11 > case_N_V3_H1[11].fcr
	gpp $(MODEL) $(NO_DUP) $(CONSTRAINTS) $(NO_FAILURES) $(V3) $(BOUND)=12 > case_N_V3_H1[12].fcr

no_failuresR11:
	gpp $(MODEL) $(NO_DUP) $(CONSTRAINTS) $(NO_FAILURES) $(V3) $(NO_BOUND) -DHANDLE_UP_WAIT_DELAY=15000 -DHANDLE_DOWN_WAIT_DELAY=15000 > case_N_V3_H2_15000.fcr
	gpp $(MODEL) $(NO_DUP) $(CONSTRAINTS) $(NO_FAILURES) $(V3) $(NO_BOUND) -DHANDLE_UP_WAIT_DELAY=9000 -DHANDLE_DOWN_WAIT_DELAY=15000 > case_N_V3_H2_9000.fcr
	gpp $(MODEL) $(NO_DUP) $(CONSTRAINTS) $(NO_FAILURES) $(V3) $(NO_BOUND) -DHANDLE_UP_WAIT_DELAY=8500 -DHANDLE_DOWN_WAIT_DELAY=15000 > case_N_V3_H2_8500.fcr
	gpp $(MODEL) $(NO_DUP) $(CONSTRAINTS) $(NO_FAILURES) $(V3) $(NO_BOUND) -DHANDLE_UP_WAIT_DELAY=8400 -DHANDLE_DOWN_WAIT_DELAY=15000 > case_N_V3_H2_8400.fcr

failures:
	gpp $(MODEL) $(NO_DUP) $(CONSTRAINTS) $(FAILURES) $(V1) $(BOUND)=2 > case_F_V1_H1[02].fcr
	gpp $(MODEL) $(NO_DUP) $(CONSTRAINTS) $(FAILURES) $(V1) $(BOUND)=3 > case_F_V1_H1[03].fcr
	gpp $(MODEL) $(NO_DUP) $(CONSTRAINTS) $(FAILURES) $(V1) $(BOUND)=4 > case_F_V1_H1[04].fcr
	gpp $(MODEL) $(NO_DUP) $(CONSTRAINTS) $(FAILURES) $(V1) $(BOUND)=5 > case_F_V1_H1[05].fcr

	gpp $(MODEL) $(NO_DUP) $(CONSTRAINTS) $(FAILURES) $(V3) $(BOUND)=2 > case_F_V3_H1[02].fcr
	gpp $(MODEL) $(NO_DUP) $(CONSTRAINTS) $(FAILURES) $(V3) $(BOUND)=3 > case_F_V3_H1[03].fcr
	gpp $(MODEL) $(NO_DUP) $(CONSTRAINTS) $(FAILURES) $(V3) $(BOUND)=4 > case_F_V3_H1[04].fcr
	gpp $(MODEL) $(NO_DUP) $(CONSTRAINTS) $(FAILURES) $(V3) $(BOUND)=5 > case_F_V3_H1[05].fcr

clean:
	rm -rf case_*.fcr *~ *.tts *.ktz