TARGET=protocole

all: $(TARGET).alt
all: EmetteurABP.res EmetteurABP.eps
all: RecepteurABP.res RecepteurABP.eps
all: ABPparfait.res ABPparfait.eps
all: ABPperteUnidirectionnelle.res ABPperteUnidirectionnelle.eps
all: ABPperteUnidirectionnelle_bug.eps
all: ABPerreurUnidirectionnelle.res ABPerreurUnidirectionnelle.eps
all: $(TARGET).ps.gz

grosRes: 
grosEps: 

clean:
	rm -f *.dvi *.log *.aux *~ core Alt/*~

cleanAll: clean
	rm -f *.eps *.dot *.prop *.res *.diff $(TARGET).alt

$(TARGET).alt: Alt/*.alt
	cat Alt/EmetteurABP.alt > $(TARGET).alt
	cat Alt/RecepteurABP.alt >> $(TARGET).alt
	cat Alt/ABPparfait.alt >> $(TARGET).alt
	cat Alt/ABPperteUnidirectionnelle.alt >> $(TARGET).alt
	cat Alt/ABPerreurUnidirectionnelle.alt >> $(TARGET).alt

$(TARGET).ps.gz: Alt/*.alt *.spe *.tex
	latex $(TARGET) && latex $(TARGET) && dvips $(TARGET).dvi -o
	gzip -f $(TARGET).ps

.SUFFIXES: .dot .eps .res .spe .alt

.dot.eps: $*.dot
	dot -Tps $*.dot -o $*.eps

.spe.res: $(TARGET).alt $*.spe
	acheck $(TARGET).alt $*.spe

.spe.dot: $(TARGET).alt $*.spe
	acheck $(TARGET).alt $*.spe