SYNTAX_FILE=theories/Autosubst2/syntax.v
COQMAKEFILE=CoqMakefile

include coqdocjs/Makefile.doc

theories: $(COQMAKEFILE) FORCE
	$(MAKE) -f $(COQMAKEFILE)

validate: $(COQMAKEFILE) FORCE
	$(MAKE) -f $(COQMAKEFILE) validate

$(COQMAKEFILE) : $(SYNTAX_FILE)
	$(COQBIN)coq_makefile -f _CoqProject -o $(COQMAKEFILE)

install: $(COQMAKEFILE)
	$(MAKE) -f $^ install

uninstall: $(COQMAKEFILE)
	$(MAKE) -f $(COQMAKEFILE) uninstall

$(SYNTAX_FILE) : syntax.sig
	as2-exe -i syntax.sig -p UCoq > $(SYNTAX_FILE)
	perl gen_syntax.pl

.PHONY: clean FORCE

clean:
	test ! -f $(COQMAKEFILE) || ( $(MAKE) -f $(COQMAKEFILE) clean && rm $(COQMAKEFILE) )
#	rm -f $(SYNTAX_FILE)

FORCE:
