TARGET = tank.spe

SOURCE_SPE = Visualisation.acheck\
	Validation.acheck\
	System-arena.acheck\
	System-fixpoints.acheck\
	System-synthesis.acheck\
	System-results.acheck\

DIFF_SPE = 

all: $(TARGET) $(DIFF_SPE)

$(TARGET) :  $(SOURCE_SPE)
	rm -f $(TARGET)
	for d in $(SOURCE_SPE); do \
		cat $$d >> $(TARGET);\
	done


$(DIFF_ALT) : $(SOURCE_SPE)

clean:
	rm -f *~

cleanAll : clean
	rm -f $(TARGET) $(DIFF_SPE)
