camelot:
	ln -s ../../Camelot/src/camelot .

check_sharing:
	ln -s ../check_sharing .

mkTheory:
	ln -s ../../mkTheory/mkTheory .

%.html: %.cmlt camelot check_sharing
	camelot -ll -od -lb $<

HINTS_EXT = -HINTS.asdl.bin
THY_prefix = DT_

$(THY_prefix)%.thy: %$(HINTS_EXT) mkTheory
	mkTheory $< $(THY_prefix)$*

%$(HINTS_EXT): %.cmlt camelot
	camelot -hints -s $<

clean:
	rm -f *.html *.asdl.bin *.class *.gr *.sexp
