# Usage:
#   make prod-<prg>
# to run producer side, ie. compilation and cert gen.
#
# Example:
#   make prod-Append
#
# Do
#   make transfer-Append
# to simulate code/cert transfer by copying files to the consumer directory
#
# ---------------------------------------------------------------------------

#CAMELOT=${HOME}/mrg-working/progs/Camelot/src/camelot
PROGHOME=../../../..
CAMELOT=${PROGHOME}/Camelot/src/camelot

prod-%:	%.cmlt
	$(CAMELOT) -C -lfd $<

transfer-%: %.class
	cp $(subst .class,,$<)*.class $(subst .class,Certificate1.thy,$<) ../consumer

%.cmlt:	../%.cmlt
	ln -s $< $@

clean:
	-rm *.class *.thy *.lfd *.constraints *^ *~
