open CoqBuildRule
.PHONY: all clean

FILES[] =
	Pow
	MultiByte
	ListUtil
	Object
	SerializeSpec
	Prefix
	Soundness
	SerializeImplement
	SerializedList
	DeserializeImplement
	OCamlBase
	Util
	ExtractUtil
	Main

.DEFAULT: all

all: msgpackCore.ml msgpackCore.mli
msgpackCore.ml msgpackCore.mli: $(CoqProof $(FILES))
	echo "Proof complete"
clean:
	rm -rf *.vo *.glob *~ *.omc .omakedb .omakedb.lock *.cm[iox] *.annot *.o msgpackCore.ml msgpackCore.mli