
MAKEFLAGS = --no-print-directory

CHPL = chpl

CVT = ../CVT

TARGETS = \
	adderVerifyPar \
	adderCompareSpecPar \
	prodConsVerify \
	cycleCFVerify \
	adderCompareParNoSync \
	adderCompareSpecND \
	locksVerify \
	cycleVerify \
	prodConsCompare \

REALS = $(TARGETS:%=%_real)

default: all

all: $(TARGETS)

clean: FORCE
	rm -f $(TARGETS) $(REALS)

%: %.chpl
	$(CHPL) -o $@ $<

FORCE:

adderVerifyPar: adderPar.chpl
	for numTimes in 2 3 4 ; do \
	for N in 1 2 3 4 5 6 7 ; do \
	$(CVT) verify -noprint -confignumTimes=$$numTimes -configN=$$N -maxworkers=2 adderPar.chpl ; \
	done ; done

adderCompareSpecPar: adderSpec.chpl adderPar.chpl
	for numTimes in 1 2 3 ; do \
	for N in 1 2 3 4 5 ; do \
	$(CVT) compare -noprint -confignumTimes=$$numTimes -configN=$$N -maxworkers=3 adderSpec.chpl adderPar.chpl ; \
	done ; done

prodConsVerify: prodCons.chpl
	for numItems in 1 2 3 4 5 6 7 8 9 ; do \
	$(CVT) verify -noprint -configbuffersize=2 -confignumItems=$$numItems prodCons.chpl ; \
	done

cycleCFVerify: cycleCF.chpl
	for N in 1 2 3 4 ; do \
	$(CVT) verify -configN=$$N -noprint cycleCF.chpl ; \
	done

adderCompareParNoSync: adderPar.chpl adderNoSync.chpl
	$(CVT) compare -noprint -confignumTimes=3 -configN=100 -maxworkers=20 adderPar.chpl adderNoSync.chpl

adderCompareSpecND: adderSpec.chpl adderND.chpl
	$(CVT) compare -noprint -confignumTimes=5 -configN=50 -maxworkers=2 adderSpec.chpl adderND.chpl

locksVerify: locks.chpl
	$(CVT) verify -noprint -configN=10 locks.chpl

cycleVerify: cycle.chpl
	$(CVT) verify -noprint -maxworkers=20 -configN=100 cycle.chpl

prodConsCompare: prodCons.chpl prodConsNoSync.chpl
	$(CVT) compare -noprint -configbuffersize=3 -confignumItems=100 prodCons.chpl prodConsNoSync.chpl

