include ../../../config

TACCMI= ascent.cmi
TACCMO= name_to_ast.cmo vtp.cmo xlate.cmo translate.cmo centaur.cmo
TACVO= Centaur.vo comment.vo
ALLFILES=$(TACCMI) $(TACCMO) $(TACCMO:.cmo=.cmi) $(TACVO)

include ../Makefile.tactics


install-library:
	$(INSTALL) -d $(ALLFILES) $(COQLIB)/tactics/contrib/pcoq

include .depend
