# -*- Makefile -*-

# --------------------------------------------------------------------
OUTPUT   := ellora-supplementary-material

# --------------------------------------------------------------------
.PHONY: all clean

all:
	rm -rf $(OUTPUT) && mkdir $(OUTPUT)
	cp README.md $(OUTPUT)/
	cp easycrypt-ellora-v2.tar.bz2 $(OUTPUT)/
	cp xhl.tar.bz2 $(OUTPUT)/
	cp -r examples $(OUTPUT)/
	BZIP2=-9 tar -cjf $(OUTPUT).tar.bz2 --owner=0 --group=0 $(OUTPUT)

clean:
	rm -rf ellora-supplementary-material
	rm -rf ellora-supplementary-material.tar.bz2
